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/239137-1168084630/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.49 nbVariables=625 nbDomainTypes=26 minDomainSize=1 maxDomainSize=25
0.49 => wckTime=0.175 cpuTime=0.14 mem=8M869
0.49
0.49 relations being loaded...
0.50
0.50 constraints being loaded...
0.99 nbConstraints=10142 nbRelationTypes=27 nbSingletonDomainVariables=361 nbExtensionStructures=51
0.99 nbSharedExtensionStructures=10091 nbConflictsStructures=51 nbSharedConflictsStructures=10091
0.99 nbSharedBinaryRepresentations=1323 maxDegree=48 maxArity=2
0.99 => wckTime=0.673 cpuTime=0.52 mem=39M100
1.10
1.11 solver IterativeSystematicSolver being built...
1.31 => wckTime=0.988 cpuTime=0.69 mem=21M792
1.38
1.38 preprocessing
1.38 nbConstraintChecks=102139 nbPropagations=625 nbRevisions=7660 nbUselessRevisions=2256 nbRemovedValues=5404
1.38 detectedInconsistency=no
1.38 => wckTime=0.066 cpuTime=0.05 mem=21M792
1.48
1.48 search
1.48 run=0 nbConstraintChecks=15200 nbPropagations=1382 nbRevisions=16446 nbUselessRevisions=9977 nbAssignments=164
1.48 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=172 nbRestartNogoods=0 mapSize=3 nbInferences=0
1.48 nbTooLargeKeys=0
1.48 => wckTime=0.171 cpuTime=0.14 mem=22M799
1.54
1.54 search
1.54 run=1 nbConstraintChecks=24631 nbPropagations=3391 nbRevisions=38000 nbUselessRevisions=24407
1.54 nbAssignments=315 nbFailedAssignments=6 nbBacktracks=29 nbVisitedNodes=325 nbRestartNogoods=4 mapSize=4
1.54 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.233 cpuTime=0.2 mem=22M799
1.61
1.61 search
1.61 run=2 nbConstraintChecks=39713 nbPropagations=6175 nbRevisions=68310 nbUselessRevisions=46535
1.61 nbAssignments=481 nbFailedAssignments=15 nbBacktracks=52 nbVisitedNodes=508 nbRestartNogoods=5 mapSize=18
1.61 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.295 cpuTime=0.26 mem=22M799
1.68
1.68 search
1.68 run=3 nbConstraintChecks=57557 nbPropagations=9825 nbRevisions=109342 nbUselessRevisions=78220
1.68 nbAssignments=676 nbFailedAssignments=25 nbBacktracks=98 nbVisitedNodes=720 nbRestartNogoods=8 mapSize=32
1.68 nbInferences=0 nbTooLargeKeys=0
1.68 => wckTime=0.37 cpuTime=0.33 mem=22M799
1.76
1.76 search
1.76 run=4 nbConstraintChecks=81477 nbPropagations=14470 nbRevisions=164649 nbUselessRevisions=122568
1.76 nbAssignments=869 nbFailedAssignments=37 nbBacktracks=162 nbVisitedNodes=931 nbRestartNogoods=11 mapSize=44
1.76 nbInferences=0 nbTooLargeKeys=0
1.76 => wckTime=0.45 cpuTime=0.4 mem=23M773
1.87
1.87 search
1.87 run=5 nbConstraintChecks=129787 nbPropagations=20681 nbRevisions=250507 nbUselessRevisions=194278
1.87 nbAssignments=1120 nbFailedAssignments=68 nbBacktracks=266 nbVisitedNodes=1228 nbRestartNogoods=17 mapSize=86
1.87 nbInferences=0 nbTooLargeKeys=0
1.87 => wckTime=0.556 cpuTime=0.5 mem=23M773
1.96
1.96 search
1.96 run=6 nbConstraintChecks=170766 nbPropagations=28284 nbRevisions=360876 nbUselessRevisions=287815
1.96 nbAssignments=1341 nbFailedAssignments=88 nbBacktracks=381 nbVisitedNodes=1488 nbRestartNogoods=21 mapSize=122
1.96 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=0.647 cpuTime=0.59 mem=23M773
2.08
2.08 search
2.08 run=7 nbConstraintChecks=218590 nbPropagations=37673 nbRevisions=500186 nbUselessRevisions=407041
2.08 nbAssignments=1618 nbFailedAssignments=137 nbBacktracks=551 nbVisitedNodes=1857 nbRestartNogoods=24
2.08 mapSize=212 nbInferences=0 nbTooLargeKeys=0
2.08 => wckTime=0.773 cpuTime=0.7 mem=24M747
2.22
2.22 search
2.22 run=8 nbConstraintChecks=269712 nbPropagations=49000 nbRevisions=671374 nbUselessRevisions=554767
2.22 nbAssignments=1990 nbFailedAssignments=182 nbBacktracks=823 nbVisitedNodes=2306 nbRestartNogoods=26
2.22 mapSize=286 nbInferences=0 nbTooLargeKeys=0
2.22 => wckTime=0.91 cpuTime=0.83 mem=24M747
2.42
2.43 search
2.43 run=9 nbConstraintChecks=353831 nbPropagations=63291 nbRevisions=896230 nbUselessRevisions=750419
2.43 nbAssignments=2541 nbFailedAssignments=254 nbBacktracks=1214 nbVisitedNodes=2994 nbRestartNogoods=29
2.43 mapSize=413 nbInferences=0 nbTooLargeKeys=0
2.43 => wckTime=1.113 cpuTime=1.03 mem=25M721
2.76
2.76 search
2.76 run=10 nbConstraintChecks=546529 nbPropagations=83404 nbRevisions=1238029 nbUselessRevisions=1049788
2.76 nbAssignments=3374 nbFailedAssignments=427 nbBacktracks=1790 nbVisitedNodes=4183 nbRestartNogoods=37
2.76 mapSize=734 nbInferences=0 nbTooLargeKeys=0
2.76 => wckTime=1.445 cpuTime=1.36 mem=25M721
3.12
3.12 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=26M695)
3.18
3.18 search
3.18 run=11 nbConstraintChecks=809220 nbPropagations=111043 nbRevisions=1745233 nbUselessRevisions=1496358
3.18 nbAssignments=4480 nbFailedAssignments=599 nbBacktracks=2654 nbVisitedNodes=5643 nbRestartNogoods=42
3.18 => wckTime=1.868 cpuTime=1.78 mem=26M695
3.69
3.69 search
3.69 run=12 nbConstraintChecks=1171588 nbPropagations=148653 nbRevisions=2481016 nbUselessRevisions=2146751
3.69 nbAssignments=6054 nbFailedAssignments=791 nbBacktracks=3972 nbVisitedNodes=7598 nbRestartNogoods=47
3.69 => wckTime=2.374 cpuTime=2.28 mem=26M695
4.54
4.54 search
4.54 run=13 nbConstraintChecks=1734999 nbPropagations=206585 nbRevisions=3547824 nbUselessRevisions=3087709
4.54 nbAssignments=8826 nbFailedAssignments=1599 nbBacktracks=5918 nbVisitedNodes=11942 nbRestartNogoods=51
4.54 => wckTime=3.233 cpuTime=3.12 mem=26M695
5.66
5.66 search
5.66 run=14 nbConstraintChecks=2621707 nbPropagations=287483 nbRevisions=5205080 nbUselessRevisions=4562586
5.66 nbAssignments=12274 nbFailedAssignments=2026 nbBacktracks=8850 nbVisitedNodes=16197 nbRestartNogoods=57
5.66 => wckTime=4.353 cpuTime=4.23 mem=26M695
7.37
7.37 search
7.37 run=15 nbConstraintChecks=3956751 nbPropagations=404794 nbRevisions=7735294 nbUselessRevisions=6822774
7.37 nbAssignments=17517 nbFailedAssignments=2795 nbBacktracks=13233 nbVisitedNodes=22939 nbRestartNogoods=66
7.37 => wckTime=6.058 cpuTime=5.93 mem=26M695
10.23
10.23 search
10.23 run=16 nbConstraintChecks=6284229 nbPropagations=584302 nbRevisions=11834440 nbUselessRevisions=10510279
10.23 nbAssignments=25183 nbFailedAssignments=3788 nbBacktracks=19808 nbVisitedNodes=32539 nbRestartNogoods=75
10.23 => wckTime=8.924 cpuTime=8.76 mem=26M695
14.79
14.79 search
14.79 run=17 nbConstraintChecks=9893341 nbPropagations=867493 nbRevisions=18319795 nbUselessRevisions=16355415
14.79 nbAssignments=37164 nbFailedAssignments=5861 nbBacktracks=29662 nbVisitedNodes=48279 nbRestartNogoods=81
14.79 => wckTime=13.482 cpuTime=13.27 mem=26M695
21.60
21.60 search
21.60 run=18 nbConstraintChecks=15365979 nbPropagations=1305741 nbRevisions=28347685 nbUselessRevisions=25394434
21.60 nbAssignments=55734 nbFailedAssignments=9583 nbBacktracks=44441 nbVisitedNodes=74187 nbRestartNogoods=85
21.60 => wckTime=20.293 cpuTime=20.02 mem=27M669
33.43
33.43 search
33.43 run=19 nbConstraintChecks=25492420 nbPropagations=2016762 nbRevisions=45215732 nbUselessRevisions=40654392
33.43 nbAssignments=82443 nbFailedAssignments=14050 nbBacktracks=66620 nbVisitedNodes=110093 nbRestartNogoods=99
33.43 => wckTime=32.119 cpuTime=31.74 mem=27M669
51.50
51.50 search
51.50 run=20 nbConstraintChecks=41303185 nbPropagations=3152879 nbRevisions=72634313 nbUselessRevisions=65477053
51.50 nbAssignments=123270 nbFailedAssignments=21581 nbBacktracks=99876 nbVisitedNodes=166265 nbRestartNogoods=110
51.50 => wckTime=50.186 cpuTime=49.64 mem=27M669
78.00
78.00 search
78.00 run=21 nbConstraintChecks=63798609 nbPropagations=4918304 nbRevisions=114498184 nbUselessRevisions=103287875
78.00 nbAssignments=185870 nbFailedAssignments=34236 nbBacktracks=149754 nbVisitedNodes=253890 nbRestartNogoods=118
78.00 => wckTime=76.69 cpuTime=75.9 mem=27M669
117.76
117.76 search
117.76 run=22 nbConstraintChecks=98817931 nbPropagations=7634667 nbRevisions=179429082 nbUselessRevisions=161983264
117.76 nbAssignments=283605 nbFailedAssignments=57104 nbBacktracks=224572 nbVisitedNodes=396658 nbRestartNogoods=132
117.76 => wckTime=116.446 cpuTime=115.29 mem=27M669
175.53
175.53 search
175.53 run=23 nbConstraintChecks=147399674 nbPropagations=11717907 nbRevisions=276427311 nbUselessRevisions=249673824
175.53 nbAssignments=425023 nbFailedAssignments=86236 nbBacktracks=336813 nbVisitedNodes=596434 nbRestartNogoods=151
175.53 => wckTime=174.217 cpuTime=172.53 mem=27M669
267.05
267.05 search
267.05 run=24 nbConstraintChecks=225057110 nbPropagations=17980975 nbRevisions=423996354 nbUselessRevisions=382969271
267.05 nbAssignments=635876 nbFailedAssignments=128691 nbBacktracks=505169 nbVisitedNodes=891512 nbRestartNogoods=161
267.05 => wckTime=265.735 cpuTime=263.09 mem=27M669
401.58
401.58 search
401.58 run=25 nbConstraintChecks=341049179 nbPropagations=27427678 nbRevisions=648046721 nbUselessRevisions=585300834
401.58 nbAssignments=959178 nbFailedAssignments=199412 nbBacktracks=757682 nbVisitedNodes=1351399 nbRestartNogoods=167
401.58 => wckTime=400.266 cpuTime=396.31 mem=27M669
596.64
596.64 search
596.64 run=26 nbConstraintChecks=518842742 nbPropagations=41718945 nbRevisions=991710269 nbUselessRevisions=896133285
596.64 nbAssignments=1442204 nbFailedAssignments=303603 nbBacktracks=1136451 nbVisitedNodes=2042172
596.64 nbRestartNogoods=179
596.64 => wckTime=595.325 cpuTime=590.44 mem=27M669
874.09
874.09 search
874.09 run=27 nbConstraintChecks=774483689 nbPropagations=63039384 nbRevisions=1505771364
874.09 nbUselessRevisions=1361252178 nbAssignments=2172563 nbFailedAssignments=465744 nbBacktracks=1704602
874.09 nbVisitedNodes=3087225 nbRestartNogoods=190
874.09 => wckTime=872.778 cpuTime=867.7 mem=27M669
1303.31
1303.31 search
1303.31 run=28 nbConstraintChecks=1186751479 nbPropagations=95466712 nbRevisions=2306059514
1303.31 nbUselessRevisions=2088170652 nbAssignments=3251641 nbFailedAssignments=692527 nbBacktracks=2556828
1303.31 nbVisitedNodes=4604164 nbRestartNogoods=206
1303.31 => wckTime=1302.004 cpuTime=1296.57 mem=27M669
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-239137-1168084630 -o ROOT/results/node3/solver-239137-1168084630 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239137-1168084630/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.95 1.97 1.91 2/93 31698
/proc/meminfo: memFree=1272864/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=18540 CPUtime=0
/proc/31697/stat : 31697 (runsolver) R 31695 31697 30860 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156858818 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/31697/statm: 4635 279 244 17 0 2626 0
[startup+0.102548 s]
/proc/loadavg: 1.95 1.97 1.91 2/93 31698
/proc/meminfo: memFree=1272864/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=913236 CPUtime=0.08
/proc/31697/stat : 31697 (java) R 31695 31697 30860 0 -1 0 2919 0 1 0 7 1 0 0 17 0 8 0 156858818 935153664 2665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31697/statm: 228309 2665 1397 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913236
[startup+0.51061 s]
/proc/loadavg: 1.95 1.97 1.91 2/93 31698
/proc/meminfo: memFree=1272864/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=915328 CPUtime=0.48
/proc/31697/stat : 31697 (java) R 31695 31697 30860 0 -1 0 6530 0 1 0 45 3 0 0 18 0 8 0 156858818 937295872 6269 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31697/statm: 228832 6269 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33575 s]
/proc/loadavg: 1.95 1.97 1.91 3/100 31705
/proc/meminfo: memFree=1219432/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=915676 CPUtime=1.3
/proc/31697/stat : 31697 (java) R 31695 31697 30860 0 -1 0 16126 0 1 0 121 9 0 0 23 0 8 0 156858818 937652224 15864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072941849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31697/statm: 228919 15864 2509 14 0 215389 0
[pid=31697/tid=31699] ppid=31695 vsize=915676 CPUtime=0.09
/proc/31697/task/31699/stat : 31699 (java) S 31695 31697 30860 0 -1 64 1531 0 0 0 9 0 0 0 17 0 8 0 156858823 937652224 15864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31700] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31700/stat : 31700 (java) S 31695 31697 30860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31701] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31701/stat : 31701 (java) S 31695 31697 30860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31702] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31702/stat : 31702 (java) S 31695 31697 30860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156858826 937652224 15864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31703] ppid=31695 vsize=915676 CPUtime=0.24
/proc/31697/task/31703/stat : 31703 (java) S 31695 31697 30860 0 -1 64 450 0 0 0 23 1 0 0 16 0 8 0 156858826 937652224 15864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31704] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31704/stat : 31704 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156858826 937652224 15864 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31705] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31705/stat : 31705 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156858826 937652224 15864 18446744073709551615 134512640 134570532 4294956464 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) 915676
[startup+2.97801 s]
/proc/loadavg: 1.96 1.97 1.91 3/100 31705
/proc/meminfo: memFree=1218984/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=915676 CPUtime=2.93
/proc/31697/stat : 31697 (java) R 31695 31697 30860 0 -1 0 16166 0 1 0 283 10 0 0 25 0 8 0 156858818 937652224 15903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073968897 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31697/statm: 228919 15903 2513 14 0 215389 0
[pid=31697/tid=31699] ppid=31695 vsize=915676 CPUtime=0.09
/proc/31697/task/31699/stat : 31699 (java) S 31695 31697 30860 0 -1 64 1531 0 0 0 9 0 0 0 17 0 8 0 156858823 937652224 15903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31700] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31700/stat : 31700 (java) S 31695 31697 30860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31701] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31701/stat : 31701 (java) S 31695 31697 30860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31702] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31702/stat : 31702 (java) S 31695 31697 30860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156858826 937652224 15903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31703] ppid=31695 vsize=915676 CPUtime=0.3
/proc/31697/task/31703/stat : 31703 (java) S 31695 31697 30860 0 -1 64 481 0 0 0 29 1 0 0 16 0 8 0 156858826 937652224 15903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31704] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31704/stat : 31704 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156858826 937652224 15903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31705] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31705/stat : 31705 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156858826 937652224 15903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915676
[startup+6.27355 s]
/proc/loadavg: 1.96 1.97 1.91 3/100 31705
/proc/meminfo: memFree=1218920/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=915676 CPUtime=6.19
/proc/31697/stat : 31697 (java) R 31695 31697 30860 0 -1 0 16169 0 1 0 609 10 0 0 25 0 8 0 156858818 937652224 15904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073985076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31697/statm: 228919 15904 2513 14 0 215389 0
[pid=31697/tid=31699] ppid=31695 vsize=915676 CPUtime=0.09
/proc/31697/task/31699/stat : 31699 (java) S 31695 31697 30860 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156858823 937652224 15904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31700] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31700/stat : 31700 (java) S 31695 31697 30860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31701] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31701/stat : 31701 (java) S 31695 31697 30860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31702] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31702/stat : 31702 (java) S 31695 31697 30860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156858826 937652224 15904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31703] ppid=31695 vsize=915676 CPUtime=0.31
/proc/31697/task/31703/stat : 31703 (java) S 31695 31697 30860 0 -1 64 483 0 0 0 30 1 0 0 16 0 8 0 156858826 937652224 15904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31704] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31704/stat : 31704 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156858826 937652224 15904 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31705] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31705/stat : 31705 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156858826 937652224 15904 18446744073709551615 134512640 134570532 4294956464 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) 915676
[startup+12.7646 s]
/proc/loadavg: 2.04 1.99 1.91 3/100 31705
/proc/meminfo: memFree=1218920/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=915676 CPUtime=12.62
/proc/31697/stat : 31697 (java) R 31695 31697 30860 0 -1 0 16170 0 1 0 1252 10 0 0 25 0 8 0 156858818 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073987656 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31697/statm: 228919 15905 2513 14 0 215389 0
[pid=31697/tid=31699] ppid=31695 vsize=915676 CPUtime=0.09
/proc/31697/task/31699/stat : 31699 (java) S 31695 31697 30860 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31700] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31700/stat : 31700 (java) S 31695 31697 30860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31701] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31701/stat : 31701 (java) S 31695 31697 30860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31702] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31702/stat : 31702 (java) S 31695 31697 30860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31703] ppid=31695 vsize=915676 CPUtime=0.31
/proc/31697/task/31703/stat : 31703 (java) S 31695 31697 30860 0 -1 64 484 0 0 0 30 1 0 0 16 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31704] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31704/stat : 31704 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31705] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31705/stat : 31705 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915676
[startup+25.6237 s]
/proc/loadavg: 2.04 1.99 1.91 3/100 31705
/proc/meminfo: memFree=1218984/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=915676 CPUtime=25.36
/proc/31697/stat : 31697 (java) R 31695 31697 30860 0 -1 0 16171 0 1 0 2526 10 0 0 25 0 8 0 156858818 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073954944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31697/statm: 228919 15905 2513 14 0 215389 0
[pid=31697/tid=31699] ppid=31695 vsize=915676 CPUtime=0.09
/proc/31697/task/31699/stat : 31699 (java) S 31695 31697 30860 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31700] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31700/stat : 31700 (java) S 31695 31697 30860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31701] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31701/stat : 31701 (java) S 31695 31697 30860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31702] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31702/stat : 31702 (java) S 31695 31697 30860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31703] ppid=31695 vsize=915676 CPUtime=0.31
/proc/31697/task/31703/stat : 31703 (java) S 31695 31697 30860 0 -1 64 484 0 0 0 30 1 0 0 16 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31704] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31704/stat : 31704 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31705] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31705/stat : 31705 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 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) 915676
[startup+51.2568 s]
/proc/loadavg: 2.02 1.99 1.91 3/100 31705
/proc/meminfo: memFree=1219048/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=915676 CPUtime=50.75
/proc/31697/stat : 31697 (java) R 31695 31697 30860 0 -1 0 16171 0 1 0 5065 10 0 0 25 0 8 0 156858818 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073959432 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31697/statm: 228919 15905 2513 14 0 215389 0
[pid=31697/tid=31699] ppid=31695 vsize=915676 CPUtime=0.09
/proc/31697/task/31699/stat : 31699 (java) S 31695 31697 30860 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31700] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31700/stat : 31700 (java) S 31695 31697 30860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31701] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31701/stat : 31701 (java) S 31695 31697 30860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31702] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31702/stat : 31702 (java) S 31695 31697 30860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31703] ppid=31695 vsize=915676 CPUtime=0.31
/proc/31697/task/31703/stat : 31703 (java) S 31695 31697 30860 0 -1 64 484 0 0 0 30 1 0 0 16 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31704] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31704/stat : 31704 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31705] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31705/stat : 31705 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915676
[startup+102.516 s]
/proc/loadavg: 2.01 1.99 1.91 3/100 31705
/proc/meminfo: memFree=1219048/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=915676 CPUtime=101.54
/proc/31697/stat : 31697 (java) R 31695 31697 30860 0 -1 0 16171 0 1 0 10144 10 0 0 25 0 8 0 156858818 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073968897 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31697/statm: 228919 15905 2513 14 0 215389 0
[pid=31697/tid=31699] ppid=31695 vsize=915676 CPUtime=0.09
/proc/31697/task/31699/stat : 31699 (java) S 31695 31697 30860 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31700] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31700/stat : 31700 (java) S 31695 31697 30860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31701] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31701/stat : 31701 (java) S 31695 31697 30860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31702] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31702/stat : 31702 (java) S 31695 31697 30860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31703] ppid=31695 vsize=915676 CPUtime=0.31
/proc/31697/task/31703/stat : 31703 (java) S 31695 31697 30860 0 -1 64 484 0 0 0 30 1 0 0 16 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31704] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31704/stat : 31704 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31705] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31705/stat : 31705 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.54
Current children cumulated vsize (KiB) 915676
[startup+162.619 s]
/proc/loadavg: 2.00 1.99 1.91 3/100 31705
/proc/meminfo: memFree=1218984/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=915676 CPUtime=161.09
/proc/31697/stat : 31697 (java) R 31695 31697 30860 0 -1 0 16171 0 1 0 16098 11 0 0 25 0 8 0 156858818 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074001910 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.78
Current children cumulated vsize (KiB) 915676
[startup+1483.34 s]
/proc/loadavg: 1.96 1.45 1.46 3/100 32535
/proc/meminfo: memFree=1237800/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=915676 CPUtime=1477.75
/proc/31697/stat : 31697 (java) R 31695 31697 30860 0 -1 0 16171 0 1 0 147746 29 0 0 25 0 8 0 156858818 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073985575 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31697/statm: 228919 15905 2513 14 0 215389 0
[pid=31697/tid=31699] ppid=31695 vsize=915676 CPUtime=0.09
/proc/31697/task/31699/stat : 31699 (java) S 31695 31697 30860 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31700] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31700/stat : 31700 (java) S 31695 31697 30860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31701] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31701/stat : 31701 (java) S 31695 31697 30860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31702] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31702/stat : 31702 (java) S 31695 31697 30860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31703] ppid=31695 vsize=915676 CPUtime=0.31
/proc/31697/task/31703/stat : 31703 (java) S 31695 31697 30860 0 -1 64 484 0 0 0 30 1 0 0 16 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31704] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31704/stat : 31704 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31705] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31705/stat : 31705 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.75
Current children cumulated vsize (KiB) 915676
[startup+1543.38 s]
/proc/loadavg: 1.98 1.55 1.49 3/100 32535
/proc/meminfo: memFree=1237544/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=915676 CPUtime=1537.71
/proc/31697/stat : 31697 (java) R 31695 31697 30860 0 -1 0 16171 0 1 0 153742 29 0 0 25 0 8 0 156858818 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956681 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31697/statm: 228919 15905 2513 14 0 215389 0
[pid=31697/tid=31699] ppid=31695 vsize=915676 CPUtime=0.09
/proc/31697/task/31699/stat : 31699 (java) S 31695 31697 30860 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31700] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31700/stat : 31700 (java) S 31695 31697 30860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31701] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31701/stat : 31701 (java) S 31695 31697 30860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31702] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31702/stat : 31702 (java) S 31695 31697 30860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31703] ppid=31695 vsize=915676 CPUtime=0.31
/proc/31697/task/31703/stat : 31703 (java) S 31695 31697 30860 0 -1 64 484 0 0 0 30 1 0 0 16 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31704] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31704/stat : 31704 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31705] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31705/stat : 31705 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.71
Current children cumulated vsize (KiB) 915676
[startup+1603.42 s]
/proc/loadavg: 1.99 1.63 1.52 3/100 32535
/proc/meminfo: memFree=1237288/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=915676 CPUtime=1597.7
/proc/31697/stat : 31697 (java) R 31695 31697 30860 0 -1 0 16171 0 1 0 159741 29 0 0 25 0 8 0 156858818 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073964663 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31697/statm: 228919 15905 2513 14 0 215389 0
[pid=31697/tid=31699] ppid=31695 vsize=915676 CPUtime=0.09
/proc/31697/task/31699/stat : 31699 (java) S 31695 31697 30860 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31700] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31700/stat : 31700 (java) S 31695 31697 30860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31701] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31701/stat : 31701 (java) S 31695 31697 30860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31702] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31702/stat : 31702 (java) S 31695 31697 30860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31703] ppid=31695 vsize=915676 CPUtime=0.31
/proc/31697/task/31703/stat : 31703 (java) S 31695 31697 30860 0 -1 64 484 0 0 0 30 1 0 0 16 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31704] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31704/stat : 31704 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31705] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31705/stat : 31705 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.7
Current children cumulated vsize (KiB) 915676
[startup+1663.46 s]
/proc/loadavg: 1.99 1.69 1.55 3/100 32535
/proc/meminfo: memFree=1237032/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=915676 CPUtime=1657.69
/proc/31697/stat : 31697 (java) R 31695 31697 30860 0 -1 0 16171 0 1 0 165739 30 0 0 25 0 8 0 156858818 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073987656 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31697/statm: 228919 15905 2513 14 0 215389 0
[pid=31697/tid=31699] ppid=31695 vsize=915676 CPUtime=0.09
/proc/31697/task/31699/stat : 31699 (java) S 31695 31697 30860 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31700] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31700/stat : 31700 (java) S 31695 31697 30860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31701] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31701/stat : 31701 (java) S 31695 31697 30860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31702] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31702/stat : 31702 (java) S 31695 31697 30860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31703] ppid=31695 vsize=915676 CPUtime=0.31
/proc/31697/task/31703/stat : 31703 (java) S 31695 31697 30860 0 -1 64 484 0 0 0 30 1 0 0 16 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31704] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31704/stat : 31704 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31705] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31705/stat : 31705 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.69
Current children cumulated vsize (KiB) 915676
[startup+1723.51 s]
/proc/loadavg: 2.03 1.76 1.58 3/100 32535
/proc/meminfo: memFree=1236968/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=915676 CPUtime=1717.65
/proc/31697/stat : 31697 (java) R 31695 31697 30860 0 -1 0 16171 0 1 0 171735 30 0 0 25 0 8 0 156858818 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073959372 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31697/statm: 228919 15905 2513 14 0 215389 0
[pid=31697/tid=31699] ppid=31695 vsize=915676 CPUtime=0.09
/proc/31697/task/31699/stat : 31699 (java) S 31695 31697 30860 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31700] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31700/stat : 31700 (java) S 31695 31697 30860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31701] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31701/stat : 31701 (java) S 31695 31697 30860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31702] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31702/stat : 31702 (java) S 31695 31697 30860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31703] ppid=31695 vsize=915676 CPUtime=0.31
/proc/31697/task/31703/stat : 31703 (java) S 31695 31697 30860 0 -1 64 484 0 0 0 30 1 0 0 16 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31704] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31704/stat : 31704 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31705] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31705/stat : 31705 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.65
Current children cumulated vsize (KiB) 915676
[startup+1783.54 s]
/proc/loadavg: 2.01 1.80 1.60 3/100 32535
/proc/meminfo: memFree=1236904/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=915676 CPUtime=1777.63
/proc/31697/stat : 31697 (java) R 31695 31697 30860 0 -1 0 16171 0 1 0 177733 30 0 0 25 0 8 0 156858818 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073999083 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31697/statm: 228919 15905 2513 14 0 215389 0
[pid=31697/tid=31699] ppid=31695 vsize=915676 CPUtime=0.09
/proc/31697/task/31699/stat : 31699 (java) S 31695 31697 30860 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31700] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31700/stat : 31700 (java) S 31695 31697 30860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31701] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31701/stat : 31701 (java) S 31695 31697 30860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31702] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31702/stat : 31702 (java) S 31695 31697 30860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31703] ppid=31695 vsize=915676 CPUtime=0.31
/proc/31697/task/31703/stat : 31703 (java) S 31695 31697 30860 0 -1 64 484 0 0 0 30 1 0 0 16 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31704] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31704/stat : 31704 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31705] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31705/stat : 31705 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1777.63
Current children cumulated vsize (KiB) 915676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.96 s]
/proc/loadavg: 2.00 1.81 1.61 3/100 32535
/proc/meminfo: memFree=1236840/2055920 swapFree=4192812/4192956
[pid=31697] ppid=31695 vsize=915676 CPUtime=1800.01
/proc/31697/stat : 31697 (java) R 31695 31697 30860 0 -1 0 16171 0 1 0 179971 30 0 0 25 0 8 0 156858818 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073959748 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31697/statm: 228919 15905 2513 14 0 215389 0
[pid=31697/tid=31699] ppid=31695 vsize=915676 CPUtime=0.09
/proc/31697/task/31699/stat : 31699 (java) S 31695 31697 30860 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31700] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31700/stat : 31700 (java) S 31695 31697 30860 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31701] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31701/stat : 31701 (java) S 31695 31697 30860 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156858823 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31702] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31702/stat : 31702 (java) S 31695 31697 30860 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31703] ppid=31695 vsize=915676 CPUtime=0.31
/proc/31697/task/31703/stat : 31703 (java) S 31695 31697 30860 0 -1 64 484 0 0 0 30 1 0 0 16 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31704] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31704/stat : 31704 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31697/tid=31705] ppid=31695 vsize=915676 CPUtime=0
/proc/31697/task/31705/stat : 31705 (java) S 31695 31697 30860 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156858826 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915676
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1806.01
CPU time (s): 1800.06
CPU user time (s): 1799.75
CPU system time (s): 0.316951
CPU usage (%): 99.6709
Max. virtual memory (cumulated for all children) (KiB): 915780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.316951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16189
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= 37834
involuntary context switches= 53851
runsolver used 2.02569 s user time and 5.41518 s system time
The end
Begin job on node3 on Sat Jan 6 11:57:12 UTC 2007
IDJOB= 239137
IDBENCH= 7044
FILE ID= node3/239137-1168084630
PBS_JOBID= 3475883
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-25/qcp-25-264-6_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239137-1168084630/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-239137-1168084630 -o ROOT/results/node3/solver-239137-1168084630 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239137-1168084630/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6134e63841a066b7553ca1992ea71e86
RANDOM SEED= 516686182
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.279
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.279
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: 1273344 kB
Buffers: 66180 kB
Cached: 519028 kB
SwapCached: 0 kB
Active: 179696 kB
Inactive: 507784 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1273344 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2796 kB
Writeback: 0 kB
Mapped: 131304 kB
Slab: 79956 kB
Committed_AS: 4599972 kB
PageTables: 2200 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= 66542 MiB
End job on node3 on Sat Jan 6 12:27:18 UTC 2007