0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/218118-1168250946/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.40 => wckTime=0.093 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.66
0.66 constraints being loaded...
0.82 nbConstraints=58 nbRelationTypes=58 nbExtensionStructures=58 nbSharedExtensionStructures=0
0.82 nbConflictsStructures=58 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
0.82 => wckTime=0.514 cpuTime=0.46 mem=42M601
0.91
0.91 solver IterativeSystematicSolver being built...
1.09 => wckTime=0.785 cpuTime=0.6 mem=21M114
1.19
1.19 preprocessing
1.19 nbConstraintChecks=22735 nbValidityChecks=35435 nbPropagations=182 nbRevisions=1724 nbUselessRevisions=1450
1.19 nbSingletonTests=30 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.19 => wckTime=0.092 cpuTime=0.06 mem=21M114
1.24
1.24 search
1.24 run=0 nbConstraintChecks=19468 nbValidityChecks=36164 nbPropagations=459 nbRevisions=4595
1.24 nbUselessRevisions=3712 nbAssignments=24 nbFailedAssignments=9 nbBacktracks=12 nbVisitedNodes=41
1.24 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.141 cpuTime=0.1 mem=22M98
1.27
1.27 search
1.27 run=1 nbConstraintChecks=40949 nbValidityChecks=81217 nbPropagations=1277 nbRevisions=12836
1.27 nbUselessRevisions=10342 nbAssignments=56 nbFailedAssignments=23 nbBacktracks=28 nbVisitedNodes=97
1.27 nbRestartNogoods=2 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.179 cpuTime=0.14 mem=22M98
1.35
1.35 search
1.35 run=2 nbConstraintChecks=87370 nbValidityChecks=174239 nbPropagations=2742 nbRevisions=28214
1.35 nbUselessRevisions=22436 nbAssignments=113 nbFailedAssignments=54 nbBacktracks=50 nbVisitedNodes=200
1.35 nbRestartNogoods=3 mapSize=43 nbInferences=0 nbTooLargeKeys=0
1.35 => wckTime=0.255 cpuTime=0.21 mem=22M98
1.45
1.45 search
1.45 run=3 nbConstraintChecks=145774 nbValidityChecks=293011 nbPropagations=5076 nbRevisions=52978
1.45 nbUselessRevisions=41901 nbAssignments=201 nbFailedAssignments=95 nbBacktracks=83 nbVisitedNodes=339
1.45 nbRestartNogoods=8 mapSize=72 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.355 cpuTime=0.3 mem=22M98
1.59
1.59 search
1.59 run=4 nbConstraintChecks=255536 nbValidityChecks=519987 nbPropagations=8988 nbRevisions=94553
1.59 nbUselessRevisions=74142 nbAssignments=352 nbFailedAssignments=191 nbBacktracks=133 nbVisitedNodes=624
1.59 nbRestartNogoods=11 mapSize=118 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.496 cpuTime=0.43 mem=22M98
1.80
1.80 search
1.80 run=5 nbConstraintChecks=408617 nbValidityChecks=829819 nbPropagations=15104 nbRevisions=160054
1.80 nbUselessRevisions=125276 nbAssignments=573 nbFailedAssignments=304 nbBacktracks=208 nbVisitedNodes=977
1.80 nbRestartNogoods=21 mapSize=182 nbInferences=0 nbTooLargeKeys=0
1.80 => wckTime=0.703 cpuTime=0.63 mem=22M98
2.08
2.08 search
2.08 run=6 nbConstraintChecks=643465 nbValidityChecks=1308857 nbPropagations=24656 nbRevisions=262494
2.08 nbUselessRevisions=204379 nbAssignments=888 nbFailedAssignments=500 nbBacktracks=322 nbVisitedNodes=1567
2.08 nbRestartNogoods=28 mapSize=288 nbInferences=0 nbTooLargeKeys=0
2.08 => wckTime=0.986 cpuTime=0.9 mem=22M98
2.68
2.68 search
2.68 run=7 nbConstraintChecks=1114136 nbValidityChecks=2266918 nbPropagations=40176 nbRevisions=434332
2.68 nbUselessRevisions=337309 nbAssignments=1468 nbFailedAssignments=883 nbBacktracks=494 nbVisitedNodes=2635
2.68 nbRestartNogoods=37 mapSize=452 nbInferences=0 nbTooLargeKeys=0
2.68 => wckTime=1.581 cpuTime=1.49 mem=22M98
3.27
3.27 search
3.27 run=8 nbConstraintChecks=1571867 nbValidityChecks=3186001 nbPropagations=62697 nbRevisions=679499
3.27 nbUselessRevisions=526378 nbAssignments=2069 nbFailedAssignments=1225 nbBacktracks=750 nbVisitedNodes=3739
3.27 nbRestartNogoods=43 mapSize=672 nbInferences=0 nbTooLargeKeys=0
3.27 => wckTime=2.174 cpuTime=2.06 mem=22M98
4.10
4.11 search
4.11 run=9 nbConstraintChecks=2272768 nbValidityChecks=4619621 nbPropagations=95711 nbRevisions=1035197
4.11 nbUselessRevisions=799489 nbAssignments=3002 nbFailedAssignments=1769 nbBacktracks=1134 nbVisitedNodes=5465
4.11 nbRestartNogoods=56 mapSize=1000 nbInferences=0 nbTooLargeKeys=0
4.11 => wckTime=3.01 cpuTime=2.88 mem=22M98
4.15
4.15 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=22M98)
5.80
5.80 search
5.80 run=10 nbConstraintChecks=3621502 nbValidityChecks=7335222 nbPropagations=146418 nbRevisions=1594300
5.80 nbUselessRevisions=1228326 nbAssignments=4616 nbFailedAssignments=2794 nbBacktracks=1710 nbVisitedNodes=8515
5.80 nbRestartNogoods=69
5.80 => wckTime=4.704 cpuTime=4.55 mem=22M98
7.49
7.49 search
7.49 run=11 nbConstraintChecks=5109582 nbValidityChecks=10259012 nbPropagations=218792 nbRevisions=2383864
7.49 nbUselessRevisions=1835838 nbAssignments=6527 nbFailedAssignments=3837 nbBacktracks=2574 nbVisitedNodes=11998
7.49 nbRestartNogoods=80
7.49 => wckTime=6.395 cpuTime=6.22 mem=22M98
10.33
10.33 search
10.33 run=12 nbConstraintChecks=7592022 nbValidityChecks=15182024 nbPropagations=327161 nbRevisions=3551534
10.33 nbUselessRevisions=2735393 nbAssignments=9670 nbFailedAssignments=5662 nbBacktracks=3871 nbVisitedNodes=17747
10.33 nbRestartNogoods=99
10.33 => wckTime=9.239 cpuTime=9.04 mem=22M98
15.55
15.55 search
15.55 run=13 nbConstraintChecks=11949487 nbValidityChecks=24013565 nbPropagations=494235 nbRevisions=5389444
15.55 nbUselessRevisions=4150194 nbAssignments=14975 nbFailedAssignments=9017 nbBacktracks=5817 nbVisitedNodes=27777
15.55 nbRestartNogoods=112
15.55 => wckTime=14.458 cpuTime=14.21 mem=22M98
22.20
22.20 search
22.20 run=14 nbConstraintChecks=17625041 nbValidityChecks=35397270 nbPropagations=740827 nbRevisions=8107602
22.20 nbUselessRevisions=6246742 nbAssignments=22215 nbFailedAssignments=13333 nbBacktracks=8737 nbVisitedNodes=41209
22.20 nbRestartNogoods=119
22.20 => wckTime=21.106 cpuTime=20.8 mem=22M98
30.45
30.45 search
30.45 run=15 nbConstraintChecks=24772151 nbValidityChecks=49961043 nbPropagations=1099465 nbRevisions=11993215
30.45 nbUselessRevisions=9239284 nbAssignments=32317 nbFailedAssignments=19049 nbBacktracks=13115
30.45 nbVisitedNodes=59700 nbRestartNogoods=127
30.45 => wckTime=29.357 cpuTime=28.97 mem=22M98
48.54
48.54 search
48.54 run=16 nbConstraintChecks=39581911 nbValidityChecks=79852626 nbPropagations=1654629 nbRevisions=18118484
48.54 nbUselessRevisions=13958882 nbAssignments=50350 nbFailedAssignments=30498 nbBacktracks=19684
48.54 nbVisitedNodes=93724 nbRestartNogoods=153
48.54 => wckTime=47.45 cpuTime=46.9 mem=22M98
67.38
67.38 search
67.38 run=17 nbConstraintChecks=55787738 nbValidityChecks=112618547 nbPropagations=2462048 nbRevisions=26892588
67.38 nbUselessRevisions=20731209 nbAssignments=72872 nbFailedAssignments=43132 nbBacktracks=29536
67.38 nbVisitedNodes=134730 nbRestartNogoods=161
67.38 => wckTime=66.288 cpuTime=65.53 mem=22M98
95.09
95.09 search
95.09 run=18 nbConstraintChecks=79664157 nbValidityChecks=161548720 nbPropagations=3644066 nbRevisions=39639844
95.09 nbUselessRevisions=30567273 nbAssignments=106994 nbFailedAssignments=62471 nbBacktracks=44315
95.09 nbVisitedNodes=197147 nbRestartNogoods=166
95.09 => wckTime=93.991 cpuTime=92.98 mem=22M98
138.38
138.38 search
138.38 run=19 nbConstraintChecks=117023686 nbValidityChecks=238020370 nbPropagations=5401868 nbRevisions=58512899
138.38 nbUselessRevisions=45137603 nbAssignments=160294 nbFailedAssignments=93598 nbBacktracks=66483
138.38 nbVisitedNodes=295192 nbRestartNogoods=173
138.38 => wckTime=137.29 cpuTime=135.85 mem=22M98
198.61
198.61 search
198.61 run=20 nbConstraintChecks=168368214 nbValidityChecks=343731554 nbPropagations=7969833 nbRevisions=85988777
198.61 nbUselessRevisions=66380265 nbAssignments=234432 nbFailedAssignments=136478 nbBacktracks=97735
198.61 nbVisitedNodes=431280 nbRestartNogoods=191
198.61 => wckTime=197.517 cpuTime=195.46 mem=22M98
198.61
198.61 global
198.61 nbConstraintChecks=168390949 nbValidityChecks=343766989 nbPropagations=7970015 nbRevisions=85990501
198.61 nbUselessRevisions=66381715 nbRestartNogoods=191 solvingWckTime=197.518 solvingCpuTime=195.46 expiredTime=no
198.61 totalExploration=yes nbFoundSolutions=0 globalCpuTime=196.12
198.61 => wckTime=198.306 cpuTime=196.06 mem=22M98
198.62
198.62 s UNSATISFIABLE
198.62 d NODES 234432
198.62 d CHECKS 168390949
198.62
198.62 totalWckTime=198.384 totalCpuTime=196.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-218118-1168250946 -o ROOT/results/node45/solver-218118-1168250946 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218118-1168250946/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: 2.85 2.63 1.98 5/81 11314
/proc/meminfo: memFree=1221192/2055920 swapFree=4184048/4192956
[pid=11313] ppid=11311 vsize=18540 CPUtime=0
/proc/11313/stat : 11313 (runsolver) R 11311 11313 10560 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 173493560 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 258939088167 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/11313/statm: 4635 279 244 17 0 2626 0
[startup+0.107574 s]
/proc/loadavg: 2.85 2.63 1.98 5/81 11314
/proc/meminfo: memFree=1221192/2055920 swapFree=4184048/4192956
[pid=11313] ppid=11311 vsize=914988 CPUtime=0.08
/proc/11313/stat : 11313 (java) R 11311 11313 10560 0 -1 0 2999 0 1 0 7 1 0 0 24 0 8 0 173493560 936947712 2745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073442877 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11313/statm: 228747 2745 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.519647 s]
/proc/loadavg: 2.85 2.63 1.98 5/81 11314
/proc/meminfo: memFree=1221192/2055920 swapFree=4184048/4192956
[pid=11313] ppid=11311 vsize=915328 CPUtime=0.49
/proc/11313/stat : 11313 (java) R 11311 11313 10560 0 -1 0 8061 0 1 0 45 4 0 0 25 0 8 0 173493560 937295872 7800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153648304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11313/statm: 228832 7800 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34181 s]
/proc/loadavg: 2.85 2.63 1.98 3/88 11321
/proc/meminfo: memFree=1179472/2055920 swapFree=4184048/4192956
[pid=11313] ppid=11311 vsize=915460 CPUtime=1.3
/proc/11313/stat : 11313 (java) R 11311 11313 10560 0 -1 0 17159 0 1 0 120 10 0 0 25 0 8 0 173493560 937431040 16897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722867 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11313/statm: 228865 16897 2527 14 0 215335 0
[pid=11313/tid=11315] ppid=11311 vsize=915460 CPUtime=0.08
/proc/11313/task/11315/stat : 11315 (java) S 11311 11313 10560 0 -1 64 1804 0 0 0 7 1 0 0 16 0 8 0 173493565 937431040 16897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11316] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11316/stat : 11316 (java) S 11311 11313 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173493565 937431040 16897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11317] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11317/stat : 11317 (java) S 11311 11313 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173493565 937431040 16897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11318] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11318/stat : 11318 (java) S 11311 11313 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173493568 937431040 16897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11319] ppid=11311 vsize=915460 CPUtime=0.16
/proc/11313/task/11319/stat : 11319 (java) S 11311 11313 10560 0 -1 64 357 0 0 0 15 1 0 0 15 0 8 0 173493568 937431040 16897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11320] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11320/stat : 11320 (java) S 11311 11313 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173493568 937431040 16897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11321] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11321/stat : 11321 (java) S 11311 11313 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173493568 937431040 16897 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) 915460
[startup+2.97909 s]
/proc/loadavg: 2.85 2.63 1.98 4/88 11321
/proc/meminfo: memFree=1170960/2055920 swapFree=4184048/4192956
[pid=11313] ppid=11311 vsize=915460 CPUtime=2.93
/proc/11313/stat : 11313 (java) R 11311 11313 10560 0 -1 0 17176 0 1 0 282 11 0 0 25 0 8 0 173493560 937431040 16913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783134 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11313/statm: 228865 16913 2527 14 0 215335 0
[pid=11313/tid=11315] ppid=11311 vsize=915460 CPUtime=0.08
/proc/11313/task/11315/stat : 11315 (java) S 11311 11313 10560 0 -1 64 1804 0 0 0 7 1 0 0 17 0 8 0 173493565 937431040 16913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11316] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11316/stat : 11316 (java) S 11311 11313 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173493565 937431040 16913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11317] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11317/stat : 11317 (java) S 11311 11313 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173493565 937431040 16913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11318] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11318/stat : 11318 (java) S 11311 11313 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173493568 937431040 16913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11319] ppid=11311 vsize=915460 CPUtime=0.21
/proc/11313/task/11319/stat : 11319 (java) S 11311 11313 10560 0 -1 64 374 0 0 0 20 1 0 0 16 0 8 0 173493568 937431040 16913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11320] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11320/stat : 11320 (java) S 11311 11313 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173493568 937431040 16913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11321] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11321/stat : 11321 (java) S 11311 11313 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173493568 937431040 16913 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.18068 s]
/proc/loadavg: 2.86 2.64 1.99 3/88 11321
/proc/meminfo: memFree=1179152/2055920 swapFree=4184048/4192956
[pid=11313] ppid=11311 vsize=915460 CPUtime=6.09
/proc/11313/stat : 11313 (java) R 11311 11313 10560 0 -1 0 17190 0 1 0 598 11 0 0 25 0 8 0 173493560 937431040 16924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073742153 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11313/statm: 228865 16924 2527 14 0 215335 0
[pid=11313/tid=11315] ppid=11311 vsize=915460 CPUtime=0.08
/proc/11313/task/11315/stat : 11315 (java) S 11311 11313 10560 0 -1 64 1804 0 0 0 7 1 0 0 16 0 8 0 173493565 937431040 16924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11316] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11316/stat : 11316 (java) S 11311 11313 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173493565 937431040 16924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11317] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11317/stat : 11317 (java) S 11311 11313 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173493565 937431040 16924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11318] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11318/stat : 11318 (java) S 11311 11313 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173493568 937431040 16924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11319] ppid=11311 vsize=915460 CPUtime=0.22
/proc/11313/task/11319/stat : 11319 (java) S 11311 11313 10560 0 -1 64 387 0 0 0 21 1 0 0 16 0 8 0 173493568 937431040 16924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11320] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11320/stat : 11320 (java) S 11311 11313 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173493568 937431040 16924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11321] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11321/stat : 11321 (java) S 11311 11313 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173493568 937431040 16924 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915460
[startup+12.6599 s]
/proc/loadavg: 2.87 2.64 1.99 4/88 11321
/proc/meminfo: memFree=1179160/2055920 swapFree=4184048/4192956
[pid=11313] ppid=11311 vsize=915460 CPUtime=12.51
/proc/11313/stat : 11313 (java) R 11311 11313 10560 0 -1 0 17191 0 1 0 1240 11 0 0 25 0 8 0 173493560 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609038 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11313/statm: 228865 16925 2527 14 0 215335 0
[pid=11313/tid=11315] ppid=11311 vsize=915460 CPUtime=0.08
/proc/11313/task/11315/stat : 11315 (java) S 11311 11313 10560 0 -1 64 1804 0 0 0 7 1 0 0 16 0 8 0 173493565 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11316] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11316/stat : 11316 (java) S 11311 11313 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173493565 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11317] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11317/stat : 11317 (java) S 11311 11313 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173493565 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11318] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11318/stat : 11318 (java) S 11311 11313 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11319] ppid=11311 vsize=915460 CPUtime=0.22
/proc/11313/task/11319/stat : 11319 (java) S 11311 11313 10560 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11320] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11320/stat : 11320 (java) S 11311 11313 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11321] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11321/stat : 11321 (java) S 11311 11313 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915460
[startup+25.5312 s]
/proc/loadavg: 2.90 2.66 2.01 4/88 11321
/proc/meminfo: memFree=1174872/2055920 swapFree=4184048/4192956
[pid=11313] ppid=11311 vsize=915460 CPUtime=25.26
/proc/11313/stat : 11313 (java) R 11311 11313 10560 0 -1 0 17192 0 1 0 2515 11 0 0 25 0 8 0 173493560 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073732333 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11313/statm: 228865 16925 2527 14 0 215335 0
[pid=11313/tid=11315] ppid=11311 vsize=915460 CPUtime=0.08
/proc/11313/task/11315/stat : 11315 (java) S 11311 11313 10560 0 -1 64 1804 0 0 0 7 1 0 0 16 0 8 0 173493565 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11316] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11316/stat : 11316 (java) S 11311 11313 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173493565 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11317] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11317/stat : 11317 (java) S 11311 11313 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173493565 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11318] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11318/stat : 11318 (java) S 11311 11313 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11319] ppid=11311 vsize=915460 CPUtime=0.22
/proc/11313/task/11319/stat : 11319 (java) S 11311 11313 10560 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11320] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11320/stat : 11320 (java) S 11311 11313 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11321] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11321/stat : 11321 (java) S 11311 11313 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 915460
[startup+51.1618 s]
/proc/loadavg: 2.72 2.64 2.02 4/88 11321
/proc/meminfo: memFree=1164568/2055920 swapFree=4184048/4192956
[pid=11313] ppid=11311 vsize=915460 CPUtime=50.65
/proc/11313/stat : 11313 (java) R 11311 11313 10560 0 -1 0 17192 0 1 0 5054 11 0 0 25 0 8 0 173493560 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726760 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11313/statm: 228865 16925 2527 14 0 215335 0
[pid=11313/tid=11315] ppid=11311 vsize=915460 CPUtime=0.08
/proc/11313/task/11315/stat : 11315 (java) S 11311 11313 10560 0 -1 64 1804 0 0 0 7 1 0 0 16 0 8 0 173493565 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11316] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11316/stat : 11316 (java) S 11311 11313 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173493565 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11317] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11317/stat : 11317 (java) S 11311 11313 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173493565 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11318] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11318/stat : 11318 (java) S 11311 11313 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11319] ppid=11311 vsize=915460 CPUtime=0.22
/proc/11313/task/11319/stat : 11319 (java) S 11311 11313 10560 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11320] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11320/stat : 11320 (java) S 11311 11313 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11321] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11321/stat : 11321 (java) S 11311 11313 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 915460
[startup+102.416 s]
/proc/loadavg: 2.72 2.64 2.05 4/88 11321
/proc/meminfo: memFree=1148312/2055920 swapFree=4184048/4192956
[pid=11313] ppid=11311 vsize=915460 CPUtime=101.39
/proc/11313/stat : 11313 (java) R 11311 11313 10560 0 -1 0 17192 0 1 0 10127 12 0 0 25 0 8 0 173493560 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11313/statm: 228865 16925 2527 14 0 215335 0
[pid=11313/tid=11315] ppid=11311 vsize=915460 CPUtime=0.08
/proc/11313/task/11315/stat : 11315 (java) S 11311 11313 10560 0 -1 64 1804 0 0 0 7 1 0 0 16 0 8 0 173493565 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11316] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11316/stat : 11316 (java) S 11311 11313 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173493565 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11317] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11317/stat : 11317 (java) S 11311 11313 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173493565 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11318] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11318/stat : 11318 (java) S 11311 11313 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11319] ppid=11311 vsize=915460 CPUtime=0.22
/proc/11313/task/11319/stat : 11319 (java) S 11311 11313 10560 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11320] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11320/stat : 11320 (java) S 11311 11313 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11321] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11321/stat : 11321 (java) S 11311 11313 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 915460
[startup+162.427 s]
/proc/loadavg: 2.58 2.62 2.08 3/88 11321
/proc/meminfo: memFree=1142168/2055920 swapFree=4184048/4192956
[pid=11313] ppid=11311 vsize=915460 CPUtime=160.8
/proc/11313/stat : 11313 (java) R 11311 11313 10560 0 -1 0 17192 0 1 0 16068 12 0 0 25 0 8 0 173493560 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11313/statm: 228865 16925 2527 14 0 215335 0
[pid=11313/tid=11315] ppid=11311 vsize=915460 CPUtime=0.08
/proc/11313/task/11315/stat : 11315 (java) S 11311 11313 10560 0 -1 64 1804 0 0 0 7 1 0 0 16 0 8 0 173493565 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11316] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11316/stat : 11316 (java) S 11311 11313 10560 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173493565 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11317] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11317/stat : 11317 (java) S 11311 11313 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 173493565 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11318] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11318/stat : 11318 (java) S 11311 11313 10560 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11319] ppid=11311 vsize=915460 CPUtime=0.22
/proc/11313/task/11319/stat : 11319 (java) S 11311 11313 10560 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11320] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11320/stat : 11320 (java) S 11311 11313 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11313/tid=11321] ppid=11311 vsize=915460 CPUtime=0
/proc/11313/task/11321/stat : 11321 (java) S 11311 11313 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173493568 937431040 16925 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 160.8
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 198.652
CPU time (s): 196.655
CPU user time (s): 196.515
CPU system time (s): 0.139978
CPU usage (%): 98.9948
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 196.515
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17200
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= 5144
involuntary context switches= 9731
runsolver used 0.26196 s user time and 0.622905 s system time
The end
Begin job on node45 on Mon Jan 8 10:09:06 UTC 2007
IDJOB= 218118
IDBENCH= 5202
FILE ID= node45/218118-1168250946
PBS_JOBID= 3481920
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218118-1168250946/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-218118-1168250946 -o ROOT/results/node45/solver-218118-1168250946 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/218118-1168250946/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 12d5cdf82fd3633fdc8a1290681645a8
RANDOM SEED= 765092782
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: 1221608 kB
Buffers: 43528 kB
Cached: 156828 kB
SwapCached: 3168 kB
Active: 670552 kB
Inactive: 108764 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1221608 kB
SwapTotal: 4192956 kB
SwapFree: 4184048 kB
Dirty: 2984 kB
Writeback: 0 kB
Mapped: 591140 kB
Slab: 39304 kB
Committed_AS: 4017140 kB
PageTables: 2928 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= 66543 MiB
End job on node45 on Mon Jan 8 10:12:25 UTC 2007