0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/195936-1168070313/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
1.06
1.06 constraints being loaded...
1.33 nbConstraints=74 nbRelationTypes=74 nbExtensionStructures=74 nbSharedExtensionStructures=0
1.33 nbConflictsStructures=74 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
1.33 => wckTime=1.013 cpuTime=0.88 mem=47M681
1.45
1.45 solver IterativeSystematicSolver being built...
1.62 => wckTime=1.303 cpuTime=1.01 mem=34M378
1.63
1.63 preprocessing
1.63 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.63 detectedInconsistency=no
1.63 => wckTime=0.0040 cpuTime=0.0 mem=34M378
1.76
1.76 search
1.76 run=0 nbConstraintChecks=45203 nbValidityChecks=73949 nbPropagations=393 nbRevisions=4248
1.76 nbUselessRevisions=3350 nbAssignments=35 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=61
1.76 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.76 => wckTime=0.138 cpuTime=0.1 mem=34M378
1.87
1.87 search
1.87 run=1 nbConstraintChecks=109454 nbValidityChecks=199299 nbPropagations=1412 nbRevisions=16881
1.87 nbUselessRevisions=13560 nbAssignments=96 nbFailedAssignments=58 nbBacktracks=26 nbVisitedNodes=176
1.87 nbRestartNogoods=5 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.87 => wckTime=0.248 cpuTime=0.2 mem=34M378
2.02
2.02 search
2.02 run=2 nbConstraintChecks=199846 nbValidityChecks=360553 nbPropagations=3081 nbRevisions=37339
2.02 nbUselessRevisions=29828 nbAssignments=161 nbFailedAssignments=97 nbBacktracks=49 nbVisitedNodes=297
2.02 nbRestartNogoods=7 mapSize=44 nbInferences=0 nbTooLargeKeys=0
2.02 => wckTime=0.395 cpuTime=0.33 mem=34M378
2.14
2.14 search
2.14 run=3 nbConstraintChecks=282851 nbValidityChecks=515429 nbPropagations=5518 nbRevisions=66696
2.14 nbUselessRevisions=53104 nbAssignments=222 nbFailedAssignments=121 nbBacktracks=84 nbVisitedNodes=401
2.14 nbRestartNogoods=8 mapSize=69 nbInferences=0 nbTooLargeKeys=0
2.14 => wckTime=0.52 cpuTime=0.45 mem=34M378
2.39
2.39 search
2.39 run=4 nbConstraintChecks=457884 nbValidityChecks=846525 nbPropagations=9473 nbRevisions=114888
2.39 nbUselessRevisions=91264 nbAssignments=352 nbFailedAssignments=195 nbBacktracks=134 nbVisitedNodes=640
2.39 nbRestartNogoods=10 mapSize=117 nbInferences=0 nbTooLargeKeys=0
2.39 => wckTime=0.769 cpuTime=0.7 mem=34M378
2.69
2.69 search
2.69 run=5 nbConstraintChecks=661260 nbValidityChecks=1223062 nbPropagations=15273 nbRevisions=185952
2.69 nbUselessRevisions=147860 nbAssignments=511 nbFailedAssignments=273 nbBacktracks=211 nbVisitedNodes=925
2.69 nbRestartNogoods=17 mapSize=187 nbInferences=0 nbTooLargeKeys=0
2.69 => wckTime=1.062 cpuTime=0.99 mem=34M378
3.16
3.16 search
3.16 run=6 nbConstraintChecks=985809 nbValidityChecks=1837976 nbPropagations=23871 nbRevisions=292321
3.16 nbUselessRevisions=232473 nbAssignments=769 nbFailedAssignments=413 nbBacktracks=326 nbVisitedNodes=1394
3.16 nbRestartNogoods=20 mapSize=287 nbInferences=0 nbTooLargeKeys=0
3.16 => wckTime=1.536 cpuTime=1.46 mem=34M378
4.03
4.03 search
4.03 run=7 nbConstraintChecks=1610477 nbValidityChecks=3023926 nbPropagations=38170 nbRevisions=476128
4.03 nbUselessRevisions=379884 nbAssignments=1281 nbFailedAssignments=748 nbBacktracks=498 nbVisitedNodes=2379
4.03 nbRestartNogoods=23 mapSize=454 nbInferences=0 nbTooLargeKeys=0
4.03 => wckTime=2.407 cpuTime=2.32 mem=34M378
5.27
5.27 search
5.27 run=8 nbConstraintChecks=2504553 nbValidityChecks=4646907 nbPropagations=59563 nbRevisions=750865
5.27 nbUselessRevisions=599162 nbAssignments=1902 nbFailedAssignments=1108 nbBacktracks=755 nbVisitedNodes=3544
5.27 nbRestartNogoods=31 mapSize=698 nbInferences=0 nbTooLargeKeys=0
5.27 => wckTime=3.643 cpuTime=3.52 mem=34M378
6.71
6.71 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=34M378)
6.90
6.90 search
6.90 run=9 nbConstraintChecks=3678270 nbValidityChecks=6824355 nbPropagations=91303 nbRevisions=1155334
6.91 nbUselessRevisions=921248 nbAssignments=2779 nbFailedAssignments=1595 nbBacktracks=1142 nbVisitedNodes=5169
6.91 nbRestartNogoods=38
6.91 => wckTime=5.28 cpuTime=5.13 mem=34M378
9.50
9.50 search
9.50 run=10 nbConstraintChecks=5600197 nbValidityChecks=10361995 nbPropagations=139404 nbRevisions=1776392
9.50 nbUselessRevisions=1417109 nbAssignments=4233 nbFailedAssignments=2469 nbBacktracks=1718 nbVisitedNodes=7922
9.50 nbRestartNogoods=44
9.50 => wckTime=7.874 cpuTime=7.7 mem=34M378
12.85
12.85 search
12.85 run=11 nbConstraintChecks=8238579 nbValidityChecks=15326189 nbPropagations=210158 nbRevisions=2674353
12.85 nbUselessRevisions=2130916 nbAssignments=6246 nbFailedAssignments=3611 nbBacktracks=2583 nbVisitedNodes=11637
12.85 nbRestartNogoods=57
12.85 => wckTime=11.23 cpuTime=11.04 mem=34M378
18.04
18.04 search
18.04 run=12 nbConstraintChecks=12335360 nbValidityChecks=22883667 nbPropagations=315739 nbRevisions=4026610
18.04 nbUselessRevisions=3209478 nbAssignments=9321 nbFailedAssignments=5384 nbBacktracks=3882 nbVisitedNodes=17370
18.04 nbRestartNogoods=74
18.04 => wckTime=16.413 cpuTime=16.22 mem=34M378
25.62
25.62 search
25.62 run=13 nbConstraintChecks=18381031 nbValidityChecks=34228795 nbPropagations=472925 nbRevisions=6013753
25.62 nbUselessRevisions=4789094 nbAssignments=13827 nbFailedAssignments=7940 nbBacktracks=5829 nbVisitedNodes=25731
25.62 nbRestartNogoods=81
25.62 => wckTime=23.996 cpuTime=23.79 mem=34M378
37.09
37.09 search
37.09 run=14 nbConstraintChecks=27392684 nbValidityChecks=51006235 nbPropagations=708637 nbRevisions=9028878
37.09 nbUselessRevisions=7195909 nbAssignments=20730 nbFailedAssignments=11921 nbBacktracks=8748 nbVisitedNodes=38556
37.09 nbRestartNogoods=90
37.09 => wckTime=35.464 cpuTime=35.25 mem=34M378
54.81
54.81 search
54.81 run=15 nbConstraintChecks=41530671 nbValidityChecks=77135346 nbPropagations=1062018 nbRevisions=13529382
54.81 nbUselessRevisions=10778469 nbAssignments=31174 nbFailedAssignments=17981 nbBacktracks=13128
54.81 nbVisitedNodes=57950 nbRestartNogoods=105
54.81 => wckTime=53.187 cpuTime=52.94 mem=35M365
80.82
80.82 search
80.82 run=16 nbConstraintChecks=62120411 nbValidityChecks=115061678 nbPropagations=1589681 nbRevisions=20332967
80.82 nbUselessRevisions=16213142 nbAssignments=46793 nbFailedAssignments=27365 nbBacktracks=19339
80.82 nbVisitedNodes=87298 nbRestartNogoods=117
80.82 => wckTime=79.198 cpuTime=78.95 mem=35M365
80.82
80.82 global
80.82 nbConstraintChecks=62120411 nbValidityChecks=115061678 nbPropagations=1589705 nbRevisions=20332967
80.82 nbUselessRevisions=16213142 nbRestartNogoods=117 solvingWckTime=79.199 solvingCpuTime=78.95 expiredTime=no
80.82 totalExploration=no nbFoundSolutions=1 globalCpuTime=80.02
80.82 => wckTime=80.505 cpuTime=79.96 mem=35M365
80.83
80.83 s SATISFIABLE
80.83 v 5 7 6 21 12 3 3 8 0 8 1 12 13 5 9 20 4 7 2 0 21 6 1 18
80.83 d NODES 46793
80.83 d CHECKS 62120411
80.83
80.83 totalWckTime=80.587 totalCpuTime=80.02
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-195936-1168070313 -o ROOT/results/node44/solver-195936-1168070313 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195936-1168070313/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.92 1.98 1.91 3/73 8382
/proc/meminfo: memFree=1278360/2055920 swapFree=4192812/4192956
[pid=8381] ppid=8379 vsize=18540 CPUtime=0
/proc/8381/stat : 8381 (runsolver) R 8379 8381 7888 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155430538 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264840473895 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/8381/statm: 4635 279 244 17 0 2626 0
[startup+0.103105 s]
/proc/loadavg: 1.92 1.98 1.91 3/73 8382
/proc/meminfo: memFree=1278360/2055920 swapFree=4192812/4192956
[pid=8381] ppid=8379 vsize=913236 CPUtime=0.08
/proc/8381/stat : 8381 (java) R 8379 8381 7888 0 -1 0 2921 0 1 0 7 1 0 0 19 0 8 0 155430538 935153664 2667 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8381/statm: 228309 2667 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.512139 s]
/proc/loadavg: 1.92 1.98 1.91 3/73 8382
/proc/meminfo: memFree=1278360/2055920 swapFree=4192812/4192956
[pid=8381] ppid=8379 vsize=915328 CPUtime=0.49
/proc/8381/stat : 8381 (java) R 8379 8381 7888 0 -1 0 7430 0 1 0 45 4 0 0 18 0 8 0 155430538 937295872 7169 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073564451 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8381/statm: 228832 7169 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34122 s]
/proc/loadavg: 1.92 1.98 1.91 3/80 8389
/proc/meminfo: memFree=1211104/2055920 swapFree=4192812/4192956
[pid=8381] ppid=8379 vsize=915416 CPUtime=1.3
/proc/8381/stat : 8381 (java) R 8379 8381 7888 0 -1 0 19144 0 1 0 121 9 0 0 25 0 8 0 155430538 937385984 18881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8381/statm: 228854 18881 2168 14 0 215324 0
[pid=8381/tid=8383] ppid=8379 vsize=915416 CPUtime=0.05
/proc/8381/task/8383/stat : 8383 (java) R 8379 8381 7888 0 -1 64 2658 0 0 0 5 0 0 0 16 0 8 0 155430543 937385984 18881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154022035 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8384] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8384/stat : 8384 (java) S 8379 8381 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155430543 937385984 18881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8385] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8385/stat : 8385 (java) S 8379 8381 7888 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155430543 937385984 18881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8386] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8386/stat : 8386 (java) S 8379 8381 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155430547 937385984 18881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8387] ppid=8379 vsize=915416 CPUtime=0.1
/proc/8381/task/8387/stat : 8387 (java) S 8379 8381 7888 0 -1 64 319 0 0 0 10 0 0 0 16 0 8 0 155430547 937385984 18881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8388] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8388/stat : 8388 (java) S 8379 8381 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155430547 937385984 18881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8389] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8389/stat : 8389 (java) S 8379 8381 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155430547 937385984 18881 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) 915416
[startup+2.9864 s]
/proc/loadavg: 1.92 1.98 1.91 3/80 8389
/proc/meminfo: memFree=1195424/2055920 swapFree=4192812/4192956
[pid=8381] ppid=8379 vsize=915416 CPUtime=2.94
/proc/8381/stat : 8381 (java) R 8379 8381 7888 0 -1 0 23393 0 1 0 282 12 0 0 25 0 8 0 155430538 937385984 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8381/statm: 228854 23128 2521 14 0 215324 0
[pid=8381/tid=8383] ppid=8379 vsize=915416 CPUtime=0.17
/proc/8381/task/8383/stat : 8383 (java) S 8379 8381 7888 0 -1 64 6428 0 0 0 15 2 0 0 17 0 8 0 155430543 937385984 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8384] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8384/stat : 8384 (java) S 8379 8381 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155430543 937385984 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8385] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8385/stat : 8385 (java) S 8379 8381 7888 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155430543 937385984 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8386] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8386/stat : 8386 (java) S 8379 8381 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155430547 937385984 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8387] ppid=8379 vsize=915416 CPUtime=0.2
/proc/8381/task/8387/stat : 8387 (java) S 8379 8381 7888 0 -1 64 372 0 0 0 20 0 0 0 15 0 8 0 155430547 937385984 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8388] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8388/stat : 8388 (java) S 8379 8381 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155430547 937385984 23128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8389] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8389/stat : 8389 (java) S 8379 8381 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155430547 937385984 23128 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) 915416
[startup+6.26673 s]
/proc/loadavg: 1.93 1.98 1.91 3/80 8389
/proc/meminfo: memFree=1195104/2055920 swapFree=4192812/4192956
[pid=8381] ppid=8379 vsize=915416 CPUtime=6.19
/proc/8381/stat : 8381 (java) R 8379 8381 7888 0 -1 0 23408 0 1 0 607 12 0 0 25 0 8 0 155430538 937385984 23140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073814987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8381/statm: 228854 23140 2521 14 0 215324 0
[pid=8381/tid=8383] ppid=8379 vsize=915416 CPUtime=0.17
/proc/8381/task/8383/stat : 8383 (java) S 8379 8381 7888 0 -1 64 6428 0 0 0 15 2 0 0 17 0 8 0 155430543 937385984 23140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8384] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8384/stat : 8384 (java) S 8379 8381 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155430543 937385984 23140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8385] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8385/stat : 8385 (java) S 8379 8381 7888 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155430543 937385984 23140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8386] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8386/stat : 8386 (java) S 8379 8381 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155430547 937385984 23140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8387] ppid=8379 vsize=915416 CPUtime=0.23
/proc/8381/task/8387/stat : 8387 (java) S 8379 8381 7888 0 -1 64 384 0 0 0 23 0 0 0 15 0 8 0 155430547 937385984 23140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8388] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8388/stat : 8388 (java) S 8379 8381 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155430547 937385984 23140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8389] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8389/stat : 8389 (java) S 8379 8381 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155430547 937385984 23140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915416
[startup+12.7604 s]
/proc/loadavg: 1.86 1.97 1.91 2/75 8401
/proc/meminfo: memFree=1588040/2055920 swapFree=4192812/4192956
[pid=8381] ppid=8379 vsize=915416 CPUtime=12.64
/proc/8381/stat : 8381 (java) R 8379 8381 7888 0 -1 0 23414 0 1 0 1251 13 0 0 25 0 8 0 155430538 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759293 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8381/statm: 228854 23145 2521 14 0 215324 0
[pid=8381/tid=8383] ppid=8379 vsize=915416 CPUtime=0.17
/proc/8381/task/8383/stat : 8383 (java) S 8379 8381 7888 0 -1 64 6428 0 0 0 15 2 0 0 16 0 8 0 155430543 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8384] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8384/stat : 8384 (java) S 8379 8381 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155430543 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8385] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8385/stat : 8385 (java) S 8379 8381 7888 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155430543 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8386] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8386/stat : 8386 (java) S 8379 8381 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155430547 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8387] ppid=8379 vsize=915416 CPUtime=0.25
/proc/8381/task/8387/stat : 8387 (java) S 8379 8381 7888 0 -1 64 390 0 0 0 24 1 0 0 15 0 8 0 155430547 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8388] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8388/stat : 8388 (java) S 8379 8381 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155430547 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8389] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8389/stat : 8389 (java) S 8379 8381 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155430547 937385984 23145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915416
[startup+25.6177 s]
/proc/loadavg: 1.95 1.98 1.91 3/87 8446
/proc/meminfo: memFree=1497136/2055920 swapFree=4192812/4192956
[pid=8381] ppid=8379 vsize=915416 CPUtime=25.48
/proc/8381/stat : 8381 (java) R 8379 8381 7888 0 -1 0 23415 0 1 0 2533 15 0 0 25 0 8 0 155430538 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918600 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8381/statm: 228854 23146 2521 14 0 215324 0
[pid=8381/tid=8383] ppid=8379 vsize=915416 CPUtime=0.17
/proc/8381/task/8383/stat : 8383 (java) S 8379 8381 7888 0 -1 64 6428 0 0 0 15 2 0 0 16 0 8 0 155430543 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8381/tid=8384] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8384/stat : 8384 (java) S 8379 8381 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155430543 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8385] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8385/stat : 8385 (java) S 8379 8381 7888 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155430543 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8386] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8386/stat : 8386 (java) S 8379 8381 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155430547 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8387] ppid=8379 vsize=915416 CPUtime=0.25
/proc/8381/task/8387/stat : 8387 (java) S 8379 8381 7888 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 155430547 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8381/tid=8388] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8388/stat : 8388 (java) S 8379 8381 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155430547 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8389] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8389/stat : 8389 (java) S 8379 8381 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155430547 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915416
[startup+51.2483 s]
/proc/loadavg: 1.97 1.98 1.91 3/87 8446
/proc/meminfo: memFree=1497328/2055920 swapFree=4192812/4192956
[pid=8381] ppid=8379 vsize=915416 CPUtime=51.1
/proc/8381/stat : 8381 (java) R 8379 8381 7888 0 -1 0 23416 0 1 0 5094 16 0 0 25 0 8 0 155430538 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8381/statm: 228854 23146 2521 14 0 215324 0
[pid=8381/tid=8383] ppid=8379 vsize=915416 CPUtime=0.17
/proc/8381/task/8383/stat : 8383 (java) S 8379 8381 7888 0 -1 64 6428 0 0 0 15 2 0 0 16 0 8 0 155430543 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8381/tid=8384] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8384/stat : 8384 (java) S 8379 8381 7888 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155430543 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8385] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8385/stat : 8385 (java) S 8379 8381 7888 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155430543 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8386] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8386/stat : 8386 (java) S 8379 8381 7888 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155430547 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8387] ppid=8379 vsize=915416 CPUtime=0.25
/proc/8381/task/8387/stat : 8387 (java) S 8379 8381 7888 0 -1 64 391 0 0 0 24 1 0 0 16 0 8 0 155430547 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8381/tid=8388] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8388/stat : 8388 (java) S 8379 8381 7888 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155430547 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8381/tid=8389] ppid=8379 vsize=915416 CPUtime=0
/proc/8381/task/8389/stat : 8389 (java) S 8379 8381 7888 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155430547 937385984 23146 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 80.8547
CPU time (s): 80.6767
CPU user time (s): 80.4978
CPU system time (s): 0.178972
CPU usage (%): 99.7799
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.4978
system time used= 0.178972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23422
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= 2760
involuntary context switches= 2127
runsolver used 0.082987 s user time and 0.282956 s system time
The end
Begin job on node44 on Sat Jan 6 07:58:35 UTC 2007
IDJOB= 195936
IDBENCH= 3313
FILE ID= node44/195936-1168070313
PBS_JOBID= 3475888
Free space on /tmp= 66534 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-16_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195936-1168070313/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-195936-1168070313 -o ROOT/results/node44/solver-195936-1168070313 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195936-1168070313/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4376c4e1b4f50f628d636b7e95eeb495
RANDOM SEED= 373320303
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.213
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.213
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: 1278776 kB
Buffers: 18612 kB
Cached: 278820 kB
SwapCached: 0 kB
Active: 446560 kB
Inactive: 260616 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1278776 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4456 kB
Writeback: 0 kB
Mapped: 423340 kB
Slab: 54312 kB
Committed_AS: 3284656 kB
PageTables: 2824 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= 66532 MiB
End job on node44 on Sat Jan 6 07:59:56 UTC 2007