0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/199618-1168135363/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.38 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.38
0.38 relations being loaded...
0.47
0.47 constraints being loaded...
0.57 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.57 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=891 maxDegree=22
0.57 maxArity=2
0.57 => wckTime=0.284 cpuTime=0.22 mem=12M803
0.61
0.61 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.474 cpuTime=0.33 mem=14M972
0.81
0.81 preprocessing
0.81 nbConstraintChecks=39453 nbPropagations=565 nbRevisions=5227 nbUselessRevisions=4495 nbSingletonTests=30
0.81 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.81 => wckTime=0.041 cpuTime=0.02 mem=14M972
0.83
0.83 search
0.83 run=0 nbConstraintChecks=26206 nbPropagations=926 nbRevisions=10663 nbUselessRevisions=9207 nbAssignments=24
0.83 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.06 cpuTime=0.03 mem=14M972
0.84
0.84 search
0.84 run=1 nbConstraintChecks=72861 nbPropagations=2450 nbRevisions=31310 nbUselessRevisions=27013 nbAssignments=61
0.84 nbFailedAssignments=25 nbBacktracks=26 nbVisitedNodes=106 nbRestartNogoods=3 mapSize=26 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.078 cpuTime=0.05 mem=14M972
0.86
0.86 search
0.86 run=2 nbConstraintChecks=145827 nbPropagations=4961 nbRevisions=66537 nbUselessRevisions=57409
0.86 nbAssignments=123 nbFailedAssignments=48 nbBacktracks=49 nbVisitedNodes=199 nbRestartNogoods=9 mapSize=49
0.86 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.098 cpuTime=0.07 mem=14M972
0.88
0.88 search
0.88 run=3 nbConstraintChecks=231515 nbPropagations=8515 nbRevisions=120108 nbUselessRevisions=103601
0.88 nbAssignments=187 nbFailedAssignments=75 nbBacktracks=82 nbVisitedNodes=316 nbRestartNogoods=13 mapSize=80
0.88 nbInferences=0 nbTooLargeKeys=0
0.88 => wckTime=0.119 cpuTime=0.08 mem=14M972
0.91
0.91 search
0.91 run=4 nbConstraintChecks=348345 nbPropagations=13523 nbRevisions=199932 nbUselessRevisions=172431
0.91 nbAssignments=285 nbFailedAssignments=119 nbBacktracks=132 nbVisitedNodes=493 nbRestartNogoods=17 mapSize=128
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.142 cpuTime=0.11 mem=14M972
0.95
0.95 search
0.95 run=5 nbConstraintChecks=534308 nbPropagations=20867 nbRevisions=322854 nbUselessRevisions=278267
0.95 nbAssignments=450 nbFailedAssignments=203 nbBacktracks=208 nbVisitedNodes=798 nbRestartNogoods=21 mapSize=202
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.181 cpuTime=0.14 mem=14M972
0.99
0.99 search
0.99 run=6 nbConstraintChecks=799324 nbPropagations=31455 nbRevisions=506260 nbUselessRevisions=436214
0.99 nbAssignments=680 nbFailedAssignments=316 nbBacktracks=322 nbVisitedNodes=1223 nbRestartNogoods=26 mapSize=313
0.99 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.23 cpuTime=0.19 mem=14M972
1.07
1.07 search
1.07 run=7 nbConstraintChecks=1256303 nbPropagations=47344 nbRevisions=790343 nbUselessRevisions=680855
1.07 nbAssignments=1040 nbFailedAssignments=501 nbBacktracks=492 nbVisitedNodes=1891 nbRestartNogoods=30
1.07 mapSize=482 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.306 cpuTime=0.27 mem=14M972
1.19
1.19 search
1.19 run=8 nbConstraintChecks=1880436 nbPropagations=70729 nbRevisions=1214370 nbUselessRevisions=1046107
1.19 nbAssignments=1552 nbFailedAssignments=751 nbBacktracks=749 nbVisitedNodes=2848 nbRestartNogoods=37
1.19 mapSize=733 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.426 cpuTime=0.37 mem=14M972
1.31
1.31 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=14M972)
1.34
1.34 search
1.34 run=9 nbConstraintChecks=2830134 nbPropagations=105527 nbRevisions=1854581 nbUselessRevisions=1597756
1.34 nbAssignments=2331 nbFailedAssignments=1142 nbBacktracks=1134 nbVisitedNodes=4314 nbRestartNogoods=41
1.34 => wckTime=0.575 cpuTime=0.51 mem=14M972
1.55
1.55 search
1.55 run=10 nbConstraintChecks=4142239 nbPropagations=156675 nbRevisions=2798326 nbUselessRevisions=2411959
1.55 nbAssignments=3452 nbFailedAssignments=1681 nbBacktracks=1711 nbVisitedNodes=6393 nbRestartNogoods=49
1.55 => wckTime=0.783 cpuTime=0.71 mem=14M972
1.85
1.85 search
1.85 run=11 nbConstraintChecks=6225606 nbPropagations=233051 nbRevisions=4215714 nbUselessRevisions=3634461
1.85 nbAssignments=5177 nbFailedAssignments=2536 nbBacktracks=2575 nbVisitedNodes=9624 nbRestartNogoods=56
1.85 => wckTime=1.086 cpuTime=1.01 mem=14M972
2.29
2.29 search
2.29 run=12 nbConstraintChecks=9206734 nbPropagations=346111 nbRevisions=6313396 nbUselessRevisions=5443025
2.29 nbAssignments=7708 nbFailedAssignments=3764 nbBacktracks=3872 nbVisitedNodes=14337 nbRestartNogoods=70
2.29 => wckTime=1.528 cpuTime=1.44 mem=14M972
2.98
2.98 search
2.98 run=13 nbConstraintChecks=14016816 nbPropagations=516376 nbRevisions=9493729 nbUselessRevisions=8184000
2.98 nbAssignments=11612 nbFailedAssignments=5719 nbBacktracks=5818 nbVisitedNodes=21637 nbRestartNogoods=80
2.98 => wckTime=2.214 cpuTime=2.13 mem=14M972
4.05
4.05 search
4.05 run=14 nbConstraintChecks=21534924 nbPropagations=774073 nbRevisions=14351200 nbUselessRevisions=12373128
4.05 nbAssignments=17430 nbFailedAssignments=8613 nbBacktracks=8739 nbVisitedNodes=32518 nbRestartNogoods=86
4.05 => wckTime=3.282 cpuTime=3.19 mem=14M972
5.51
5.51 search
5.51 run=15 nbConstraintChecks=31519908 nbPropagations=1154484 nbRevisions=21507849 nbUselessRevisions=18548814
5.51 nbAssignments=25928 nbFailedAssignments=12727 nbBacktracks=13117 nbVisitedNodes=48321 nbRestartNogoods=90
5.51 => wckTime=4.745 cpuTime=4.65 mem=14M972
7.78
7.78 search
7.78 run=16 nbConstraintChecks=47480851 nbPropagations=1724538 nbRevisions=32266250 nbUselessRevisions=27833444
7.78 nbAssignments=38788 nbFailedAssignments=19013 nbBacktracks=19686 nbVisitedNodes=72317 nbRestartNogoods=95
7.78 => wckTime=7.019 cpuTime=6.91 mem=14M972
11.31
11.31 search
11.31 run=17 nbConstraintChecks=72169244 nbPropagations=2584075 nbRevisions=48588570 nbUselessRevisions=41924356
11.31 nbAssignments=58223 nbFailedAssignments=28590 nbBacktracks=29539 nbVisitedNodes=108666 nbRestartNogoods=109
11.31 => wckTime=10.545 cpuTime=10.42 mem=14M972
16.59
16.59 search
16.59 run=18 nbConstraintChecks=108888933 nbPropagations=3877344 nbRevisions=73183108 nbUselessRevisions=63160162
16.59 nbAssignments=87463 nbFailedAssignments=43051 nbBacktracks=44317 nbVisitedNodes=163350 nbRestartNogoods=125
16.59 => wckTime=15.827 cpuTime=15.68 mem=14M972
24.77
24.77 search
24.77 run=19 nbConstraintChecks=165338073 nbPropagations=5830503 nbRevisions=110456388 nbUselessRevisions=95347551
24.77 nbAssignments=131758 nbFailedAssignments=65174 nbBacktracks=66486 nbVisitedNodes=246400 nbRestartNogoods=138
24.77 => wckTime=24.007 cpuTime=23.75 mem=14M972
36.77
36.77 search
36.77 run=20 nbConstraintChecks=248517535 nbPropagations=8761478 nbRevisions=166456846 nbUselessRevisions=143715622
36.77 nbAssignments=197775 nbFailedAssignments=97934 nbBacktracks=99739 nbVisitedNodes=369944 nbRestartNogoods=150
36.77 => wckTime=36.004 cpuTime=35.65 mem=14M972
55.04
55.04 search
55.04 run=21 nbConstraintChecks=377515966 nbPropagations=13181858 nbRevisions=251211183 nbUselessRevisions=216931308
55.04 nbAssignments=297410 nbFailedAssignments=147686 nbBacktracks=149617 nbVisitedNodes=556578 nbRestartNogoods=173
55.04 => wckTime=54.277 cpuTime=53.83 mem=14M972
83.04
83.04 search
83.04 run=22 nbConstraintChecks=575533747 nbPropagations=19867244 nbRevisions=380130202 nbUselessRevisions=328333080
83.04 nbAssignments=447737 nbFailedAssignments=223190 nbBacktracks=224436 nbVisitedNodes=838675 nbRestartNogoods=188
83.04 => wckTime=82.272 cpuTime=81.65 mem=14M972
91.45
91.45 search
91.45 run=23 nbConstraintChecks=634938706 nbPropagations=27222997 nbRevisions=522209626 nbUselessRevisions=451115259
91.45 nbAssignments=492025 nbFailedAssignments=245454 nbBacktracks=246437 nbVisitedNodes=921777 nbRestartNogoods=205
91.45 => wckTime=90.682 cpuTime=90.02 mem=14M972
91.45
91.45 global
91.45 nbConstraintChecks=634978159 nbPropagations=27223562 nbRevisions=522214853 nbUselessRevisions=451119754
91.45 nbRestartNogoods=205 solvingWckTime=90.683 solvingCpuTime=90.02 expiredTime=no totalExploration=no
91.45 nbFoundSolutions=1 globalCpuTime=90.4
91.45 => wckTime=91.16 cpuTime=90.36 mem=14M972
91.45
91.45 s SATISFIABLE
91.45 v 22 20 1 11 6 10 2 4 0 17 18 2 22 15 22 2 3 5 16 20 12 12 22
91.45 d NODES 492025
91.45 d CHECKS 634978159
91.45
91.45 totalWckTime=91.232 totalCpuTime=90.4
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-199618-1168135363 -o ROOT/results/node75/solver-199618-1168135363 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199618-1168135363/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 1.99 1.84 3/68 9031
/proc/meminfo: memFree=1653360/2055920 swapFree=4184496/4192956
[pid=9030] ppid=9028 vsize=1784 CPUtime=0
/proc/9030/stat : 9030 (java) D 9028 9030 8280 0 -1 0 165 0 0 0 0 0 0 0 18 0 1 0 161935770 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0
/proc/9030/statm: 446 136 102 14 0 91 0
[startup+0.102962 s]
/proc/loadavg: 1.92 1.99 1.84 3/68 9031
/proc/meminfo: memFree=1653360/2055920 swapFree=4184496/4192956
[pid=9030] ppid=9028 vsize=914988 CPUtime=0.07
/proc/9030/stat : 9030 (java) R 9028 9030 8280 0 -1 0 3004 0 1 0 6 1 0 0 16 0 8 0 161935770 936947712 2750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9030/statm: 228747 2751 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.512012 s]
/proc/loadavg: 1.92 1.99 1.84 3/68 9031
/proc/meminfo: memFree=1653360/2055920 swapFree=4184496/4192956
[pid=9030] ppid=9028 vsize=915328 CPUtime=0.47
/proc/9030/stat : 9030 (java) R 9028 9030 8280 0 -1 0 7034 0 1 0 43 4 0 0 17 0 8 0 161935770 937295872 6773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072935922 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9030/statm: 228832 6773 2142 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.34111 s]
/proc/loadavg: 1.92 1.99 1.84 4/88 9097
/proc/meminfo: memFree=1620688/2055920 swapFree=4184496/4192956
[pid=9030] ppid=9028 vsize=915452 CPUtime=1.3
/proc/9030/stat : 9030 (java) R 9028 9030 8280 0 -1 0 8688 0 1 0 124 6 0 0 21 0 8 0 161935770 937422848 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788450 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9030/statm: 228863 8426 2524 14 0 215333 0
[pid=9030/tid=9032] ppid=9028 vsize=915452 CPUtime=0.02
/proc/9030/task/9032/stat : 9032 (java) S 9028 9030 8280 0 -1 64 270 0 0 0 2 0 0 0 16 0 8 0 161935774 937422848 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9033] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9033/stat : 9033 (java) S 9028 9030 8280 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161935774 937422848 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9034] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9034/stat : 9034 (java) S 9028 9030 8280 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161935774 937422848 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9035] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9035/stat : 9035 (java) S 9028 9030 8280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161935777 937422848 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9036] ppid=9028 vsize=915452 CPUtime=0.19
/proc/9030/task/9036/stat : 9036 (java) S 9028 9030 8280 0 -1 64 384 0 0 0 18 1 0 0 16 0 8 0 161935777 937422848 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9030/tid=9037] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9037/stat : 9037 (java) S 9028 9030 8280 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161935777 937422848 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9038] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9038/stat : 9038 (java) S 9028 9030 8280 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161935778 937422848 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.9813 s]
/proc/loadavg: 1.92 1.99 1.84 3/88 9097
/proc/meminfo: memFree=1618640/2055920 swapFree=4184496/4192956
[pid=9030] ppid=9028 vsize=915452 CPUtime=2.94
/proc/9030/stat : 9030 (java) R 9028 9030 8280 0 -1 0 8704 0 1 0 287 7 0 0 25 0 8 0 161935770 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805248 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9030/statm: 228863 8441 2524 14 0 215333 0
[pid=9030/tid=9032] ppid=9028 vsize=915452 CPUtime=0.02
/proc/9030/task/9032/stat : 9032 (java) S 9028 9030 8280 0 -1 64 270 0 0 0 2 0 0 0 16 0 8 0 161935774 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9030/tid=9033] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9033/stat : 9033 (java) S 9028 9030 8280 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161935774 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9034] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9034/stat : 9034 (java) S 9028 9030 8280 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161935774 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9035] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9035/stat : 9035 (java) S 9028 9030 8280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161935777 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9036] ppid=9028 vsize=915452 CPUtime=0.2
/proc/9030/task/9036/stat : 9036 (java) S 9028 9030 8280 0 -1 64 389 0 0 0 19 1 0 0 15 0 8 0 161935777 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9030/tid=9037] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9037/stat : 9037 (java) S 9028 9030 8280 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161935777 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9038] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9038/stat : 9038 (java) S 9028 9030 8280 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161935778 937422848 8441 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452
[startup+6.26069 s]
/proc/loadavg: 1.93 1.99 1.84 3/88 9097
/proc/meminfo: memFree=1618512/2055920 swapFree=4184496/4192956
[pid=9030] ppid=9028 vsize=915452 CPUtime=6.2
/proc/9030/stat : 9030 (java) R 9028 9030 8280 0 -1 0 8712 0 1 0 613 7 0 0 25 0 8 0 161935770 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803687 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9030/statm: 228863 8448 2524 14 0 215333 0
[pid=9030/tid=9032] ppid=9028 vsize=915452 CPUtime=0.02
/proc/9030/task/9032/stat : 9032 (java) S 9028 9030 8280 0 -1 64 270 0 0 0 2 0 0 0 16 0 8 0 161935774 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9030/tid=9033] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9033/stat : 9033 (java) S 9028 9030 8280 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161935774 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9034] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9034/stat : 9034 (java) S 9028 9030 8280 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161935774 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9035] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9035/stat : 9035 (java) S 9028 9030 8280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161935777 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9036] ppid=9028 vsize=915452 CPUtime=0.2
/proc/9030/task/9036/stat : 9036 (java) S 9028 9030 8280 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 161935777 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9030/tid=9037] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9037/stat : 9037 (java) S 9028 9030 8280 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161935777 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9038] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9038/stat : 9038 (java) S 9028 9030 8280 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161935778 937422848 8448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915452
[startup+12.7495 s]
/proc/loadavg: 1.93 1.99 1.84 3/88 9097
/proc/meminfo: memFree=1618512/2055920 swapFree=4184496/4192956
[pid=9030] ppid=9028 vsize=915452 CPUtime=12.66
/proc/9030/stat : 9030 (java) R 9028 9030 8280 0 -1 0 8719 0 1 0 1259 7 0 0 25 0 8 0 161935770 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9030/statm: 228863 8455 2524 14 0 215333 0
[pid=9030/tid=9032] ppid=9028 vsize=915452 CPUtime=0.02
/proc/9030/task/9032/stat : 9032 (java) S 9028 9030 8280 0 -1 64 270 0 0 0 2 0 0 0 16 0 8 0 161935774 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9030/tid=9033] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9033/stat : 9033 (java) S 9028 9030 8280 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161935774 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9034] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9034/stat : 9034 (java) S 9028 9030 8280 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161935774 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9035] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9035/stat : 9035 (java) S 9028 9030 8280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161935777 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9036] ppid=9028 vsize=915452 CPUtime=0.2
/proc/9030/task/9036/stat : 9036 (java) S 9028 9030 8280 0 -1 64 391 0 0 0 19 1 0 0 16 0 8 0 161935777 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9030/tid=9037] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9037/stat : 9037 (java) S 9028 9030 8280 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161935777 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9038] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9038/stat : 9038 (java) S 9028 9030 8280 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161935778 937422848 8455 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915452
[startup+25.6 s]
/proc/loadavg: 1.95 1.99 1.84 3/88 9168
/proc/meminfo: memFree=1618848/2055920 swapFree=4184496/4192956
[pid=9030] ppid=9028 vsize=915452 CPUtime=25.38
/proc/9030/stat : 9030 (java) R 9028 9030 8280 0 -1 0 8723 0 1 0 2531 7 0 0 25 0 8 0 161935770 937422848 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793849 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9030/statm: 228863 8459 2524 14 0 215333 0
[pid=9030/tid=9032] ppid=9028 vsize=915452 CPUtime=0.02
/proc/9030/task/9032/stat : 9032 (java) S 9028 9030 8280 0 -1 64 270 0 0 0 2 0 0 0 16 0 8 0 161935774 937422848 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9030/tid=9033] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9033/stat : 9033 (java) S 9028 9030 8280 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161935774 937422848 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9034] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9034/stat : 9034 (java) S 9028 9030 8280 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161935774 937422848 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9035] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9035/stat : 9035 (java) S 9028 9030 8280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161935777 937422848 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9036] ppid=9028 vsize=915452 CPUtime=0.2
/proc/9030/task/9036/stat : 9036 (java) S 9028 9030 8280 0 -1 64 391 0 0 0 19 1 0 0 16 0 8 0 161935777 937422848 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9030/tid=9037] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9037/stat : 9037 (java) S 9028 9030 8280 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161935777 937422848 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9038] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9038/stat : 9038 (java) S 9028 9030 8280 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161935778 937422848 8459 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915452
[startup+51.294 s]
/proc/loadavg: 1.90 1.98 1.84 3/80 9206
/proc/meminfo: memFree=1626344/2055920 swapFree=4184496/4192956
[pid=9030] ppid=9028 vsize=915452 CPUtime=50.9
/proc/9030/stat : 9030 (java) R 9028 9030 8280 0 -1 0 8726 0 1 0 5083 7 0 0 25 0 8 0 161935770 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073789787 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9030/statm: 228863 8462 2524 14 0 215333 0
[pid=9030/tid=9032] ppid=9028 vsize=915452 CPUtime=0.02
/proc/9030/task/9032/stat : 9032 (java) S 9028 9030 8280 0 -1 64 270 0 0 0 2 0 0 0 16 0 8 0 161935774 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9030/tid=9033] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9033/stat : 9033 (java) S 9028 9030 8280 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 161935774 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9034] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9034/stat : 9034 (java) S 9028 9030 8280 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 161935774 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9035] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9035/stat : 9035 (java) S 9028 9030 8280 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 161935777 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9036] ppid=9028 vsize=915452 CPUtime=0.2
/proc/9030/task/9036/stat : 9036 (java) S 9028 9030 8280 0 -1 64 391 0 0 0 19 1 0 0 16 0 8 0 161935777 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9030/tid=9037] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9037/stat : 9037 (java) S 9028 9030 8280 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 161935777 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9030/tid=9038] ppid=9028 vsize=915452 CPUtime=0
/proc/9030/task/9038/stat : 9038 (java) S 9028 9030 8280 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 161935778 937422848 8462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 91.4674
CPU time (s): 90.8512
CPU user time (s): 90.7692
CPU system time (s): 0.081987
CPU usage (%): 99.3263
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 90.7692
system time used= 0.081987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8822
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= 2851
involuntary context switches= 3510
runsolver used 0.080987 s user time and 0.264959 s system time
The end
Begin job on node75 on Sun Jan 7 02:02:44 UTC 2007
IDJOB= 199618
IDBENCH= 3629
FILE ID= node75/199618-1168135363
PBS_JOBID= 3478004
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-50021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199618-1168135363/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-199618-1168135363 -o ROOT/results/node75/solver-199618-1168135363 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199618-1168135363/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9d7243f439de1098a0ff6467e2301618
RANDOM SEED= 791751284
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1653840 kB
Buffers: 33260 kB
Cached: 300076 kB
SwapCached: 2584 kB
Active: 264804 kB
Inactive: 83120 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1653840 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 1936 kB
Writeback: 0 kB
Mapped: 20580 kB
Slab: 39836 kB
Committed_AS: 3348532 kB
PageTables: 1636 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= 66546 MiB
End job on node75 on Sun Jan 7 02:04:16 UTC 2007