runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456222-1307226657/watcher-3456222-1307226657 -o /tmp/evaluation-result-3456222-1307226657/solver-3456222-1307226657 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456222-1307226657.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 19459
/proc/meminfo: memFree=21110456/32950928 swapFree=67056580/67111528
[pid=19459] ppid=19456 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/19459/stat : 19459 (java) S 19456 19459 18279 0 -1 4202496 5779 0 1 0 0 0 0 0 25 0 2 0 834262806 10694979584 5480 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/19459/statm: 2611079 5494 917 9 0 2602235 0
[pid=19459/tid=19460] ppid=19456 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19460/stat : 19460 (java) R 19456 19459 18279 0 -1 4202560 6635 0 1 0 0 0 0 0 25 0 2 0 834262807 10694979584 7451 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0662369 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 19459
/proc/meminfo: memFree=21110456/32950928 swapFree=67056580/67111528
[pid=19459] ppid=19456 vsize=10472952 CPUtime=0.05 cores=0,2,4,6
/proc/19459/stat : 19459 (java) S 19456 19459 18279 0 -1 4202496 11716 0 1 0 4 1 0 0 25 0 18 0 834262806 10724302848 11412 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19459/statm: 2618238 11413 1740 9 0 2608972 0
[pid=19459/tid=19460] ppid=19456 vsize=10472952 CPUtime=0.04 cores=0,2,4,6
/proc/19459/task/19460/stat : 19460 (java) R 19456 19459 18279 0 -1 4202560 10542 0 1 0 3 1 0 0 25 0 18 0 834262807 10724302848 11413 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488521675 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.100306 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 19459
/proc/meminfo: memFree=21110456/32950928 swapFree=67056580/67111528
[pid=19459] ppid=19456 vsize=10540168 CPUtime=0.1 cores=0,2,4,6
/proc/19459/stat : 19459 (java) S 19456 19459 18279 0 -1 4202496 13081 0 1 0 8 2 0 0 25 0 18 0 834262806 10793132032 12752 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19459/statm: 2635042 12752 2092 9 0 2625776 0
[pid=19459/tid=19460] ppid=19456 vsize=10540168 CPUtime=0.07 cores=0,2,4,6
/proc/19459/task/19460/stat : 19460 (java) R 19456 19459 18279 0 -1 4202560 11148 0 1 0 6 1 0 0 18 0 18 0 834262807 10793132032 12753 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239476356129 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540168
[startup+0.316087 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 19459
/proc/meminfo: memFree=21110456/32950928 swapFree=67056580/67111528
[pid=19459] ppid=19456 vsize=10543776 CPUtime=0.52 cores=0,2,4,6
/proc/19459/stat : 19459 (java) S 19456 19459 18279 0 -1 4202496 16594 0 1 0 50 2 0 0 25 0 18 0 834262806 10796826624 15758 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19459/statm: 2635944 15759 2222 9 0 2626678 0
[pid=19459/tid=19460] ppid=19456 vsize=10543776 CPUtime=0.29 cores=0,2,4,6
/proc/19459/task/19460/stat : 19460 (java) R 19456 19459 18279 0 -1 4202560 13009 0 1 0 27 2 0 0 18 0 18 0 834262807 10796826624 15759 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 46912505570876 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10543776
[startup+0.708166 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 19459
/proc/meminfo: memFree=21110456/32950928 swapFree=67056580/67111528
[pid=19459] ppid=19456 vsize=10555192 CPUtime=1.67 cores=0,2,4,6
/proc/19459/stat : 19459 (java) S 19456 19459 18279 0 -1 4202496 30872 0 1 0 162 5 0 0 25 0 19 0 834262806 10808516608 27044 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19459/statm: 2638798 27051 2233 9 0 2629532 0
[pid=19459/tid=19460] ppid=19456 vsize=10555192 CPUtime=0.68 cores=0,2,4,6
/proc/19459/task/19460/stat : 19460 (java) R 19456 19459 18279 0 -1 4202560 18753 0 1 0 65 3 0 0 18 0 19 0 834262807 10808516608 27051 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 46912505616222 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 10555192
[startup+1.50102 s]
/proc/loadavg: 2.16 2.06 2.01 4/591 19482
/proc/meminfo: memFree=20893216/32950928 swapFree=67056580/67111528
[pid=19459] ppid=19456 vsize=10551596 CPUtime=2.95 cores=0,2,4,6
/proc/19459/stat : 19459 (java) S 19456 19459 18279 0 -1 4202496 80124 0 1 0 283 12 0 0 25 0 19 0 834262806 10804834304 75328 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19459/statm: 2637899 75330 2239 9 0 2628633 0
[pid=19459/tid=19460] ppid=19456 vsize=10551596 CPUtime=1.47 cores=0,2,4,6
/proc/19459/task/19460/stat : 19460 (java) R 19456 19459 18279 0 -1 4202560 67747 0 1 0 138 9 0 0 18 0 19 0 834262807 10804834304 75331 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 46912505842387 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19459/tid=19463] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19463/stat : 19463 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 75332 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19464] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19464/stat : 19464 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 75333 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19466] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19466/stat : 19466 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 75334 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19467] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19467/stat : 19467 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 75335 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19469] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19469/stat : 19469 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 75336 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19470] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19470/stat : 19470 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 75337 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19471] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19471/stat : 19471 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 75339 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19472] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19472/stat : 19472 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 75340 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19473] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19473/stat : 19473 (java) S 19456 19459 18279 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834262810 10804834304 75341 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 0 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19474] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19474/stat : 19474 (java) S 19456 19459 18279 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834262810 10804834304 75342 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19475] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19475/stat : 19475 (java) S 19456 19459 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834262810 10804834304 75343 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19476] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19476/stat : 19476 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262812 10804834304 75344 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488518577 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19478] ppid=19456 vsize=10551596 CPUtime=0.74 cores=0,2,4,6
/proc/19459/task/19478/stat : 19478 (java) S 19456 19459 18279 0 -1 4202560 3811 0 0 0 74 0 0 0 22 0 19 0 834262812 10804834304 75346 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19479] ppid=19456 vsize=10551596 CPUtime=0.71 cores=0,2,4,6
/proc/19459/task/19479/stat : 19479 (java) S 19456 19459 18279 0 -1 4202560 7408 0 0 0 70 1 0 0 15 0 19 0 834262813 10804834304 75347 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19480] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19480/stat : 19480 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262813 10804834304 75348 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19481] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19481/stat : 19481 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834262813 10804834304 75350 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 4 0 16800975 18446604451677641408 0 0 -1 2 0 0 0
[pid=19459/tid=19482] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19482/stat : 19482 (java) S 19456 19459 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834262862 10804834304 75351 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 4 0 16800975 18446604451677641408 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 10551596
[startup+3.10471 s]
/proc/loadavg: 2.16 2.06 2.01 3/591 19482
/proc/meminfo: memFree=20634676/32950928 swapFree=67056580/67111528
[pid=19459] ppid=19456 vsize=10551596 CPUtime=4.79 cores=0,2,4,6
/proc/19459/stat : 19459 (java) S 19456 19459 18279 0 -1 4202496 168122 0 1 0 457 22 0 0 25 0 19 0 834262806 10804834304 163324 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19459/statm: 2637899 163325 2239 9 0 2628633 0
[pid=19459/tid=19460] ppid=19456 vsize=10551596 CPUtime=3.07 cores=0,2,4,6
/proc/19459/task/19460/stat : 19460 (java) R 19456 19459 18279 0 -1 4202560 155714 0 1 0 288 19 0 0 19 0 19 0 834262807 10804834304 163325 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 46912505842368 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19459/tid=19463] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19463/stat : 19463 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 163326 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19464] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19464/stat : 19464 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 163327 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19466] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19466/stat : 19466 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 163328 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19467] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19467/stat : 19467 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 163328 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19469] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19469/stat : 19469 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 163329 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19470] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19470/stat : 19470 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 163330 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19471] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19471/stat : 19471 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 163331 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19472] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19472/stat : 19472 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 163333 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19473] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19473/stat : 19473 (java) S 19456 19459 18279 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834262810 10804834304 163333 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 0 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19474] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19474/stat : 19474 (java) S 19456 19459 18279 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834262810 10804834304 163334 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19475] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19475/stat : 19475 (java) S 19456 19459 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834262810 10804834304 163335 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19476] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19476/stat : 19476 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262812 10804834304 163336 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488518577 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19478] ppid=19456 vsize=10551596 CPUtime=0.95 cores=0,2,4,6
/proc/19459/task/19478/stat : 19478 (java) S 19456 19459 18279 0 -1 4202560 3837 0 0 0 95 0 0 0 15 0 19 0 834262812 10804834304 163337 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19479] ppid=19456 vsize=10551596 CPUtime=0.73 cores=0,2,4,6
/proc/19459/task/19479/stat : 19479 (java) S 19456 19459 18279 0 -1 4202560 7411 0 0 0 72 1 0 0 15 0 19 0 834262813 10804834304 163338 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19480] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19480/stat : 19480 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262813 10804834304 163339 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19481] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19481/stat : 19481 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834262813 10804834304 163340 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 4 0 16800975 18446604451677641408 0 0 -1 2 0 0 0
[pid=19459/tid=19482] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19482/stat : 19482 (java) S 19456 19459 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834262862 10804834304 163341 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 4 0 16800975 18446604451677641408 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 10551596
[startup+6.3011 s]
/proc/loadavg: 2.15 2.06 2.01 3/591 19483
/proc/meminfo: memFree=20177116/32950928 swapFree=67056580/67111528
[pid=19459] ppid=19456 vsize=10551596 CPUtime=7.99 cores=0,2,4,6
/proc/19459/stat : 19459 (java) S 19456 19459 18279 0 -1 4202496 262381 0 1 0 767 32 0 0 25 0 19 0 834262806 10804834304 257460 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19459/statm: 2637899 257461 2240 9 0 2628633 0
[pid=19459/tid=19460] ppid=19456 vsize=10551596 CPUtime=6.27 cores=0,2,4,6
/proc/19459/task/19460/stat : 19460 (java) R 19456 19459 18279 0 -1 4202560 249973 0 1 0 598 29 0 0 25 0 19 0 834262807 10804834304 257462 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 46912505603114 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=19459/tid=19463] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19463/stat : 19463 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 257463 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19464] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19464/stat : 19464 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 257463 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19466] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19466/stat : 19466 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 257464 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19467] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19467/stat : 19467 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 257465 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19469] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19469/stat : 19469 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 257465 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19470] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19470/stat : 19470 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 257466 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19471] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19471/stat : 19471 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 257467 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19472] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19472/stat : 19472 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262809 10804834304 257468 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19473] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19473/stat : 19473 (java) S 19456 19459 18279 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834262810 10804834304 257469 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 0 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19474] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19474/stat : 19474 (java) S 19456 19459 18279 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834262810 10804834304 257470 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19475] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19475/stat : 19475 (java) S 19456 19459 18279 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834262810 10804834304 257472 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19476] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19476/stat : 19476 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262812 10804834304 257472 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488518577 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19478] ppid=19456 vsize=10551596 CPUtime=0.96 cores=0,2,4,6
/proc/19459/task/19478/stat : 19478 (java) S 19456 19459 18279 0 -1 4202560 3837 0 0 0 96 0 0 0 16 0 19 0 834262812 10804834304 257473 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19479] ppid=19456 vsize=10551596 CPUtime=0.73 cores=0,2,4,6
/proc/19459/task/19479/stat : 19479 (java) S 19456 19459 18279 0 -1 4202560 7411 0 0 0 72 1 0 0 15 0 19 0 834262813 10804834304 257474 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
################
# More data... #
################
/proc/19459/task/19474/stat : 19474 (java) S 19456 19459 18279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834262810 10804834304 924400 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19475] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19475/stat : 19475 (java) S 19456 19459 18279 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834262810 10804834304 924400 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19476] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19476/stat : 19476 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262812 10804834304 924400 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488518577 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19478] ppid=19456 vsize=10551596 CPUtime=1.08 cores=0,2,4,6
/proc/19459/task/19478/stat : 19478 (java) S 19456 19459 18279 0 -1 4202560 3846 0 0 0 108 0 0 0 15 0 19 0 834262812 10804834304 924400 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19479] ppid=19456 vsize=10551596 CPUtime=0.95 cores=0,2,4,6
/proc/19459/task/19479/stat : 19479 (java) S 19456 19459 18279 0 -1 4202560 7436 0 0 0 94 1 0 0 15 0 19 0 834262813 10804834304 924400 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19480] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19480/stat : 19480 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262813 10804834304 924400 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19481] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19481/stat : 19481 (java) S 19456 19459 18279 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 834262813 10804834304 924400 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 4 0 16800975 18446604451677641408 0 0 -1 2 0 0 0
[pid=19459/tid=19482] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19482/stat : 19482 (java) S 19456 19459 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834262862 10804834304 924400 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 4 0 16800975 18446604451677641408 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1666.06
Current children cumulated vsize (KiB) 10551596
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/591 19586
/proc/meminfo: memFree=17394688/32950928 swapFree=67056580/67111528
[pid=19459] ppid=19456 vsize=10551596 CPUtime=1726.06 cores=0,2,4,6
/proc/19459/stat : 19459 (java) S 19456 19459 18279 0 -1 4202496 931550 0 1 0 172494 112 0 0 25 0 19 0 834262806 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19459/statm: 2637899 924500 2254 9 0 2628633 0
[pid=19459/tid=19460] ppid=19456 vsize=10551596 CPUtime=1721.39 cores=0,2,4,6
/proc/19459/task/19460/stat : 19460 (java) R 19456 19459 18279 0 -1 4202560 827790 0 1 0 172046 93 0 0 25 0 19 0 834262807 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 46912505868918 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19459/tid=19463] ppid=19456 vsize=10551596 CPUtime=0.29 cores=0,2,4,6
/proc/19459/task/19463/stat : 19463 (java) S 19456 19459 18279 0 -1 4202560 12509 0 0 0 27 2 0 0 15 0 19 0 834262809 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19464] ppid=19456 vsize=10551596 CPUtime=0.32 cores=0,2,4,6
/proc/19459/task/19464/stat : 19464 (java) S 19456 19459 18279 0 -1 4202560 10348 0 0 0 30 2 0 0 15 0 19 0 834262809 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19466] ppid=19456 vsize=10551596 CPUtime=0.32 cores=0,2,4,6
/proc/19459/task/19466/stat : 19466 (java) S 19456 19459 18279 0 -1 4202560 10284 0 0 0 31 1 0 0 15 0 19 0 834262809 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19467] ppid=19456 vsize=10551596 CPUtime=0.32 cores=0,2,4,6
/proc/19459/task/19467/stat : 19467 (java) S 19456 19459 18279 0 -1 4202560 10008 0 0 0 31 1 0 0 16 0 19 0 834262809 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19469] ppid=19456 vsize=10551596 CPUtime=0.33 cores=0,2,4,6
/proc/19459/task/19469/stat : 19469 (java) S 19456 19459 18279 0 -1 4202560 11112 0 0 0 31 2 0 0 15 0 19 0 834262809 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19470] ppid=19456 vsize=10551596 CPUtime=0.22 cores=0,2,4,6
/proc/19459/task/19470/stat : 19470 (java) S 19456 19459 18279 0 -1 4202560 10238 0 0 0 21 1 0 0 15 0 19 0 834262809 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19471] ppid=19456 vsize=10551596 CPUtime=0.37 cores=0,2,4,6
/proc/19459/task/19471/stat : 19471 (java) S 19456 19459 18279 0 -1 4202560 12758 0 0 0 36 1 0 0 16 0 19 0 834262809 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 2 0 0 0
[pid=19459/tid=19472] ppid=19456 vsize=10551596 CPUtime=0.34 cores=0,2,4,6
/proc/19459/task/19472/stat : 19472 (java) S 19456 19459 18279 0 -1 4202560 13865 0 0 0 32 2 0 0 15 0 19 0 834262809 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19473] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19473/stat : 19473 (java) S 19456 19459 18279 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834262810 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 0 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19474] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19474/stat : 19474 (java) S 19456 19459 18279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834262810 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19475] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19475/stat : 19475 (java) S 19456 19459 18279 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834262810 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19476] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19476/stat : 19476 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262812 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488518577 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19478] ppid=19456 vsize=10551596 CPUtime=1.08 cores=0,2,4,6
/proc/19459/task/19478/stat : 19478 (java) S 19456 19459 18279 0 -1 4202560 3846 0 0 0 108 0 0 0 15 0 19 0 834262812 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19479] ppid=19456 vsize=10551596 CPUtime=0.95 cores=0,2,4,6
/proc/19459/task/19479/stat : 19479 (java) S 19456 19459 18279 0 -1 4202560 7436 0 0 0 94 1 0 0 15 0 19 0 834262813 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19480] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19480/stat : 19480 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262813 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19481] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19481/stat : 19481 (java) S 19456 19459 18279 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 834262813 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 4 0 16800975 18446604451677641408 0 0 -1 2 0 0 0
[pid=19459/tid=19482] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19482/stat : 19482 (java) S 19456 19459 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834262862 10804834304 924500 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 4 0 16800975 18446604451677641408 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1726.06
Current children cumulated vsize (KiB) 10551596
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/591 19588
/proc/meminfo: memFree=17388224/32950928 swapFree=67056580/67111528
[pid=19459] ppid=19456 vsize=10551596 CPUtime=1786.11 cores=0,2,4,6
/proc/19459/stat : 19459 (java) S 19456 19459 18279 0 -1 4202496 931725 0 1 0 178499 112 0 0 25 0 19 0 834262806 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19459/statm: 2637899 924662 2254 9 0 2628633 0
[pid=19459/tid=19460] ppid=19456 vsize=10551596 CPUtime=1781.37 cores=0,2,4,6
/proc/19459/task/19460/stat : 19460 (java) R 19456 19459 18279 0 -1 4202560 827792 0 1 0 178044 93 0 0 25 0 19 0 834262807 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 46912505868927 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19459/tid=19463] ppid=19456 vsize=10551596 CPUtime=0.3 cores=0,2,4,6
/proc/19459/task/19463/stat : 19463 (java) S 19456 19459 18279 0 -1 4202560 12530 0 0 0 28 2 0 0 16 0 19 0 834262809 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19464] ppid=19456 vsize=10551596 CPUtime=0.35 cores=0,2,4,6
/proc/19459/task/19464/stat : 19464 (java) S 19456 19459 18279 0 -1 4202560 10412 0 0 0 33 2 0 0 16 0 19 0 834262809 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19466] ppid=19456 vsize=10551596 CPUtime=0.32 cores=0,2,4,6
/proc/19459/task/19466/stat : 19466 (java) S 19456 19459 18279 0 -1 4202560 10284 0 0 0 31 1 0 0 15 0 19 0 834262809 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19467] ppid=19456 vsize=10551596 CPUtime=0.32 cores=0,2,4,6
/proc/19459/task/19467/stat : 19467 (java) S 19456 19459 18279 0 -1 4202560 10008 0 0 0 31 1 0 0 15 0 19 0 834262809 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19469] ppid=19456 vsize=10551596 CPUtime=0.35 cores=0,2,4,6
/proc/19459/task/19469/stat : 19469 (java) S 19456 19459 18279 0 -1 4202560 11151 0 0 0 33 2 0 0 16 0 19 0 834262809 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 2 0 0 0
[pid=19459/tid=19470] ppid=19456 vsize=10551596 CPUtime=0.23 cores=0,2,4,6
/proc/19459/task/19470/stat : 19470 (java) S 19456 19459 18279 0 -1 4202560 10281 0 0 0 22 1 0 0 16 0 19 0 834262809 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19471] ppid=19456 vsize=10551596 CPUtime=0.37 cores=0,2,4,6
/proc/19459/task/19471/stat : 19471 (java) S 19456 19459 18279 0 -1 4202560 12758 0 0 0 36 1 0 0 15 0 19 0 834262809 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 2 0 0 0
[pid=19459/tid=19472] ppid=19456 vsize=10551596 CPUtime=0.34 cores=0,2,4,6
/proc/19459/task/19472/stat : 19472 (java) S 19456 19459 18279 0 -1 4202560 13865 0 0 0 32 2 0 0 15 0 19 0 834262809 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19473] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19473/stat : 19473 (java) S 19456 19459 18279 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 834262810 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 0 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19474] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19474/stat : 19474 (java) S 19456 19459 18279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834262810 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19475] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19475/stat : 19475 (java) S 19456 19459 18279 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834262810 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19476] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19476/stat : 19476 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262812 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488518577 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19478] ppid=19456 vsize=10551596 CPUtime=1.08 cores=0,2,4,6
/proc/19459/task/19478/stat : 19478 (java) S 19456 19459 18279 0 -1 4202560 3846 0 0 0 108 0 0 0 15 0 19 0 834262812 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19479] ppid=19456 vsize=10551596 CPUtime=0.95 cores=0,2,4,6
/proc/19459/task/19479/stat : 19479 (java) S 19456 19459 18279 0 -1 4202560 7436 0 0 0 94 1 0 0 15 0 19 0 834262813 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19480] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19480/stat : 19480 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262813 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19481] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19481/stat : 19481 (java) S 19456 19459 18279 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 834262813 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 4 0 16800975 18446604451677641408 0 0 -1 2 0 0 0
[pid=19459/tid=19482] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19482/stat : 19482 (java) S 19456 19459 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834262862 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 4 0 16800975 18446604451677641408 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1786.11
Current children cumulated vsize (KiB) 10551596
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.2 s]
/proc/loadavg: 2.00 2.02 2.00 8/591 19588
/proc/meminfo: memFree=17386844/32950928 swapFree=67056580/67111528
[pid=19459] ppid=19456 vsize=10551596 CPUtime=1800.03 cores=0,2,4,6
/proc/19459/stat : 19459 (java) S 19456 19459 18279 0 -1 4202496 931727 0 1 0 179891 112 0 0 25 0 19 0 834262806 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19459/statm: 2637899 924662 2254 9 0 2628633 0
[pid=19459/tid=19460] ppid=19456 vsize=10551596 CPUtime=1795.29 cores=0,2,4,6
/proc/19459/task/19460/stat : 19460 (java) R 19456 19459 18279 0 -1 4202560 827792 0 1 0 179436 93 0 0 25 0 19 0 834262807 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 46912505869582 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=19459/tid=19463] ppid=19456 vsize=10551596 CPUtime=0.3 cores=0,2,4,6
/proc/19459/task/19463/stat : 19463 (java) S 19456 19459 18279 0 -1 4202560 12530 0 0 0 28 2 0 0 16 0 19 0 834262809 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19464] ppid=19456 vsize=10551596 CPUtime=0.35 cores=0,2,4,6
/proc/19459/task/19464/stat : 19464 (java) S 19456 19459 18279 0 -1 4202560 10412 0 0 0 33 2 0 0 16 0 19 0 834262809 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19466] ppid=19456 vsize=10551596 CPUtime=0.32 cores=0,2,4,6
/proc/19459/task/19466/stat : 19466 (java) S 19456 19459 18279 0 -1 4202560 10284 0 0 0 31 1 0 0 15 0 19 0 834262809 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19467] ppid=19456 vsize=10551596 CPUtime=0.32 cores=0,2,4,6
/proc/19459/task/19467/stat : 19467 (java) S 19456 19459 18279 0 -1 4202560 10008 0 0 0 31 1 0 0 15 0 19 0 834262809 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19469] ppid=19456 vsize=10551596 CPUtime=0.35 cores=0,2,4,6
/proc/19459/task/19469/stat : 19469 (java) S 19456 19459 18279 0 -1 4202560 11151 0 0 0 33 2 0 0 16 0 19 0 834262809 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 2 0 0 0
[pid=19459/tid=19470] ppid=19456 vsize=10551596 CPUtime=0.23 cores=0,2,4,6
/proc/19459/task/19470/stat : 19470 (java) S 19456 19459 18279 0 -1 4202560 10281 0 0 0 22 1 0 0 16 0 19 0 834262809 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19471] ppid=19456 vsize=10551596 CPUtime=0.37 cores=0,2,4,6
/proc/19459/task/19471/stat : 19471 (java) S 19456 19459 18279 0 -1 4202560 12758 0 0 0 36 1 0 0 15 0 19 0 834262809 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 2 0 0 0
[pid=19459/tid=19472] ppid=19456 vsize=10551596 CPUtime=0.34 cores=0,2,4,6
/proc/19459/task/19472/stat : 19472 (java) S 19456 19459 18279 0 -1 4202560 13865 0 0 0 32 2 0 0 15 0 19 0 834262809 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19473] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19473/stat : 19473 (java) S 19456 19459 18279 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 834262810 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 0 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19474] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19474/stat : 19474 (java) S 19456 19459 18279 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 834262810 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19475] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19475/stat : 19475 (java) S 19456 19459 18279 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 834262810 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19476] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19476/stat : 19476 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262812 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488518577 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19478] ppid=19456 vsize=10551596 CPUtime=1.08 cores=0,2,4,6
/proc/19459/task/19478/stat : 19478 (java) S 19456 19459 18279 0 -1 4202560 3846 0 0 0 108 0 0 0 15 0 19 0 834262812 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 0 0 0 0
[pid=19459/tid=19479] ppid=19456 vsize=10551596 CPUtime=0.95 cores=0,2,4,6
/proc/19459/task/19479/stat : 19479 (java) S 19456 19459 18279 0 -1 4202560 7436 0 0 0 94 1 0 0 15 0 19 0 834262813 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 6 0 0 0
[pid=19459/tid=19480] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19480/stat : 19480 (java) S 19456 19459 18279 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834262813 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488510873 0 4 0 16800975 18446604451677641408 0 0 -1 4 0 0 0
[pid=19459/tid=19481] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19481/stat : 19481 (java) S 19456 19459 18279 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 834262813 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 4 0 16800975 18446604451677641408 0 0 -1 2 0 0 0
[pid=19459/tid=19482] ppid=19456 vsize=10551596 CPUtime=0 cores=0,2,4,6
/proc/19459/task/19482/stat : 19482 (java) S 19456 19459 18279 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834262862 10804834304 924662 33554432000 1073741824 1073778376 140735383149936 18446744073709551615 239488511488 0 4 0 16800975 18446604451677641408 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10551596
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.33 s]
/proc/loadavg: 2.00 2.02 2.00 8/591 19588
/proc/meminfo: memFree=17386844/32950928 swapFree=67056580/67111528
[pid=19459] ppid=19456 vsize=0 CPUtime=1800.16 cores=0,2,4,6
/proc/19459/stat : 19459 (java) Z 19456 19459 18279 0 -1 4203548 931761 0 1 0 179896 120 0 0 17 0 2 0 834262806 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/19459/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1796.4
CPU time (s): 1800.24
CPU user time (s): 1798.97
CPU system time (s): 1.27481
CPU usage (%): 100.214
Max. virtual memory (cumulated for all children) (KiB): 10555648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.27481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 931761
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= 38227
involuntary context switches= 37803
runsolver used 10.7184 second user time and 22.2336 second system time
The end