0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/207791-1168074363/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.41 nbVariables=76 nbDomainTypes=5 minDomainSize=1 maxDomainSize=1001
0.41 => wckTime=0.108 cpuTime=0.09 mem=7M931
0.41
0.41 relations being loaded...
0.46
0.46 constraints being loaded...
0.62 nbConstraints=350 nbRelationTypes=28 nbSingletonDomainVariables=2 nbExtensionStructures=29
0.62 nbSharedExtensionStructures=321 nbConflictsStructures=29 nbSharedConflictsStructures=321
0.62 nbSharedBinaryRepresentations=25491 maxDegree=25 maxArity=3
0.62 => wckTime=0.324 cpuTime=0.25 mem=16M431
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.53 cpuTime=0.39 mem=19M19
0.90
0.90 preprocessing
0.90 nbConstraintChecks=55936 nbValidityChecks=34239 nbPropagations=143 nbRevisions=209 nbUselessRevisions=47
0.90 nbRemovedValues=26663 detectedInconsistency=no
0.90 => wckTime=0.063 cpuTime=0.04 mem=19M19
1.00
1.00 search
1.00 run=0 nbConstraintChecks=116414 nbValidityChecks=105143 nbPropagations=2616 nbRevisions=7679
1.00 nbUselessRevisions=4314 nbAssignments=30 nbFailedAssignments=14 nbBacktracks=14 nbVisitedNodes=54
1.00 nbRestartNogoods=0 mapSize=14 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.165 cpuTime=0.12 mem=19M19
1.06
1.06 search
1.06 run=1 nbConstraintChecks=208453 nbValidityChecks=191200 nbPropagations=7534 nbRevisions=22117
1.06 nbUselessRevisions=12451 nbAssignments=63 nbFailedAssignments=29 nbBacktracks=29 nbVisitedNodes=110
1.06 nbRestartNogoods=2 mapSize=26 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.23 cpuTime=0.18 mem=19M19
1.15
1.15 search
1.15 run=2 nbConstraintChecks=352089 nbValidityChecks=330852 nbPropagations=16219 nbRevisions=47319
1.15 nbUselessRevisions=26619 nbAssignments=122 nbFailedAssignments=58 nbBacktracks=54 nbVisitedNodes=208
1.15 nbRestartNogoods=7 mapSize=49 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.32 cpuTime=0.27 mem=19M19
1.29
1.29 search
1.29 run=3 nbConstraintChecks=589233 nbValidityChecks=550023 nbPropagations=31221 nbRevisions=89942
1.29 nbUselessRevisions=50404 nbAssignments=203 nbFailedAssignments=96 nbBacktracks=92 nbVisitedNodes=351
1.29 nbRestartNogoods=12 mapSize=83 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.452 cpuTime=0.4 mem=19M19
1.43
1.43 search
1.43 run=4 nbConstraintChecks=818739 nbValidityChecks=774570 nbPropagations=52977 nbRevisions=151479
1.43 nbUselessRevisions=84539 nbAssignments=315 nbFailedAssignments=149 nbBacktracks=142 nbVisitedNodes=534
1.43 nbRestartNogoods=21 mapSize=120 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.591 cpuTime=0.54 mem=19M994
1.67
1.67 search
1.67 run=5 nbConstraintChecks=1249913 nbValidityChecks=1168861 nbPropagations=85559 nbRevisions=243416
1.67 nbUselessRevisions=135418 nbAssignments=468 nbFailedAssignments=222 nbBacktracks=217 nbVisitedNodes=793
1.67 nbRestartNogoods=31 mapSize=176 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.833 cpuTime=0.78 mem=19M994
1.96
1.96 search
1.96 run=6 nbConstraintChecks=1720747 nbValidityChecks=1628903 nbPropagations=131933 nbRevisions=373505
1.96 nbUselessRevisions=207078 nbAssignments=688 nbFailedAssignments=317 nbBacktracks=336 nbVisitedNodes=1158
1.96 nbRestartNogoods=41 mapSize=247 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=1.121 cpuTime=1.06 mem=20M969
2.38
2.38 search
2.38 run=7 nbConstraintChecks=2434222 nbValidityChecks=2310480 nbPropagations=198032 nbRevisions=558722
2.38 nbUselessRevisions=309309 nbAssignments=978 nbFailedAssignments=425 nbBacktracks=506 nbVisitedNodes=1640
2.38 nbRestartNogoods=44 mapSize=356 nbInferences=0 nbTooLargeKeys=0
2.38 => wckTime=1.545 cpuTime=1.48 mem=20M969
2.88
2.88 search
2.88 run=8 nbConstraintChecks=3231772 nbValidityChecks=3118229 nbPropagations=289538 nbRevisions=812472
2.88 nbUselessRevisions=448364 nbAssignments=1392 nbFailedAssignments=568 nbBacktracks=765 nbVisitedNodes=2316
2.88 nbRestartNogoods=62 mapSize=517 nbInferences=0 nbTooLargeKeys=0
2.88 => wckTime=2.049 cpuTime=1.98 mem=21M944
3.56
3.56 search
3.56 run=9 nbConstraintChecks=4292488 nbValidityChecks=4165415 nbPropagations=416904 nbRevisions=1166735
3.56 nbUselessRevisions=643030 nbAssignments=2005 nbFailedAssignments=779 nbBacktracks=1152 nbVisitedNodes=3300
3.56 nbRestartNogoods=69 mapSize=735 nbInferences=0 nbTooLargeKeys=0
3.56 => wckTime=2.724 cpuTime=2.65 mem=23M895
4.70
4.70 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=25M845)
4.93
4.93 search
4.93 run=10 nbConstraintChecks=6650854 nbValidityChecks=6492288 nbPropagations=611497 nbRevisions=1702367
4.93 nbUselessRevisions=935352 nbAssignments=2952 nbFailedAssignments=1139 nbBacktracks=1730 nbVisitedNodes=4889
4.93 nbRestartNogoods=82
4.93 => wckTime=4.1 cpuTime=4.01 mem=25M845
6.07
6.07 search
6.07 run=11 nbConstraintChecks=8490539 nbValidityChecks=8489461 nbPropagations=878015 nbRevisions=2422866
6.07 nbUselessRevisions=1323818 nbAssignments=4278 nbFailedAssignments=1588 nbBacktracks=2596 nbVisitedNodes=7014
6.07 nbRestartNogoods=95
6.07 => wckTime=5.234 cpuTime=5.14 mem=25M845
7.87
7.87 search
7.87 run=12 nbConstraintChecks=11545197 nbValidityChecks=11634416 nbPropagations=1258847 nbRevisions=3461961
7.87 nbUselessRevisions=1888212 nbAssignments=6212 nbFailedAssignments=2208 nbBacktracks=3897 nbVisitedNodes=10169
7.87 nbRestartNogoods=99
7.87 => wckTime=7.034 cpuTime=6.94 mem=25M845
11.10
11.10 search
11.10 run=13 nbConstraintChecks=17072318 nbValidityChecks=17434534 nbPropagations=1819170 nbRevisions=4975917
11.10 nbUselessRevisions=2703977 nbAssignments=9210 nbFailedAssignments=3239 nbBacktracks=5843 nbVisitedNodes=15060
11.10 nbRestartNogoods=111
11.10 => wckTime=10.263 cpuTime=10.16 mem=25M845
15.97
15.97 search
15.97 run=14 nbConstraintChecks=25426811 nbValidityChecks=26492034 nbPropagations=2643420 nbRevisions=7156337
15.97 nbUselessRevisions=3858323 nbAssignments=13727 nbFailedAssignments=4818 nbBacktracks=8765 nbVisitedNodes=22483
15.97 nbRestartNogoods=136
15.97 => wckTime=15.138 cpuTime=15.04 mem=25M845
19.53
19.53 search
19.53 run=15 nbConstraintChecks=31630694 nbValidityChecks=32762384 nbPropagations=3671724 nbRevisions=9882731
19.53 nbUselessRevisions=5304956 nbAssignments=17327 nbFailedAssignments=6018 nbBacktracks=11089 nbVisitedNodes=28429
19.53 nbRestartNogoods=144
19.53 => wckTime=18.694 cpuTime=18.59 mem=25M845
19.53
19.53 global
19.53 nbConstraintChecks=31686630 nbValidityChecks=32796623 nbPropagations=3671867 nbRevisions=9882940
19.53 nbUselessRevisions=5305003 nbRestartNogoods=144 solvingWckTime=18.695 solvingCpuTime=18.59 expiredTime=no
19.53 totalExploration=no nbFoundSolutions=1 globalCpuTime=19.02
19.53 => wckTime=19.231 cpuTime=18.98 mem=25M845
19.53
19.53 s SATISFIABLE
19.53 v 9 2 5 2 19 17 23 2 20 23 14 0 2 2 7 17 1 8 13 1 3 2 8 2 21 2 24 1 18 6 10 5 25 2 17 12 4 3 22 4 16 1 15 14 11 15 6 16 12 15 4 21 23 46 46 48 65 73 74 76 78 80 81 87 92 94 106 109 113 114 128 143 159 174 174 0
19.53 d NODES 17327
19.53 d CHECKS 31686630
19.53
19.53 totalWckTime=19.309 totalCpuTime=19.02
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-207791-1168074363 -o ROOT/results/node34/solver-207791-1168074363 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207791-1168074363/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.88 0.92 0.97 3/68 10272
/proc/meminfo: memFree=1490864/2055920 swapFree=4192812/4192956
[pid=10271] ppid=10269 vsize=1500 CPUtime=0
/proc/10271/stat : 10271 (java) R 10269 10271 9728 0 -1 0 74 0 0 0 0 0 0 0 20 0 1 0 155830015 1536000 57 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7691233 0 0 4096 0 0 0 0 17 1 0 0
/proc/10271/statm: 375 67 54 14 0 8 0
[startup+0.107398 s]
/proc/loadavg: 0.88 0.92 0.97 3/68 10272
/proc/meminfo: memFree=1490864/2055920 swapFree=4192812/4192956
[pid=10271] ppid=10269 vsize=914988 CPUtime=0.09
/proc/10271/stat : 10271 (java) R 10269 10271 9728 0 -1 0 3077 0 1 0 8 1 0 0 16 0 8 0 155830015 936947712 2823 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10271/statm: 228747 2823 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.51543 s]
/proc/loadavg: 0.88 0.92 0.97 3/68 10272
/proc/meminfo: memFree=1490864/2055920 swapFree=4192812/4192956
[pid=10271] ppid=10269 vsize=915328 CPUtime=0.5
/proc/10271/stat : 10271 (java) S 10269 10271 9728 0 -1 0 7062 0 1 0 46 4 0 0 16 0 8 0 155830015 937295872 6801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10271/statm: 228832 6801 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33749 s]
/proc/loadavg: 0.88 0.92 0.97 2/75 10282
/proc/meminfo: memFree=1464696/2055920 swapFree=4192812/4192956
[pid=10271] ppid=10269 vsize=915460 CPUtime=1.33
/proc/10271/stat : 10271 (java) R 10269 10271 9728 0 -1 0 9755 0 1 0 127 6 0 0 17 0 8 0 155830015 937431040 9492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073912855 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10271/statm: 228865 9492 2517 14 0 215335 0
[pid=10271/tid=10273] ppid=10269 vsize=915460 CPUtime=0.03
/proc/10271/task/10273/stat : 10273 (java) S 10269 10271 9728 0 -1 64 804 0 0 0 3 0 0 0 16 0 8 0 155830019 937431040 9492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10271/tid=10274] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10274/stat : 10274 (java) S 10269 10271 9728 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155830019 937431040 9492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10275] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10275/stat : 10275 (java) S 10269 10271 9728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155830019 937431040 9492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10276] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10276/stat : 10276 (java) S 10269 10271 9728 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155830022 937431040 9492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10277] ppid=10269 vsize=915460 CPUtime=0.2
/proc/10271/task/10277/stat : 10277 (java) S 10269 10271 9728 0 -1 64 389 0 0 0 20 0 0 0 15 0 8 0 155830022 937431040 9492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10278] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10278/stat : 10278 (java) S 10269 10271 9728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155830022 937431040 9492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10279] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10279/stat : 10279 (java) S 10269 10271 9728 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155830022 937431040 9492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915460
[startup+2.98962 s]
/proc/loadavg: 0.88 0.92 0.97 2/75 10282
/proc/meminfo: memFree=1463096/2055920 swapFree=4192812/4192956
[pid=10271] ppid=10269 vsize=915460 CPUtime=2.98
/proc/10271/stat : 10271 (java) R 10269 10271 9728 0 -1 0 10484 0 1 0 291 7 0 0 16 0 8 0 155830015 937431040 10220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073912855 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10271/statm: 228865 10220 2517 14 0 215335 0
[pid=10271/tid=10273] ppid=10269 vsize=915460 CPUtime=0.03
/proc/10271/task/10273/stat : 10273 (java) S 10269 10271 9728 0 -1 64 804 0 0 0 3 0 0 0 17 0 8 0 155830019 937431040 10220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10271/tid=10274] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10274/stat : 10274 (java) S 10269 10271 9728 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155830019 937431040 10220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10275] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10275/stat : 10275 (java) S 10269 10271 9728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155830019 937431040 10220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10276] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10276/stat : 10276 (java) S 10269 10271 9728 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155830022 937431040 10220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10277] ppid=10269 vsize=915460 CPUtime=0.21
/proc/10271/task/10277/stat : 10277 (java) S 10269 10271 9728 0 -1 64 396 0 0 0 21 0 0 0 16 0 8 0 155830022 937431040 10220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10278] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10278/stat : 10278 (java) S 10269 10271 9728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155830022 937431040 10220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10279] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10279/stat : 10279 (java) S 10269 10271 9728 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155830022 937431040 10220 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 915460
[startup+6.2799 s]
/proc/loadavg: 0.89 0.92 0.97 3/87 10327
/proc/meminfo: memFree=1425632/2055920 swapFree=4192812/4192956
[pid=10271] ppid=10269 vsize=915460 CPUtime=6.26
/proc/10271/stat : 10271 (java) R 10269 10271 9728 0 -1 0 11319 0 1 0 619 7 0 0 19 0 8 0 155830015 937431040 11052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10271/statm: 228865 11052 2517 14 0 215335 0
[pid=10271/tid=10273] ppid=10269 vsize=915460 CPUtime=0.03
/proc/10271/task/10273/stat : 10273 (java) S 10269 10271 9728 0 -1 64 804 0 0 0 3 0 0 0 16 0 8 0 155830019 937431040 11052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10271/tid=10274] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10274/stat : 10274 (java) S 10269 10271 9728 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155830019 937431040 11052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10275] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10275/stat : 10275 (java) S 10269 10271 9728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155830019 937431040 11052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10276] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10276/stat : 10276 (java) S 10269 10271 9728 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155830022 937431040 11052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10277] ppid=10269 vsize=915460 CPUtime=0.25
/proc/10271/task/10277/stat : 10277 (java) S 10269 10271 9728 0 -1 64 413 0 0 0 24 1 0 0 17 0 8 0 155830022 937431040 11052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10271/tid=10278] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10278/stat : 10278 (java) S 10269 10271 9728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155830022 937431040 11052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10279] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10279/stat : 10279 (java) S 10269 10271 9728 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155830022 937431040 11052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915460
[startup+12.7664 s]
/proc/loadavg: 0.97 0.94 0.97 3/87 10327
/proc/meminfo: memFree=1421088/2055920 swapFree=4192812/4192956
[pid=10271] ppid=10269 vsize=915460 CPUtime=12.76
/proc/10271/stat : 10271 (java) R 10269 10271 9728 0 -1 0 11325 0 1 0 1268 8 0 0 25 0 8 0 155830015 937431040 11058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831907 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10271/statm: 228865 11058 2517 14 0 215335 0
[pid=10271/tid=10273] ppid=10269 vsize=915460 CPUtime=0.03
/proc/10271/task/10273/stat : 10273 (java) S 10269 10271 9728 0 -1 64 804 0 0 0 3 0 0 0 16 0 8 0 155830019 937431040 11058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10271/tid=10274] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10274/stat : 10274 (java) S 10269 10271 9728 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155830019 937431040 11058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10275] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10275/stat : 10275 (java) S 10269 10271 9728 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155830019 937431040 11058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10276] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10276/stat : 10276 (java) S 10269 10271 9728 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155830022 937431040 11058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10277] ppid=10269 vsize=915460 CPUtime=0.25
/proc/10271/task/10277/stat : 10277 (java) S 10269 10271 9728 0 -1 64 413 0 0 0 24 1 0 0 17 0 8 0 155830022 937431040 11058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10271/tid=10278] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10278/stat : 10278 (java) S 10269 10271 9728 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155830022 937431040 11058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10271/tid=10279] ppid=10269 vsize=915460 CPUtime=0
/proc/10271/task/10279/stat : 10279 (java) S 10269 10271 9728 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155830022 937431040 11058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 19.5953
CPU time (s): 19.54
CPU user time (s): 19.449
CPU system time (s): 0.090986
CPU usage (%): 99.7177
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.449
system time used= 0.090986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11419
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= 1282
involuntary context switches= 213
runsolver used 0.019996 s user time and 0.06099 s system time
The end
Begin job on node34 on Sat Jan 6 09:06:03 UTC 2007
IDJOB= 207791
IDBENCH= 4334
FILE ID= node34/207791-1168074363
PBS_JOBID= 3476016
Free space on /tmp= 66533 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-25/tsp-25-561_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207791-1168074363/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-207791-1168074363 -o ROOT/results/node34/solver-207791-1168074363 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207791-1168074363/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 39d209d9e0072422fe268a5af741f940
RANDOM SEED= 971466894
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.227
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.227
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: 1491280 kB
Buffers: 31784 kB
Cached: 436804 kB
SwapCached: 0 kB
Active: 79960 kB
Inactive: 408844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1491280 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3880 kB
Writeback: 0 kB
Mapped: 30392 kB
Slab: 61596 kB
Committed_AS: 2411728 kB
PageTables: 1596 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66533 MiB
End job on node34 on Sat Jan 6 09:06:22 UTC 2007