0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/223508-1168265765/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.40 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.50
0.50 constraints being loaded...
0.59 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1 maxDegree=13 maxArity=2
0.59 => wckTime=0.292 cpuTime=0.22 mem=13M812
0.63
0.63 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.485 cpuTime=0.35 mem=14M839
0.84
0.84 preprocessing
0.84 nbConstraintChecks=79808 nbPropagations=924 nbRevisions=5658 nbUselessRevisions=4337 nbSingletonTests=54
0.84 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
0.84 => wckTime=0.046 cpuTime=0.03 mem=14M839
0.86
0.86 search
0.86 run=0 nbConstraintChecks=35636 nbPropagations=1493 nbRevisions=9907 nbUselessRevisions=7212 nbAssignments=23
0.86 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.067 cpuTime=0.04 mem=14M839
0.87
0.87 search
0.87 run=1 nbConstraintChecks=88067 nbPropagations=3795 nbRevisions=26042 nbUselessRevisions=18717 nbAssignments=61
0.87 nbFailedAssignments=26 nbBacktracks=25 nbVisitedNodes=106 nbRestartNogoods=1 mapSize=21 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.084 cpuTime=0.05 mem=14M839
0.89
0.89 search
0.89 run=2 nbConstraintChecks=164200 nbPropagations=7369 nbRevisions=51964 nbUselessRevisions=37058
0.89 nbAssignments=120 nbFailedAssignments=55 nbBacktracks=49 nbVisitedNodes=209 nbRestartNogoods=3 mapSize=43
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.104 cpuTime=0.07 mem=14M839
0.91
0.91 search
0.91 run=3 nbConstraintChecks=284412 nbPropagations=12882 nbRevisions=92471 nbUselessRevisions=65791
0.92 nbAssignments=209 nbFailedAssignments=92 nbBacktracks=84 nbVisitedNodes=347 nbRestartNogoods=7 mapSize=74
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.125 cpuTime=0.09 mem=14M839
0.94
0.94 search
0.94 run=4 nbConstraintChecks=404070 nbPropagations=20504 nbRevisions=148686 nbUselessRevisions=105277
0.94 nbAssignments=314 nbFailedAssignments=142 nbBacktracks=134 nbVisitedNodes=531 nbRestartNogoods=9 mapSize=115
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.15 cpuTime=0.11 mem=14M839
0.97
0.97 search
0.97 run=5 nbConstraintChecks=544425 nbPropagations=30665 nbRevisions=224283 nbUselessRevisions=158184
0.97 nbAssignments=442 nbFailedAssignments=192 nbBacktracks=209 nbVisitedNodes=750 nbRestartNogoods=11 mapSize=169
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.175 cpuTime=0.13 mem=14M839
1.02
1.02 search
1.02 run=6 nbConstraintChecks=860609 nbPropagations=46016 nbRevisions=340253 nbUselessRevisions=238621
1.02 nbAssignments=671 nbFailedAssignments=300 nbBacktracks=324 nbVisitedNodes=1162 nbRestartNogoods=14 mapSize=270
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.228 cpuTime=0.18 mem=14M839
1.08
1.08 search
1.08 run=7 nbConstraintChecks=1217912 nbPropagations=67136 nbRevisions=502214 nbUselessRevisions=351318
1.08 nbAssignments=978 nbFailedAssignments=430 nbBacktracks=494 nbVisitedNodes=1680 nbRestartNogoods=22 mapSize=402
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.286 cpuTime=0.24 mem=14M839
1.18
1.18 search
1.18 run=8 nbConstraintChecks=1754588 nbPropagations=99252 nbRevisions=750599 nbUselessRevisions=524727
1.18 nbAssignments=1502 nbFailedAssignments=692 nbBacktracks=750 nbVisitedNodes=2627 nbRestartNogoods=29
1.18 mapSize=621 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.394 cpuTime=0.34 mem=14M839
1.31
1.31 search
1.31 run=9 nbConstraintChecks=2514806 nbPropagations=143957 nbRevisions=1095454 nbUselessRevisions=764162
1.31 nbAssignments=2144 nbFailedAssignments=944 nbBacktracks=1135 nbVisitedNodes=3716 nbRestartNogoods=37
1.31 mapSize=924 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.518 cpuTime=0.45 mem=14M839
1.35
1.35 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=14M839)
1.52
1.52 search
1.52 run=10 nbConstraintChecks=3965453 nbPropagations=212742 nbRevisions=1635814 nbUselessRevisions=1140766
1.52 nbAssignments=3212 nbFailedAssignments=1428 nbBacktracks=1711 nbVisitedNodes=5640 nbRestartNogoods=44
1.52 => wckTime=0.726 cpuTime=0.65 mem=14M839
1.76
1.76 search
1.76 run=11 nbConstraintChecks=5629954 nbPropagations=312858 nbRevisions=2412713 nbUselessRevisions=1681851
1.76 nbAssignments=4729 nbFailedAssignments=2076 nbBacktracks=2575 nbVisitedNodes=8289 nbRestartNogoods=52
1.76 => wckTime=0.967 cpuTime=0.89 mem=14M839
2.18
2.18 search
2.18 run=12 nbConstraintChecks=8663515 nbPropagations=466131 nbRevisions=3597446 nbUselessRevisions=2503990
2.18 nbAssignments=7194 nbFailedAssignments=3239 nbBacktracks=3872 nbVisitedNodes=12707 nbRestartNogoods=59
2.18 => wckTime=1.386 cpuTime=1.31 mem=15M815
2.74
2.74 search
2.74 run=13 nbConstraintChecks=12945567 nbPropagations=696390 nbRevisions=5375164 nbUselessRevisions=3735834
2.74 nbAssignments=10749 nbFailedAssignments=4841 nbBacktracks=5819 nbVisitedNodes=19065 nbRestartNogoods=70
2.74 => wckTime=1.946 cpuTime=1.86 mem=15M815
3.55
3.55 search
3.55 run=14 nbConstraintChecks=19063909 nbPropagations=1034159 nbRevisions=7990744 nbUselessRevisions=5549294
3.55 nbAssignments=15774 nbFailedAssignments=6941 nbBacktracks=8738 nbVisitedNodes=27816 nbRestartNogoods=82
3.55 => wckTime=2.761 cpuTime=2.68 mem=15M815
4.83
4.83 search
4.83 run=15 nbConstraintChecks=29138117 nbPropagations=1547008 nbRevisions=11957575 nbUselessRevisions=8297646
4.83 nbAssignments=23852 nbFailedAssignments=10635 nbBacktracks=13118 nbVisitedNodes=42267 nbRestartNogoods=96
4.83 => wckTime=4.039 cpuTime=3.96 mem=15M815
6.59
6.59 search
6.59 run=16 nbConstraintChecks=43012349 nbPropagations=2300347 nbRevisions=17829555 nbUselessRevisions=12374424
6.59 nbAssignments=35612 nbFailedAssignments=15820 nbBacktracks=19686 nbVisitedNodes=62986 nbRestartNogoods=110
6.59 => wckTime=5.798 cpuTime=5.72 mem=15M815
9.44
9.44 search
9.44 run=17 nbConstraintChecks=65417087 nbPropagations=3444709 nbRevisions=26777113 nbUselessRevisions=18587813
9.44 nbAssignments=53755 nbFailedAssignments=24102 nbBacktracks=29539 nbVisitedNodes=95234 nbRestartNogoods=123
9.44 => wckTime=8.652 cpuTime=8.57 mem=15M815
13.88
13.88 search
13.88 run=18 nbConstraintChecks=100479941 nbPropagations=5197777 nbRevisions=40488910 nbUselessRevisions=28104148
13.88 nbAssignments=81049 nbFailedAssignments=36612 nbBacktracks=44319 nbVisitedNodes=144109 nbRestartNogoods=134
13.88 => wckTime=13.087 cpuTime=13.0 mem=15M815
19.88
19.88 search
19.88 run=19 nbConstraintChecks=148251449 nbPropagations=7777811 nbRevisions=60645563 nbUselessRevisions=42085286
19.88 nbAssignments=119950 nbFailedAssignments=53339 nbBacktracks=66489 nbVisitedNodes=212152 nbRestartNogoods=153
19.88 => wckTime=19.09 cpuTime=19.0 mem=15M815
20.54
20.54 search
20.54 run=20 nbConstraintChecks=153558376 nbPropagations=10447765 nbRevisions=81514198 nbUselessRevisions=56559983
20.54 nbAssignments=124105 nbFailedAssignments=55260 nbBacktracks=68683 nbVisitedNodes=219563 nbRestartNogoods=163
20.54 => wckTime=19.753 cpuTime=19.66 mem=15M815
20.54
20.54 global
20.54 nbConstraintChecks=153638184 nbPropagations=10448689 nbRevisions=81519856 nbUselessRevisions=56564320
20.54 nbRestartNogoods=163 solvingWckTime=19.754 solvingCpuTime=19.66 expiredTime=no totalExploration=no
20.54 nbFoundSolutions=1 globalCpuTime=20.07
20.55 => wckTime=20.243 cpuTime=20.01 mem=15M815
20.55
20.55 s SATISFIABLE
20.55 v 0 5 8 0 15 16 12 23 22 8 18 22 3 7 3 20 8 22 12 20 21 12 19 0 24 20 3 0 13 6 9 22 14 4 16 3 21 10 23 14
20.55 d NODES 124105
20.55 d CHECKS 153638184
20.55
20.55 totalWckTime=20.319 totalCpuTime=20.07
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-223508-1168265765 -o ROOT/results/node45/solver-223508-1168265765 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223508-1168265765/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.17 0.14 0.26 3/68 21185
/proc/meminfo: memFree=1761080/2055920 swapFree=4184048/4192956
[pid=21184] ppid=21182 vsize=0 CPUtime=0
/proc/21184/stat : 21184 (runsolver) R 21182 21184 20463 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 174975993 0 0 18446744073709551615 0 0 0 18446744073709551615 258939088167 0 0 4096 24578 0 0 0 17 1 0 0
/proc/21184/statm: 0 0 0 0 0 0 0
[startup+0.104919 s]
/proc/loadavg: 0.17 0.14 0.26 3/68 21185
/proc/meminfo: memFree=1761080/2055920 swapFree=4184048/4192956
[pid=21184] ppid=21182 vsize=914988 CPUtime=0.08
/proc/21184/stat : 21184 (java) R 21182 21184 20463 0 -1 0 2988 0 1 0 7 1 0 0 22 0 8 0 174975993 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21184/statm: 228747 2737 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512996 s]
/proc/loadavg: 0.17 0.14 0.26 3/68 21185
/proc/meminfo: memFree=1761080/2055920 swapFree=4184048/4192956
[pid=21184] ppid=21182 vsize=915328 CPUtime=0.49
/proc/21184/stat : 21184 (java) R 21182 21184 20463 0 -1 0 7348 0 1 0 45 4 0 0 16 0 8 0 174975993 937295872 7087 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154517241 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21184/statm: 228832 7087 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33514 s]
/proc/loadavg: 0.17 0.14 0.26 2/75 21192
/proc/meminfo: memFree=1737280/2055920 swapFree=4184048/4192956
[pid=21184] ppid=21182 vsize=915452 CPUtime=1.29
/proc/21184/stat : 21184 (java) R 21182 21184 20463 0 -1 0 8718 0 1 0 123 6 0 0 17 0 8 0 174975993 937422848 8456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918492 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21184/statm: 228863 8456 2524 14 0 215333 0
[pid=21184/tid=21186] ppid=21182 vsize=915452 CPUtime=0.03
/proc/21184/task/21186/stat : 21186 (java) S 21182 21184 20463 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 174975997 937422848 8456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21184/tid=21187] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21187/stat : 21187 (java) S 21182 21184 20463 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174975997 937422848 8456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21188/stat : 21188 (java) S 21182 21184 20463 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174975997 937422848 8456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21189/stat : 21189 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174976001 937422848 8456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=915452 CPUtime=0.19
/proc/21184/task/21190/stat : 21190 (java) S 21182 21184 20463 0 -1 64 384 0 0 0 18 1 0 0 16 0 8 0 174976001 937422848 8456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21191/stat : 21191 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174976001 937422848 8456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21192] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21192/stat : 21192 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174976001 937422848 8456 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452
[startup+2.98744 s]
/proc/loadavg: 0.17 0.14 0.26 2/75 21192
/proc/meminfo: memFree=1737024/2055920 swapFree=4184048/4192956
[pid=21184] ppid=21182 vsize=915452 CPUtime=2.94
/proc/21184/stat : 21184 (java) R 21182 21184 20463 0 -1 0 8736 0 1 0 288 6 0 0 18 0 8 0 174975993 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073824612 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21184/statm: 228863 8473 2524 14 0 215333 0
[pid=21184/tid=21186] ppid=21182 vsize=915452 CPUtime=0.03
/proc/21184/task/21186/stat : 21186 (java) S 21182 21184 20463 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 174975997 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21184/tid=21187] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21187/stat : 21187 (java) S 21182 21184 20463 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174975997 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21188/stat : 21188 (java) S 21182 21184 20463 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174975997 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21189/stat : 21189 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174976001 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=915452 CPUtime=0.2
/proc/21184/task/21190/stat : 21190 (java) S 21182 21184 20463 0 -1 64 388 0 0 0 19 1 0 0 16 0 8 0 174976001 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21191/stat : 21191 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174976001 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21192] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21192/stat : 21192 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174976001 937422848 8473 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452
[startup+6.26603 s]
/proc/loadavg: 0.24 0.16 0.26 2/75 21193
/proc/meminfo: memFree=1736768/2055920 swapFree=4184048/4192956
[pid=21184] ppid=21182 vsize=915452 CPUtime=6.22
/proc/21184/stat : 21184 (java) R 21182 21184 20463 0 -1 0 8742 0 1 0 616 6 0 0 20 0 8 0 174975993 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780813 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21184/statm: 228863 8478 2524 14 0 215333 0
[pid=21184/tid=21186] ppid=21182 vsize=915452 CPUtime=0.03
/proc/21184/task/21186/stat : 21186 (java) S 21182 21184 20463 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 174975997 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21184/tid=21187] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21187/stat : 21187 (java) S 21182 21184 20463 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174975997 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21188/stat : 21188 (java) S 21182 21184 20463 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174975997 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21189/stat : 21189 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174976001 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=915452 CPUtime=0.2
/proc/21184/task/21190/stat : 21190 (java) S 21182 21184 20463 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 174976001 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21191/stat : 21191 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174976001 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21192] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21192/stat : 21192 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174976001 937422848 8478 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915452
[startup+12.7492 s]
/proc/loadavg: 0.30 0.17 0.27 2/75 21196
/proc/meminfo: memFree=1736704/2055920 swapFree=4184048/4192956
[pid=21184] ppid=21182 vsize=915452 CPUtime=12.69
/proc/21184/stat : 21184 (java) R 21182 21184 20463 0 -1 0 8747 0 1 0 1263 6 0 0 25 0 8 0 174975993 937422848 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21184/statm: 228863 8483 2524 14 0 215333 0
[pid=21184/tid=21186] ppid=21182 vsize=915452 CPUtime=0.03
/proc/21184/task/21186/stat : 21186 (java) S 21182 21184 20463 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 174975997 937422848 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21184/tid=21187] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21187/stat : 21187 (java) S 21182 21184 20463 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 174975997 937422848 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21188] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21188/stat : 21188 (java) S 21182 21184 20463 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 174975997 937422848 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21189] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21189/stat : 21189 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 174976001 937422848 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21190] ppid=21182 vsize=915452 CPUtime=0.2
/proc/21184/task/21190/stat : 21190 (java) S 21182 21184 20463 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 174976001 937422848 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21191] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21191/stat : 21191 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 174976001 937422848 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21184/tid=21192] ppid=21182 vsize=915452 CPUtime=0
/proc/21184/task/21192/stat : 21192 (java) S 21182 21184 20463 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174976001 937422848 8483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 20.5881
CPU time (s): 20.5139
CPU user time (s): 20.4309
CPU system time (s): 0.082987
CPU usage (%): 99.6395
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.4309
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8844
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= 1252
involuntary context switches= 421
runsolver used 0.027995 s user time and 0.055991 s system time
The end
Begin job on node45 on Mon Jan 8 14:16:08 UTC 2007
IDJOB= 223508
IDBENCH= 5650
FILE ID= node45/223508-1168265765
PBS_JOBID= 3482778
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-79_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223508-1168265765/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-223508-1168265765 -o ROOT/results/node45/solver-223508-1168265765 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223508-1168265765/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 22efc0fede6b4b092567517f20fc5741
RANDOM SEED= 338967526
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.259
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.259
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: 1761496 kB
Buffers: 51620 kB
Cached: 174236 kB
SwapCached: 3168 kB
Active: 109752 kB
Inactive: 130676 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1761496 kB
SwapTotal: 4192956 kB
SwapFree: 4184048 kB
Dirty: 1992 kB
Writeback: 0 kB
Mapped: 20184 kB
Slab: 39744 kB
Committed_AS: 3589780 kB
PageTables: 1596 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= 66553 MiB
End job on node45 on Mon Jan 8 14:16:36 UTC 2007