0.01/0.08
0.01/0.08 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.23 configuration
0.19/0.23 name=mac.xml
0.29/0.31
0.29/0.31 instance
0.29/0.31 name=HOME/instance-1064116-1215139821.xml
0.29/0.34
0.29/0.34 domains being loaded...
0.29/0.35
0.29/0.35 variables being loaded...
0.38/0.46 nbVariables=446 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26 nbTotalValues=11596
0.38/0.46 => wckTime=0.227 cpuTime=0.18 mem=9M870
0.38/0.46
0.38/0.46 relations being loaded...
1.08/1.18
1.08/1.18 predicates being loaded...
1.17/1.25
1.17/1.25 constraints being loaded...
1.77/1.88 Too large in ConstraintConflictsSTructure
1.87/1.93 Too large in ConstraintConflictsSTructure
1.87/1.99 Too large in ConstraintConflictsSTructure
1.97/2.03 Too large in ConstraintConflictsSTructure
1.97/2.06 Too large in ConstraintConflictsSTructure
2.07/2.10 Too large in ConstraintConflictsSTructure
4.02/4.11 nbConstraints=3889 nbRelationTypes=10 nbGlobalConstraints=174 nbExtensionStructures=10
4.02/4.11 nbSharedExtensionStructures=164 nbConflictsStructures=4 nbSharedConflictsStructures=144
4.02/4.11 nbUnbuiltConflictsStructures=16 nbSharedBinaryRepresentations=0 nbEvaluationManagers=10
4.02/4.11 nbSharedEvaluationManagers=3705 minDegree=6 maxDegree=126 minArity=3 avgArity=8.72 maxArity=24 nbGenerators=0
4.02/4.11 nbFusions=0 symmetryWckTime=0.579 symmetryCpuTime=0.26
4.02/4.11 => wckTime=3.878 cpuTime=3.01 mem=51M898
4.13/4.28
4.13/4.28 solver IterativeSystematicSolver being built...
4.73/4.84
4.73/4.85 INFO : Forward propagation technique limited
4.82/4.93 => wckTime=4.693 cpuTime=3.42 mem=130M345
5.23/5.34
5.23/5.34 preprocessing
5.23/5.34 nbConstraintChecks=0 nbValidityChecks=2696483 nbPropagations=467 nbRevisions=0 nbUselessRevisions=0
5.23/5.34 nbRemovedValues=133 detectedInconsistency=no
5.23/5.34 => wckTime=0.404 cpuTime=0.38 mem=132M315
7.30/7.50
7.30/7.50 search
7.30/7.50 run=0 nbConstraintChecks=623282 nbValidityChecks=11000053 minDepth=11 maxDepth=446 nbPropagations=3465
7.30/7.50 nbRevisions=108242 nbUselessRevisions=108214 nbAssignments=454 nbFailedAssignments=7 nbBacktracks=1
7.30/7.50 nbVisitedNodes=463 nbRestartNogoods=0 nbFoundSolutions=1 mapSize=1 nbInferences=0 nbTooLargeKeys=0
7.30/7.50 nbSEliminables=0 nbREliminables=122.04 nbIEliminables=200.75 nbDEliminables=0 nbPEliminables=0
7.30/7.50 => wckTime=2.564 cpuTime=2.47 mem=134M317
7.30/7.50
7.30/7.50 global
7.30/7.50 nbConstraintChecks=623282 nbValidityChecks=13696536 nbPropagations=3932 nbRevisions=108242
7.30/7.50 nbUselessRevisions=108214 nbRestartNogoods=0 solvingWckTime=2.566 solvingCpuTime=2.47 expiredTime=no
7.30/7.50 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=5.88 globalCpuTime=5.96
7.40/7.50 => wckTime=7.264 cpuTime=5.9 mem=134M317
7.40/7.50
7.40/7.50 s SATISFIABLE
7.40/7.50 v 11 0 15 15 18 0 8 6 0 2 0 12 4 14 18 11 0 1 18 0 6 0 17 10 8 17 14 21 7 0 8 10 20 4 0 18 8 4 18 11 14 2 14 2 8 19 0 19 14 8 17 17 4 0 11 8 18 0 1 11 4 14 13 19 7 4 17 20 13 6 4 13 14 0 1 0 17 18 1 0 17 8 11 11 18 12 0 21 4 13 1 0 19 18 11 4 7 17 3 14 20 1 19 18 5 0 3 4 18 3 0 8 18 2 0 17 18 4 14 17 13 8 18 1 17 17 17 15 8 17 13 19 0 14 19 0 5 19 11 4 20 2 14 15 11 0 18 19 17 0 12 18 19 0 12 0 19 4 3 0 17 8 18 0 8 17 4 14 0 17 18 8 1 14 11 4 19 17 0 18 4 19 15 17 4 4 12 1 17 24 14 18 2 0 17 19 0 17 4 18 0 17 8 18 1 0 13 18 18 0 10 19 0 2 17 4 15 4 18 0 1 14 18 18 0 17 8 14 0 10 11 4 24 11 0 17 4 18 18 11 0 21 2 0 17 4 19 13 14 19 4 0 13 8 18 18 15 0 2 4 22 0 11 10 7 0 13 13 8 1 0 11 4 4 13 19 14 0 3 13 0 17 4 18 14 17 4 4 17 8 14 18 4 6 6 0 17 18 18 2 17 0 19 2 7 15 0 3 19 0 13 4 0 13 4 12 0 0 18 0 4 14 13 0 17 8 4 18 6 0 18 4 18 1 0 0 11 2 0 13 4 3 15 17 20 13 4 18 0 20 10 18 2 0 17 17 2 0 17 0 19 18 0 6 4 20 17 8 18 0 17 10 2 0 13 4 18 19 7 4 14 17 1 14 18 18 14 12 13 0 12 1 20 11 0 17 24 19 8 17 17 0 11 8 17 17 0 18 20 15 8 13 4 15 0 17 4 14 0 11 8 4 13 1 0 0 18 18 24 15 4 18 18 19 4 17 13 18 11 4 3 18 18 4 13 18
7.40/7.50 d NODES 454
7.40/7.50 d CHECKS 623282
7.40/7.50
7.40/7.50 totalWckTime=7.321 totalCpuTime=5.97
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064116-1215139821/watcher-1064116-1215139821 -o /tmp/evaluation-result-1064116-1215139821/solver-1064116-1215139821 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1064116-1215139821.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 1.97 1.99 4/81 1248
/proc/meminfo: memFree=1607040/2055920 swapFree=4180424/4192956
[pid=1248] ppid=1246 vsize=1616 CPUtime=0
/proc/1248/stat : 1248 (java) D 1246 1248 31045 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 1992955613 1654784 148 996147200 134512640 134550740 4294956144 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/1248/statm: 404 148 122 9 0 46 0
[startup+0.01811 s]
/proc/loadavg: 1.91 1.97 1.99 4/81 1248
/proc/meminfo: memFree=1607040/2055920 swapFree=4180424/4192956
[pid=1248] ppid=1246 vsize=44480 CPUtime=0.01
/proc/1248/stat : 1248 (java) S 1246 1248 31045 0 -1 0 916 0 1 0 0 1 0 0 18 0 2 0 1992955613 45547520 666 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 215469 1565 695 9 0 210448 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 44480
[startup+0.111105 s]
/proc/loadavg: 1.91 1.97 1.99 4/81 1248
/proc/meminfo: memFree=1607040/2055920 swapFree=4180424/4192956
[pid=1248] ppid=1246 vsize=865884 CPUtime=0.1
/proc/1248/stat : 1248 (java) S 1246 1248 31045 0 -1 0 3916 0 1 0 8 2 0 0 18 0 9 0 1992955613 886665216 3356 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 216471 3356 1756 9 0 211026 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 865884
[startup+0.301127 s]
/proc/loadavg: 1.91 1.97 1.99 4/81 1248
/proc/meminfo: memFree=1607040/2055920 swapFree=4180424/4192956
[pid=1248] ppid=1246 vsize=866196 CPUtime=0.29
/proc/1248/stat : 1248 (java) S 1246 1248 31045 0 -1 0 5624 0 1 0 26 3 0 0 18 0 9 0 1992955613 886984704 5038 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 216549 5038 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866196
[startup+0.701177 s]
/proc/loadavg: 1.91 1.97 1.99 4/81 1248
/proc/meminfo: memFree=1607040/2055920 swapFree=4180424/4192956
[pid=1248] ppid=1246 vsize=867016 CPUtime=0.67
/proc/1248/stat : 1248 (java) S 1246 1248 31045 0 -1 0 11783 0 1 0 62 5 0 0 18 0 9 0 1992955613 887824384 11153 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 216754 11153 1969 9 0 211282 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867016
[startup+1.50227 s]
/proc/loadavg: 1.91 1.97 1.99 3/90 1257
/proc/meminfo: memFree=1539640/2055920 swapFree=4180424/4192956
[pid=1248] ppid=1246 vsize=867704 CPUtime=1.48
/proc/1248/stat : 1248 (java) S 1246 1248 31045 0 -1 0 19706 0 1 0 138 10 0 0 18 0 9 0 1992955613 888528896 19064 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 216926 19064 2025 9 0 211432 0
[pid=1248/tid=1250] ppid=1246 vsize=867704 CPUtime=1.25
/proc/1248/task/1250/stat : 1250 (java) R 1246 1248 31045 0 -1 64 15754 0 1 0 118 7 0 0 25 0 9 0 1992955614 888528896 19064 996147200 134512640 134550740 4294955984 18446744073709551615 102689607 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1251] ppid=1246 vsize=867704 CPUtime=0.03
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 31045 0 -1 64 2593 0 0 0 2 1 0 0 17 0 9 0 1992955616 888528896 19064 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1252] ppid=1246 vsize=867704 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 31045 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992955616 888528896 19064 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1253] ppid=1246 vsize=867704 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 31045 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992955616 888528896 19064 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1254] ppid=1246 vsize=867704 CPUtime=0
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 31045 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992955618 888528896 19064 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1255] ppid=1246 vsize=867704 CPUtime=0.16
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 31045 0 -1 64 661 0 0 0 16 0 0 0 16 0 9 0 1992955618 888528896 19064 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1256] ppid=1246 vsize=867704 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 31045 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1992955618 888528896 19064 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1257] ppid=1246 vsize=867704 CPUtime=0
/proc/1248/task/1257/stat : 1257 (java) S 1246 1248 31045 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992955618 888528896 19064 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867704
[startup+3.10147 s]
/proc/loadavg: 1.91 1.97 1.99 3/90 1257
/proc/meminfo: memFree=1527224/2055920 swapFree=4180424/4192956
[pid=1248] ppid=1246 vsize=867620 CPUtime=3.06
/proc/1248/stat : 1248 (java) S 1246 1248 31045 0 -1 0 30483 0 1 0 279 27 0 0 18 0 9 0 1992955613 888442880 29814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 216905 29814 2007 9 0 211433 0
[pid=1248/tid=1250] ppid=1246 vsize=867620 CPUtime=2.53
/proc/1248/task/1250/stat : 1250 (java) R 1246 1248 31045 0 -1 64 15783 0 1 0 234 19 0 0 25 0 9 0 1992955614 888442880 29814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1251] ppid=1246 vsize=867620 CPUtime=0.24
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 31045 0 -1 64 13277 0 0 0 19 5 0 0 16 0 9 0 1992955616 888442880 29814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1252] ppid=1246 vsize=867620 CPUtime=0
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 31045 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992955616 888442880 29814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1253] ppid=1246 vsize=867620 CPUtime=0
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 31045 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992955616 888442880 29814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1254] ppid=1246 vsize=867620 CPUtime=0
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 31045 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992955618 888442880 29814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1255] ppid=1246 vsize=867620 CPUtime=0.24
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 31045 0 -1 64 725 0 0 0 24 0 0 0 16 0 9 0 1992955618 888442880 29814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1256] ppid=1246 vsize=867620 CPUtime=0
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 31045 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1992955618 888442880 29814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1257] ppid=1246 vsize=867620 CPUtime=0
/proc/1248/task/1257/stat : 1257 (java) S 1246 1248 31045 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992955618 888442880 29814 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867620
[startup+6.30285 s]
/proc/loadavg: 2.00 1.99 1.99 4/90 1261
/proc/meminfo: memFree=1451696/2055920 swapFree=4180424/4192956
[pid=1248] ppid=1246 vsize=868112 CPUtime=6.21
/proc/1248/stat : 1248 (java) S 1246 1248 31045 0 -1 0 67973 890 1 0 558 41 20 2 18 0 9 0 1992955613 888946688 41241 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 217028 41241 2637 9 0 211534 0
[pid=1248/tid=1250] ppid=1246 vsize=868112 CPUtime=5.15
/proc/1248/task/1250/stat : 1250 (java) R 1246 1248 31045 0 -1 64 27901 890 1 0 468 25 20 2 20 0 9 0 1992955614 888946688 41241 996147200 134512640 134550740 4294955984 18446744073709551615 4126375692 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1251] ppid=1246 vsize=868112 CPUtime=0.87
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 31045 0 -1 64 38196 890 0 0 53 12 20 2 16 0 9 0 1992955616 888946688 41241 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1246 vsize=868112 CPUtime=0.22
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 31045 0 -1 64 20 890 0 0 0 0 20 2 15 0 9 0 1992955616 888946688 41241 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1253] ppid=1246 vsize=868112 CPUtime=0.22
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 31045 0 -1 64 11 890 0 0 0 0 20 2 16 0 9 0 1992955616 888946688 41241 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1254] ppid=1246 vsize=868112 CPUtime=0.22
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 31045 0 -1 64 1 890 0 0 0 0 20 2 18 0 9 0 1992955618 888946688 41241 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1255] ppid=1246 vsize=868112 CPUtime=0.6
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 31045 0 -1 64 1003 890 0 0 37 1 20 2 15 0 9 0 1992955618 888946688 41241 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1256] ppid=1246 vsize=868112 CPUtime=0.22
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 31045 0 -1 64 2 890 0 0 0 0 20 2 19 0 9 0 1992955618 888946688 41241 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1257] ppid=1246 vsize=868112 CPUtime=0.22
/proc/1248/task/1257/stat : 1257 (java) S 1246 1248 31045 0 -1 64 38 890 0 0 0 0 20 2 15 0 9 0 1992955618 888946688 41241 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 868112
Solver just ended. Dumping a history of the last processes samples
[startup+7.10295 s]
/proc/loadavg: 2.00 1.99 1.99 3/90 1261
/proc/meminfo: memFree=1451696/2055920 swapFree=4180424/4192956
[pid=1248] ppid=1246 vsize=868112 CPUtime=7
/proc/1248/stat : 1248 (java) S 1246 1248 31045 0 -1 0 68021 890 1 0 637 41 20 2 18 0 9 0 1992955613 888946688 41242 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 217028 41242 2637 9 0 211534 0
[pid=1248/tid=1250] ppid=1246 vsize=868112 CPUtime=5.94
/proc/1248/task/1250/stat : 1250 (java) R 1246 1248 31045 0 -1 64 27948 890 1 0 547 25 20 2 18 0 9 0 1992955614 888946688 41242 996147200 134512640 134550740 4294955984 18446744073709551615 4127238576 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1251] ppid=1246 vsize=868112 CPUtime=0.87
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 31045 0 -1 64 38196 890 0 0 53 12 20 2 16 0 9 0 1992955616 888946688 41242 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1246 vsize=868112 CPUtime=0.22
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 31045 0 -1 64 20 890 0 0 0 0 20 2 15 0 9 0 1992955616 888946688 41242 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1253] ppid=1246 vsize=868112 CPUtime=0.22
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 31045 0 -1 64 11 890 0 0 0 0 20 2 16 0 9 0 1992955616 888946688 41242 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1254] ppid=1246 vsize=868112 CPUtime=0.22
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 31045 0 -1 64 1 890 0 0 0 0 20 2 18 0 9 0 1992955618 888946688 41242 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1255] ppid=1246 vsize=868112 CPUtime=0.6
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 31045 0 -1 64 1004 890 0 0 37 1 20 2 15 0 9 0 1992955618 888946688 41242 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1256] ppid=1246 vsize=868112 CPUtime=0.22
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 31045 0 -1 64 2 890 0 0 0 0 20 2 19 0 9 0 1992955618 888946688 41242 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1257] ppid=1246 vsize=868112 CPUtime=0.22
/proc/1248/task/1257/stat : 1257 (java) S 1246 1248 31045 0 -1 64 38 890 0 0 0 0 20 2 15 0 9 0 1992955618 888946688 41242 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 868112
[startup+7.50299 s]
/proc/loadavg: 2.00 1.99 1.99 3/90 1261
/proc/meminfo: memFree=1451696/2055920 swapFree=4180424/4192956
[pid=1248] ppid=1246 vsize=868112 CPUtime=7.4
/proc/1248/stat : 1248 (java) S 1246 1248 31045 0 -1 0 68031 890 1 0 677 41 20 2 18 0 9 0 1992955613 888946688 41248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1248/statm: 217028 41248 2637 9 0 211534 0
[pid=1248/tid=1250] ppid=1246 vsize=868112 CPUtime=6.34
/proc/1248/task/1250/stat : 1250 (java) R 1246 1248 31045 0 -1 64 27955 890 1 0 586 26 20 2 22 0 9 0 1992955614 888946688 41248 996147200 134512640 134550740 4294955984 18446744073709551615 4125977230 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1251] ppid=1246 vsize=868112 CPUtime=0.87
/proc/1248/task/1251/stat : 1251 (java) S 1246 1248 31045 0 -1 64 38196 890 0 0 53 12 20 2 16 0 9 0 1992955616 888946688 41248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1252] ppid=1246 vsize=868112 CPUtime=0.22
/proc/1248/task/1252/stat : 1252 (java) S 1246 1248 31045 0 -1 64 20 890 0 0 0 0 20 2 15 0 9 0 1992955616 888946688 41248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1253] ppid=1246 vsize=868112 CPUtime=0.22
/proc/1248/task/1253/stat : 1253 (java) S 1246 1248 31045 0 -1 64 11 890 0 0 0 0 20 2 16 0 9 0 1992955616 888946688 41248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1248/tid=1254] ppid=1246 vsize=868112 CPUtime=0.22
/proc/1248/task/1254/stat : 1254 (java) S 1246 1248 31045 0 -1 64 1 890 0 0 0 0 20 2 18 0 9 0 1992955618 888946688 41248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1255] ppid=1246 vsize=868112 CPUtime=0.61
/proc/1248/task/1255/stat : 1255 (java) S 1246 1248 31045 0 -1 64 1007 890 0 0 38 1 20 2 15 0 9 0 1992955618 888946688 41248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1256] ppid=1246 vsize=868112 CPUtime=0.22
/proc/1248/task/1256/stat : 1256 (java) S 1246 1248 31045 0 -1 64 2 890 0 0 0 0 20 2 19 0 9 0 1992955618 888946688 41248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1248/tid=1257] ppid=1246 vsize=868112 CPUtime=0.22
/proc/1248/task/1257/stat : 1257 (java) S 1246 1248 31045 0 -1 64 38 890 0 0 0 0 20 2 15 0 9 0 1992955618 888946688 41248 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 868112
Child status: 0
Real time (s): 7.58369
CPU time (s): 7.45287
CPU user time (s): 6.98394
CPU system time (s): 0.468928
CPU usage (%): 98.275
Max. virtual memory (cumulated for all children) (KiB): 870648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.98394
system time used= 0.468928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68954
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= 1676
involuntary context switches= 1943
runsolver used 0.014997 second user time and 0.033994 second system time
The end
Begin job on node33 at 2008-07-04 04:50:21
IDJOB=1064116
IDBENCH=54907
IDSOLVER=363
FILE ID=node33/1064116-1215139821
PBS_JOBID= 7877230
Free space on /tmp= 66544 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/ukHerald/normalized-crossword-m1-uk-23-07.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064116-1215139821/watcher-1064116-1215139821 -o /tmp/evaluation-result-1064116-1215139821/solver-1064116-1215139821 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1064116-1215139821.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 0c51a17c8729390bd738ed6881b4ff0b
RANDOM SEED=1486760834
node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.231
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.231
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: 1607520 kB
Buffers: 40824 kB
Cached: 232348 kB
SwapCached: 6444 kB
Active: 260856 kB
Inactive: 119432 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1607520 kB
SwapTotal: 4192956 kB
SwapFree: 4180424 kB
Dirty: 7184 kB
Writeback: 0 kB
Mapped: 120992 kB
Slab: 52972 kB
Committed_AS: 4224904 kB
PageTables: 2072 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= 66544 MiB
End job on node33 at 2008-07-04 04:50:29