EYE-Autumn15 11091617Z josd SWI-Prolog 7.2.3 (x86_64-linux): Nov 3 2015, 22:57:32 starting 20 [msec cputime] 19 [msec walltime] GET file:///root/eyesvn/2009/12dtb/test-facts.n3 SC=2 GET file:///root/eyesvn/2009/12dtb/test-relations-10.pvm SC=11 GET file:///root/eyesvn/2009/12dtb/test-query.n3 SC=1 networking 3 [msec cputime] 2 [msec walltime] #Processed by EYE-Autumn15 11091617Z josd #eye --nope --tactic single-answer test-facts.n3 --plugin-pvm test-relations-10.pvm --query test-query.n3 PREFIX : PREFIX rdf: :TestVariable a :A2. TC=11 TP=11 BC=0 BP=0 PM=0 CM=0 FM=0 AM=0 reasoning 0 [msec cputime] 0 [msec walltime] #ENDS 0.022 [sec] IO=14/1 TC=11 TP=11 BC=0 BP=0 PM=0 CM=0 FM=0 AM=0 [2015-11-09T19:45:14.655Z] in=14 out=1 step=11 brake=1 inf=15817 sec=0.022 inf/sec=687696 sec=0.020 kB=8756 cpu=92% EYE-Autumn15 11091617Z josd SWI-Prolog 7.2.3 (x86_64-linux): Nov 3 2015, 22:57:32 starting 21 [msec cputime] 21 [msec walltime] GET file:///root/eyesvn/2009/12dtb/test-facts.n3 SC=2 GET file:///root/eyesvn/2009/12dtb/test-relations-100.pvm SC=101 GET file:///root/eyesvn/2009/12dtb/test-query.n3 SC=1 networking 3 [msec cputime] 2 [msec walltime] #Processed by EYE-Autumn15 11091617Z josd #eye --nope --tactic single-answer test-facts.n3 --plugin-pvm test-relations-100.pvm --query test-query.n3 PREFIX : PREFIX rdf: :TestVariable a :A2. TC=101 TP=101 BC=0 BP=0 PM=0 CM=0 FM=0 AM=0 reasoning 4 [msec cputime] 4 [msec walltime] #ENDS 0.028 [sec] IO=104/1 TC=101 TP=101 BC=0 BP=0 PM=0 CM=0 FM=0 AM=0 [2015-11-09T19:45:14.688Z] in=104 out=1 step=101 brake=1 inf=34191 sec=0.028 inf/sec=1221107 sec=0.030 kB=8728 cpu=93% EYE-Autumn15 11091617Z josd SWI-Prolog 7.2.3 (x86_64-linux): Nov 3 2015, 22:57:32 starting 20 [msec cputime] 19 [msec walltime] GET file:///root/eyesvn/2009/12dtb/test-facts.n3 SC=2 GET file:///root/eyesvn/2009/12dtb/test-relations-1000.pvm SC=1001 GET file:///root/eyesvn/2009/12dtb/test-query.n3 SC=1 networking 5 [msec cputime] 5 [msec walltime] #Processed by EYE-Autumn15 11091617Z josd #eye --nope --tactic single-answer test-facts.n3 --plugin-pvm test-relations-1000.pvm --query test-query.n3 PREFIX : PREFIX rdf: :TestVariable a :A2. TC=1001 TP=1001 BC=0 BP=0 PM=0 CM=0 FM=0 AM=0 reasoning 42 [msec cputime] 41 [msec walltime] #ENDS 0.066 [sec] IO=1004/1 TC=1001 TP=1001 BC=0 BP=0 PM=0 CM=0 FM=0 AM=0 [2015-11-09T19:45:14.760Z] in=1004 out=1 step=1001 brake=1 inf=217804 sec=0.066 inf/sec=3250806 sec=0.070 kB=10248 cpu=98% EYE-Autumn15 11091617Z josd SWI-Prolog 7.2.3 (x86_64-linux): Nov 3 2015, 22:57:32 starting 21 [msec cputime] 21 [msec walltime] GET file:///root/eyesvn/2009/12dtb/test-facts.n3 SC=2 GET file:///root/eyesvn/2009/12dtb/test-relations-10000.pvm SC=10001 GET file:///root/eyesvn/2009/12dtb/test-query.n3 SC=1 networking 33 [msec cputime] 35 [msec walltime] #Processed by EYE-Autumn15 11091617Z josd #eye --nope --tactic single-answer test-facts.n3 --plugin-pvm test-relations-10000.pvm --query test-query.n3 PREFIX : PREFIX rdf: :TestVariable a :A2. TC=10001 TP=10001 BC=0 BP=0 PM=0 CM=0 FM=0 AM=0 reasoning 422 [msec cputime] 427 [msec walltime] #ENDS 0.484 [sec] IO=10004/1 TC=10001 TP=10001 BC=0 BP=0 PM=0 CM=0 FM=0 AM=0 [2015-11-09T19:45:15.249Z] in=10004 out=1 step=10001 brake=1 inf=2053817 sec=0.484 inf/sec=4314742 sec=0.490 kB=25628 cpu=97% EYE-Autumn15 11091617Z josd SWI-Prolog 7.2.3 (x86_64-linux): Nov 3 2015, 22:57:32 starting 20 [msec cputime] 19 [msec walltime] GET file:///root/eyesvn/2009/12dtb/test-facts.n3 SC=2 GET file:///root/eyesvn/2009/12dtb/test-relations-100000.pvm SC=100001 GET file:///root/eyesvn/2009/12dtb/test-query.n3 SC=1 networking 384 [msec cputime] 386 [msec walltime] #Processed by EYE-Autumn15 11091617Z josd #eye --nope --tactic single-answer test-facts.n3 --plugin-pvm test-relations-100000.pvm --query test-query.n3 PREFIX : PREFIX rdf: :TestVariable a :A2. TC=100001 TP=100001 BC=0 BP=0 PM=0 CM=0 FM=0 AM=0 reasoning 4181 [msec cputime] 4211 [msec walltime] #ENDS 4.617 [sec] IO=100004/1 TC=100001 TP=100001 BC=0 BP=0 PM=0 CM=0 FM=0 AM=0 [2015-11-09T19:45:19.874Z] in=100004 out=1 step=100001 brake=1 inf=20413830 sec=4.617 inf/sec=4452308 sec=4.630 kB=170452 cpu=99% EYE-Autumn15 11091617Z josd SWI-Prolog 7.2.3 (x86_64-linux): Nov 3 2015, 22:57:32 starting 21 [msec cputime] 21 [msec walltime] GET file:///root/eyesvn/2009/12dtb/test-facts.n3 SC=2 GET file:///root/eyesvn/2009/12dtb/test-relations-1000000.pvm SC=1000001 GET file:///root/eyesvn/2009/12dtb/test-query.n3 SC=1 networking 4703 [msec cputime] 4752 [msec walltime] #Processed by EYE-Autumn15 11091617Z josd #eye --nope --tactic single-answer test-facts.n3 --plugin-pvm test-relations-1000000.pvm --query test-query.n3 PREFIX : PREFIX rdf: :TestVariable a :A2. TC=1000001 TP=1000001 BC=0 BP=0 PM=0 CM=0 FM=0 AM=0 reasoning 41508 [msec cputime] 41875 [msec walltime] #ENDS 46.648 [sec] IO=1000004/1 TC=1000001 TP=1000001 BC=0 BP=0 PM=0 CM=0 FM=0 AM=0 [2015-11-09T19:46:06.542Z] in=1000004 out=1 step=1000001 brake=1 inf=204013863 sec=46.648 inf/sec=4412828 sec=46.730 kB=1566904 cpu=99%