0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=esac.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/209968-1168195317/unknown.xml
0.44
0.44 domains being loaded...
0.44
0.44 variables being loaded...
0.47 nbVariables=15 nbDomainTypes=1 minDomainSize=9 maxDomainSize=9
0.47 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.47
0.47 predicates being loaded...
0.48
0.48 constraints being loaded...
0.55 nbConstraints=49 nbConflictsStructures=1 nbSharedConflictsStructures=48 nbSharedBinaryRepresentations=0
0.55 nbEvaluationManagers=1 nbSharedEvaluationManagers=48 maxDegree=13 maxArity=3
0.55 => wckTime=0.176 cpuTime=0.14 mem=7M992
0.58
0.58 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.381 cpuTime=0.29 mem=14M361
0.80
0.80 preprocessing
0.80 nbConstraintChecks=7839 nbValidityChecks=5017 nbPropagations=251 nbRevisions=1213 nbUselessRevisions=977
0.80 nbSingletonTests=22 nbEffectiveSingletonTests=0 nbESACBranches=3 nbRemovedValues=0 detectedInconsistency=no
0.80 => wckTime=0.046 cpuTime=0.02 mem=14M361
0.83
0.83 search
0.83 run=0 nbConstraintChecks=5463 nbValidityChecks=5697 nbPropagations=469 nbRevisions=2856
0.83 nbUselessRevisions=2265 nbAssignments=30 nbFailedAssignments=16 nbBacktracks=10 nbVisitedNodes=55
0.83 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
0.83 => wckTime=0.07 cpuTime=0.04 mem=14M361
0.85
0.85 search
0.85 run=1 nbConstraintChecks=13971 nbValidityChecks=13721 nbPropagations=1240 nbRevisions=8217
0.85 nbUselessRevisions=6563 nbAssignments=70 nbFailedAssignments=37 nbBacktracks=25 nbVisitedNodes=128
0.85 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.09 cpuTime=0.05 mem=14M361
0.87
0.87 search
0.87 run=2 nbConstraintChecks=24063 nbValidityChecks=24077 nbPropagations=2435 nbRevisions=16817
0.87 nbUselessRevisions=13394 nbAssignments=129 nbFailedAssignments=68 nbBacktracks=47 nbVisitedNodes=236
0.87 nbRestartNogoods=5 mapSize=47 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.114 cpuTime=0.07 mem=14M361
0.90
0.90 search
0.90 run=3 nbConstraintChecks=39991 nbValidityChecks=39740 nbPropagations=4229 nbRevisions=30233
0.90 nbUselessRevisions=23997 nbAssignments=219 nbFailedAssignments=120 nbBacktracks=80 nbVisitedNodes=404
0.90 nbRestartNogoods=12 mapSize=80 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.144 cpuTime=0.09 mem=14M361
0.93
0.93 search
0.93 run=4 nbConstraintChecks=64292 nbValidityChecks=63984 nbPropagations=7007 nbRevisions=51561
0.93 nbUselessRevisions=40877 nbAssignments=354 nbFailedAssignments=200 nbBacktracks=132 nbVisitedNodes=659
0.93 nbRestartNogoods=16 mapSize=132 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.172 cpuTime=0.12 mem=14M361
0.97
0.97 search
0.97 run=5 nbConstraintChecks=98207 nbValidityChecks=98833 nbPropagations=11071 nbRevisions=83802
0.97 nbUselessRevisions=66341 nbAssignments=552 nbFailedAssignments=318 nbBacktracks=207 nbVisitedNodes=1034
0.97 nbRestartNogoods=18 mapSize=207 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.212 cpuTime=0.15 mem=14M361
1.03
1.03 search
1.03 run=6 nbConstraintChecks=148035 nbValidityChecks=151689 nbPropagations=17101 nbRevisions=132870
1.03 nbUselessRevisions=105116 nbAssignments=846 nbFailedAssignments=494 nbBacktracks=321 nbVisitedNodes=1592
1.03 nbRestartNogoods=27 mapSize=321 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.27 cpuTime=0.21 mem=14M361
1.11
1.11 search
1.11 run=7 nbConstraintChecks=224705 nbValidityChecks=228578 nbPropagations=25920 nbRevisions=207133
1.11 nbUselessRevisions=163968 nbAssignments=1283 nbFailedAssignments=756 nbBacktracks=491 nbVisitedNodes=2422
1.11 nbRestartNogoods=33 mapSize=491 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.358 cpuTime=0.29 mem=14M361
1.25
1.25 search
1.25 run=8 nbConstraintChecks=338096 nbValidityChecks=341645 nbPropagations=39051 nbRevisions=317547
1.25 nbUselessRevisions=251159 nbAssignments=1929 nbFailedAssignments=1142 nbBacktracks=747 nbVisitedNodes=3650
1.25 nbRestartNogoods=39 mapSize=747 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.497 cpuTime=0.4 mem=14M361
1.38
1.38 INFO : Stopping hyperNogood (mapSize=1049, nbTooLargekeys=0, mem=14M361)
1.41
1.41 search
1.41 run=9 nbConstraintChecks=496397 nbValidityChecks=505421 nbPropagations=58277 nbRevisions=479775
1.41 nbUselessRevisions=378801 nbAssignments=2900 nbFailedAssignments=1724 nbBacktracks=1133 nbVisitedNodes=5497
1.41 nbRestartNogoods=46
1.41 => wckTime=0.651 cpuTime=0.55 mem=14M361
1.63
1.63 search
1.63 run=10 nbConstraintChecks=729397 nbValidityChecks=760138 nbPropagations=87193 nbRevisions=723108
1.63 nbUselessRevisions=570362 nbAssignments=4330 nbFailedAssignments=2573 nbBacktracks=1709 nbVisitedNodes=8211
1.63 nbRestartNogoods=51
1.63 => wckTime=0.871 cpuTime=0.76 mem=14M361
1.93
1.93 search
1.93 run=11 nbConstraintChecks=1075653 nbValidityChecks=1128382 nbPropagations=130259 nbRevisions=1081401
1.93 nbUselessRevisions=850915 nbAssignments=6521 nbFailedAssignments=3895 nbBacktracks=2573 nbVisitedNodes=12385
1.93 nbRestartNogoods=60
1.93 => wckTime=1.172 cpuTime=1.06 mem=14M361
2.43
2.43 search
2.43 run=12 nbConstraintChecks=1648744 nbValidityChecks=1724954 nbPropagations=194969 nbRevisions=1630733
2.43 nbUselessRevisions=1282831 nbAssignments=9807 nbFailedAssignments=5879 nbBacktracks=3871 nbVisitedNodes=18647
2.43 nbRestartNogoods=69
2.43 => wckTime=1.675 cpuTime=1.55 mem=14M361
2.97
2.97 search
2.97 run=13 nbConstraintChecks=2220825 nbValidityChecks=2391241 nbPropagations=288448 nbRevisions=2401383
2.97 nbUselessRevisions=1886268 nbAssignments=14105 nbFailedAssignments=8226 nbBacktracks=5817 nbVisitedNodes=26728
2.97 nbRestartNogoods=75
2.97 => wckTime=2.213 cpuTime=2.09 mem=14M361
4.06
4.06 search
4.06 run=14 nbConstraintChecks=3461281 nbValidityChecks=3713863 nbPropagations=431843 nbRevisions=3593404
4.06 nbUselessRevisions=2820436 nbAssignments=21483 nbFailedAssignments=12680 nbBacktracks=8736 nbVisitedNodes=40787
4.06 nbRestartNogoods=82
4.06 => wckTime=3.304 cpuTime=3.17 mem=14M361
5.54
5.54 search
5.54 run=15 nbConstraintChecks=5090592 nbValidityChecks=5505810 nbPropagations=645981 nbRevisions=5349972
5.54 nbUselessRevisions=4190017 nbAssignments=32473 nbFailedAssignments=19288 nbBacktracks=13115
5.54 nbVisitedNodes=61717 nbRestartNogoods=92
5.54 => wckTime=4.781 cpuTime=4.64 mem=14M361
7.84
7.84 search
7.84 run=16 nbConstraintChecks=7729278 nbValidityChecks=8258085 nbPropagations=966349 nbRevisions=7962880
7.84 nbUselessRevisions=6218364 nbAssignments=49082 nbFailedAssignments=29324 nbBacktracks=19683
7.84 nbVisitedNodes=93380 nbRestartNogoods=100
7.84 => wckTime=7.086 cpuTime=6.92 mem=14M361
10.85
10.85 search
10.85 run=17 nbConstraintChecks=11146849 nbValidityChecks=11740769 nbPropagations=1427379 nbRevisions=11735388
10.85 nbUselessRevisions=9156855 nbAssignments=70808 nbFailedAssignments=41193 nbBacktracks=29536
10.85 nbVisitedNodes=133781 nbRestartNogoods=121
10.85 => wckTime=10.091 cpuTime=9.9 mem=15M336
15.99
15.99 search
15.99 run=18 nbConstraintChecks=16910874 nbValidityChecks=17781260 nbPropagations=2130316 nbRevisions=17422705
15.99 nbUselessRevisions=13570797 nbAssignments=107550 nbFailedAssignments=63152 nbBacktracks=44314
15.99 nbVisitedNodes=203710 nbRestartNogoods=133
15.99 => wckTime=15.233 cpuTime=14.99 mem=15M336
23.55
23.55 search
23.55 run=19 nbConstraintChecks=25232287 nbValidityChecks=26973678 nbPropagations=3193816 nbRevisions=26038911
23.55 nbUselessRevisions=20275378 nbAssignments=159666 nbFailedAssignments=93095 nbBacktracks=66482
23.55 nbVisitedNodes=302255 nbRestartNogoods=145
23.55 => wckTime=22.798 cpuTime=22.5 mem=15M336
32.68
32.68 search
32.68 run=20 nbConstraintChecks=35238517 nbValidityChecks=38005170 nbPropagations=4698577 nbRevisions=38211073
32.68 nbUselessRevisions=29764766 nbAssignments=222839 nbFailedAssignments=129390 nbBacktracks=93361
32.68 nbVisitedNodes=421573 nbRestartNogoods=158
32.68 => wckTime=31.923 cpuTime=31.56 mem=15M336
32.68
32.68 global
32.68 nbConstraintChecks=35246356 nbValidityChecks=38010187 nbPropagations=4698828 nbRevisions=38212286
32.68 nbUselessRevisions=29765743 nbRestartNogoods=158 solvingWckTime=31.924 solvingCpuTime=31.56 expiredTime=no
32.68 totalExploration=yes nbFoundSolutions=0 globalCpuTime=31.9
32.68 => wckTime=32.307 cpuTime=31.85 mem=15M336
32.68
32.68 s UNSATISFIABLE
32.68 d NODES 222839
32.68 d CHECKS 35246356
32.68
32.68 totalWckTime=32.388 totalCpuTime=31.9
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-209968-1168195317 -o ROOT/results/node19/solver-209968-1168195317 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209968-1168195317/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 2.02 2.04 5/86 30459
/proc/meminfo: memFree=1345696/2055920 swapFree=4171244/4192956
[pid=30458] ppid=30456 vsize=18540 CPUtime=0
/proc/30458/stat : 30458 (runsolver) R 30456 30458 29425 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 167926329 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 255236566311 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30458/statm: 4635 279 244 17 0 2626 0
[startup+0.103041 s]
/proc/loadavg: 1.92 2.02 2.04 5/86 30459
/proc/meminfo: memFree=1345696/2055920 swapFree=4171244/4192956
[pid=30458] ppid=30456 vsize=912908 CPUtime=0.07
/proc/30458/stat : 30458 (java) S 30456 30458 29425 0 -1 0 2817 0 1 0 6 1 0 0 17 0 8 0 167926329 934817792 2563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30458/statm: 228227 2563 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912908
[startup+0.511119 s]
/proc/loadavg: 1.92 2.02 2.04 5/86 30459
/proc/meminfo: memFree=1345696/2055920 swapFree=4171244/4192956
[pid=30458] ppid=30456 vsize=915328 CPUtime=0.43
/proc/30458/stat : 30458 (java) R 30456 30458 29425 0 -1 0 6269 0 1 0 40 3 0 0 19 0 8 0 167926329 937295872 6008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072923336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30458/statm: 228832 6008 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.33227 s]
/proc/loadavg: 1.92 2.02 2.04 3/93 30466
/proc/meminfo: memFree=1322344/2055920 swapFree=4171244/4192956
[pid=30458] ppid=30456 vsize=915460 CPUtime=1.24
/proc/30458/stat : 30458 (java) R 30456 30458 29425 0 -1 0 8588 0 1 0 118 6 0 0 25 0 8 0 167926329 937431040 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073687908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30458/statm: 228865 8326 2543 14 0 215335 0
[pid=30458/tid=30460] ppid=30456 vsize=915460 CPUtime=0.02
/proc/30458/task/30460/stat : 30460 (java) S 30456 30458 29425 0 -1 64 119 0 0 0 2 0 0 0 16 0 8 0 167926334 937431040 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30461] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30461/stat : 30461 (java) S 30456 30458 29425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167926334 937431040 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30462] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30462/stat : 30462 (java) S 30456 30458 29425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167926334 937431040 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30463] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30463/stat : 30463 (java) S 30456 30458 29425 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167926338 937431040 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30464] ppid=30456 vsize=915460 CPUtime=0.19
/proc/30458/task/30464/stat : 30464 (java) S 30456 30458 29425 0 -1 64 362 0 0 0 18 1 0 0 15 0 8 0 167926338 937431040 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30465] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30465/stat : 30465 (java) S 30456 30458 29425 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167926338 937431040 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30466] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30466/stat : 30466 (java) S 30456 30458 29425 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167926338 937431040 8326 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 915460
[startup+2.97758 s]
/proc/loadavg: 1.93 2.02 2.04 3/93 30466
/proc/meminfo: memFree=1322152/2055920 swapFree=4171244/4192956
[pid=30458] ppid=30456 vsize=915460 CPUtime=2.87
/proc/30458/stat : 30458 (java) R 30456 30458 29425 0 -1 0 8610 0 1 0 281 6 0 0 25 0 8 0 167926329 937431040 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073685912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30458/statm: 228865 8347 2543 14 0 215335 0
[pid=30458/tid=30460] ppid=30456 vsize=915460 CPUtime=0.02
/proc/30458/task/30460/stat : 30460 (java) S 30456 30458 29425 0 -1 64 119 0 0 0 2 0 0 0 16 0 8 0 167926334 937431040 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30461] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30461/stat : 30461 (java) S 30456 30458 29425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167926334 937431040 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30462] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30462/stat : 30462 (java) S 30456 30458 29425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167926334 937431040 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30463] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30463/stat : 30463 (java) S 30456 30458 29425 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167926338 937431040 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30464] ppid=30456 vsize=915460 CPUtime=0.2
/proc/30458/task/30464/stat : 30464 (java) S 30456 30458 29425 0 -1 64 367 0 0 0 19 1 0 0 15 0 8 0 167926338 937431040 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30465] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30465/stat : 30465 (java) S 30456 30458 29425 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167926338 937431040 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30466] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30466/stat : 30466 (java) S 30456 30458 29425 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167926338 937431040 8347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915460
[startup+6.2692 s]
/proc/loadavg: 1.93 2.02 2.04 3/93 30466
/proc/meminfo: memFree=1322024/2055920 swapFree=4171244/4192956
[pid=30458] ppid=30456 vsize=915460 CPUtime=6.14
/proc/30458/stat : 30458 (java) R 30456 30458 29425 0 -1 0 8619 0 1 0 608 6 0 0 25 0 8 0 167926329 937431040 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073683399 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30458/statm: 228865 8354 2543 14 0 215335 0
[pid=30458/tid=30460] ppid=30456 vsize=915460 CPUtime=0.02
/proc/30458/task/30460/stat : 30460 (java) S 30456 30458 29425 0 -1 64 119 0 0 0 2 0 0 0 16 0 8 0 167926334 937431040 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30461] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30461/stat : 30461 (java) S 30456 30458 29425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167926334 937431040 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30462] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30462/stat : 30462 (java) S 30456 30458 29425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167926334 937431040 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30463] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30463/stat : 30463 (java) S 30456 30458 29425 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167926338 937431040 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30464] ppid=30456 vsize=915460 CPUtime=0.2
/proc/30458/task/30464/stat : 30464 (java) S 30456 30458 29425 0 -1 64 368 0 0 0 19 1 0 0 15 0 8 0 167926338 937431040 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30465] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30465/stat : 30465 (java) S 30456 30458 29425 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167926338 937431040 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30466] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30466/stat : 30466 (java) S 30456 30458 29425 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167926338 937431040 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915460
[startup+12.7464 s]
/proc/loadavg: 1.94 2.02 2.04 3/93 30466
/proc/meminfo: memFree=1322024/2055920 swapFree=4171244/4192956
[pid=30458] ppid=30456 vsize=915460 CPUtime=12.56
/proc/30458/stat : 30458 (java) R 30456 30458 29425 0 -1 0 8624 0 1 0 1250 6 0 0 25 0 8 0 167926329 937431040 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073681185 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30458/statm: 228865 8359 2543 14 0 215335 0
[pid=30458/tid=30460] ppid=30456 vsize=915460 CPUtime=0.02
/proc/30458/task/30460/stat : 30460 (java) S 30456 30458 29425 0 -1 64 119 0 0 0 2 0 0 0 16 0 8 0 167926334 937431040 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30461] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30461/stat : 30461 (java) S 30456 30458 29425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167926334 937431040 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30462] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30462/stat : 30462 (java) S 30456 30458 29425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167926334 937431040 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30463] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30463/stat : 30463 (java) S 30456 30458 29425 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167926338 937431040 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30464] ppid=30456 vsize=915460 CPUtime=0.2
/proc/30458/task/30464/stat : 30464 (java) S 30456 30458 29425 0 -1 64 368 0 0 0 19 1 0 0 15 0 8 0 167926338 937431040 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30465] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30465/stat : 30465 (java) S 30456 30458 29425 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167926338 937431040 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30466] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30466/stat : 30466 (java) S 30456 30458 29425 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167926338 937431040 8359 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915460
[startup+25.6068 s]
/proc/loadavg: 1.95 2.02 2.04 3/93 30466
/proc/meminfo: memFree=1321960/2055920 swapFree=4171244/4192956
[pid=30458] ppid=30456 vsize=915460 CPUtime=25.31
/proc/30458/stat : 30458 (java) R 30456 30458 29425 0 -1 0 8629 0 1 0 2525 6 0 0 25 0 8 0 167926329 937431040 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30458/statm: 228865 8364 2543 14 0 215335 0
[pid=30458/tid=30460] ppid=30456 vsize=915460 CPUtime=0.02
/proc/30458/task/30460/stat : 30460 (java) S 30456 30458 29425 0 -1 64 119 0 0 0 2 0 0 0 16 0 8 0 167926334 937431040 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30461] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30461/stat : 30461 (java) S 30456 30458 29425 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167926334 937431040 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30462] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30462/stat : 30462 (java) S 30456 30458 29425 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167926334 937431040 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30463] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30463/stat : 30463 (java) S 30456 30458 29425 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167926338 937431040 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30464] ppid=30456 vsize=915460 CPUtime=0.2
/proc/30458/task/30464/stat : 30464 (java) S 30456 30458 29425 0 -1 64 368 0 0 0 19 1 0 0 15 0 8 0 167926338 937431040 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30465] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30465/stat : 30465 (java) S 30456 30458 29425 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167926338 937431040 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30458/tid=30466] ppid=30456 vsize=915460 CPUtime=0
/proc/30458/task/30466/stat : 30466 (java) S 30456 30458 29425 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167926338 937431040 8364 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 32.7241
CPU time (s): 32.3511
CPU user time (s): 32.2741
CPU system time (s): 0.076988
CPU usage (%): 98.8602
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.2741
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8723
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1711
involuntary context switches= 3175
runsolver used 0.040993 s user time and 0.114982 s system time
The end
Begin job on node19 on Sun Jan 7 18:41:57 UTC 2007
IDJOB= 209968
IDBENCH= 4584
FILE ID= node19/209968-1168195317
PBS_JOBID= 3479383
Free space on /tmp= 66315 MiB
BENCH NAME= HOME/pub/bench/CPAI06/schurrLemma/lemma-15-9-mod.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209968-1168195317/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-209968-1168195317 -o ROOT/results/node19/solver-209968-1168195317 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209968-1168195317/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e0ce588cdcebc91402ce00c46a3a722e
RANDOM SEED= 533045811
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.260
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.260
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1346176 kB
Buffers: 56768 kB
Cached: 547888 kB
SwapCached: 10472 kB
Active: 135736 kB
Inactive: 507764 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1346176 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 1828 kB
Writeback: 0 kB
Mapped: 51092 kB
Slab: 51040 kB
Committed_AS: 4157292 kB
PageTables: 2340 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66315 MiB
End job on node19 on Sun Jan 7 18:42:30 UTC 2007