0.33
0.33 Abscon 109 (November, 2006)
0.33
0.34 configuration
0.34 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/237981-1168083381/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.43 nbVariables=36 nbDomainTypes=1 minDomainSize=6 maxDomainSize=6
0.43 => wckTime=0.093 cpuTime=0.07 mem=6M902
0.43
0.43 predicates being loaded...
0.44
0.44 constraints being loaded...
0.52 nbConstraints=95 nbConvertedConstraints=95 nbConvertConstraintsChecks=144 nbExtensionStructures=4
0.52 nbSharedExtensionStructures=91 nbConflictsStructures=4 nbSharedConflictsStructures=91
0.52 nbSharedBinaryRepresentations=35 maxDegree=6 maxArity=2
0.53 => wckTime=0.186 cpuTime=0.14 mem=7M911
0.56
0.56 solver IterativeSystematicSolver being built...
0.71 => wckTime=0.374 cpuTime=0.27 mem=13M274
0.72
0.72 preprocessing
0.72 nbConstraintChecks=0 nbPropagations=36 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.72 detectedInconsistency=no
0.72 => wckTime=0.0010 cpuTime=0.0 mem=13M274
0.74
0.74 search
0.74 run=0 nbConstraintChecks=631 nbPropagations=197 nbRevisions=203 nbUselessRevisions=31 nbAssignments=30
0.74 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.74 nbTooLargeKeys=0
0.74 => wckTime=0.024 cpuTime=0.02 mem=14M249
0.76
0.76 search
0.76 run=1 nbConstraintChecks=1755 nbPropagations=627 nbRevisions=679 nbUselessRevisions=102 nbAssignments=70
0.76 nbFailedAssignments=20 nbBacktracks=25 nbVisitedNodes=109 nbRestartNogoods=4 mapSize=21 nbInferences=0
0.76 nbTooLargeKeys=0
0.76 => wckTime=0.047 cpuTime=0.03 mem=14M249
0.77
0.77 search
0.77 run=2 nbConstraintChecks=2754 nbPropagations=1287 nbRevisions=1429 nbUselessRevisions=209 nbAssignments=115
0.77 nbFailedAssignments=34 nbBacktracks=47 nbVisitedNodes=180 nbRestartNogoods=8 mapSize=38 nbInferences=0
0.77 nbTooLargeKeys=0
0.77 => wckTime=0.056 cpuTime=0.03 mem=14M249
0.78
0.78 search
0.78 run=3 nbConstraintChecks=3969 nbPropagations=2292 nbRevisions=2589 nbUselessRevisions=363 nbAssignments=189
0.78 nbFailedAssignments=58 nbBacktracks=81 nbVisitedNodes=301 nbRestartNogoods=11 mapSize=64 nbInferences=1
0.78 nbTooLargeKeys=0
0.78 => wckTime=0.066 cpuTime=0.04 mem=14M249
0.80
0.80 search
0.80 run=4 nbConstraintChecks=7113 nbPropagations=3928 nbRevisions=4630 nbUselessRevisions=614 nbAssignments=287
0.80 nbFailedAssignments=93 nbBacktracks=131 nbVisitedNodes=464 nbRestartNogoods=19 mapSize=105 nbInferences=6
0.80 nbTooLargeKeys=0
0.80 => wckTime=0.082 cpuTime=0.06 mem=14M249
0.81
0.81 search
0.81 run=5 nbConstraintChecks=9738 nbPropagations=6288 nbRevisions=7690 nbUselessRevisions=1114 nbAssignments=447
0.81 nbFailedAssignments=153 nbBacktracks=206 nbVisitedNodes=736 nbRestartNogoods=26 mapSize=169 nbInferences=7
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.093 cpuTime=0.07 mem=14M249
0.82
0.82 search
0.82 run=6 nbConstraintChecks=15579 nbPropagations=9938 nbRevisions=12663 nbUselessRevisions=2015 nbAssignments=661
0.82 nbFailedAssignments=234 nbBacktracks=321 nbVisitedNodes=1108 nbRestartNogoods=43 mapSize=277 nbInferences=17
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.111 cpuTime=0.08 mem=14M249
0.84
0.84 search
0.84 run=7 nbConstraintChecks=26396 nbPropagations=15718 nbRevisions=20828 nbUselessRevisions=3346
0.84 nbAssignments=980 nbFailedAssignments=346 nbBacktracks=492 nbVisitedNodes=1670 nbRestartNogoods=48 mapSize=437
0.84 nbInferences=47 nbTooLargeKeys=0
0.84 => wckTime=0.129 cpuTime=0.1 mem=14M249
0.87
0.87 search
0.87 run=8 nbConstraintChecks=38491 nbPropagations=24239 nbRevisions=32626 nbUselessRevisions=5288
0.87 nbAssignments=1483 nbFailedAssignments=476 nbBacktracks=750 nbVisitedNodes=2504 nbRestartNogoods=51
0.87 mapSize=653 nbInferences=156 nbTooLargeKeys=0
0.87 => wckTime=0.159 cpuTime=0.12 mem=14M249
0.91
0.91 search
0.91 run=9 nbConstraintChecks=52962 nbPropagations=36363 nbRevisions=48767 nbUselessRevisions=7850
0.91 nbAssignments=2221 nbFailedAssignments=617 nbBacktracks=1137 nbVisitedNodes=3670 nbRestartNogoods=54
0.91 mapSize=978 nbInferences=359 nbTooLargeKeys=0
0.91 => wckTime=0.197 cpuTime=0.14 mem=14M249
0.94
0.94 search
0.94 run=10 nbConstraintChecks=67769 nbPropagations=52973 nbRevisions=69612 nbUselessRevisions=11417
0.94 nbAssignments=3426 nbFailedAssignments=735 nbBacktracks=1715 nbVisitedNodes=5536 nbRestartNogoods=60
0.94 mapSize=1417 nbInferences=854 nbTooLargeKeys=0
0.94 => wckTime=0.227 cpuTime=0.16 mem=14M249
0.97
0.97 search
0.97 run=11 nbConstraintChecks=88463 nbPropagations=76554 nbRevisions=96939 nbUselessRevisions=15745
0.97 nbAssignments=5284 nbFailedAssignments=951 nbBacktracks=2579 nbVisitedNodes=8474 nbRestartNogoods=70
0.97 mapSize=2227 nbInferences=1617 nbTooLargeKeys=0
0.97 => wckTime=0.261 cpuTime=0.2 mem=14M249
1.03
1.03 search
1.03 run=12 nbConstraintChecks=154742 nbPropagations=114944 nbRevisions=145962 nbUselessRevisions=24471
1.03 nbAssignments=7646 nbFailedAssignments=1876 nbBacktracks=3876 nbVisitedNodes=12613 nbRestartNogoods=82
1.03 mapSize=3477 nbInferences=1747 nbTooLargeKeys=0
1.03 => wckTime=0.32 cpuTime=0.25 mem=14M249
1.11
1.11 search
1.11 run=13 nbConstraintChecks=254834 nbPropagations=174206 nbRevisions=226196 nbUselessRevisions=39137
1.11 nbAssignments=11050 nbFailedAssignments=2889 nbBacktracks=5823 nbVisitedNodes=18343 nbRestartNogoods=94
1.11 mapSize=5212 nbInferences=2182 nbTooLargeKeys=0
1.11 => wckTime=0.401 cpuTime=0.33 mem=15M224
1.24
1.24 search
1.25 run=14 nbConstraintChecks=407992 nbPropagations=266715 nbRevisions=355432 nbUselessRevisions=62825
1.25 nbAssignments=16127 nbFailedAssignments=4835 nbBacktracks=8742 nbVisitedNodes=27210 nbRestartNogoods=102
1.25 mapSize=7845 nbInferences=2383 nbTooLargeKeys=0
1.25 => wckTime=0.531 cpuTime=0.46 mem=15M224
1.44
1.44 search
1.44 run=15 nbConstraintChecks=657053 nbPropagations=411761 nbRevisions=563875 nbUselessRevisions=100227
1.44 nbAssignments=23915 nbFailedAssignments=7905 nbBacktracks=13121 nbVisitedNodes=40898 nbRestartNogoods=109
1.44 mapSize=11874 nbInferences=2712 nbTooLargeKeys=0
1.44 => wckTime=0.727 cpuTime=0.65 mem=15M224
1.69
1.69 search
1.69 run=16 nbConstraintChecks=904623 nbPropagations=619727 nbRevisions=850508 nbUselessRevisions=151939
1.69 nbAssignments=36634 nbFailedAssignments=10521 nbBacktracks=19689 nbVisitedNodes=61551 nbRestartNogoods=118
1.69 mapSize=17688 nbInferences=6231 nbTooLargeKeys=0
1.70 => wckTime=0.981 cpuTime=0.9 mem=16M331
2.04
2.04 search
2.04 run=17 nbConstraintChecks=1188529 nbPropagations=912173 nbRevisions=1227213 nbUselessRevisions=216149
2.04 nbAssignments=56593 nbFailedAssignments=13751 nbBacktracks=29541 nbVisitedNodes=93608 nbRestartNogoods=130
2.04 mapSize=27026 nbInferences=13091 nbTooLargeKeys=0
2.04 => wckTime=1.324 cpuTime=1.24 mem=17M306
2.61
2.61 search
2.61 run=18 nbConstraintChecks=1795406 nbPropagations=1350945 nbRevisions=1800169 nbUselessRevisions=316683
2.61 nbAssignments=84318 nbFailedAssignments=21420 nbBacktracks=44321 nbVisitedNodes=140005 nbRestartNogoods=139
2.61 mapSize=40441 nbInferences=18351 nbTooLargeKeys=0
2.61 => wckTime=1.898 cpuTime=1.8 mem=19M256
3.41
3.41 search
3.41 run=19 nbConstraintChecks=2458604 nbPropagations=1980739 nbRevisions=2581500 nbUselessRevisions=445673
3.41 nbAssignments=128913 nbFailedAssignments=28409 nbBacktracks=66490 nbVisitedNodes=211863 nbRestartNogoods=153
3.41 mapSize=59403 nbInferences=33776 nbTooLargeKeys=0
3.41 => wckTime=2.693 cpuTime=2.59 mem=22M706
4.60
4.60 search
4.60 run=20 nbConstraintChecks=3369774 nbPropagations=2892795 nbRevisions=3651242 nbUselessRevisions=616866
4.60 nbAssignments=198878 nbFailedAssignments=37133 nbBacktracks=99742 nbVisitedNodes=323926 nbRestartNogoods=162
4.60 mapSize=90095 nbInferences=61751 nbTooLargeKeys=0
4.60 => wckTime=3.884 cpuTime=3.78 mem=26M607
6.80
6.80 search
6.80 run=21 nbConstraintChecks=4460031 nbPropagations=4283173 nbRevisions=5041951 nbUselessRevisions=797577
6.80 nbAssignments=335547 nbFailedAssignments=39756 nbBacktracks=149621 nbVisitedNodes=548016 nbRestartNogoods=177
6.80 mapSize=139256 nbInferences=145906 nbTooLargeKeys=0
6.80 => wckTime=6.081 cpuTime=5.95 mem=35M457
9.93
9.93 search
9.93 run=22 nbConstraintChecks=6185934 nbPropagations=6369675 nbRevisions=6949345 nbUselessRevisions=1012573
9.93 nbAssignments=528937 nbFailedAssignments=47893 nbBacktracks=224440 nbVisitedNodes=865082 nbRestartNogoods=188
9.93 mapSize=213444 nbInferences=256327 nbTooLargeKeys=0
9.93 => wckTime=9.217 cpuTime=9.06 mem=49M216
14.13
14.13 search
14.13 run=23 nbConstraintChecks=8719932 nbPropagations=9391851 nbRevisions=9682662 nbUselessRevisions=1327955
14.13 nbAssignments=786739 nbFailedAssignments=68990 nbBacktracks=336667 nbVisitedNodes=1281511 nbRestartNogoods=204
14.13 mapSize=325153 nbInferences=380791 nbTooLargeKeys=0
14.13 => wckTime=13.413 cpuTime=12.98 mem=38M19
20.41
20.41 search
20.41 run=24 nbConstraintChecks=12812434 nbPropagations=13892665 nbRevisions=13750397 nbUselessRevisions=1800836
20.41 nbAssignments=1182627 nbFailedAssignments=101939 nbBacktracks=505008 nbVisitedNodes=1925941
20.41 nbRestartNogoods=216 mapSize=491263 nbInferences=575373 nbTooLargeKeys=0
20.41 => wckTime=19.697 cpuTime=19.21 mem=65M149
29.48
29.48 search
29.48 run=25 nbConstraintChecks=17904424 nbPropagations=20383480 nbRevisions=19506848 nbUselessRevisions=2478391
29.48 nbAssignments=1755805 nbFailedAssignments=143551 nbBacktracks=757519 nbVisitedNodes=2845470
29.48 nbRestartNogoods=235 mapSize=743393 nbInferences=854415 nbTooLargeKeys=0
29.48 => wckTime=28.767 cpuTime=27.77 mem=80M135
43.75
43.75 search
43.75 run=26 nbConstraintChecks=27971361 nbPropagations=30212300 nbRevisions=28528858 nbUselessRevisions=3634058
43.75 nbAssignments=2599097 nbFailedAssignments=238336 nbBacktracks=1136286 nbVisitedNodes=4212142
43.75 nbRestartNogoods=251 mapSize=1116939 nbInferences=1224143 nbTooLargeKeys=0
43.75 => wckTime=43.039 cpuTime=41.47 mem=119M416
65.36
65.36 search
65.36 run=27 nbConstraintChecks=38767506 nbPropagations=44648770 nbRevisions=41140635 nbUselessRevisions=5141367
65.36 nbAssignments=3956860 nbFailedAssignments=307785 nbBacktracks=1704437 nbVisitedNodes=6406169
65.36 nbRestartNogoods=266 mapSize=1678049 nbInferences=1944289 nbTooLargeKeys=0
65.36 => wckTime=64.646 cpuTime=61.98 mem=179M778
107.22
107.22 search
107.22 run=28 nbConstraintChecks=56680859 nbPropagations=67872334 nbRevisions=59162756 nbUselessRevisions=6650869
107.22 nbAssignments=6498528 nbFailedAssignments=308991 nbBacktracks=2556664 nbVisitedNodes=10638419
107.22 nbRestartNogoods=281 mapSize=2529839 nbInferences=3632513 nbTooLargeKeys=0
107.22 => wckTime=106.505 cpuTime=101.89 mem=255M370
111.51
111.51 search
111.51 run=29 nbConstraintChecks=58712272 nbPropagations=92042409 nbRevisions=77796562 nbUselessRevisions=8166594
111.51 nbAssignments=6765759 nbFailedAssignments=313701 nbBacktracks=2648682 nbVisitedNodes=11085507
111.51 nbRestartNogoods=295 mapSize=2621854 nbInferences=3803017 nbTooLargeKeys=0
111.51 => wckTime=110.797 cpuTime=106.14 mem=272M21
111.51
111.51 global
111.51 nbConstraintChecks=58712272 nbPropagations=92042445 nbRevisions=77796562 nbUselessRevisions=8166594
111.51 nbRestartNogoods=295 solvingWckTime=110.799 solvingCpuTime=106.14 expiredTime=no totalExploration=yes
111.51 nbFoundSolutions=0 globalCpuTime=106.46
111.51 => wckTime=111.175 cpuTime=106.41 mem=272M21
111.52
111.52 s UNSATISFIABLE
111.52 d NODES 6765759
111.52 d CHECKS 58712272
111.52
111.52 totalWckTime=111.252 totalCpuTime=106.47
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-237981-1168083381 -o ROOT/results/node17/solver-237981-1168083381 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237981-1168083381/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.78 1.26 1.56 2/93 16159
/proc/meminfo: memFree=1559344/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=18540 CPUtime=0
/proc/16158/stat : 16158 (runsolver) R 16156 16158 16091 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156733462 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/16158/statm: 4635 279 244 17 0 2626 0
[startup+0.102192 s]
/proc/loadavg: 0.78 1.26 1.56 2/93 16159
/proc/meminfo: memFree=1559344/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=911488 CPUtime=0.07
/proc/16158/stat : 16158 (java) D 16156 16158 16091 0 -1 0 2637 0 1 0 6 1 0 0 25 0 8 0 156733462 933363712 2384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 227872 2384 1284 14 0 215051 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 911488
[startup+0.510232 s]
/proc/loadavg: 0.78 1.26 1.56 2/93 16159
/proc/meminfo: memFree=1559344/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=915456 CPUtime=0.44
/proc/16158/stat : 16158 (java) R 16156 16158 16091 0 -1 0 6339 0 1 0 41 3 0 0 25 0 8 0 156733462 937426944 6078 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154193948 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 228864 6078 2167 14 0 215334 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915456
[startup+1.33131 s]
/proc/loadavg: 0.78 1.26 1.56 4/100 16166
/proc/meminfo: memFree=1535800/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=915456 CPUtime=1.26
/proc/16158/stat : 16158 (java) R 16156 16158 16091 0 -1 0 8722 0 1 0 119 7 0 0 25 0 8 0 156733462 937426944 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073686187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 228864 8460 2532 14 0 215334 0
[pid=16158/tid=16160] ppid=16156 vsize=915456 CPUtime=0.02
/proc/16158/task/16160/stat : 16160 (java) S 16156 16158 16091 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 156733466 937426944 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 16091 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733467 937426944 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156733470 937426944 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=915456 CPUtime=0.17
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 16091 0 -1 64 364 0 0 0 16 1 0 0 15 0 8 0 156733470 937426944 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733470 937426944 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16166/stat : 16166 (java) R 16156 16158 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733470 937426944 8460 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915456
[startup+2.96848 s]
/proc/loadavg: 0.78 1.26 1.56 3/100 16166
/proc/meminfo: memFree=1532536/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=915456 CPUtime=2.87
/proc/16158/stat : 16158 (java) R 16156 16158 16091 0 -1 0 9921 0 1 0 280 7 0 0 25 0 8 0 156733462 937426944 9658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073702749 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 228864 9658 2532 14 0 215334 0
[pid=16158/tid=16160] ppid=16156 vsize=915456 CPUtime=0.02
/proc/16158/task/16160/stat : 16160 (java) S 16156 16158 16091 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 156733466 937426944 9658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 9658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 16091 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733467 937426944 9658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156733470 937426944 9658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=915456 CPUtime=0.17
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 16091 0 -1 64 365 0 0 0 16 1 0 0 15 0 8 0 156733470 937426944 9658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733470 937426944 9658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733470 937426944 9658 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 915456
[startup+6.17382 s]
/proc/loadavg: 0.87 1.28 1.56 3/100 16166
/proc/meminfo: memFree=1519800/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=915456 CPUtime=6.05
/proc/16158/stat : 16158 (java) R 16156 16158 16091 0 -1 0 13097 0 1 0 597 8 0 0 25 0 8 0 156733462 937426944 12833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073701807 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 228864 12833 2532 14 0 215334 0
[pid=16158/tid=16160] ppid=16156 vsize=915456 CPUtime=0.02
/proc/16158/task/16160/stat : 16160 (java) S 16156 16158 16091 0 -1 64 129 0 0 0 2 0 0 0 16 0 8 0 156733466 937426944 12833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 12833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 16091 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733467 937426944 12833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156733470 937426944 12833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=915456 CPUtime=0.17
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 16091 0 -1 64 366 0 0 0 16 1 0 0 16 0 8 0 156733470 937426944 12833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733470 937426944 12833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733470 937426944 12833 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 915456
[startup+12.6405 s]
/proc/loadavg: 0.96 1.29 1.56 3/100 16166
/proc/meminfo: memFree=1480952/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=915456 CPUtime=12.46
/proc/16158/stat : 16158 (java) R 16156 16158 16091 0 -1 0 22320 0 1 0 1233 13 0 0 25 0 8 0 156733462 937426944 22055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073691874 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 228864 22055 2536 14 0 215334 0
[pid=16158/tid=16160] ppid=16156 vsize=915456 CPUtime=0.25
/proc/16158/task/16160/stat : 16160 (java) S 16156 16158 16091 0 -1 64 5337 0 0 0 23 2 0 0 16 0 8 0 156733466 937426944 22055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 22055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 22055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156733470 937426944 22055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=915456 CPUtime=0.17
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 16091 0 -1 64 366 0 0 0 16 1 0 0 16 0 8 0 156733470 937426944 22055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733470 937426944 22055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733470 937426944 22055 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 915456
[startup+25.4978 s]
/proc/loadavg: 1.19 1.32 1.57 3/100 16166
/proc/meminfo: memFree=1445560/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=915456 CPUtime=25.2
/proc/16158/stat : 16158 (java) R 16156 16158 16091 0 -1 0 31178 0 1 0 2504 16 0 0 25 0 8 0 156733462 937426944 30912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073705920 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 228864 30912 2536 14 0 215334 0
[pid=16158/tid=16160] ppid=16156 vsize=915456 CPUtime=0.68
/proc/16158/task/16160/stat : 16160 (java) S 16156 16158 16091 0 -1 64 14191 0 0 0 63 5 0 0 16 0 8 0 156733466 937426944 30912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 30912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 30912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156733470 937426944 30912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=915456 CPUtime=0.17
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 16091 0 -1 64 366 0 0 0 16 1 0 0 16 0 8 0 156733470 937426944 30912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733470 937426944 30912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733470 937426944 30912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 915456
[startup+51.1035 s]
/proc/loadavg: 1.47 1.38 1.58 3/100 16166
/proc/meminfo: memFree=1384760/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=915456 CPUtime=50.54
/proc/16158/stat : 16158 (java) R 16156 16158 16091 0 -1 0 46350 0 1 0 5032 22 0 0 25 0 8 0 156733462 937426944 46082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073689240 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 228864 46082 2536 14 0 215334 0
[pid=16158/tid=16160] ppid=16156 vsize=915456 CPUtime=1.55
/proc/16158/task/16160/stat : 16160 (java) S 16156 16158 16091 0 -1 64 29361 0 0 0 144 11 0 0 16 0 8 0 156733466 937426944 46082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 46082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 46082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156733470 937426944 46082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=915456 CPUtime=0.17
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 16091 0 -1 64 366 0 0 0 16 1 0 0 16 0 8 0 156733470 937426944 46082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733470 937426944 46082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733470 937426944 46082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 915456
[startup+102.317 s]
/proc/loadavg: 1.77 1.47 1.60 3/100 16166
/proc/meminfo: memFree=1275576/2055920 swapFree=4192812/4192956
[pid=16158] ppid=16156 vsize=915456 CPUtime=101.26
/proc/16158/stat : 16158 (java) R 16156 16158 16091 0 -1 0 73602 0 1 0 10093 33 0 0 25 0 8 0 156733462 937426944 73330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073694503 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/16158/statm: 228864 73330 2536 14 0 215334 0
[pid=16158/tid=16160] ppid=16156 vsize=915456 CPUtime=3.16
/proc/16158/task/16160/stat : 16160 (java) S 16156 16158 16091 0 -1 64 56609 0 0 0 294 22 0 0 16 0 8 0 156733466 937426944 73330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16161] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16161/stat : 16161 (java) S 16156 16158 16091 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 73330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16162] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16162/stat : 16162 (java) S 16156 16158 16091 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733467 937426944 73330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16163] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16163/stat : 16163 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156733470 937426944 73330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16164] ppid=16156 vsize=915456 CPUtime=0.17
/proc/16158/task/16164/stat : 16164 (java) S 16156 16158 16091 0 -1 64 366 0 0 0 16 1 0 0 16 0 8 0 156733470 937426944 73330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16165] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16165/stat : 16165 (java) S 16156 16158 16091 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733470 937426944 73330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=16158/tid=16166] ppid=16156 vsize=915456 CPUtime=0
/proc/16158/task/16166/stat : 16166 (java) S 16156 16158 16091 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733470 937426944 73330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.26
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 111.618
CPU time (s): 110.442
CPU user time (s): 110.028
CPU system time (s): 0.413937
CPU usage (%): 98.9463
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.028
system time used= 0.413937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79297
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= 3345
involuntary context switches= 6559
runsolver used 0.122981 s user time and 0.378942 s system time
The end
Begin job on node17 on Sat Jan 6 11:36:24 UTC 2007
IDJOB= 237981
IDBENCH= 6975
FILE ID= node17/237981-1168083381
PBS_JOBID= 3476276
Free space on /tmp= 66319 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_06.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237981-1168083381/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-237981-1168083381 -o ROOT/results/node17/solver-237981-1168083381 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237981-1168083381/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f2b284e085d94b3059ddb20804714991
RANDOM SEED= 821835419
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.236
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.236
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: 1559952 kB
Buffers: 47848 kB
Cached: 258016 kB
SwapCached: 0 kB
Active: 190844 kB
Inactive: 215800 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1559952 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1944 kB
Writeback: 0 kB
Mapped: 129800 kB
Slab: 73964 kB
Committed_AS: 4674084 kB
PageTables: 2380 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= 66319 MiB
End job on node17 on Sat Jan 6 11:38:18 UTC 2007