0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/203031-1168155639/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.41 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.41
0.41 relations being loaded...
0.50
0.50 constraints being loaded...
0.61 nbConstraints=330 nbRelationTypes=330 nbExtensionStructures=330 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=330 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2751 maxDegree=22
0.61 maxArity=2
0.61 => wckTime=0.301 cpuTime=0.22 mem=12M803
0.65
0.65 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.495 cpuTime=0.35 mem=15M2
0.86
0.86 preprocessing
0.86 nbConstraintChecks=64708 nbPropagations=891 nbRevisions=6818 nbUselessRevisions=5516 nbSingletonTests=52
0.86 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.86 => wckTime=0.049 cpuTime=0.03 mem=15M2
0.89
0.89 search
0.89 run=0 nbConstraintChecks=51624 nbPropagations=1541 nbRevisions=15560 nbUselessRevisions=12410 nbAssignments=29
0.89 nbFailedAssignments=13 nbBacktracks=12 nbVisitedNodes=52 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.078 cpuTime=0.05 mem=15M2
0.90
0.90 search
0.90 run=1 nbConstraintChecks=99460 nbPropagations=3728 nbRevisions=39639 nbUselessRevisions=31666 nbAssignments=63
0.90 nbFailedAssignments=26 nbBacktracks=27 nbVisitedNodes=110 nbRestartNogoods=2 mapSize=26 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.094 cpuTime=0.07 mem=15M2
0.92
0.92 search
0.92 run=2 nbConstraintChecks=155082 nbPropagations=6692 nbRevisions=73087 nbUselessRevisions=58317
0.92 nbAssignments=107 nbFailedAssignments=39 nbBacktracks=54 nbVisitedNodes=181 nbRestartNogoods=5 mapSize=45
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.11 cpuTime=0.08 mem=15M2
0.94
0.94 search
0.94 run=3 nbConstraintChecks=255365 nbPropagations=10964 nbRevisions=123639 nbUselessRevisions=98834
0.94 nbAssignments=178 nbFailedAssignments=69 nbBacktracks=87 nbVisitedNodes=300 nbRestartNogoods=7 mapSize=74
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.13 cpuTime=0.1 mem=15M2
0.96
0.96 search
0.96 run=4 nbConstraintChecks=372327 nbPropagations=16837 nbRevisions=194372 nbUselessRevisions=155354
0.96 nbAssignments=268 nbFailedAssignments=101 nbBacktracks=140 nbVisitedNodes=445 nbRestartNogoods=11 mapSize=114
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.152 cpuTime=0.12 mem=15M2
1.00
1.00 search
1.00 run=5 nbConstraintChecks=601390 nbPropagations=25551 nbRevisions=302789 nbUselessRevisions=241252
1.00 nbAssignments=414 nbFailedAssignments=167 nbBacktracks=216 nbVisitedNodes=705 nbRestartNogoods=16 mapSize=183
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.196 cpuTime=0.16 mem=15M2
1.05
1.05 search
1.05 run=6 nbConstraintChecks=879540 nbPropagations=38020 nbRevisions=460366 nbUselessRevisions=366099
1.05 nbAssignments=609 nbFailedAssignments=243 nbBacktracks=329 nbVisitedNodes=1041 nbRestartNogoods=23 mapSize=278
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.245 cpuTime=0.21 mem=15M2
1.13
1.13 search
1.13 run=7 nbConstraintChecks=1281547 nbPropagations=55884 nbRevisions=691088 nbUselessRevisions=549583
1.13 nbAssignments=922 nbFailedAssignments=379 nbBacktracks=499 nbVisitedNodes=1578 nbRestartNogoods=28 mapSize=420
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.321 cpuTime=0.28 mem=15M2
1.24
1.24 search
1.24 run=8 nbConstraintChecks=1911006 nbPropagations=82022 nbRevisions=1033259 nbUselessRevisions=821803
1.24 nbAssignments=1372 nbFailedAssignments=558 nbBacktracks=755 nbVisitedNodes=2332 nbRestartNogoods=31
1.24 mapSize=624 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.433 cpuTime=0.38 mem=15M2
1.41
1.41 search
1.41 run=9 nbConstraintChecks=2892063 nbPropagations=120853 nbRevisions=1545664 nbUselessRevisions=1229042
1.41 nbAssignments=2041 nbFailedAssignments=836 nbBacktracks=1139 nbVisitedNodes=3498 nbRestartNogoods=34
1.41 mapSize=955 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.6 cpuTime=0.53 mem=15M2
1.44
1.44 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=15M2)
1.63
1.63 search
1.63 run=10 nbConstraintChecks=4327351 nbPropagations=178305 nbRevisions=2312986 nbUselessRevisions=1839443
1.63 nbAssignments=3063 nbFailedAssignments=1274 nbBacktracks=1716 nbVisitedNodes=5293 nbRestartNogoods=41
1.63 => wckTime=0.823 cpuTime=0.74 mem=15M2
1.94
1.94 search
1.94 run=11 nbConstraintChecks=6374543 nbPropagations=263098 nbRevisions=3450068 nbUselessRevisions=2742975
1.94 nbAssignments=4559 nbFailedAssignments=1900 nbBacktracks=2581 nbVisitedNodes=7897 nbRestartNogoods=49
1.94 => wckTime=1.128 cpuTime=1.05 mem=15M2
2.44
2.44 search
2.44 run=12 nbConstraintChecks=9823031 nbPropagations=392782 nbRevisions=5204780 nbUselessRevisions=4137569
2.44 nbAssignments=6918 nbFailedAssignments=2954 nbBacktracks=3880 nbVisitedNodes=12058 nbRestartNogoods=56
2.44 => wckTime=1.629 cpuTime=1.54 mem=15M2
3.09
3.09 search
3.09 run=13 nbConstraintChecks=14266830 nbPropagations=582238 nbRevisions=7771128 nbUselessRevisions=6179879
3.09 nbAssignments=10216 nbFailedAssignments=4298 nbBacktracks=5827 nbVisitedNodes=17796 nbRestartNogoods=65
3.09 => wckTime=2.286 cpuTime=2.2 mem=15M2
4.18
4.18 search
4.18 run=14 nbConstraintChecks=21629195 nbPropagations=867067 nbRevisions=11638367 nbUselessRevisions=9255276
4.18 nbAssignments=15261 nbFailedAssignments=6418 nbBacktracks=8749 nbVisitedNodes=26697 nbRestartNogoods=76
4.18 => wckTime=3.371 cpuTime=3.26 mem=15M2
5.68
5.68 search
5.68 run=15 nbConstraintChecks=31706714 nbPropagations=1287692 nbRevisions=17364070 nbUselessRevisions=13814815
5.68 nbAssignments=22695 nbFailedAssignments=9467 nbBacktracks=13127 nbVisitedNodes=39620 nbRestartNogoods=82
5.68 => wckTime=4.871 cpuTime=4.75 mem=15M2
8.02
8.02 search
8.02 run=16 nbConstraintChecks=48126283 nbPropagations=1916180 nbRevisions=25878270 nbUselessRevisions=20574999
8.02 nbAssignments=33681 nbFailedAssignments=13880 nbBacktracks=19695 nbVisitedNodes=58736 nbRestartNogoods=93
8.02 => wckTime=7.215 cpuTime=7.07 mem=15M2
11.66
11.66 search
11.66 run=17 nbConstraintChecks=73131967 nbPropagations=2871117 nbRevisions=38909427 nbUselessRevisions=30936315
11.66 nbAssignments=50980 nbFailedAssignments=21321 nbBacktracks=29547 nbVisitedNodes=89167 nbRestartNogoods=96
11.66 => wckTime=10.855 cpuTime=10.7 mem=15M977
17.05
17.05 search
17.05 run=18 nbConstraintChecks=110651643 nbPropagations=4313352 nbRevisions=58678442 nbUselessRevisions=46671951
17.05 nbAssignments=76723 nbFailedAssignments=32267 nbBacktracks=44325 nbVisitedNodes=134551 nbRestartNogoods=114
17.05 => wckTime=16.242 cpuTime=16.07 mem=15M977
24.89
24.89 search
24.89 run=19 nbConstraintChecks=165331425 nbPropagations=6458095 nbRevisions=88006243 nbUselessRevisions=69987477
24.89 nbAssignments=114073 nbFailedAssignments=47443 nbBacktracks=66494 nbVisitedNodes=199504 nbRestartNogoods=123
24.89 => wckTime=24.078 cpuTime=23.87 mem=15M977
36.99
36.99 search
36.99 run=20 nbConstraintChecks=249885580 nbPropagations=9684177 nbRevisions=132056676 nbUselessRevisions=104979921
36.99 nbAssignments=170771 nbFailedAssignments=70882 nbBacktracks=99746 nbVisitedNodes=298487 nbRestartNogoods=134
36.99 => wckTime=36.182 cpuTime=35.93 mem=15M977
43.74
43.74 search
43.74 run=21 nbConstraintChecks=297428327 nbPropagations=13507190 nbRevisions=184225841 nbUselessRevisions=146386847
43.74 nbAssignments=201833 nbFailedAssignments=83987 nbBacktracks=117675 nbVisitedNodes=352634 nbRestartNogoods=145
43.74 => wckTime=42.933 cpuTime=42.67 mem=15M977
43.74
43.74 global
43.74 nbConstraintChecks=297493035 nbPropagations=13508081 nbRevisions=184232659 nbUselessRevisions=146392363
43.74 nbRestartNogoods=145 solvingWckTime=42.934 solvingCpuTime=42.67 expiredTime=no totalExploration=yes
43.74 nbFoundSolutions=0 globalCpuTime=43.06
43.74 => wckTime=43.432 cpuTime=43.02 mem=15M977
43.74
43.74 s UNSATISFIABLE
43.75 d NODES 201833
43.75 d CHECKS 297493035
43.75
43.75 totalWckTime=43.509 totalCpuTime=43.06
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-203031-1168155639 -o ROOT/results/node41/solver-203031-1168155639 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203031-1168155639/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: 0.98 1.55 1.79 2/69 31330
/proc/meminfo: memFree=1679128/2055920 swapFree=4191892/4192956
[pid=31329] ppid=31325 vsize=18540 CPUtime=0
/proc/31329/stat : 31329 (runsolver) R 31325 31329 31227 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 163963236 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238390144295 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/31329/statm: 4635 279 244 17 0 2626 0
[startup+0.102245 s]
/proc/loadavg: 0.98 1.55 1.79 2/69 31330
/proc/meminfo: memFree=1679128/2055920 swapFree=4191892/4192956
[pid=31329] ppid=31325 vsize=912760 CPUtime=0.07
/proc/31329/stat : 31329 (java) S 31325 31329 31227 0 -1 0 2791 0 1 0 6 1 0 0 24 0 8 0 163963236 934666240 2537 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31329/statm: 228190 2537 1390 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.51025 s]
/proc/loadavg: 0.98 1.55 1.79 2/69 31330
/proc/meminfo: memFree=1679128/2055920 swapFree=4191892/4192956
[pid=31329] ppid=31325 vsize=915328 CPUtime=0.47
/proc/31329/stat : 31329 (java) R 31325 31329 31227 0 -1 0 6891 0 1 0 43 4 0 0 25 0 8 0 163963236 937295872 6630 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31329/statm: 228832 6630 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33132 s]
/proc/loadavg: 0.98 1.55 1.79 3/88 31368
/proc/meminfo: memFree=1583872/2055920 swapFree=4191892/4192956
[pid=31329] ppid=31325 vsize=915456 CPUtime=1.29
/proc/31329/stat : 31329 (java) R 31325 31329 31227 0 -1 0 8736 0 1 0 122 7 0 0 25 0 8 0 163963236 937426944 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819009 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31329/statm: 228864 8474 2524 14 0 215334 0
[pid=31329/tid=31350] ppid=31325 vsize=915456 CPUtime=0.03
/proc/31329/task/31350/stat : 31350 (java) S 31325 31329 31227 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 163963241 937426944 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31354] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31354/stat : 31354 (java) S 31325 31329 31227 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163963242 937426944 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31355] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31355/stat : 31355 (java) S 31325 31329 31227 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163963242 937426944 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31358] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31358/stat : 31358 (java) S 31325 31329 31227 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 163963245 937426944 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31359] ppid=31325 vsize=915456 CPUtime=0.21
/proc/31329/task/31359/stat : 31359 (java) S 31325 31329 31227 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 163963245 937426944 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31360] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31360/stat : 31360 (java) S 31325 31329 31227 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 163963245 937426944 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31361] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31361/stat : 31361 (java) S 31325 31329 31227 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163963245 937426944 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
[startup+2.98246 s]
/proc/loadavg: 0.98 1.55 1.79 3/89 31369
/proc/meminfo: memFree=1580600/2055920 swapFree=4191892/4192956
[pid=31329] ppid=31325 vsize=915456 CPUtime=2.94
/proc/31329/stat : 31329 (java) R 31325 31329 31227 0 -1 0 8767 0 1 0 287 7 0 0 25 0 8 0 163963236 937426944 8504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336160 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31329/statm: 228864 8504 2524 14 0 215334 0
[pid=31329/tid=31350] ppid=31325 vsize=915456 CPUtime=0.03
/proc/31329/task/31350/stat : 31350 (java) S 31325 31329 31227 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 163963241 937426944 8504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31354] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31354/stat : 31354 (java) S 31325 31329 31227 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163963242 937426944 8504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31355] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31355/stat : 31355 (java) S 31325 31329 31227 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163963242 937426944 8504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31358] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31358/stat : 31358 (java) S 31325 31329 31227 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 163963245 937426944 8504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31359] ppid=31325 vsize=915456 CPUtime=0.22
/proc/31329/task/31359/stat : 31359 (java) S 31325 31329 31227 0 -1 64 394 0 0 0 21 1 0 0 15 0 8 0 163963245 937426944 8504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31360] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31360/stat : 31360 (java) S 31325 31329 31227 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 163963245 937426944 8504 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31361] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31361/stat : 31361 (java) S 31325 31329 31227 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163963245 937426944 8504 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) 915456
[startup+6.27975 s]
/proc/loadavg: 1.06 1.56 1.79 3/89 31369
/proc/meminfo: memFree=1580408/2055920 swapFree=4191892/4192956
[pid=31329] ppid=31325 vsize=915456 CPUtime=6.19
/proc/31329/stat : 31329 (java) R 31325 31329 31227 0 -1 0 8776 0 1 0 612 7 0 0 25 0 8 0 163963236 937426944 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073815107 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31329/statm: 228864 8512 2524 14 0 215334 0
[pid=31329/tid=31350] ppid=31325 vsize=915456 CPUtime=0.03
/proc/31329/task/31350/stat : 31350 (java) S 31325 31329 31227 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 163963241 937426944 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31354] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31354/stat : 31354 (java) S 31325 31329 31227 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163963242 937426944 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31355] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31355/stat : 31355 (java) S 31325 31329 31227 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163963242 937426944 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31358] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31358/stat : 31358 (java) S 31325 31329 31227 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 163963245 937426944 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31359] ppid=31325 vsize=915456 CPUtime=0.22
/proc/31329/task/31359/stat : 31359 (java) S 31325 31329 31227 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 163963245 937426944 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31360] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31360/stat : 31360 (java) S 31325 31329 31227 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 163963245 937426944 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31361] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31361/stat : 31361 (java) S 31325 31329 31227 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163963245 937426944 8512 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915456
[startup+12.7543 s]
/proc/loadavg: 1.14 1.57 1.79 3/89 31369
/proc/meminfo: memFree=1580408/2055920 swapFree=4191892/4192956
[pid=31329] ppid=31325 vsize=915456 CPUtime=12.64
/proc/31329/stat : 31329 (java) R 31325 31329 31227 0 -1 0 8781 0 1 0 1257 7 0 0 25 0 8 0 163963236 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073828921 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31329/statm: 228864 8517 2524 14 0 215334 0
[pid=31329/tid=31350] ppid=31325 vsize=915456 CPUtime=0.03
/proc/31329/task/31350/stat : 31350 (java) S 31325 31329 31227 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 163963241 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31354] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31354/stat : 31354 (java) S 31325 31329 31227 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163963242 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31355] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31355/stat : 31355 (java) S 31325 31329 31227 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163963242 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31358] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31358/stat : 31358 (java) S 31325 31329 31227 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 163963245 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31359] ppid=31325 vsize=915456 CPUtime=0.22
/proc/31329/task/31359/stat : 31359 (java) S 31325 31329 31227 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 163963245 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31360] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31360/stat : 31360 (java) S 31325 31329 31227 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 163963245 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31361] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31361/stat : 31361 (java) S 31325 31329 31227 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163963245 937426944 8517 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915456
[startup+25.5944 s]
/proc/loadavg: 1.33 1.59 1.79 3/89 31369
/proc/meminfo: memFree=1580472/2055920 swapFree=4191892/4192956
[pid=31329] ppid=31325 vsize=915456 CPUtime=25.43
/proc/31329/stat : 31329 (java) R 31325 31329 31227 0 -1 0 8786 0 1 0 2536 7 0 0 25 0 8 0 163963236 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812316 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31329/statm: 228864 8522 2524 14 0 215334 0
[pid=31329/tid=31350] ppid=31325 vsize=915456 CPUtime=0.03
/proc/31329/task/31350/stat : 31350 (java) S 31325 31329 31227 0 -1 64 286 0 0 0 3 0 0 0 16 0 8 0 163963241 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31354] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31354/stat : 31354 (java) S 31325 31329 31227 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 163963242 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31355] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31355/stat : 31355 (java) S 31325 31329 31227 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 163963242 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31358] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31358/stat : 31358 (java) S 31325 31329 31227 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 163963245 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31359] ppid=31325 vsize=915456 CPUtime=0.22
/proc/31329/task/31359/stat : 31359 (java) S 31325 31329 31227 0 -1 64 395 0 0 0 21 1 0 0 16 0 8 0 163963245 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31360] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31360/stat : 31360 (java) S 31325 31329 31227 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 163963245 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31329/tid=31361] ppid=31325 vsize=915456 CPUtime=0
/proc/31329/task/31361/stat : 31361 (java) S 31325 31329 31227 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 163963245 937426944 8522 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 43.7966
CPU time (s): 43.5314
CPU user time (s): 43.4464
CPU system time (s): 0.084987
CPU usage (%): 99.3943
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.4464
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8881
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= 2056
involuntary context switches= 2832
runsolver used 0.043993 s user time and 0.120981 s system time
The end
Begin job on node41 on Sun Jan 7 07:40:40 UTC 2007
IDJOB= 203031
IDBENCH= 3904
FILE ID= node41/203031-1168155639
PBS_JOBID= 3478525
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203031-1168155639/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-203031-1168155639 -o ROOT/results/node41/solver-203031-1168155639 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203031-1168155639/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d52e5670b32f8342bb66c4f4342e01aa
RANDOM SEED= 214277566
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.234
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.234
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: 1679672 kB
Buffers: 23836 kB
Cached: 266536 kB
SwapCached: 396 kB
Active: 90124 kB
Inactive: 219896 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1679672 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 5672 kB
Writeback: 0 kB
Mapped: 28392 kB
Slab: 51928 kB
Committed_AS: 2868712 kB
PageTables: 1744 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= 66549 MiB
End job on node41 on Sun Jan 7 07:41:24 UTC 2007