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/215864-1168078695/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.53 nbVariables=1989 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.53 => wckTime=0.224 cpuTime=0.15 mem=9M844
0.53
0.53 predicates being loaded...
5.25
5.25 constraints being loaded...
7.34
7.34 INFO : Stopping converting binary constraints (cpu=6.72, mem = 8M280)
13.32 nbConstraints=97 nbMergedConstraints=96 nbSharedBinaryRepresentations=0 nbEvaluationManagers=69
13.33 nbSharedEvaluationManagers=28 maxDegree=7 maxArity=1989
13.33 => wckTime=13.018 cpuTime=12.43 mem=16M78
13.37
13.37 solver IterativeSystematicSolver being built...
13.82 => wckTime=13.51 cpuTime=12.73 mem=71M719
14.07
14.07 preprocessing
14.07 nbConstraintChecks=56 nbValidityChecks=51 nbPropagations=1989 nbRevisions=51 nbUselessRevisions=51
14.07 nbRemovedValues=0 detectedInconsistency=no
14.07 => wckTime=0.247 cpuTime=0.11 mem=76M531
56.39
56.39 search
56.39 run=0 nbConstraintChecks=2124764 nbValidityChecks=28130 nbPropagations=3732 nbRevisions=15250
56.39 nbUselessRevisions=15113 nbAssignments=1644 nbFailedAssignments=4 nbBacktracks=26 nbVisitedNodes=1651
56.39 nbRestartNogoods=0 mapSize=6 nbInferences=0 nbTooLargeKeys=0
56.39 => wckTime=42.57 cpuTime=42.19 mem=80M826
67.91
67.91 search
67.91 run=1 nbConstraintChecks=2787956 nbValidityChecks=51696 nbPropagations=9082 nbRevisions=42684
67.91 nbUselessRevisions=42322 nbAssignments=3173 nbFailedAssignments=5 nbBacktracks=45 nbVisitedNodes=3181
67.91 nbRestartNogoods=2 mapSize=7 nbInferences=0 nbTooLargeKeys=0
67.91 => wckTime=54.09 cpuTime=53.64 mem=84M262
84.23
84.23 search
84.23 run=2 nbConstraintChecks=4041289 nbValidityChecks=77187 nbPropagations=16117 nbRevisions=83269
84.23 nbUselessRevisions=82541 nbAssignments=4729 nbFailedAssignments=8 nbBacktracks=75 nbVisitedNodes=4741
84.23 nbRestartNogoods=3 mapSize=13 nbInferences=0 nbTooLargeKeys=0
84.24 => wckTime=70.412 cpuTime=69.9 mem=87M697
137.23
137.23 search
137.23 run=3 nbConstraintChecks=11680498 nbValidityChecks=91579 nbPropagations=24643 nbRevisions=131462
137.23 nbUselessRevisions=130036 nbAssignments=5962 nbFailedAssignments=18 nbBacktracks=108 nbVisitedNodes=5986
137.23 nbRestartNogoods=4 mapSize=29 nbInferences=0 nbTooLargeKeys=0
137.23 => wckTime=123.406 cpuTime=122.62 mem=90M274
314.18
314.18 search
314.18 run=4 nbConstraintChecks=29212212 nbValidityChecks=121988 nbPropagations=36075 nbRevisions=196219
314.18 nbUselessRevisions=192510 nbAssignments=7298 nbFailedAssignments=60 nbBacktracks=158 nbVisitedNodes=7364
314.18 nbRestartNogoods=5 mapSize=72 nbInferences=0 nbTooLargeKeys=0
314.18 => wckTime=300.356 cpuTime=299.51 mem=92M851
713.67
713.68 search
713.68 run=5 nbConstraintChecks=53863605 nbValidityChecks=154949 nbPropagations=49712 nbRevisions=278593
713.68 nbUselessRevisions=272133 nbAssignments=9053 nbFailedAssignments=83 nbBacktracks=235 nbVisitedNodes=9143
713.68 nbRestartNogoods=6 mapSize=99 nbInferences=0 nbTooLargeKeys=0
713.68 => wckTime=699.852 cpuTime=698.9 mem=97M146
1088.61
1088.61 search
1088.61 run=6 nbConstraintChecks=113820179 nbValidityChecks=168402 nbPropagations=65467 nbRevisions=368471
1088.61 nbUselessRevisions=356135 nbAssignments=9972 nbFailedAssignments=293 nbBacktracks=348 nbVisitedNodes=10272
1088.61 nbRestartNogoods=8 mapSize=207 nbInferences=0 nbTooLargeKeys=0
1088.61 => wckTime=1074.789 cpuTime=1073.73 mem=98M5
1362.36
1362.36 search
1362.36 run=7 nbConstraintChecks=132068835 nbValidityChecks=214662 nbPropagations=84077 nbRevisions=484316
1362.36 nbUselessRevisions=465103 nbAssignments=11942 nbFailedAssignments=312 nbBacktracks=553 nbVisitedNodes=12270
1362.36 nbRestartNogoods=9 mapSize=242 nbInferences=0 nbTooLargeKeys=0
1362.36 => wckTime=1348.538 cpuTime=1347.41 mem=104M17
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-215864-1168078695 -o ROOT/results/node42/solver-215864-1168078695 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215864-1168078695/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.92 0.98 0.99 5/68 24513
/proc/meminfo: memFree=1340936/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=18540 CPUtime=0
/proc/24511/stat : 24511 (runsolver) R 24507 24511 24388 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156268784 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259415141671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/24511/statm: 4635 279 244 17 0 2626 0
[startup+0.102817 s]
/proc/loadavg: 0.92 0.98 0.99 5/68 24513
/proc/meminfo: memFree=1340936/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=913228 CPUtime=0.07
/proc/24511/stat : 24511 (java) R 24507 24511 24388 0 -1 0 2894 0 1 0 6 1 0 0 25 0 8 0 156268784 935145472 2640 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24511/statm: 228307 2640 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913228
[startup+0.514866 s]
/proc/loadavg: 0.92 0.98 0.99 5/68 24513
/proc/meminfo: memFree=1340936/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=915328 CPUtime=0.49
/proc/24511/stat : 24511 (java) R 24507 24511 24388 0 -1 0 6627 0 1 0 45 4 0 0 25 0 8 0 156268784 937295872 6366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24511/statm: 228832 6366 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33596 s]
/proc/loadavg: 0.92 0.98 0.99 4/87 24541
/proc/meminfo: memFree=1219896/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=915328 CPUtime=1.3
/proc/24511/stat : 24511 (java) R 24507 24511 24388 0 -1 0 17210 0 1 0 121 9 0 0 25 0 8 0 156268784 937295872 16946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153626849 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24511/statm: 228832 16946 2153 14 0 215302 0
[pid=24511/tid=24528] ppid=24507 vsize=915328 CPUtime=0.02
/proc/24511/task/24528/stat : 24528 (java) S 24507 24511 24388 0 -1 64 725 0 0 0 2 0 0 0 16 0 8 0 156268789 937295872 16946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24529] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24529/stat : 24529 (java) S 24507 24511 24388 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156268789 937295872 16946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24530] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24530/stat : 24530 (java) S 24507 24511 24388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156268789 937295872 16946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24534] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24534/stat : 24534 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156268792 937295872 16946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24535] ppid=24507 vsize=915328 CPUtime=0.12
/proc/24511/task/24535/stat : 24535 (java) S 24507 24511 24388 0 -1 64 349 0 0 0 12 0 0 0 16 0 8 0 156268792 937295872 16946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24536] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24536/stat : 24536 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156268792 937295872 16946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24537] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24537/stat : 24537 (java) S 24507 24511 24388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156268793 937295872 16946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.97315 s]
/proc/loadavg: 1.01 1.00 1.00 4/87 24541
/proc/meminfo: memFree=1139576/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=915328 CPUtime=2.93
/proc/24511/stat : 24511 (java) R 24507 24511 24388 0 -1 0 17418 0 1 0 284 9 0 0 25 0 8 0 156268784 937295872 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24511/statm: 228832 17149 2153 14 0 215302 0
[pid=24511/tid=24528] ppid=24507 vsize=915328 CPUtime=0.05
/proc/24511/task/24528/stat : 24528 (java) S 24507 24511 24388 0 -1 64 899 0 0 0 5 0 0 0 16 0 8 0 156268789 937295872 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24529] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24529/stat : 24529 (java) S 24507 24511 24388 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156268789 937295872 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24530] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24530/stat : 24530 (java) S 24507 24511 24388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156268789 937295872 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24534] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24534/stat : 24534 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156268792 937295872 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24535] ppid=24507 vsize=915328 CPUtime=0.13
/proc/24511/task/24535/stat : 24535 (java) S 24507 24511 24388 0 -1 64 350 0 0 0 13 0 0 0 16 0 8 0 156268792 937295872 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24536] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24536/stat : 24536 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156268792 937295872 17149 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24537] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24537/stat : 24537 (java) S 24507 24511 24388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156268793 937295872 17149 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) 915328
[startup+6.26651 s]
/proc/loadavg: 1.01 1.00 1.00 3/87 24541
/proc/meminfo: memFree=868416/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=915328 CPUtime=6.21
/proc/24511/stat : 24511 (java) R 24507 24511 24388 0 -1 0 18034 0 1 0 610 11 0 0 25 0 8 0 156268784 937295872 17744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073332702 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24511/statm: 228832 17744 2159 14 0 215302 0
[pid=24511/tid=24528] ppid=24507 vsize=915328 CPUtime=0.15
/proc/24511/task/24528/stat : 24528 (java) S 24507 24511 24388 0 -1 64 1481 0 0 0 14 1 0 0 16 0 8 0 156268789 937295872 17744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24529] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24529/stat : 24529 (java) S 24507 24511 24388 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156268789 937295872 17744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24530] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24530/stat : 24530 (java) S 24507 24511 24388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156268789 937295872 17744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24534] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24534/stat : 24534 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156268792 937295872 17744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24535] ppid=24507 vsize=915328 CPUtime=0.13
/proc/24511/task/24535/stat : 24535 (java) S 24507 24511 24388 0 -1 64 355 0 0 0 13 0 0 0 16 0 8 0 156268792 937295872 17744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24536] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24536/stat : 24536 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156268792 937295872 17744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24537] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24537/stat : 24537 (java) S 24507 24511 24388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156268793 937295872 17744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915328
[startup+12.7492 s]
/proc/loadavg: 1.16 1.03 1.01 3/87 24541
/proc/meminfo: memFree=862784/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=915328 CPUtime=12.66
/proc/24511/stat : 24511 (java) R 24507 24511 24388 0 -1 0 19451 0 1 0 1253 13 0 0 25 0 8 0 156268784 937295872 19114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761479 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24511/statm: 228832 19114 2187 14 0 215302 0
[pid=24511/tid=24528] ppid=24507 vsize=915328 CPUtime=0.35
/proc/24511/task/24528/stat : 24528 (java) S 24507 24511 24388 0 -1 64 2768 0 0 0 33 2 0 0 17 0 8 0 156268789 937295872 19114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24529] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24529/stat : 24529 (java) S 24507 24511 24388 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156268789 937295872 19114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24530] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24530/stat : 24530 (java) S 24507 24511 24388 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156268789 937295872 19114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24534] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24534/stat : 24534 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156268792 937295872 19114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24535] ppid=24507 vsize=915328 CPUtime=0.19
/proc/24511/task/24535/stat : 24535 (java) S 24507 24511 24388 0 -1 64 382 0 0 0 18 1 0 0 16 0 8 0 156268792 937295872 19114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24536] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24536/stat : 24536 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156268792 937295872 19114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24537] ppid=24507 vsize=915328 CPUtime=0
/proc/24511/task/24537/stat : 24537 (java) S 24507 24511 24388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156268793 937295872 19114 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915328
[startup+25.6156 s]
/proc/loadavg: 1.29 1.06 1.02 3/87 24541
/proc/meminfo: memFree=802368/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=915460 CPUtime=25.47
/proc/24511/stat : 24511 (java) R 24507 24511 24388 0 -1 0 34893 0 1 0 2527 20 0 0 25 0 8 0 156268784 937431040 34552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074105120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24511/statm: 228865 34552 2533 14 0 215335 0
[pid=24511/tid=24528] ppid=24507 vsize=915460 CPUtime=0.59
/proc/24511/task/24528/stat : 24528 (java) S 24507 24511 24388 0 -1 64 17703 0 0 0 51 8 0 0 16 0 8 0 156268789 937431040 34552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24529] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24529/stat : 24529 (java) S 24507 24511 24388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156268789 937431040 34552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24530] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24530/stat : 24530 (java) S 24507 24511 24388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156268789 937431040 34552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24534] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24534/stat : 24534 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156268792 937431040 34552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24535] ppid=24507 vsize=915460 CPUtime=0.32
/proc/24511/task/24535/stat : 24535 (java) S 24507 24511 24388 0 -1 64 453 0 0 0 31 1 0 0 16 0 8 0 156268792 937431040 34552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24536] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24536/stat : 24536 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156268792 937431040 34552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24537] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24537/stat : 24537 (java) S 24507 24511 24388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156268793 937431040 34552 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460
[startup+51.3085 s]
/proc/loadavg: 1.53 1.14 1.04 3/87 24541
/proc/meminfo: memFree=761728/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=915460 CPUtime=51.04
/proc/24511/stat : 24511 (java) R 24507 24511 24388 0 -1 0 34896 0 1 0 5083 21 0 0 25 0 8 0 156268784 937431040 34553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074059392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24511/statm: 228865 34553 2533 14 0 215335 0
[pid=24511/tid=24528] ppid=24507 vsize=915460 CPUtime=0.59
/proc/24511/task/24528/stat : 24528 (java) S 24507 24511 24388 0 -1 64 17703 0 0 0 51 8 0 0 16 0 8 0 156268789 937431040 34553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24529] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24529/stat : 24529 (java) S 24507 24511 24388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156268789 937431040 34553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24530] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24530/stat : 24530 (java) S 24507 24511 24388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156268789 937431040 34553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24534] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24534/stat : 24534 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156268792 937431040 34553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24535] ppid=24507 vsize=915460 CPUtime=0.32
/proc/24511/task/24535/stat : 24535 (java) S 24507 24511 24388 0 -1 64 455 0 0 0 31 1 0 0 16 0 8 0 156268792 937431040 34553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24536] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24536/stat : 24536 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156268792 937431040 34553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24537] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24537/stat : 24537 (java) S 24507 24511 24388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156268793 937431040 34553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 915460
[startup+102.588 s]
/proc/loadavg: 1.79 1.27 1.09 3/87 24541
/proc/meminfo: memFree=714368/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=915460 CPUtime=102.09
/proc/24511/stat : 24511 (java) R 24507 24511 24388 0 -1 0 34914 0 1 0 10188 21 0 0 25 0 8 0 156268784 937431040 34567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074105127 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24511/statm: 228865 34567 2536 14 0 215335 0
[pid=24511/tid=24528] ppid=24507 vsize=915460 CPUtime=0.59
/proc/24511/task/24528/stat : 24528 (java) S 24507 24511 24388 0 -1 64 17704 0 0 0 51 8 0 0 16 0 8 0 156268789 937431040 34567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24529] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24529/stat : 24529 (java) S 24507 24511 24388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156268789 937431040 34567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24530] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24530/stat : 24530 (java) S 24507 24511 24388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156268789 937431040 34567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24534] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24534/stat : 24534 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156268792 937431040 34567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24535] ppid=24507 vsize=915460 CPUtime=0.34
/proc/24511/task/24535/stat : 24535 (java) S 24507 24511 24388 0 -1 64 465 0 0 0 33 1 0 0 16 0 8 0 156268792 937431040 34567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24536] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24536/stat : 24536 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156268792 937431040 34567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24537] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24537/stat : 24537 (java) S 24507 24511 24388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156268793 937431040 34567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 915460
[startup+162.592 s]
/proc/loadavg: 1.60 1.32 1.12 2/72 24779
/proc/meminfo: memFree=1220352/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=915460 CPUtime=161.9
/proc/24511/stat : 24511 (java) R 24507 24511 24388 0 -1 0 34914 0 1 0 16165 25 0 0 25 0 8 0 156268784 937431040 34567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074050535 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.32
Current children cumulated vsize (KiB) 915460
[startup+1484.43 s]
/proc/loadavg: 1.03 1.01 1.00 2/72 24779
/proc/meminfo: memFree=1220480/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=915460 CPUtime=1483.39
/proc/24511/stat : 24511 (java) R 24507 24511 24388 0 -1 0 34917 0 1 0 148314 25 0 0 25 0 8 0 156268784 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074059439 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24511/statm: 228865 34569 2536 14 0 215335 0
[pid=24511/tid=24528] ppid=24507 vsize=915460 CPUtime=0.6
/proc/24511/task/24528/stat : 24528 (java) S 24507 24511 24388 0 -1 64 17704 0 0 0 51 9 0 0 16 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24529] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24529/stat : 24529 (java) S 24507 24511 24388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24530] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24530/stat : 24530 (java) S 24507 24511 24388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24534] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24534/stat : 24534 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24535] ppid=24507 vsize=915460 CPUtime=0.35
/proc/24511/task/24535/stat : 24535 (java) S 24507 24511 24388 0 -1 64 467 0 0 0 34 1 0 0 16 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24536] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24536/stat : 24536 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24537] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24537/stat : 24537 (java) S 24507 24511 24388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156268793 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.39
Current children cumulated vsize (KiB) 915460
[startup+1544.51 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 24779
/proc/meminfo: memFree=1220480/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=915460 CPUtime=1543.47
/proc/24511/stat : 24511 (java) R 24507 24511 24388 0 -1 0 34917 0 1 0 154321 26 0 0 25 0 8 0 156268784 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074110624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24511/statm: 228865 34569 2536 14 0 215335 0
[pid=24511/tid=24528] ppid=24507 vsize=915460 CPUtime=0.6
/proc/24511/task/24528/stat : 24528 (java) S 24507 24511 24388 0 -1 64 17704 0 0 0 51 9 0 0 16 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24529] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24529/stat : 24529 (java) S 24507 24511 24388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24530] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24530/stat : 24530 (java) S 24507 24511 24388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24534] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24534/stat : 24534 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24535] ppid=24507 vsize=915460 CPUtime=0.35
/proc/24511/task/24535/stat : 24535 (java) S 24507 24511 24388 0 -1 64 467 0 0 0 34 1 0 0 16 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24536] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24536/stat : 24536 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24537] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24537/stat : 24537 (java) S 24507 24511 24388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156268793 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.47
Current children cumulated vsize (KiB) 915460
[startup+1604.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 24779
/proc/meminfo: memFree=1220480/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=915460 CPUtime=1603.53
/proc/24511/stat : 24511 (java) R 24507 24511 24388 0 -1 0 34917 0 1 0 160327 26 0 0 25 0 8 0 156268784 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074059493 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24511/statm: 228865 34569 2536 14 0 215335 0
[pid=24511/tid=24528] ppid=24507 vsize=915460 CPUtime=0.6
/proc/24511/task/24528/stat : 24528 (java) S 24507 24511 24388 0 -1 64 17704 0 0 0 51 9 0 0 16 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24529] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24529/stat : 24529 (java) S 24507 24511 24388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24530] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24530/stat : 24530 (java) S 24507 24511 24388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24534] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24534/stat : 24534 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24535] ppid=24507 vsize=915460 CPUtime=0.35
/proc/24511/task/24535/stat : 24535 (java) S 24507 24511 24388 0 -1 64 467 0 0 0 34 1 0 0 16 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24536] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24536/stat : 24536 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24537] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24537/stat : 24537 (java) S 24507 24511 24388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156268793 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.53
Current children cumulated vsize (KiB) 915460
[startup+1664.68 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 24779
/proc/meminfo: memFree=1220480/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=915460 CPUtime=1663.6
/proc/24511/stat : 24511 (java) R 24507 24511 24388 0 -1 0 34917 0 1 0 166334 26 0 0 25 0 8 0 156268784 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074105127 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24511/statm: 228865 34569 2536 14 0 215335 0
[pid=24511/tid=24528] ppid=24507 vsize=915460 CPUtime=0.6
/proc/24511/task/24528/stat : 24528 (java) S 24507 24511 24388 0 -1 64 17704 0 0 0 51 9 0 0 16 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24529] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24529/stat : 24529 (java) S 24507 24511 24388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24530] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24530/stat : 24530 (java) S 24507 24511 24388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24534] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24534/stat : 24534 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24535] ppid=24507 vsize=915460 CPUtime=0.35
/proc/24511/task/24535/stat : 24535 (java) S 24507 24511 24388 0 -1 64 467 0 0 0 34 1 0 0 16 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24536] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24536/stat : 24536 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24537] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24537/stat : 24537 (java) S 24507 24511 24388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156268793 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.6
Current children cumulated vsize (KiB) 915460
[startup+1724.76 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 24779
/proc/meminfo: memFree=1220416/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=915460 CPUtime=1723.67
/proc/24511/stat : 24511 (java) R 24507 24511 24388 0 -1 0 34917 0 1 0 172341 26 0 0 25 0 8 0 156268784 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24511/statm: 228865 34569 2536 14 0 215335 0
[pid=24511/tid=24528] ppid=24507 vsize=915460 CPUtime=0.6
/proc/24511/task/24528/stat : 24528 (java) S 24507 24511 24388 0 -1 64 17704 0 0 0 51 9 0 0 16 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24529] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24529/stat : 24529 (java) S 24507 24511 24388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24530] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24530/stat : 24530 (java) S 24507 24511 24388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24534] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24534/stat : 24534 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24535] ppid=24507 vsize=915460 CPUtime=0.35
/proc/24511/task/24535/stat : 24535 (java) S 24507 24511 24388 0 -1 64 467 0 0 0 34 1 0 0 16 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24536] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24536/stat : 24536 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24537] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24537/stat : 24537 (java) S 24507 24511 24388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156268793 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723.67
Current children cumulated vsize (KiB) 915460
[startup+1784.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 24779
/proc/meminfo: memFree=1220416/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=915460 CPUtime=1783.73
/proc/24511/stat : 24511 (java) R 24507 24511 24388 0 -1 0 34917 0 1 0 178347 26 0 0 25 0 8 0 156268784 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074059382 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24511/statm: 228865 34569 2536 14 0 215335 0
[pid=24511/tid=24528] ppid=24507 vsize=915460 CPUtime=0.6
/proc/24511/task/24528/stat : 24528 (java) S 24507 24511 24388 0 -1 64 17704 0 0 0 51 9 0 0 16 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24529] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24529/stat : 24529 (java) S 24507 24511 24388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24530] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24530/stat : 24530 (java) S 24507 24511 24388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156268789 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24534] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24534/stat : 24534 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24535] ppid=24507 vsize=915460 CPUtime=0.35
/proc/24511/task/24535/stat : 24535 (java) S 24507 24511 24388 0 -1 64 467 0 0 0 34 1 0 0 16 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24536] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24536/stat : 24536 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156268792 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24537] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24537/stat : 24537 (java) S 24507 24511 24388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156268793 937431040 34569 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.73
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 24779
/proc/meminfo: memFree=1220416/2055920 swapFree=4191892/4192956
[pid=24511] ppid=24507 vsize=915460 CPUtime=1800.07
/proc/24511/stat : 24511 (java) R 24507 24511 24388 0 -1 0 34919 0 1 0 179981 26 0 0 25 0 8 0 156268784 937431040 34570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24511/statm: 228865 34570 2536 14 0 215335 0
[pid=24511/tid=24528] ppid=24507 vsize=915460 CPUtime=0.6
/proc/24511/task/24528/stat : 24528 (java) S 24507 24511 24388 0 -1 64 17704 0 0 0 51 9 0 0 16 0 8 0 156268789 937431040 34570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24529] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24529/stat : 24529 (java) S 24507 24511 24388 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156268789 937431040 34570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24530] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24530/stat : 24530 (java) S 24507 24511 24388 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156268789 937431040 34570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24534] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24534/stat : 24534 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 156268792 937431040 34570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24535] ppid=24507 vsize=915460 CPUtime=0.35
/proc/24511/task/24535/stat : 24535 (java) S 24507 24511 24388 0 -1 64 468 0 0 0 34 1 0 0 16 0 8 0 156268792 937431040 34570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24536] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24536/stat : 24536 (java) S 24507 24511 24388 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156268792 937431040 34570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24511/tid=24537] ppid=24507 vsize=915460 CPUtime=0
/proc/24511/task/24537/stat : 24537 (java) S 24507 24511 24388 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156268793 937431040 34570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.25
CPU time (s): 1800.14
CPU user time (s): 1799.86
CPU system time (s): 0.280957
CPU usage (%): 99.9383
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.280957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34935
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= 38545
involuntary context switches= 9301
runsolver used 1.67175 s user time and 4.73628 s system time
The end
Begin job on node42 on Sat Jan 6 10:18:16 UTC 2007
IDJOB= 215864
IDBENCH= 5034
FILE ID= node42/215864-1168078695
PBS_JOBID= 3476124
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mps/mps-l152lav.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215864-1168078695/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-215864-1168078695 -o ROOT/results/node42/solver-215864-1168078695 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215864-1168078695/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8577ceaffb8bf2b1fdeffb19780d794f
RANDOM SEED= 691120577
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.229
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.229
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1343080 kB
Buffers: 50168 kB
Cached: 568500 kB
SwapCached: 268 kB
Active: 110888 kB
Inactive: 527232 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1343080 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 4748 kB
Writeback: 0 kB
Mapped: 28472 kB
Slab: 60472 kB
Committed_AS: 2683892 kB
PageTables: 1652 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 node42 on Sat Jan 6 10:48:18 UTC 2007