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/207009-1168074202/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=61 nbDomainTypes=5 minDomainSize=1 maxDomainSize=1001
0.40 => wckTime=0.104 cpuTime=0.1 mem=7M931
0.40
0.40 relations being loaded...
0.45
0.45 constraints being loaded...
0.59 nbConstraints=230 nbRelationTypes=23 nbSingletonDomainVariables=2 nbExtensionStructures=24
0.59 nbSharedExtensionStructures=206 nbConflictsStructures=24 nbSharedConflictsStructures=206
0.59 nbSharedBinaryRepresentations=20292 maxDegree=20 maxArity=3
0.59 => wckTime=0.29 cpuTime=0.24 mem=15M517
0.63
0.63 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.496 cpuTime=0.36 mem=18M325
0.86
0.86 preprocessing
0.86 nbConstraintChecks=49499 nbValidityChecks=33051 nbPropagations=99 nbRevisions=159 nbUselessRevisions=45
0.86 nbRemovedValues=21275 detectedInconsistency=no
0.86 => wckTime=0.059 cpuTime=0.03 mem=18M325
0.96
0.96 search
0.96 run=0 nbConstraintChecks=112159 nbValidityChecks=118465 nbPropagations=2534 nbRevisions=5675
0.96 nbUselessRevisions=2357 nbAssignments=33 nbFailedAssignments=18 nbBacktracks=11 nbVisitedNodes=60
0.96 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.158 cpuTime=0.11 mem=18M325
1.03
1.03 search
1.03 run=1 nbConstraintChecks=218565 nbValidityChecks=228571 nbPropagations=7905 nbRevisions=18518
1.03 nbUselessRevisions=8084 nbAssignments=74 nbFailedAssignments=39 nbBacktracks=27 nbVisitedNodes=135
1.03 nbRestartNogoods=8 mapSize=27 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.23 cpuTime=0.18 mem=18M325
1.18
1.18 search
1.18 run=2 nbConstraintChecks=483157 nbValidityChecks=504904 nbPropagations=18211 nbRevisions=42632
1.18 nbUselessRevisions=18587 nbAssignments=140 nbFailedAssignments=75 nbBacktracks=50 nbVisitedNodes=256
1.18 nbRestartNogoods=12 mapSize=48 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.384 cpuTime=0.33 mem=18M325
1.30
1.30 search
1.30 run=3 nbConstraintChecks=700751 nbValidityChecks=731975 nbPropagations=33179 nbRevisions=78270
1.31 nbUselessRevisions=34609 nbAssignments=215 nbFailedAssignments=105 nbBacktracks=84 nbVisitedNodes=381
1.31 nbRestartNogoods=24 mapSize=77 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.505 cpuTime=0.45 mem=19M300
1.45
1.45 search
1.45 run=4 nbConstraintChecks=960851 nbValidityChecks=1008052 nbPropagations=54890 nbRevisions=129958
1.45 nbUselessRevisions=58135 nbAssignments=320 nbFailedAssignments=150 nbBacktracks=135 nbVisitedNodes=559
1.45 nbRestartNogoods=36 mapSize=114 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.653 cpuTime=0.59 mem=19M300
1.74
1.74 search
1.74 run=5 nbConstraintChecks=1492153 nbValidityChecks=1536542 nbPropagations=87588 nbRevisions=208588
1.74 nbUselessRevisions=93550 nbAssignments=498 nbFailedAssignments=240 nbBacktracks=216 nbVisitedNodes=866
1.74 nbRestartNogoods=41 mapSize=167 nbInferences=0 nbTooLargeKeys=0
1.74 => wckTime=0.94 cpuTime=0.88 mem=19M300
1.94
1.94 search
1.94 run=6 nbConstraintChecks=1825314 nbValidityChecks=1890328 nbPropagations=129431 nbRevisions=310193
1.94 nbUselessRevisions=139905 nbAssignments=688 nbFailedAssignments=309 nbBacktracks=330 nbVisitedNodes=1177
1.94 nbRestartNogoods=63 mapSize=237 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=1.139 cpuTime=1.07 mem=19M300
2.40
2.40 search
2.40 run=7 nbConstraintChecks=2629512 nbValidityChecks=2746413 nbPropagations=190710 nbRevisions=458632
2.40 nbUselessRevisions=207910 nbAssignments=986 nbFailedAssignments=424 nbBacktracks=502 nbVisitedNodes=1679
2.40 nbRestartNogoods=74 mapSize=349 nbInferences=0 nbTooLargeKeys=0
2.40 => wckTime=1.605 cpuTime=1.53 mem=20M275
2.96
2.96 search
2.96 run=8 nbConstraintChecks=3522851 nbValidityChecks=3705860 nbPropagations=275680 nbRevisions=664272
2.96 nbUselessRevisions=302475 nbAssignments=1425 nbFailedAssignments=595 nbBacktracks=759 nbVisitedNodes=2406
2.96 nbRestartNogoods=85 mapSize=501 nbInferences=0 nbTooLargeKeys=0
2.96 => wckTime=2.163 cpuTime=2.09 mem=21M251
3.85
3.85 search
3.85 run=9 nbConstraintChecks=5007829 nbValidityChecks=5349167 nbPropagations=397083 nbRevisions=951372
3.85 nbUselessRevisions=431512 nbAssignments=2051 nbFailedAssignments=822 nbBacktracks=1143 nbVisitedNodes=3442
3.85 nbRestartNogoods=104 mapSize=707 nbInferences=0 nbTooLargeKeys=0
3.85 => wckTime=3.051 cpuTime=2.96 mem=22M226
4.98
4.98 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=24M176)
5.13
5.13 search
5.13 run=10 nbConstraintChecks=7217999 nbValidityChecks=7815480 nbPropagations=572746 nbRevisions=1362352
5.13 nbUselessRevisions=615360 nbAssignments=2992 nbFailedAssignments=1179 nbBacktracks=1720 nbVisitedNodes=5003
5.13 nbRestartNogoods=122
5.13 => wckTime=4.331 cpuTime=4.21 mem=24M176
6.76
6.76 search
6.76 run=11 nbConstraintChecks=10149555 nbValidityChecks=11084868 nbPropagations=822662 nbRevisions=1951063
6.76 nbUselessRevisions=880969 nbAssignments=4346 nbFailedAssignments=1655 nbBacktracks=2585 nbVisitedNodes=7281
6.76 nbRestartNogoods=139
6.76 => wckTime=5.955 cpuTime=5.83 mem=24M176
9.35
9.35 search
9.35 run=12 nbConstraintChecks=14851128 nbValidityChecks=16439133 nbPropagations=1191107 nbRevisions=2803554
9.35 nbUselessRevisions=1259888 nbAssignments=6398 nbFailedAssignments=2392 nbBacktracks=3885 nbVisitedNodes=10731
9.35 nbRestartNogoods=152
9.35 => wckTime=8.545 cpuTime=8.41 mem=24M176
13.99
13.99 search
13.99 run=13 nbConstraintChecks=23484485 nbValidityChecks=25989949 nbPropagations=1756202 nbRevisions=4114105
13.99 nbUselessRevisions=1842792 nbAssignments=9615 nbFailedAssignments=3650 nbBacktracks=5831 nbVisitedNodes=16234
13.99 nbRestartNogoods=174
13.99 => wckTime=13.188 cpuTime=13.03 mem=24M176
19.26
19.26 search
19.26 run=14 nbConstraintChecks=32653543 nbValidityChecks=35972951 nbPropagations=2552866 nbRevisions=5989984
19.26 nbUselessRevisions=2687101 nbAssignments=14146 nbFailedAssignments=5249 nbBacktracks=8752 nbVisitedNodes=23927
19.26 nbRestartNogoods=195
19.26 => wckTime=18.456 cpuTime=18.3 mem=24M176
28.01
28.02 search
28.02 run=15 nbConstraintChecks=47964239 nbValidityChecks=52480992 nbPropagations=3741166 nbRevisions=8790407
28.02 nbUselessRevisions=3954688 nbAssignments=21208 nbFailedAssignments=7921 nbBacktracks=13131 nbVisitedNodes=35856
28.02 nbRestartNogoods=218
28.02 => wckTime=27.215 cpuTime=27.06 mem=24M176
31.33
31.33 search
31.33 run=16 nbConstraintChecks=53880686 nbValidityChecks=58727941 nbPropagations=5071901 nbRevisions=11934971
31.33 nbUselessRevisions=5382176 nbAssignments=23808 nbFailedAssignments=8851 nbBacktracks=14740 nbVisitedNodes=40223
31.33 nbRestartNogoods=228
31.33 => wckTime=30.527 cpuTime=30.37 mem=24M176
31.33
31.33 global
31.33 nbConstraintChecks=53930185 nbValidityChecks=58760992 nbPropagations=5072000 nbRevisions=11935130
31.33 nbUselessRevisions=5382221 nbRestartNogoods=228 solvingWckTime=30.528 solvingCpuTime=30.37 expiredTime=no
31.33 totalExploration=no nbFoundSolutions=1 globalCpuTime=30.78
31.33 => wckTime=31.03 cpuTime=30.74 mem=24M176
31.33
31.33 s SATISFIABLE
31.33 v 4 16 1 17 12 2 19 1 9 11 11 1 14 7 16 4 7 16 18 11 2 3 17 2 6 12 10 4 20 3 15 4 5 15 13 8 8 18 3 24 33 35 36 47 48 55 59 75 86 89 91 103 107 110 114 129 137 155 179 179 0
31.33 d NODES 23808
31.33 d CHECKS 53930185
31.33
31.33 totalWckTime=31.105 totalCpuTime=30.78
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-207009-1168074202 -o ROOT/results/node42/solver-207009-1168074202 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207009-1168074202/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.11 1.33 2/68 22788
/proc/meminfo: memFree=1360808/2055920 swapFree=4191892/4192956
[pid=22787] ppid=22785 vsize=172 CPUtime=0
/proc/22787/stat : 22787 (java) R 22785 22787 22301 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155819595 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12407083 0 0 4096 0 0 0 0 17 1 0 0
/proc/22787/statm: 43 24 18 14 0 3 0
[startup+0.103615 s]
/proc/loadavg: 1.29 1.11 1.33 2/68 22788
/proc/meminfo: memFree=1360808/2055920 swapFree=4191892/4192956
[pid=22787] ppid=22785 vsize=914988 CPUtime=0.09
/proc/22787/stat : 22787 (java) R 22785 22787 22301 0 -1 0 3020 0 1 0 7 2 0 0 16 0 8 0 155819595 936947712 2766 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22787/statm: 228747 2767 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514661 s]
/proc/loadavg: 1.29 1.11 1.33 2/68 22788
/proc/meminfo: memFree=1360808/2055920 swapFree=4191892/4192956
[pid=22787] ppid=22785 vsize=915328 CPUtime=0.49
/proc/22787/stat : 22787 (java) R 22785 22787 22301 0 -1 0 7283 0 1 0 45 4 0 0 16 0 8 0 155819595 937295872 7022 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22787/statm: 228832 7024 2148 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33475 s]
/proc/loadavg: 1.29 1.11 1.33 2/75 22798
/proc/meminfo: memFree=1335152/2055920 swapFree=4191892/4192956
[pid=22787] ppid=22785 vsize=915444 CPUtime=1.31
/proc/22787/stat : 22787 (java) R 22785 22787 22301 0 -1 0 9584 0 1 0 125 6 0 0 17 0 8 0 155819595 937414656 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761750 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22787/statm: 228861 9321 2517 14 0 215331 0
[pid=22787/tid=22789] ppid=22785 vsize=915444 CPUtime=0.03
/proc/22787/task/22789/stat : 22789 (java) S 22785 22787 22301 0 -1 64 776 0 0 0 3 0 0 0 16 0 8 0 155819599 937414656 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22787/tid=22790] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22790/stat : 22790 (java) S 22785 22787 22301 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155819600 937414656 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22791] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22791/stat : 22791 (java) S 22785 22787 22301 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155819600 937414656 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22792] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22792/stat : 22792 (java) S 22785 22787 22301 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155819603 937414656 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22793] ppid=22785 vsize=915444 CPUtime=0.18
/proc/22787/task/22793/stat : 22793 (java) S 22785 22787 22301 0 -1 64 373 0 0 0 18 0 0 0 16 0 8 0 155819603 937414656 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22787/tid=22794] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22794/stat : 22794 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155819603 937414656 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22795] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22795/stat : 22795 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155819603 937414656 9321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915444
[startup+2.97092 s]
/proc/loadavg: 1.29 1.11 1.33 2/75 22798
/proc/meminfo: memFree=1334000/2055920 swapFree=4191892/4192956
[pid=22787] ppid=22785 vsize=915444 CPUtime=2.94
/proc/22787/stat : 22787 (java) R 22785 22787 22301 0 -1 0 10134 0 1 0 288 6 0 0 18 0 8 0 155819595 937414656 9869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22787/statm: 228861 9869 2518 14 0 215331 0
[pid=22787/tid=22789] ppid=22785 vsize=915444 CPUtime=0.03
/proc/22787/task/22789/stat : 22789 (java) S 22785 22787 22301 0 -1 64 776 0 0 0 3 0 0 0 17 0 8 0 155819599 937414656 9869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22787/tid=22790] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22790/stat : 22790 (java) S 22785 22787 22301 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155819600 937414656 9869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22791] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22791/stat : 22791 (java) S 22785 22787 22301 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155819600 937414656 9869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22792] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22792/stat : 22792 (java) S 22785 22787 22301 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155819603 937414656 9869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22793] ppid=22785 vsize=915444 CPUtime=0.19
/proc/22787/task/22793/stat : 22793 (java) R 22785 22787 22301 0 -1 64 378 0 0 0 19 0 0 0 15 0 8 0 155819603 937414656 9869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153172177 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22787/tid=22794] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22794/stat : 22794 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155819603 937414656 9869 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22795] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22795/stat : 22795 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155819603 937414656 9869 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) 915444
[startup+6.25629 s]
/proc/loadavg: 1.35 1.13 1.33 3/87 22843
/proc/meminfo: memFree=1297040/2055920 swapFree=4191892/4192956
[pid=22787] ppid=22785 vsize=915444 CPUtime=6.21
/proc/22787/stat : 22787 (java) R 22785 22787 22301 0 -1 0 10847 0 1 0 614 7 0 0 21 0 8 0 155819595 937414656 10579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867885 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22787/statm: 228861 10579 2518 14 0 215331 0
[pid=22787/tid=22789] ppid=22785 vsize=915444 CPUtime=0.03
/proc/22787/task/22789/stat : 22789 (java) S 22785 22787 22301 0 -1 64 776 0 0 0 3 0 0 0 17 0 8 0 155819599 937414656 10579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22790] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22790/stat : 22790 (java) S 22785 22787 22301 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155819600 937414656 10579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22791] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22791/stat : 22791 (java) S 22785 22787 22301 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155819600 937414656 10579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22792] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22792/stat : 22792 (java) S 22785 22787 22301 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155819603 937414656 10579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22793] ppid=22785 vsize=915444 CPUtime=0.23
/proc/22787/task/22793/stat : 22793 (java) S 22785 22787 22301 0 -1 64 396 0 0 0 22 1 0 0 17 0 8 0 155819603 937414656 10579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22794] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22794/stat : 22794 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155819603 937414656 10579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22795] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22795/stat : 22795 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155819603 937414656 10579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915444
[startup+12.736 s]
/proc/loadavg: 1.40 1.14 1.34 3/87 22843
/proc/meminfo: memFree=1294928/2055920 swapFree=4191892/4192956
[pid=22787] ppid=22785 vsize=915444 CPUtime=12.66
/proc/22787/stat : 22787 (java) R 22785 22787 22301 0 -1 0 10852 0 1 0 1259 7 0 0 25 0 8 0 155819595 937414656 10584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628926 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22787/statm: 228861 10584 2518 14 0 215331 0
[pid=22787/tid=22789] ppid=22785 vsize=915444 CPUtime=0.03
/proc/22787/task/22789/stat : 22789 (java) S 22785 22787 22301 0 -1 64 776 0 0 0 3 0 0 0 16 0 8 0 155819599 937414656 10584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22790] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22790/stat : 22790 (java) S 22785 22787 22301 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155819600 937414656 10584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22791] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22791/stat : 22791 (java) S 22785 22787 22301 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155819600 937414656 10584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22792] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22792/stat : 22792 (java) S 22785 22787 22301 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155819603 937414656 10584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22793] ppid=22785 vsize=915444 CPUtime=0.23
/proc/22787/task/22793/stat : 22793 (java) S 22785 22787 22301 0 -1 64 396 0 0 0 22 1 0 0 17 0 8 0 155819603 937414656 10584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22794] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22794/stat : 22794 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155819603 937414656 10584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22795] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22795/stat : 22795 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155819603 937414656 10584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915444
[startup+25.5834 s]
/proc/loadavg: 1.31 1.13 1.33 2/72 22857
/proc/meminfo: memFree=1335056/2055920 swapFree=4191892/4192956
[pid=22787] ppid=22785 vsize=915444 CPUtime=25.5
/proc/22787/stat : 22787 (java) R 22785 22787 22301 0 -1 0 10859 0 1 0 2543 7 0 0 25 0 8 0 155819595 937414656 10591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073770075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22787/statm: 228861 10591 2518 14 0 215331 0
[pid=22787/tid=22789] ppid=22785 vsize=915444 CPUtime=0.03
/proc/22787/task/22789/stat : 22789 (java) S 22785 22787 22301 0 -1 64 776 0 0 0 3 0 0 0 16 0 8 0 155819599 937414656 10591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22790] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22790/stat : 22790 (java) S 22785 22787 22301 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155819600 937414656 10591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22791] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22791/stat : 22791 (java) S 22785 22787 22301 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155819600 937414656 10591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22792] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22792/stat : 22792 (java) S 22785 22787 22301 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 155819603 937414656 10591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22793] ppid=22785 vsize=915444 CPUtime=0.23
/proc/22787/task/22793/stat : 22793 (java) S 22785 22787 22301 0 -1 64 397 0 0 0 22 1 0 0 16 0 8 0 155819603 937414656 10591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22794] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22794/stat : 22794 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155819603 937414656 10591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22787/tid=22795] ppid=22785 vsize=915444 CPUtime=0
/proc/22787/task/22795/stat : 22795 (java) S 22785 22787 22301 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155819603 937414656 10591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 31.3636
CPU time (s): 31.2672
CPU user time (s): 31.1823
CPU system time (s): 0.084987
CPU usage (%): 99.6929
Max. virtual memory (cumulated for all children) (KiB): 915444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.1823
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10953
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= 1563
involuntary context switches= 838
runsolver used 0.031995 s user time and 0.089986 s system time
The end
Begin job on node42 on Sat Jan 6 09:03:24 UTC 2007
IDJOB= 207009
IDBENCH= 4252
FILE ID= node42/207009-1168074202
PBS_JOBID= 3476011
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/travellingSalesman/travellingSalesman-20/tsp-20-75_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207009-1168074202/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-207009-1168074202 -o ROOT/results/node42/solver-207009-1168074202 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/207009-1168074202/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9ff095dafb0e8171c6629ca2683c9aa0
RANDOM SEED= 201105063
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: 1358456 kB
Buffers: 49548 kB
Cached: 550692 kB
SwapCached: 268 kB
Active: 104400 kB
Inactive: 517944 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1358456 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 3812 kB
Writeback: 0 kB
Mapped: 33760 kB
Slab: 60524 kB
Committed_AS: 2636032 kB
PageTables: 1716 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= 66543 MiB
End job on node42 on Sat Jan 6 09:03:55 UTC 2007