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/207908-1168074412/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.105 cpuTime=0.09 mem=7M931
0.41
0.41 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=25501 maxDegree=25 maxArity=3
0.62 => wckTime=0.317 cpuTime=0.22 mem=15M546
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.532 cpuTime=0.35 mem=19M38
0.90
0.90 preprocessing
0.90 nbConstraintChecks=60183 nbValidityChecks=36019 nbPropagations=171 nbRevisions=223 nbUselessRevisions=37
0.90 nbRemovedValues=27144 detectedInconsistency=no
0.90 => wckTime=0.066 cpuTime=0.04 mem=19M38
0.98
0.98 search
0.98 run=0 nbConstraintChecks=67894 nbValidityChecks=59932 nbPropagations=2012 nbRevisions=5751
0.98 nbUselessRevisions=3247 nbAssignments=25 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=44
0.98 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.138 cpuTime=0.1 mem=19M38
1.02
1.02 search
1.03 run=1 nbConstraintChecks=136056 nbValidityChecks=124680 nbPropagations=6392 nbRevisions=17935
1.03 nbUselessRevisions=10052 nbAssignments=53 nbFailedAssignments=20 nbBacktracks=27 nbVisitedNodes=94
1.03 nbRestartNogoods=4 mapSize=26 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.188 cpuTime=0.14 mem=19M38
1.09
1.09 search
1.09 run=2 nbConstraintChecks=239012 nbValidityChecks=215996 nbPropagations=13403 nbRevisions=37973
1.09 nbUselessRevisions=21398 nbAssignments=93 nbFailedAssignments=34 nbBacktracks=49 nbVisitedNodes=160
1.09 nbRestartNogoods=5 mapSize=43 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.253 cpuTime=0.2 mem=19M38
1.16
1.16 search
1.16 run=3 nbConstraintChecks=359605 nbValidityChecks=327587 nbPropagations=23841 nbRevisions=68855
1.16 nbUselessRevisions=39239 nbAssignments=155 nbFailedAssignments=57 nbBacktracks=82 nbVisitedNodes=260
1.16 nbRestartNogoods=10 mapSize=70 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.327 cpuTime=0.27 mem=19M38
1.29
1.29 search
1.29 run=4 nbConstraintChecks=582906 nbValidityChecks=536002 nbPropagations=40966 nbRevisions=119446
1.29 nbUselessRevisions=68309 nbAssignments=252 nbFailedAssignments=96 nbBacktracks=134 nbVisitedNodes=426
1.29 nbRestartNogoods=14 mapSize=111 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.452 cpuTime=0.39 mem=20M13
1.43
1.43 search
1.43 run=5 nbConstraintChecks=802157 nbValidityChecks=748126 nbPropagations=66638 nbRevisions=195808
1.43 nbUselessRevisions=112348 nbAssignments=392 nbFailedAssignments=153 nbBacktracks=209 nbVisitedNodes=660
1.43 nbRestartNogoods=26 mapSize=172 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.588 cpuTime=0.53 mem=20M13
1.64
1.64 search
1.64 run=6 nbConstraintChecks=1169584 nbValidityChecks=1106342 nbPropagations=104609 nbRevisions=306903
1.64 nbUselessRevisions=175747 nbAssignments=581 nbFailedAssignments=224 nbBacktracks=322 nbVisitedNodes=972
1.64 nbRestartNogoods=36 mapSize=252 nbInferences=0 nbTooLargeKeys=0
1.64 => wckTime=0.804 cpuTime=0.74 mem=20M13
1.93
1.93 search
1.93 run=7 nbConstraintChecks=1648146 nbValidityChecks=1574510 nbPropagations=159629 nbRevisions=467672
1.93 nbUselessRevisions=267125 nbAssignments=853 nbFailedAssignments=318 nbBacktracks=492 nbVisitedNodes=1417
1.93 nbRestartNogoods=42 mapSize=364 nbInferences=0 nbTooLargeKeys=0
1.93 => wckTime=1.092 cpuTime=1.03 mem=20M988
2.37
2.37 search
2.37 run=8 nbConstraintChecks=2370083 nbValidityChecks=2291555 nbPropagations=241012 nbRevisions=702473
2.37 nbUselessRevisions=399330 nbAssignments=1275 nbFailedAssignments=473 nbBacktracks=751 nbVisitedNodes=2111
2.37 nbRestartNogoods=46 mapSize=532 nbInferences=0 nbTooLargeKeys=0
2.37 => wckTime=1.533 cpuTime=1.46 mem=21M963
3.00
3.00 search
3.00 run=9 nbConstraintChecks=3390950 nbValidityChecks=3375807 nbPropagations=358040 nbRevisions=1028551
3.00 nbUselessRevisions=578207 nbAssignments=1883 nbFailedAssignments=687 nbBacktracks=1135 nbVisitedNodes=3090
3.00 nbRestartNogoods=56 mapSize=758 nbInferences=0 nbTooLargeKeys=0
3.00 => wckTime=2.162 cpuTime=2.07 mem=23M914
3.70
3.70 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=24M889)
3.87
3.87 search
3.87 run=10 nbConstraintChecks=4875988 nbValidityChecks=4834099 nbPropagations=526288 nbRevisions=1498440
3.87 nbUselessRevisions=836565 nbAssignments=2786 nbFailedAssignments=996 nbBacktracks=1712 nbVisitedNodes=4534
3.87 nbRestartNogoods=66
3.87 => wckTime=3.03 cpuTime=2.93 mem=24M889
5.09
5.09 search
5.09 run=11 nbConstraintChecks=7084578 nbValidityChecks=7062914 nbPropagations=774496 nbRevisions=2183448
5.09 nbUselessRevisions=1209411 nbAssignments=4132 nbFailedAssignments=1460 nbBacktracks=2578 nbVisitedNodes=6716
5.09 nbRestartNogoods=86
5.09 => wckTime=4.249 cpuTime=4.14 mem=25M864
6.88
6.88 search
6.88 run=12 nbConstraintChecks=10122420 nbValidityChecks=10259596 nbPropagations=1126983 nbRevisions=3133352
6.88 nbUselessRevisions=1714996 nbAssignments=6061 nbFailedAssignments=2073 nbBacktracks=3878 nbVisitedNodes=9804
6.88 nbRestartNogoods=96
6.88 => wckTime=6.046 cpuTime=5.91 mem=25M864
9.93
9.93 search
9.93 run=13 nbConstraintChecks=15176034 nbValidityChecks=15694356 nbPropagations=1661381 nbRevisions=4549130
9.93 nbUselessRevisions=2459682 nbAssignments=9007 nbFailedAssignments=3055 nbBacktracks=5825 nbVisitedNodes=14674
9.93 nbRestartNogoods=115
9.93 => wckTime=9.094 cpuTime=8.93 mem=25M864
13.83
13.83 search
13.83 run=14 nbConstraintChecks=21793388 nbValidityChecks=22563245 nbPropagations=2434194 nbRevisions=6619882
13.83 nbUselessRevisions=3556309 nbAssignments=13257 nbFailedAssignments=4368 nbBacktracks=8744 nbVisitedNodes=21551
13.83 nbRestartNogoods=146
13.83 => wckTime=12.997 cpuTime=12.8 mem=25M864
20.03
20.03 search
20.03 run=15 nbConstraintChecks=32163462 nbValidityChecks=33459358 nbPropagations=3584076 nbRevisions=9692817
20.03 nbUselessRevisions=5178054 nbAssignments=19677 nbFailedAssignments=6396 nbBacktracks=13123 nbVisitedNodes=31991
20.03 nbRestartNogoods=157
20.03 => wckTime=19.194 cpuTime=18.94 mem=25M864
29.81
29.81 search
29.81 run=16 nbConstraintChecks=48593853 nbValidityChecks=50814056 nbPropagations=5316505 nbRevisions=14254537
29.81 nbUselessRevisions=7561803 nbAssignments=29167 nbFailedAssignments=9298 nbBacktracks=19692 nbVisitedNodes=47571
29.81 nbRestartNogoods=169
29.81 => wckTime=28.97 cpuTime=28.63 mem=25M864
42.84
42.84 search
42.84 run=17 nbConstraintChecks=70006992 nbValidityChecks=74164855 nbPropagations=7834304 nbRevisions=20802311
42.84 nbUselessRevisions=10938386 nbAssignments=43468 nbFailedAssignments=13723 nbBacktracks=29553
42.84 nbVisitedNodes=70958 nbRestartNogoods=193
42.84 => wckTime=42.008 cpuTime=41.55 mem=25M864
63.19
63.19 search
63.19 run=18 nbConstraintChecks=103430856 nbValidityChecks=110289784 nbPropagations=11604210 nbRevisions=30587075
63.19 nbUselessRevisions=15991342 nbAssignments=64742 nbFailedAssignments=20198 nbBacktracks=44335
63.19 nbVisitedNodes=105658 nbRestartNogoods=208
63.19 => wckTime=62.35 cpuTime=61.71 mem=25M864
92.58
92.58 search
92.58 run=19 nbConstraintChecks=152485979 nbValidityChecks=162083310 nbPropagations=17158122 nbRevisions=45125706
92.58 nbUselessRevisions=23556052 nbAssignments=96148 nbFailedAssignments=29416 nbBacktracks=66507
92.58 nbVisitedNodes=156423 nbRestartNogoods=223
92.58 => wckTime=91.747 cpuTime=90.84 mem=25M864
143.86
143.86 search
143.86 run=20 nbConstraintChecks=236556301 nbValidityChecks=251483974 nbPropagations=25702395 nbRevisions=67331957
143.86 nbUselessRevisions=35060760 nbAssignments=145326 nbFailedAssignments=45329 nbBacktracks=99759
143.86 nbVisitedNodes=237410 nbRestartNogoods=254
143.86 => wckTime=143.026 cpuTime=141.64 mem=25M864
149.03
149.03 search
149.03 run=21 nbConstraintChecks=244742206 nbValidityChecks=260322997 nbPropagations=34576066 nbRevisions=90401931
149.03 nbUselessRevisions=47025479 nbAssignments=152317 nbFailedAssignments=47148 nbBacktracks=104855
149.03 nbVisitedNodes=248571 nbRestartNogoods=284
149.03 => wckTime=148.195 cpuTime=146.76 mem=25M864
149.03
149.03 global
149.03 nbConstraintChecks=244802389 nbValidityChecks=260359016 nbPropagations=34576237 nbRevisions=90402154
149.03 nbUselessRevisions=47025516 nbRestartNogoods=284 solvingWckTime=148.196 solvingCpuTime=146.77 expiredTime=no
149.03 totalExploration=no nbFoundSolutions=1 globalCpuTime=147.18
149.03 => wckTime=148.733 cpuTime=147.13 mem=25M864
149.04
149.04 s SATISFIABLE
149.04 v 14 14 13 1 25 1 10 0 20 4 19 16 18 4 5 16 23 4 22 3 9 8 21 4 6 7 16 4 7 9 4 24 12 1 24 0 11 12 2 5 15 1 3 4 1 0 8 8 17 22 15 16 16 20 36 40 56 60 63 71 75 82 86 95 119 120 120 132 137 138 142 142 150 172 172 0
149.04 d NODES 152317
149.04 d CHECKS 244802389
149.04
149.04 totalWckTime=148.811 totalCpuTime=147.18
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-207908-1168074412 -o ROOT/results/node42/solver-207908-1168074412 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207908-1168074412/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.29 1.25 1.34 5/80 23812
/proc/meminfo: memFree=1342552/2055920 swapFree=4191892/4192956
[pid=23811] ppid=23809 vsize=1784 CPUtime=0
/proc/23811/stat : 23811 (java) R 23809 23811 23556 0 -1 0 169 0 0 0 0 0 0 0 20 0 1 0 155840614 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/23811/statm: 446 140 106 14 0 91 0
[startup+0.106266 s]
/proc/loadavg: 1.29 1.25 1.34 5/80 23812
/proc/meminfo: memFree=1342552/2055920 swapFree=4191892/4192956
[pid=23811] ppid=23809 vsize=914988 CPUtime=0.09
/proc/23811/stat : 23811 (java) S 23809 23811 23556 0 -1 0 2998 0 1 0 8 1 0 0 17 0 8 0 155840614 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23811/statm: 228747 2744 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514309 s]
/proc/loadavg: 1.29 1.25 1.34 5/80 23812
/proc/meminfo: memFree=1342552/2055920 swapFree=4191892/4192956
[pid=23811] ppid=23809 vsize=915328 CPUtime=0.49
/proc/23811/stat : 23811 (java) R 23809 23811 23556 0 -1 0 7061 0 1 0 46 3 0 0 20 0 8 0 155840614 937295872 6800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073647308 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23811/statm: 228832 6801 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3394 s]
/proc/loadavg: 1.29 1.25 1.34 3/87 23819
/proc/meminfo: memFree=1292192/2055920 swapFree=4191892/4192956
[pid=23811] ppid=23809 vsize=915460 CPUtime=1.3
/proc/23811/stat : 23811 (java) R 23809 23811 23556 0 -1 0 9791 0 1 0 125 5 0 0 25 0 8 0 155840614 937431040 9528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073693965 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23811/statm: 228865 9528 2517 14 0 215335 0
[pid=23811/tid=23813] ppid=23809 vsize=915460 CPUtime=0.03
/proc/23811/task/23813/stat : 23813 (java) S 23809 23811 23556 0 -1 64 796 0 0 0 3 0 0 0 16 0 8 0 155840618 937431040 9528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23814] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23814/stat : 23814 (java) S 23809 23811 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155840618 937431040 9528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23815] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23815/stat : 23815 (java) S 23809 23811 23556 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155840618 937431040 9528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23816] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23816/stat : 23816 (java) S 23809 23811 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155840622 937431040 9528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23817] ppid=23809 vsize=915460 CPUtime=0.21
/proc/23811/task/23817/stat : 23817 (java) S 23809 23811 23556 0 -1 64 389 0 0 0 21 0 0 0 15 0 8 0 155840622 937431040 9528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23818] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23818/stat : 23818 (java) S 23809 23811 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155840622 937431040 9528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23819] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23819/stat : 23819 (java) S 23809 23811 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155840622 937431040 9528 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98758 s]
/proc/loadavg: 1.29 1.25 1.34 3/87 23819
/proc/meminfo: memFree=1286816/2055920 swapFree=4191892/4192956
[pid=23811] ppid=23809 vsize=915460 CPUtime=2.94
/proc/23811/stat : 23811 (java) R 23809 23811 23556 0 -1 0 10754 0 1 0 289 5 0 0 25 0 8 0 155840614 937431040 10490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073912407 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23811/statm: 228865 10490 2517 14 0 215335 0
[pid=23811/tid=23813] ppid=23809 vsize=915460 CPUtime=0.03
/proc/23811/task/23813/stat : 23813 (java) S 23809 23811 23556 0 -1 64 796 0 0 0 3 0 0 0 17 0 8 0 155840618 937431040 10490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23814] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23814/stat : 23814 (java) S 23809 23811 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155840618 937431040 10490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23815] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23815/stat : 23815 (java) S 23809 23811 23556 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155840618 937431040 10490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23816] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23816/stat : 23816 (java) S 23809 23811 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155840622 937431040 10490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23817] ppid=23809 vsize=915460 CPUtime=0.24
/proc/23811/task/23817/stat : 23817 (java) S 23809 23811 23556 0 -1 64 402 0 0 0 23 1 0 0 16 0 8 0 155840622 937431040 10490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23818] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23818/stat : 23818 (java) S 23809 23811 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155840622 937431040 10490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23819] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23819/stat : 23819 (java) S 23809 23811 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155840622 937431040 10490 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.26694 s]
/proc/loadavg: 1.27 1.24 1.34 2/75 23830
/proc/meminfo: memFree=1315456/2055920 swapFree=4191892/4192956
[pid=23811] ppid=23809 vsize=915460 CPUtime=6.21
/proc/23811/stat : 23811 (java) R 23809 23811 23556 0 -1 0 11208 0 1 0 614 7 0 0 25 0 8 0 155840614 937431040 10942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825133 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23811/statm: 228865 10942 2517 14 0 215335 0
[pid=23811/tid=23813] ppid=23809 vsize=915460 CPUtime=0.03
/proc/23811/task/23813/stat : 23813 (java) S 23809 23811 23556 0 -1 64 796 0 0 0 3 0 0 0 16 0 8 0 155840618 937431040 10942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23814] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23814/stat : 23814 (java) S 23809 23811 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155840618 937431040 10942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23815] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23815/stat : 23815 (java) S 23809 23811 23556 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155840618 937431040 10942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23816] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23816/stat : 23816 (java) S 23809 23811 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155840622 937431040 10942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23817] ppid=23809 vsize=915460 CPUtime=0.26
/proc/23811/task/23817/stat : 23817 (java) S 23809 23811 23556 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 155840622 937431040 10942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23818] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23818/stat : 23818 (java) S 23809 23811 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155840622 937431040 10942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23819] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23819/stat : 23819 (java) S 23809 23811 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155840622 937431040 10942 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915460
[startup+12.7557 s]
/proc/loadavg: 1.33 1.25 1.34 3/87 23875
/proc/meminfo: memFree=1277600/2055920 swapFree=4191892/4192956
[pid=23811] ppid=23809 vsize=915460 CPUtime=12.63
/proc/23811/stat : 23811 (java) R 23809 23811 23556 0 -1 0 11214 0 1 0 1256 7 0 0 25 0 8 0 155840614 937431040 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073827218 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23811/statm: 228865 10948 2517 14 0 215335 0
[pid=23811/tid=23813] ppid=23809 vsize=915460 CPUtime=0.03
/proc/23811/task/23813/stat : 23813 (java) S 23809 23811 23556 0 -1 64 796 0 0 0 3 0 0 0 16 0 8 0 155840618 937431040 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23814] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23814/stat : 23814 (java) S 23809 23811 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155840618 937431040 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23815] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23815/stat : 23815 (java) S 23809 23811 23556 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155840618 937431040 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23816] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23816/stat : 23816 (java) S 23809 23811 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155840622 937431040 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23817] ppid=23809 vsize=915460 CPUtime=0.26
/proc/23811/task/23817/stat : 23817 (java) S 23809 23811 23556 0 -1 64 412 0 0 0 25 1 0 0 16 0 8 0 155840622 937431040 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23818] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23818/stat : 23818 (java) S 23809 23811 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155840622 937431040 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23819] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23819/stat : 23819 (java) S 23809 23811 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155840622 937431040 10948 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915460
[startup+25.5991 s]
/proc/loadavg: 1.48 1.29 1.35 3/87 23875
/proc/meminfo: memFree=1277600/2055920 swapFree=4191892/4192956
[pid=23811] ppid=23809 vsize=915460 CPUtime=25.36
/proc/23811/stat : 23811 (java) R 23809 23811 23556 0 -1 0 11220 0 1 0 2529 7 0 0 25 0 8 0 155840614 937431040 10954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825133 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23811/statm: 228865 10954 2517 14 0 215335 0
[pid=23811/tid=23813] ppid=23809 vsize=915460 CPUtime=0.03
/proc/23811/task/23813/stat : 23813 (java) S 23809 23811 23556 0 -1 64 796 0 0 0 3 0 0 0 16 0 8 0 155840618 937431040 10954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23814] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23814/stat : 23814 (java) S 23809 23811 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155840618 937431040 10954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23815] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23815/stat : 23815 (java) S 23809 23811 23556 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155840618 937431040 10954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23816] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23816/stat : 23816 (java) S 23809 23811 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155840622 937431040 10954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23817] ppid=23809 vsize=915460 CPUtime=0.26
/proc/23811/task/23817/stat : 23817 (java) S 23809 23811 23556 0 -1 64 413 0 0 0 25 1 0 0 16 0 8 0 155840622 937431040 10954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23818] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23818/stat : 23818 (java) S 23809 23811 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155840622 937431040 10954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23819] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23819/stat : 23819 (java) S 23809 23811 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155840622 937431040 10954 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915460
[startup+51.2039 s]
/proc/loadavg: 1.65 1.35 1.37 3/87 23875
/proc/meminfo: memFree=1277728/2055920 swapFree=4191892/4192956
[pid=23811] ppid=23809 vsize=915460 CPUtime=50.73
/proc/23811/stat : 23811 (java) R 23809 23811 23556 0 -1 0 11226 0 1 0 5066 7 0 0 25 0 8 0 155840614 937431040 10960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073698948 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23811/statm: 228865 10960 2517 14 0 215335 0
[pid=23811/tid=23813] ppid=23809 vsize=915460 CPUtime=0.03
/proc/23811/task/23813/stat : 23813 (java) S 23809 23811 23556 0 -1 64 796 0 0 0 3 0 0 0 16 0 8 0 155840618 937431040 10960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23814] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23814/stat : 23814 (java) S 23809 23811 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155840618 937431040 10960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23815] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23815/stat : 23815 (java) S 23809 23811 23556 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155840618 937431040 10960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23816] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23816/stat : 23816 (java) S 23809 23811 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155840622 937431040 10960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23817] ppid=23809 vsize=915460 CPUtime=0.26
/proc/23811/task/23817/stat : 23817 (java) S 23809 23811 23556 0 -1 64 413 0 0 0 25 1 0 0 16 0 8 0 155840622 937431040 10960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23818] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23818/stat : 23818 (java) S 23809 23811 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155840622 937431040 10960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23819] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23819/stat : 23819 (java) S 23809 23811 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155840622 937431040 10960 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915460
[startup+102.419 s]
/proc/loadavg: 1.85 1.44 1.40 3/87 23875
/proc/meminfo: memFree=1277728/2055920 swapFree=4191892/4192956
[pid=23811] ppid=23809 vsize=915460 CPUtime=101.47
/proc/23811/stat : 23811 (java) R 23809 23811 23556 0 -1 0 11233 0 1 0 10140 7 0 0 25 0 8 0 155840614 937431040 10967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823284 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23811/statm: 228865 10967 2517 14 0 215335 0
[pid=23811/tid=23813] ppid=23809 vsize=915460 CPUtime=0.03
/proc/23811/task/23813/stat : 23813 (java) S 23809 23811 23556 0 -1 64 796 0 0 0 3 0 0 0 16 0 8 0 155840618 937431040 10967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23814] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23814/stat : 23814 (java) S 23809 23811 23556 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155840618 937431040 10967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23815] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23815/stat : 23815 (java) S 23809 23811 23556 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155840618 937431040 10967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23811/tid=23816] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23816/stat : 23816 (java) S 23809 23811 23556 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155840622 937431040 10967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23817] ppid=23809 vsize=915460 CPUtime=0.26
/proc/23811/task/23817/stat : 23817 (java) S 23809 23811 23556 0 -1 64 414 0 0 0 25 1 0 0 16 0 8 0 155840622 937431040 10967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23818] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23818/stat : 23818 (java) S 23809 23811 23556 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155840622 937431040 10967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23811/tid=23819] ppid=23809 vsize=915460 CPUtime=0
/proc/23811/task/23819/stat : 23819 (java) S 23809 23811 23556 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155840622 937431040 10967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 149.063
CPU time (s): 147.691
CPU user time (s): 147.607
CPU system time (s): 0.083987
CPU usage (%): 99.0793
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 147.607
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11329
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= 4272
involuntary context switches= 7159
runsolver used 0.19397 s user time and 0.474927 s system time
The end
Begin job on node42 on Sat Jan 6 09:06:54 UTC 2007
IDJOB= 207908
IDBENCH= 4343
FILE ID= node42/207908-1168074412
PBS_JOBID= 3476018
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-25/tsp-25-190_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207908-1168074412/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-207908-1168074412 -o ROOT/results/node42/solver-207908-1168074412 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207908-1168074412/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bd61458ec10415399e486da667df4e26
RANDOM SEED= 120107204
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.229
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.229
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: 1343352 kB
Buffers: 49828 kB
Cached: 563264 kB
SwapCached: 268 kB
Active: 114972 kB
Inactive: 522428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1343352 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 3880 kB
Writeback: 0 kB
Mapped: 38972 kB
Slab: 60588 kB
Committed_AS: 3486600 kB
PageTables: 1792 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= 66541 MiB
End job on node42 on Sat Jan 6 09:09:23 UTC 2007