0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/207830-1168074370/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.40 nbVariables=76 nbDomainTypes=5 minDomainSize=1 maxDomainSize=1001
0.40 => wckTime=0.108 cpuTime=0.09 mem=7M931
0.40
0.40 relations being loaded...
0.45
0.45 constraints being loaded...
0.62 nbConstraints=350 nbRelationTypes=28 nbSingletonDomainVariables=2 nbExtensionStructures=29
0.62 nbSharedExtensionStructures=321 nbConflictsStructures=29 nbSharedConflictsStructures=321
0.62 nbSharedBinaryRepresentations=25493 maxDegree=25 maxArity=3
0.62 => wckTime=0.331 cpuTime=0.25 mem=17M138
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.537 cpuTime=0.38 mem=19M532
0.90
0.90 preprocessing
0.90 nbConstraintChecks=59500 nbValidityChecks=39693 nbPropagations=124 nbRevisions=199 nbUselessRevisions=60
0.90 nbRemovedValues=26370 detectedInconsistency=no
0.90 => wckTime=0.066 cpuTime=0.04 mem=19M532
1.00
1.00 search
1.00 run=0 nbConstraintChecks=111230 nbValidityChecks=98586 nbPropagations=2285 nbRevisions=5877
1.00 nbUselessRevisions=2819 nbAssignments=34 nbFailedAssignments=21 nbBacktracks=10 nbVisitedNodes=61
1.00 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.163 cpuTime=0.12 mem=19M532
1.08
1.08 search
1.08 run=1 nbConstraintChecks=241248 nbValidityChecks=232191 nbPropagations=6518 nbRevisions=16837
1.08 nbUselessRevisions=8260 nbAssignments=68 nbFailedAssignments=32 nbBacktracks=26 nbVisitedNodes=113
1.08 nbRestartNogoods=3 mapSize=17 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.246 cpuTime=0.2 mem=19M532
1.18
1.18 search
1.18 run=2 nbConstraintChecks=411909 nbValidityChecks=411736 nbPropagations=14147 nbRevisions=35628
1.18 nbUselessRevisions=17280 nbAssignments=125 nbFailedAssignments=51 nbBacktracks=50 nbVisitedNodes=205
1.18 nbRestartNogoods=9 mapSize=34 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.348 cpuTime=0.31 mem=19M532
1.40
1.40 search
1.40 run=3 nbConstraintChecks=808761 nbValidityChecks=781289 nbPropagations=29137 nbRevisions=72945
1.40 nbUselessRevisions=35053 nbAssignments=216 nbFailedAssignments=104 nbBacktracks=83 nbVisitedNodes=372
1.40 nbRestartNogoods=25 mapSize=64 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.564 cpuTime=0.52 mem=19M532
1.56
1.56 search
1.56 run=4 nbConstraintChecks=1081013 nbValidityChecks=1039275 nbPropagations=50745 nbRevisions=128662
1.56 nbUselessRevisions=62815 nbAssignments=328 nbFailedAssignments=150 nbBacktracks=145 nbVisitedNodes=558
1.56 nbRestartNogoods=40 mapSize=103 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.724 cpuTime=0.68 mem=20M507
1.75
1.75 search
1.75 run=5 nbConstraintChecks=1388577 nbValidityChecks=1336060 nbPropagations=80742 nbRevisions=207299
1.75 nbUselessRevisions=102742 nbAssignments=477 nbFailedAssignments=212 nbBacktracks=222 nbVisitedNodes=804
1.75 nbRestartNogoods=43 mapSize=152 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.914 cpuTime=0.86 mem=20M507
2.07
2.07 search
2.07 run=6 nbConstraintChecks=1921101 nbValidityChecks=1842181 nbPropagations=124803 nbRevisions=324542
2.07 nbUselessRevisions=163327 nbAssignments=705 nbFailedAssignments=311 nbBacktracks=343 nbVisitedNodes=1181
2.07 nbRestartNogoods=55 mapSize=221 nbInferences=0 nbTooLargeKeys=0
2.07 => wckTime=1.237 cpuTime=1.18 mem=21M482
2.53
2.53 search
2.53 run=7 nbConstraintChecks=2680472 nbValidityChecks=2559285 nbPropagations=188766 nbRevisions=500271
2.53 nbUselessRevisions=256955 nbAssignments=997 nbFailedAssignments=423 nbBacktracks=516 nbVisitedNodes=1668
2.53 nbRestartNogoods=60 mapSize=320 nbInferences=0 nbTooLargeKeys=0
2.53 => wckTime=1.695 cpuTime=1.64 mem=21M482
3.20
3.20 search
3.20 run=8 nbConstraintChecks=3740545 nbValidityChecks=3670829 nbPropagations=280319 nbRevisions=743570
3.20 nbUselessRevisions=384426 nbAssignments=1447 nbFailedAssignments=596 nbBacktracks=773 nbVisitedNodes=2407
3.20 nbRestartNogoods=72 mapSize=462 nbInferences=0 nbTooLargeKeys=0
3.20 => wckTime=2.367 cpuTime=2.31 mem=22M458
4.31
4.31 search
4.31 run=9 nbConstraintChecks=5558191 nbValidityChecks=5495986 nbPropagations=419197 nbRevisions=1105031
4.31 nbUselessRevisions=571747 nbAssignments=2133 nbFailedAssignments=886 nbBacktracks=1158 nbVisitedNodes=3598
4.31 nbRestartNogoods=93 mapSize=727 nbInferences=0 nbTooLargeKeys=0
4.31 => wckTime=3.474 cpuTime=3.4 mem=24M408
5.03
5.03 INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=26M358)
5.08
5.08 search
5.08 run=10 nbConstraintChecks=6601003 nbValidityChecks=6638622 nbPropagations=602156 nbRevisions=1580918
5.08 nbUselessRevisions=818856 nbAssignments=3023 nbFailedAssignments=1178 nbBacktracks=1744 nbVisitedNodes=5019
5.08 nbRestartNogoods=102
5.08 => wckTime=4.251 cpuTime=4.16 mem=26M358
6.40
6.40 search
6.40 run=11 nbConstraintChecks=8546552 nbValidityChecks=8893713 nbPropagations=862357 nbRevisions=2244284
6.40 nbUselessRevisions=1157213 nbAssignments=4490 nbFailedAssignments=1758 nbBacktracks=2608 nbVisitedNodes=7449
6.40 nbRestartNogoods=111
6.40 => wckTime=5.567 cpuTime=5.48 mem=26M358
9.29
9.29 search
9.29 run=12 nbConstraintChecks=13601426 nbValidityChecks=13659002 nbPropagations=1271332 nbRevisions=3296982
9.29 nbUselessRevisions=1698037 nbAssignments=6863 nbFailedAssignments=2824 nbBacktracks=3905 nbVisitedNodes=11610
9.29 nbRestartNogoods=125
9.29 => wckTime=8.454 cpuTime=8.36 mem=26M358
11.59
11.59 search
11.59 run=13 nbConstraintChecks=17148817 nbValidityChecks=17344506 nbPropagations=1827245 nbRevisions=4746784
11.59 nbUselessRevisions=2454460 nbAssignments=9747 nbFailedAssignments=3746 nbBacktracks=5852 nbVisitedNodes=16250
11.59 nbRestartNogoods=140
11.59 => wckTime=10.756 cpuTime=10.66 mem=26M358
14.94
14.94 search
14.94 run=14 nbConstraintChecks=22062002 nbValidityChecks=22798854 nbPropagations=2603545 nbRevisions=6762559
14.94 nbUselessRevisions=3505102 nbAssignments=14160 nbFailedAssignments=5218 nbBacktracks=8779 nbVisitedNodes=23380
14.94 nbRestartNogoods=157
14.94 => wckTime=14.104 cpuTime=14.01 mem=26M358
23.02
23.02 search
23.02 run=15 nbConstraintChecks=35330511 nbValidityChecks=36463584 nbPropagations=3823779 nbRevisions=9984188
23.02 nbUselessRevisions=5206402 nbAssignments=21384 nbFailedAssignments=8050 nbBacktracks=13158 nbVisitedNodes=35697
23.02 nbRestartNogoods=171
23.02 => wckTime=22.184 cpuTime=22.09 mem=26M358
34.03
34.03 search
34.03 run=16 nbConstraintChecks=53224357 nbValidityChecks=54948826 nbPropagations=5672773 nbRevisions=14853022
34.03 nbUselessRevisions=7774823 nbAssignments=31737 nbFailedAssignments=11821 nbBacktracks=19727
34.03 nbVisitedNodes=53023 nbRestartNogoods=204
34.03 => wckTime=33.199 cpuTime=33.1 mem=26M358
50.84
50.84 search
50.84 run=17 nbConstraintChecks=80668304 nbValidityChecks=83403493 nbPropagations=8438999 nbRevisions=22150161
50.84 nbUselessRevisions=11625450 nbAssignments=46904 nbFailedAssignments=17120 nbBacktracks=29580
50.84 nbVisitedNodes=78641 nbRestartNogoods=228
50.84 => wckTime=50.011 cpuTime=49.9 mem=26M358
72.01
72.01 search
72.01 run=18 nbConstraintChecks=114022004 nbValidityChecks=119339996 nbPropagations=12437258 nbRevisions=32464316
72.01 nbUselessRevisions=16964205 nbAssignments=69374 nbFailedAssignments=24792 nbBacktracks=44358
72.01 nbVisitedNodes=115579 nbRestartNogoods=252
72.01 => wckTime=71.18 cpuTime=71.06 mem=26M358
104.83
104.83 search
104.83 run=19 nbConstraintChecks=167925267 nbValidityChecks=174858309 nbPropagations=18239576 nbRevisions=47516007
104.83 nbUselessRevisions=24799265 nbAssignments=99788 nbFailedAssignments=35875 nbBacktracks=63613
104.83 nbVisitedNodes=167549 nbRestartNogoods=274
104.83 => wckTime=103.998 cpuTime=103.87 mem=26M358
104.83
104.83 global
104.83 nbConstraintChecks=167984767 nbValidityChecks=174898002 nbPropagations=18239700 nbRevisions=47516206
104.83 nbUselessRevisions=24799325 nbRestartNogoods=274 solvingWckTime=103.999 solvingCpuTime=103.87 expiredTime=no
104.83 totalExploration=no nbFoundSolutions=1 globalCpuTime=104.29
104.83 => wckTime=104.541 cpuTime=104.25 mem=26M358
104.84
104.84 s SATISFIABLE
104.84 v 4 4 24 0 17 1 11 4 1 15 16 2 2 14 23 0 20 4 21 26 15 7 9 7 5 10 6 4 8 1 13 10 10 11 12 3 25 0 19 22 18 9 3 6 22 12 7 12 14 1 4 5 9 24 26 40 40 44 70 77 84 94 98 99 109 120 123 123 145 154 160 172 184 185 185 0
104.84 d NODES 99788
104.84 d CHECKS 167984767
104.84
104.84 totalWckTime=104.617 totalCpuTime=104.29
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-207830-1168074370 -o ROOT/results/node23/solver-207830-1168074370 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207830-1168074370/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: 1.19 1.06 1.02 4/78 20888
/proc/meminfo: memFree=1564536/2055920 swapFree=4192812/4192956
[pid=20887] ppid=20885 vsize=308 CPUtime=0
/proc/20887/stat : 20887 (java) R 20885 20887 20282 0 -1 0 234 0 0 0 0 0 0 0 18 0 1 0 155831332 315392 40 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2495268 0 0 4096 0 0 0 0 17 1 0 0
/proc/20887/statm: 77 40 31 14 0 5 0
[startup+0.102622 s]
/proc/loadavg: 1.19 1.06 1.02 4/78 20888
/proc/meminfo: memFree=1564536/2055920 swapFree=4192812/4192956
[pid=20887] ppid=20885 vsize=914988 CPUtime=0.09
/proc/20887/stat : 20887 (java) R 20885 20887 20282 0 -1 0 3071 0 1 0 8 1 0 0 16 0 8 0 155831332 936947712 2817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20887/statm: 228747 2817 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.510699 s]
/proc/loadavg: 1.19 1.06 1.02 4/78 20888
/proc/meminfo: memFree=1564536/2055920 swapFree=4192812/4192956
[pid=20887] ppid=20885 vsize=915328 CPUtime=0.5
/proc/20887/stat : 20887 (java) S 20885 20887 20282 0 -1 0 7284 0 1 0 46 4 0 0 16 0 8 0 155831332 937295872 7023 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20887/statm: 228832 7023 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33085 s]
/proc/loadavg: 1.17 1.06 1.02 2/85 20895
/proc/meminfo: memFree=1534976/2055920 swapFree=4192812/4192956
[pid=20887] ppid=20885 vsize=915460 CPUtime=1.3
/proc/20887/stat : 20887 (java) R 20885 20887 20282 0 -1 0 10125 0 1 0 125 5 0 0 17 0 8 0 155831332 937431040 9862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20887/statm: 228865 9862 2517 14 0 215335 0
[pid=20887/tid=20889] ppid=20885 vsize=915460 CPUtime=0.03
/proc/20887/task/20889/stat : 20889 (java) S 20885 20887 20282 0 -1 64 927 0 0 0 3 0 0 0 16 0 8 0 155831335 937431040 9862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20887/tid=20890] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20890/stat : 20890 (java) S 20885 20887 20282 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155831336 937431040 9862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20891] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20891/stat : 20891 (java) S 20885 20887 20282 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155831336 937431040 9862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20892] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20892/stat : 20892 (java) S 20885 20887 20282 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155831339 937431040 9862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20893] ppid=20885 vsize=915460 CPUtime=0.19
/proc/20887/task/20893/stat : 20893 (java) S 20885 20887 20282 0 -1 64 388 0 0 0 19 0 0 0 16 0 8 0 155831339 937431040 9862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20894] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20894/stat : 20894 (java) S 20885 20887 20282 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155831339 937431040 9862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20895] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20895/stat : 20895 (java) S 20885 20887 20282 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155831339 937431040 9862 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.96917 s]
/proc/loadavg: 1.17 1.06 1.02 2/85 20895
/proc/meminfo: memFree=1534592/2055920 swapFree=4192812/4192956
[pid=20887] ppid=20885 vsize=915460 CPUtime=2.94
/proc/20887/stat : 20887 (java) R 20885 20887 20282 0 -1 0 10449 0 1 0 288 6 0 0 17 0 8 0 155831332 937431040 10185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073865639 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20887/statm: 228865 10185 2517 14 0 215335 0
[pid=20887/tid=20889] ppid=20885 vsize=915460 CPUtime=0.03
/proc/20887/task/20889/stat : 20889 (java) S 20885 20887 20282 0 -1 64 927 0 0 0 3 0 0 0 16 0 8 0 155831335 937431040 10185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20887/tid=20890] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20890/stat : 20890 (java) S 20885 20887 20282 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155831336 937431040 10185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20891] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20891/stat : 20891 (java) S 20885 20887 20282 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155831336 937431040 10185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20892] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20892/stat : 20892 (java) S 20885 20887 20282 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155831339 937431040 10185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20893] ppid=20885 vsize=915460 CPUtime=0.19
/proc/20887/task/20893/stat : 20893 (java) S 20885 20887 20282 0 -1 64 395 0 0 0 19 0 0 0 16 0 8 0 155831339 937431040 10185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20894] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20894/stat : 20894 (java) S 20885 20887 20282 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155831339 937431040 10185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20895] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20895/stat : 20895 (java) S 20885 20887 20282 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155831339 937431040 10185 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.2628 s]
/proc/loadavg: 1.17 1.06 1.02 2/85 20895
/proc/meminfo: memFree=1529536/2055920 swapFree=4192812/4192956
[pid=20887] ppid=20885 vsize=915460 CPUtime=6.23
/proc/20887/stat : 20887 (java) R 20885 20887 20282 0 -1 0 11457 0 1 0 617 6 0 0 17 0 8 0 155831332 937431040 11190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20887/statm: 228865 11190 2517 14 0 215335 0
[pid=20887/tid=20889] ppid=20885 vsize=915460 CPUtime=0.03
/proc/20887/task/20889/stat : 20889 (java) S 20885 20887 20282 0 -1 64 927 0 0 0 3 0 0 0 17 0 8 0 155831335 937431040 11190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20887/tid=20890] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20890/stat : 20890 (java) S 20885 20887 20282 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155831336 937431040 11190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20891] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20891/stat : 20891 (java) S 20885 20887 20282 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155831336 937431040 11190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20892] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20892/stat : 20892 (java) S 20885 20887 20282 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155831339 937431040 11190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20893] ppid=20885 vsize=915460 CPUtime=0.22
/proc/20887/task/20893/stat : 20893 (java) S 20885 20887 20282 0 -1 64 409 0 0 0 22 0 0 0 16 0 8 0 155831339 937431040 11190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20894] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20894/stat : 20894 (java) S 20885 20887 20282 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155831339 937431040 11190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20895] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20895/stat : 20895 (java) S 20885 20887 20282 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155831339 937431040 11190 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915460
[startup+12.7331 s]
/proc/loadavg: 1.15 1.05 1.01 2/85 20895
/proc/meminfo: memFree=1529480/2055920 swapFree=4192812/4192956
[pid=20887] ppid=20885 vsize=915460 CPUtime=12.7
/proc/20887/stat : 20887 (java) R 20885 20887 20282 0 -1 0 11468 0 1 0 1264 6 0 0 19 0 8 0 155831332 937431040 11199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073698856 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20887/statm: 228865 11199 2517 14 0 215335 0
[pid=20887/tid=20889] ppid=20885 vsize=915460 CPUtime=0.03
/proc/20887/task/20889/stat : 20889 (java) S 20885 20887 20282 0 -1 64 927 0 0 0 3 0 0 0 16 0 8 0 155831335 937431040 11199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20887/tid=20890] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20890/stat : 20890 (java) S 20885 20887 20282 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155831336 937431040 11199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20891] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20891/stat : 20891 (java) S 20885 20887 20282 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155831336 937431040 11199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20892] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20892/stat : 20892 (java) S 20885 20887 20282 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155831339 937431040 11199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20893] ppid=20885 vsize=915460 CPUtime=0.22
/proc/20887/task/20893/stat : 20893 (java) S 20885 20887 20282 0 -1 64 410 0 0 0 22 0 0 0 16 0 8 0 155831339 937431040 11199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20894] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20894/stat : 20894 (java) S 20885 20887 20282 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155831339 937431040 11199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20895] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20895/stat : 20895 (java) S 20885 20887 20282 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155831339 937431040 11199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915460
[startup+25.5825 s]
/proc/loadavg: 1.12 1.05 1.01 2/85 20895
/proc/meminfo: memFree=1529480/2055920 swapFree=4192812/4192956
[pid=20887] ppid=20885 vsize=915460 CPUtime=25.55
/proc/20887/stat : 20887 (java) R 20885 20887 20282 0 -1 0 11475 0 1 0 2548 7 0 0 25 0 8 0 155831332 937431040 11206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829729 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20887/statm: 228865 11206 2517 14 0 215335 0
[pid=20887/tid=20889] ppid=20885 vsize=915460 CPUtime=0.03
/proc/20887/task/20889/stat : 20889 (java) S 20885 20887 20282 0 -1 64 927 0 0 0 3 0 0 0 16 0 8 0 155831335 937431040 11206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20887/tid=20890] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20890/stat : 20890 (java) S 20885 20887 20282 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155831336 937431040 11206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20891] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20891/stat : 20891 (java) S 20885 20887 20282 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155831336 937431040 11206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20892] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20892/stat : 20892 (java) S 20885 20887 20282 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155831339 937431040 11206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20893] ppid=20885 vsize=915460 CPUtime=0.22
/proc/20887/task/20893/stat : 20893 (java) S 20885 20887 20282 0 -1 64 411 0 0 0 22 0 0 0 16 0 8 0 155831339 937431040 11206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20894] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20894/stat : 20894 (java) S 20885 20887 20282 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155831339 937431040 11206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20895] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20895/stat : 20895 (java) S 20885 20887 20282 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155831339 937431040 11206 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915460
[startup+51.2655 s]
/proc/loadavg: 1.08 1.05 1.01 2/85 20895
/proc/meminfo: memFree=1529480/2055920 swapFree=4192812/4192956
[pid=20887] ppid=20885 vsize=915460 CPUtime=51.22
/proc/20887/stat : 20887 (java) R 20885 20887 20282 0 -1 0 11481 0 1 0 5115 7 0 0 25 0 8 0 155831332 937431040 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829689 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20887/statm: 228865 11212 2517 14 0 215335 0
[pid=20887/tid=20889] ppid=20885 vsize=915460 CPUtime=0.03
/proc/20887/task/20889/stat : 20889 (java) S 20885 20887 20282 0 -1 64 927 0 0 0 3 0 0 0 16 0 8 0 155831335 937431040 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20887/tid=20890] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20890/stat : 20890 (java) S 20885 20887 20282 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155831336 937431040 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20891] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20891/stat : 20891 (java) S 20885 20887 20282 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155831336 937431040 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20892] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20892/stat : 20892 (java) S 20885 20887 20282 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155831339 937431040 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20893] ppid=20885 vsize=915460 CPUtime=0.22
/proc/20887/task/20893/stat : 20893 (java) S 20885 20887 20282 0 -1 64 411 0 0 0 22 0 0 0 16 0 8 0 155831339 937431040 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20894] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20894/stat : 20894 (java) S 20885 20887 20282 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155831339 937431040 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20895] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20895/stat : 20895 (java) S 20885 20887 20282 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155831339 937431040 11212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.22
Current children cumulated vsize (KiB) 915460
[startup+102.526 s]
/proc/loadavg: 1.09 1.05 1.01 2/85 20895
/proc/meminfo: memFree=1529416/2055920 swapFree=4192812/4192956
[pid=20887] ppid=20885 vsize=915460 CPUtime=102.46
/proc/20887/stat : 20887 (java) R 20885 20887 20282 0 -1 0 11484 0 1 0 10239 7 0 0 25 0 8 0 155831332 937431040 11215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073829735 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20887/statm: 228865 11215 2517 14 0 215335 0
[pid=20887/tid=20889] ppid=20885 vsize=915460 CPUtime=0.03
/proc/20887/task/20889/stat : 20889 (java) S 20885 20887 20282 0 -1 64 927 0 0 0 3 0 0 0 16 0 8 0 155831335 937431040 11215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20887/tid=20890] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20890/stat : 20890 (java) S 20885 20887 20282 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155831336 937431040 11215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20891] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20891/stat : 20891 (java) S 20885 20887 20282 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155831336 937431040 11215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20892] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20892/stat : 20892 (java) S 20885 20887 20282 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155831339 937431040 11215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20893] ppid=20885 vsize=915460 CPUtime=0.22
/proc/20887/task/20893/stat : 20893 (java) S 20885 20887 20282 0 -1 64 411 0 0 0 22 0 0 0 16 0 8 0 155831339 937431040 11215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20894] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20894/stat : 20894 (java) S 20885 20887 20282 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155831339 937431040 11215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20887/tid=20895] ppid=20885 vsize=915460 CPUtime=0
/proc/20887/task/20895/stat : 20895 (java) S 20885 20887 20282 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155831339 937431040 11215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.46
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 104.86
CPU time (s): 104.792
CPU user time (s): 104.709
CPU system time (s): 0.082987
CPU usage (%): 99.935
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 104.709
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11574
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= 3004
involuntary context switches= 2272
runsolver used 0.106983 s user time and 0.273958 s system time
The end
Begin job on node23 on Sat Jan 6 09:06:10 UTC 2007
IDJOB= 207830
IDBENCH= 4337
FILE ID= node23/207830-1168074370
PBS_JOBID= 3476014
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-25/tsp-25-48_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207830-1168074370/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-207830-1168074370 -o ROOT/results/node23/solver-207830-1168074370 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207830-1168074370/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 52e15dbdfc86e7400506f523ef70995d
RANDOM SEED= 406519971
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.265
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.265
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: 1564952 kB
Buffers: 43336 kB
Cached: 315636 kB
SwapCached: 0 kB
Active: 118212 kB
Inactive: 296504 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1564952 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2040 kB
Writeback: 0 kB
Mapped: 74704 kB
Slab: 61600 kB
Committed_AS: 2942312 kB
PageTables: 1916 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= 66550 MiB
End job on node23 on Sat Jan 6 09:07:55 UTC 2007