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/202497-1168072577/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.40 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.50
0.50 constraints being loaded...
0.61 nbConstraints=348 nbRelationTypes=348 nbExtensionStructures=348 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=348 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3168 maxDegree=24
0.61 maxArity=2
0.61 => wckTime=0.307 cpuTime=0.23 mem=13M778
0.65
0.65 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.494 cpuTime=0.35 mem=13M937
0.80
0.80 preprocessing
0.80 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.80 detectedInconsistency=no
0.80 => wckTime=0.0050 cpuTime=0.01 mem=13M937
0.85
0.85 search
0.85 run=0 nbConstraintChecks=23159 nbPropagations=375 nbRevisions=3550 nbUselessRevisions=2850 nbAssignments=20
0.85 nbFailedAssignments=4 nbBacktracks=11 nbVisitedNodes=30 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.046 cpuTime=0.02 mem=14M913
0.87
0.87 search
0.87 run=1 nbConstraintChecks=60752 nbPropagations=1336 nbRevisions=14190 nbUselessRevisions=11533 nbAssignments=54
0.87 nbFailedAssignments=14 nbBacktracks=30 nbVisitedNodes=85 nbRestartNogoods=1 mapSize=25 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.069 cpuTime=0.04 mem=14M913
0.89
0.89 search
0.89 run=2 nbConstraintChecks=125561 nbPropagations=3180 nbRevisions=36693 nbUselessRevisions=29878
0.89 nbAssignments=102 nbFailedAssignments=34 nbBacktracks=52 nbVisitedNodes=166 nbRestartNogoods=2 mapSize=45
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.092 cpuTime=0.05 mem=14M913
0.91
0.91 search
0.91 run=3 nbConstraintChecks=208718 nbPropagations=6187 nbRevisions=74788 nbUselessRevisions=60962
0.91 nbAssignments=164 nbFailedAssignments=53 nbBacktracks=88 nbVisitedNodes=266 nbRestartNogoods=4 mapSize=76
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.109 cpuTime=0.07 mem=14M913
0.93
0.94 search
0.94 run=4 nbConstraintChecks=331450 nbPropagations=10886 nbRevisions=135121 nbUselessRevisions=109888
0.94 nbAssignments=259 nbFailedAssignments=89 nbBacktracks=141 nbVisitedNodes=421 nbRestartNogoods=8 mapSize=117
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.136 cpuTime=0.1 mem=14M913
0.97
0.97 search
0.97 run=5 nbConstraintChecks=514391 nbPropagations=18133 nbRevisions=230875 nbUselessRevisions=187740
0.98 nbAssignments=399 nbFailedAssignments=146 nbBacktracks=216 nbVisitedNodes=666 nbRestartNogoods=13 mapSize=183
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.174 cpuTime=0.13 mem=14M913
1.03
1.03 search
1.03 run=6 nbConstraintChecks=807016 nbPropagations=29307 nbRevisions=383323 nbUselessRevisions=311522
1.03 nbAssignments=612 nbFailedAssignments=240 nbBacktracks=330 nbVisitedNodes=1046 nbRestartNogoods=19 mapSize=284
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.23 cpuTime=0.18 mem=14M913
1.10
1.10 search
1.11 run=7 nbConstraintChecks=1214729 nbPropagations=46039 nbRevisions=616466 nbUselessRevisions=501454
1.11 nbAssignments=917 nbFailedAssignments=366 nbBacktracks=502 nbVisitedNodes=1579 nbRestartNogoods=22 mapSize=432
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.306 cpuTime=0.26 mem=14M913
1.21
1.21 search
1.21 run=8 nbConstraintChecks=1725326 nbPropagations=70040 nbRevisions=951643 nbUselessRevisions=774340
1.21 nbAssignments=1330 nbFailedAssignments=516 nbBacktracks=758 nbVisitedNodes=2275 nbRestartNogoods=27
1.21 mapSize=648 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.409 cpuTime=0.35 mem=14M913
1.36
1.36 search
1.36 run=9 nbConstraintChecks=2492245 nbPropagations=104917 nbRevisions=1443315 nbUselessRevisions=1175801
1.36 nbAssignments=1977 nbFailedAssignments=771 nbBacktracks=1142 nbVisitedNodes=3384 nbRestartNogoods=36
1.36 mapSize=973 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.561 cpuTime=0.48 mem=14M913
1.38
1.38 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=14M913)
1.57
1.57 search
1.57 run=10 nbConstraintChecks=3797942 nbPropagations=157306 nbRevisions=2183362 nbUselessRevisions=1778203
1.57 nbAssignments=2935 nbFailedAssignments=1145 nbBacktracks=1718 nbVisitedNodes=5045 nbRestartNogoods=43
1.57 => wckTime=0.771 cpuTime=0.68 mem=14M913
1.86
1.86 search
1.86 run=11 nbConstraintChecks=5673445 nbPropagations=235062 nbRevisions=3291369 nbUselessRevisions=2680484
1.86 nbAssignments=4373 nbFailedAssignments=1711 nbBacktracks=2583 nbVisitedNodes=7522 nbRestartNogoods=50
1.86 => wckTime=1.056 cpuTime=0.96 mem=14M913
2.29
2.29 search
2.29 run=12 nbConstraintChecks=8567207 nbPropagations=351765 nbRevisions=4960531 nbUselessRevisions=4037484
2.29 nbAssignments=6526 nbFailedAssignments=2558 nbBacktracks=3881 nbVisitedNodes=11266 nbRestartNogoods=61
2.29 => wckTime=1.495 cpuTime=1.39 mem=14M913
2.95
2.95 search
2.95 run=13 nbConstraintChecks=12961309 nbPropagations=528085 nbRevisions=7482174 nbUselessRevisions=6086830
2.95 nbAssignments=9802 nbFailedAssignments=3879 nbBacktracks=5827 nbVisitedNodes=16974 nbRestartNogoods=69
2.95 => wckTime=2.155 cpuTime=2.05 mem=14M913
3.93
3.93 search
3.93 run=14 nbConstraintChecks=19462747 nbPropagations=792976 nbRevisions=11292152 nbUselessRevisions=9188080
3.93 nbAssignments=14746 nbFailedAssignments=5896 nbBacktracks=8748 nbVisitedNodes=25644 nbRestartNogoods=80
3.93 => wckTime=3.126 cpuTime=3.01 mem=14M913
5.31
5.31 search
5.31 run=15 nbConstraintChecks=28853883 nbPropagations=1185701 nbRevisions=16900188 nbUselessRevisions=13742173
5.31 nbAssignments=21882 nbFailedAssignments=8644 nbBacktracks=13128 nbVisitedNodes=37896 nbRestartNogoods=93
5.31 => wckTime=4.515 cpuTime=4.39 mem=14M913
7.38
7.38 search
7.39 run=16 nbConstraintChecks=42722668 nbPropagations=1769214 nbRevisions=25267721 nbUselessRevisions=20553489
7.39 nbAssignments=32753 nbFailedAssignments=12939 nbBacktracks=19696 nbVisitedNodes=56799 nbRestartNogoods=99
7.39 => wckTime=6.586 cpuTime=6.44 mem=14M913
10.60
10.60 search
10.60 run=17 nbConstraintChecks=64339947 nbPropagations=2644505 nbRevisions=37885804 nbUselessRevisions=30830868
10.60 nbAssignments=48970 nbFailedAssignments=19299 nbBacktracks=29548 nbVisitedNodes=84944 nbRestartNogoods=107
10.60 => wckTime=9.804 cpuTime=9.63 mem=14M913
15.15
15.15 search
15.15 run=18 nbConstraintChecks=94232668 nbPropagations=3935154 nbRevisions=56442024 nbUselessRevisions=45945003
15.15 nbAssignments=72718 nbFailedAssignments=28262 nbBacktracks=44327 nbVisitedNodes=125798 nbRestartNogoods=116
15.15 => wckTime=14.351 cpuTime=14.16 mem=14M913
22.84
22.84 search
22.84 run=19 nbConstraintChecks=147351383 nbPropagations=5913837 nbRevisions=84841314 nbUselessRevisions=68999509
22.84 nbAssignments=110006 nbFailedAssignments=43375 nbBacktracks=66498 nbVisitedNodes=191055 nbRestartNogoods=125
22.84 => wckTime=22.039 cpuTime=21.83 mem=14M913
33.55
33.55 search
33.55 run=20 nbConstraintChecks=219641732 nbPropagations=8887723 nbRevisions=127575586 nbUselessRevisions=103752804
33.55 nbAssignments=164973 nbFailedAssignments=65080 nbBacktracks=99751 nbVisitedNodes=286628 nbRestartNogoods=136
33.55 => wckTime=32.747 cpuTime=32.49 mem=14M913
38.87
38.87 search
38.87 run=21 nbConstraintChecks=255575389 nbPropagations=12348538 nbRevisions=177317325 nbUselessRevisions=144210091
38.87 nbAssignments=192514 nbFailedAssignments=75484 nbBacktracks=116848 nbVisitedNodes=333959 nbRestartNogoods=151
38.87 => wckTime=38.074 cpuTime=37.79 mem=14M913
38.87
38.87 global
38.87 nbConstraintChecks=255575389 nbPropagations=12348578 nbRevisions=177317325 nbUselessRevisions=144210091
38.87 nbRestartNogoods=151 solvingWckTime=38.074 solvingCpuTime=37.79 expiredTime=no totalExploration=no
38.87 nbFoundSolutions=1 globalCpuTime=38.19
38.87 => wckTime=38.572 cpuTime=38.14 mem=14M913
38.88
38.88 s SATISFIABLE
38.88 v 7 4 16 0 8 14 1 8 6 3 15 16 1 2 16 12 7 4 17 7 0 5 18 12 8 8 4 14 3 1 13 6 4 13 14 10 15 16 12 17
38.88 d NODES 192514
38.88 d CHECKS 255575389
38.88
38.88 totalWckTime=38.649 totalCpuTime=38.19
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-202497-1168072577 -o ROOT/results/node43/solver-202497-1168072577 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202497-1168072577/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.93 1.42 1.63 5/80 6532
/proc/meminfo: memFree=1574152/2055920 swapFree=4192812/4192956
[pid=6531] ppid=6529 vsize=18540 CPUtime=0
/proc/6531/stat : 6531 (runsolver) R 6529 6531 6303 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155657209 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 216849247527 0 0 4096 24578 0 0 0 17 1 0 0
/proc/6531/statm: 4635 279 244 17 0 2626 0
[startup+0.106668 s]
/proc/loadavg: 0.93 1.42 1.63 5/80 6532
/proc/meminfo: memFree=1574152/2055920 swapFree=4192812/4192956
[pid=6531] ppid=6529 vsize=914988 CPUtime=0.09
/proc/6531/stat : 6531 (java) R 6529 6531 6303 0 -1 0 3053 0 1 0 8 1 0 0 22 0 8 0 155657209 936947712 2799 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153985090 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6531/statm: 228747 2799 1447 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.518733 s]
/proc/loadavg: 0.93 1.42 1.63 5/80 6532
/proc/meminfo: memFree=1574152/2055920 swapFree=4192812/4192956
[pid=6531] ppid=6529 vsize=915328 CPUtime=0.49
/proc/6531/stat : 6531 (java) R 6529 6531 6303 0 -1 0 6947 0 1 0 46 3 0 0 25 0 8 0 155657209 937295872 6686 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380305 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6531/statm: 228832 6686 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34287 s]
/proc/loadavg: 0.93 1.42 1.63 3/87 6539
/proc/meminfo: memFree=1540944/2055920 swapFree=4192812/4192956
[pid=6531] ppid=6529 vsize=915456 CPUtime=1.31
/proc/6531/stat : 6531 (java) R 6529 6531 6303 0 -1 0 8647 0 1 0 125 6 0 0 25 0 8 0 155657209 937426944 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807398 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6531/statm: 228864 8385 2513 14 0 215334 0
[pid=6531/tid=6533] ppid=6529 vsize=915456 CPUtime=0.03
/proc/6531/task/6533/stat : 6533 (java) S 6529 6531 6303 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155657212 937426944 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6534] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6534/stat : 6534 (java) S 6529 6531 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155657213 937426944 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6535] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6535/stat : 6535 (java) S 6529 6531 6303 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155657213 937426944 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6536] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6536/stat : 6536 (java) S 6529 6531 6303 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155657216 937426944 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6537] ppid=6529 vsize=915456 CPUtime=0.22
/proc/6531/task/6537/stat : 6537 (java) S 6529 6531 6303 0 -1 64 383 0 0 0 20 2 0 0 15 0 8 0 155657216 937426944 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6538] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6538/stat : 6538 (java) S 6529 6531 6303 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155657216 937426944 8385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6539] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6539/stat : 6539 (java) S 6529 6531 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155657216 937426944 8385 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) 915456
[startup+2.98114 s]
/proc/loadavg: 0.93 1.42 1.63 4/87 6539
/proc/meminfo: memFree=1534864/2055920 swapFree=4192812/4192956
[pid=6531] ppid=6529 vsize=915456 CPUtime=2.93
/proc/6531/stat : 6531 (java) R 6529 6531 6303 0 -1 0 8673 0 1 0 287 6 0 0 25 0 8 0 155657209 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073837081 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6531/statm: 228864 8410 2513 14 0 215334 0
[pid=6531/tid=6533] ppid=6529 vsize=915456 CPUtime=0.03
/proc/6531/task/6533/stat : 6533 (java) S 6529 6531 6303 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155657212 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6534] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6534/stat : 6534 (java) S 6529 6531 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155657213 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6535] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6535/stat : 6535 (java) S 6529 6531 6303 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155657213 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6536] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6536/stat : 6536 (java) S 6529 6531 6303 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155657216 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6537] ppid=6529 vsize=915456 CPUtime=0.23
/proc/6531/task/6537/stat : 6537 (java) S 6529 6531 6303 0 -1 64 392 0 0 0 21 2 0 0 15 0 8 0 155657216 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6538] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6538/stat : 6538 (java) S 6529 6531 6303 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155657216 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6539] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6539/stat : 6539 (java) S 6529 6531 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155657216 937426944 8410 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915456
[startup+6.27869 s]
/proc/loadavg: 1.02 1.43 1.63 4/87 6539
/proc/meminfo: memFree=1453656/2055920 swapFree=4192812/4192956
[pid=6531] ppid=6529 vsize=915456 CPUtime=6.2
/proc/6531/stat : 6531 (java) R 6529 6531 6303 0 -1 0 8678 0 1 0 614 6 0 0 25 0 8 0 155657209 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6531/statm: 228864 8415 2513 14 0 215334 0
[pid=6531/tid=6533] ppid=6529 vsize=915456 CPUtime=0.03
/proc/6531/task/6533/stat : 6533 (java) S 6529 6531 6303 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155657212 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6534] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6534/stat : 6534 (java) S 6529 6531 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155657213 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6535] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6535/stat : 6535 (java) S 6529 6531 6303 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155657213 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6536] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6536/stat : 6536 (java) S 6529 6531 6303 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155657216 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6537] ppid=6529 vsize=915456 CPUtime=0.23
/proc/6531/task/6537/stat : 6537 (java) S 6529 6531 6303 0 -1 64 392 0 0 0 21 2 0 0 15 0 8 0 155657216 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6538] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6538/stat : 6538 (java) S 6529 6531 6303 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155657216 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6539] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6539/stat : 6539 (java) S 6529 6531 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155657216 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456
[startup+12.7488 s]
/proc/loadavg: 1.10 1.44 1.63 3/77 6547
/proc/meminfo: memFree=1642992/2055920 swapFree=4192812/4192956
[pid=6531] ppid=6529 vsize=915456 CPUtime=12.63
/proc/6531/stat : 6531 (java) R 6529 6531 6303 0 -1 0 8685 0 1 0 1257 6 0 0 25 0 8 0 155657209 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6531/statm: 228864 8421 2513 14 0 215334 0
[pid=6531/tid=6533] ppid=6529 vsize=915456 CPUtime=0.03
/proc/6531/task/6533/stat : 6533 (java) S 6529 6531 6303 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155657212 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6534] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6534/stat : 6534 (java) S 6529 6531 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155657213 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6535] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6535/stat : 6535 (java) S 6529 6531 6303 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155657213 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6536] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6536/stat : 6536 (java) S 6529 6531 6303 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155657216 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6537] ppid=6529 vsize=915456 CPUtime=0.24
/proc/6531/task/6537/stat : 6537 (java) S 6529 6531 6303 0 -1 64 393 0 0 0 22 2 0 0 16 0 8 0 155657216 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6538] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6538/stat : 6538 (java) S 6529 6531 6303 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155657216 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6539] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6539/stat : 6539 (java) S 6529 6531 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155657216 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915456
[startup+25.5979 s]
/proc/loadavg: 1.23 1.45 1.64 3/87 6595
/proc/meminfo: memFree=1626656/2055920 swapFree=4192812/4192956
[pid=6531] ppid=6529 vsize=915456 CPUtime=25.44
/proc/6531/stat : 6531 (java) R 6529 6531 6303 0 -1 0 8690 0 1 0 2537 7 0 0 25 0 8 0 155657209 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803906 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6531/statm: 228864 8426 2513 14 0 215334 0
[pid=6531/tid=6533] ppid=6529 vsize=915456 CPUtime=0.03
/proc/6531/task/6533/stat : 6533 (java) S 6529 6531 6303 0 -1 64 291 0 0 0 3 0 0 0 16 0 8 0 155657212 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6534] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6534/stat : 6534 (java) S 6529 6531 6303 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155657213 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6535] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6535/stat : 6535 (java) S 6529 6531 6303 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155657213 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6536] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6536/stat : 6536 (java) S 6529 6531 6303 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155657216 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6537] ppid=6529 vsize=915456 CPUtime=0.24
/proc/6531/task/6537/stat : 6537 (java) S 6529 6531 6303 0 -1 64 393 0 0 0 22 2 0 0 16 0 8 0 155657216 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6538] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6538/stat : 6538 (java) S 6529 6531 6303 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155657216 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6531/tid=6539] ppid=6529 vsize=915456 CPUtime=0
/proc/6531/task/6539/stat : 6539 (java) S 6529 6531 6303 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155657216 937426944 8426 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 39.0057
CPU time (s): 38.6691
CPU user time (s): 38.5921
CPU system time (s): 0.076988
CPU usage (%): 99.137
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.5921
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8784
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= 1896
involuntary context switches= 2914
runsolver used 0.044993 s user time and 0.106983 s system time
The end
Begin job on node43 on Sat Jan 6 08:36:19 UTC 2007
IDJOB= 202497
IDBENCH= 3861
FILE ID= node43/202497-1168072577
PBS_JOBID= 3475983
Free space on /tmp= 66477 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202497-1168072577/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-202497-1168072577 -o ROOT/results/node43/solver-202497-1168072577 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202497-1168072577/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a3054f1235edbe560c520e9d38323431
RANDOM SEED= 338145110
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.278
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.278
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: 1576744 kB
Buffers: 25468 kB
Cached: 271556 kB
SwapCached: 0 kB
Active: 161792 kB
Inactive: 249464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1576744 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 8168 kB
Writeback: 0 kB
Mapped: 133584 kB
Slab: 53036 kB
Committed_AS: 3682784 kB
PageTables: 1976 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= 66481 MiB
End job on node43 on Sat Jan 6 08:37:00 UTC 2007