runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4249480-1500769360/watcher-4249480-1500769360 -o /tmp/evaluation-result-4249480-1500769360/solver-4249480-1500769360 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500754473-3381 --watchdog 2560 bin/concrete HOME/instance-4249480-1500769360.xml
pid=6398
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.62 1.79 1.77 3/267 6401
/proc/meminfo: memFree=28167452/32770624 swapFree=5892/377940
[pid=6401] ppid=6398 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/6401/stat : 6401 (bash) S 6398 6401 3349 0 -1 4202496 686 1531 0 0 0 0 0 0 20 0 1 0 12202926 9736192 351 33554432000 4194304 5098028 140723516429680 140723516427320 140267064314880 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 7643136 140723516437774 140723516437859 140723516437859 140723516440558 0
/proc/6401/statm: 2377 351 278 221 0 86 0
[startup+0.100145 s]
/proc/loadavg: 1.62 1.79 1.77 3/267 6401
/proc/meminfo: memFree=28167452/32770624 swapFree=5892/377940
[pid=6401] ppid=6398 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/6401/stat : 6401 (bash) S 6398 6401 3349 0 -1 4202496 884 6411 0 0 0 0 0 1 20 0 1 0 12202926 9871360 378 33554432000 4194304 5098028 140723516429680 140723516423688 140267064314880 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 7643136 140723516437774 140723516437859 140723516437859 140723516440558 0
/proc/6401/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200361 s]
/proc/loadavg: 1.62 1.79 1.77 3/267 6401
/proc/meminfo: memFree=28167452/32770624 swapFree=5892/377940
[pid=6401] ppid=6398 vsize=10435860 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/6401/stat : 6401 (java) S 6398 6401 3349 0 -1 1077944320 4718 12448 0 0 6 1 7 3 20 0 13 0 12202926 10686320640 5050 33554432000 4194304 4196468 140737022172800 140737022155344 140280285142775 0 0 0 16800971 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
/proc/6401/statm: 2608965 5050 2138 1 0 2597403 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10435860
[startup+0.300309 s]
/proc/loadavg: 1.62 1.79 1.77 3/267 6401
/proc/meminfo: memFree=28167452/32770624 swapFree=5892/377940
[pid=6401] ppid=6398 vsize=10902392 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/6401/stat : 6401 (java) S 6398 6401 3349 0 -1 1077944320 7137 12448 0 0 22 2 7 3 20 0 20 0 12202926 11164049408 8783 33554432000 4194304 4196468 140737022172800 140737022155344 140280285142775 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
/proc/6401/statm: 2725598 8783 2937 1 0 2713890 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 10902392
[startup+0.700239 s]
/proc/loadavg: 1.62 1.79 1.77 3/267 6401
/proc/meminfo: memFree=28167452/32770624 swapFree=5892/377940
[pid=6401] ppid=6398 vsize=10902720 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/6401/stat : 6401 (java) S 6398 6401 3349 0 -1 1077944320 12634 12448 0 0 78 3 7 3 20 0 20 0 12202926 11164385280 15869 33554432000 4194304 4196468 140737022172800 140737022155344 140280285142775 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
/proc/6401/statm: 2725680 15869 3206 1 0 2713890 0
Current children cumulated CPU time (s) 0.91
Current children cumulated vsize (KiB) 10902720
[startup+1.50079 s]
/proc/loadavg: 1.73 1.81 1.78 3/287 6475
/proc/meminfo: memFree=28063940/32770624 swapFree=5892/378004
[pid=6401] ppid=6398 vsize=10913344 CPUtime=2.26 cores=1,3,5,7,9,11,13,15
/proc/6401/stat : 6401 (java) S 6398 6401 3349 0 -1 1077944320 28331 12448 0 0 203 13 7 3 20 0 20 0 12202926 11175264256 44117 33554432000 4194304 4196468 140737022172800 140737022155344 140280285142775 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
/proc/6401/statm: 2728336 44117 3419 1 0 2716450 0
[pid=6401/tid=6456] ppid=6398 vsize=10913344 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6456/stat : 6456 (java) R 6398 6401 3349 0 -1 4202560 20193 12448 0 0 126 5 7 3 20 0 20 0 12202939 11175264256 44117 33554432000 4194304 4196468 140737022172800 140280289373256 140280285154710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6457] ppid=6398 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6457/stat : 6457 (java) S 6398 6401 3349 0 -1 1077944384 69 12448 0 0 0 0 7 3 20 0 20 0 12202940 11175264256 44117 33554432000 4194304 4196468 140737022172800 140280211217424 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6458] ppid=6398 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6458/stat : 6458 (java) S 6398 6401 3349 0 -1 1077944384 17 12448 0 0 0 0 7 3 20 0 20 0 12202940 11175264256 44117 33554432000 4194304 4196468 140737022172800 140280210164880 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6459] ppid=6398 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6459/stat : 6459 (java) S 6398 6401 3349 0 -1 1077944384 20 12448 0 0 1 0 7 3 20 0 20 0 12202940 11175264256 44117 33554432000 4194304 4196468 140737022172800 140279889783568 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6460] ppid=6398 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6460/stat : 6460 (java) S 6398 6401 3349 0 -1 1077944384 22 12448 0 0 0 0 7 3 20 0 20 0 12202940 11175264256 44117 33554432000 4194304 4196468 140737022172800 140279888731024 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6461] ppid=6398 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6461/stat : 6461 (java) S 6398 6401 3349 0 -1 1077944384 27 12448 0 0 0 0 7 3 20 0 20 0 12202940 11175264256 44117 33554432000 4194304 4196468 140737022172800 140279887677968 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6462] ppid=6398 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6462/stat : 6462 (java) S 6398 6401 3349 0 -1 1077944384 14 12448 0 0 0 0 7 3 20 0 20 0 12202940 11175264256 44117 33554432000 4194304 4196468 140737022172800 140279886625424 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6463] ppid=6398 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6463/stat : 6463 (java) S 6398 6401 3349 0 -1 1077944384 143 12448 0 0 0 0 7 3 20 0 20 0 12202940 11175264256 44117 33554432000 4194304 4196468 140737022172800 140279885572368 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6464] ppid=6398 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6464/stat : 6464 (java) S 6398 6401 3349 0 -1 1077944384 29 12448 0 0 0 0 7 3 20 0 20 0 12202940 11175264256 44117 33554432000 4194304 4196468 140737022172800 140279884519824 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6465] ppid=6398 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6465/stat : 6465 (java) S 6398 6401 3349 0 -1 1077944384 1380 12448 0 0 1 0 7 3 20 0 20 0 12202943 11175264256 44117 33554432000 4194304 4196468 140737022172800 140279759719152 140280285153922 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6466] ppid=6398 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6466/stat : 6466 (java) S 6398 6401 3349 0 -1 1077944384 56 12448 0 0 0 0 7 3 20 0 20 0 12202943 11175264256 44117 33554432000 4194304 4196468 140737022172800 140279758665440 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6467] ppid=6398 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6467/stat : 6467 (java) S 6398 6401 3349 0 -1 1077944384 44 12448 0 0 0 0 7 3 20 0 20 0 12202944 11175264256 44117 33554432000 4194304 4196468 140737022172800 140279757612288 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6468] ppid=6398 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6468/stat : 6468 (java) S 6398 6401 3349 0 -1 1077944384 1 12448 0 0 0 0 7 3 20 0 20 0 12202948 11175264256 44117 33554432000 4194304 4196468 140737022172800 140279756560848 140280285161371 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6469] ppid=6398 vsize=10913344 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6469/stat : 6469 (java) S 6398 6401 3349 0 -1 1077944384 880 12448 0 0 13 0 7 3 20 0 20 0 12202948 11175264256 44117 33554432000 4194304 4196468 140737022172800 140279755507952 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6471] ppid=6398 vsize=10913344 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6471/stat : 6471 (java) S 6398 6401 3349 0 -1 1077944384 546 12448 0 0 11 0 7 3 20 0 20 0 12202948 11175264256 44117 33554432000 4194304 4196468 140737022172800 140279754455408 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6472] ppid=6398 vsize=10913344 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6472/stat : 6472 (java) S 6398 6401 3349 0 -1 1077944384 1334 12448 0 0 16 0 7 3 20 0 20 0 12202948 11175264256 44117 33554432000 4194304 4196468 140737022172800 140279753402352 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6473] ppid=6398 vsize=10913344 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6473/stat : 6473 (java) R 6398 6401 3349 0 -1 4202560 1414 12448 0 0 26 0 7 3 20 0 20 0 12202948 11175264256 44117 33554432000 4194304 4196468 140737022172800 140279752349808 140280268517959 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6474] ppid=6398 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6474/stat : 6474 (java) S 6398 6401 3349 0 -1 1077944384 3 12448 0 0 0 0 7 3 20 0 20 0 12202948 11175264256 44117 33554432000 4194304 4196468 140737022172800 140279751298016 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6475] ppid=6398 vsize=10913344 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6475/stat : 6475 (java) S 6398 6401 3349 0 -1 1077944384 6 12448 0 0 0 0 7 3 20 0 20 0 12202948 11175264256 44117 33554432000 4194304 4196468 140737022172800 140279750245552 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 10913344
[startup+3.10109 s]
/proc/loadavg: 1.73 1.81 1.78 4/287 6475
/proc/meminfo: memFree=27988688/32770624 swapFree=5892/378004
[pid=6401] ppid=6398 vsize=10925820 CPUtime=7.47 cores=1,3,5,7,9,11,13,15
/proc/6401/stat : 6401 (java) S 6398 6401 3349 0 -1 1077944320 46872 12448 0 0 719 18 7 3 20 0 20 0 12202926 11188039680 59498 33554432000 4194304 4196468 140737022172800 140737022155344 140280285142775 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
/proc/6401/statm: 2731455 59498 3483 1 0 2719010 0
[pid=6401/tid=6456] ppid=6398 vsize=10925820 CPUtime=3 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6456/stat : 6456 (java) R 6398 6401 3349 0 -1 4202560 26789 12448 0 0 283 7 7 3 20 0 20 0 12202939 11188039680 59498 33554432000 4194304 4196468 140737022172800 140280289364272 140280269223262 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6457] ppid=6398 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6457/stat : 6457 (java) S 6398 6401 3349 0 -1 1077944384 69 12448 0 0 0 0 7 3 20 0 20 0 12202940 11188039680 59498 33554432000 4194304 4196468 140737022172800 140280211217424 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6458] ppid=6398 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6458/stat : 6458 (java) S 6398 6401 3349 0 -1 1077944384 17 12448 0 0 0 0 7 3 20 0 20 0 12202940 11188039680 59498 33554432000 4194304 4196468 140737022172800 140280210164880 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6459] ppid=6398 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6459/stat : 6459 (java) S 6398 6401 3349 0 -1 1077944384 20 12448 0 0 1 0 7 3 20 0 20 0 12202940 11188039680 59498 33554432000 4194304 4196468 140737022172800 140279889783568 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6460] ppid=6398 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6460/stat : 6460 (java) S 6398 6401 3349 0 -1 1077944384 22 12448 0 0 0 0 7 3 20 0 20 0 12202940 11188039680 59498 33554432000 4194304 4196468 140737022172800 140279888731024 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6461] ppid=6398 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6461/stat : 6461 (java) S 6398 6401 3349 0 -1 1077944384 27 12448 0 0 0 0 7 3 20 0 20 0 12202940 11188039680 59498 33554432000 4194304 4196468 140737022172800 140279887677968 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6462] ppid=6398 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6462/stat : 6462 (java) S 6398 6401 3349 0 -1 1077944384 14 12448 0 0 0 0 7 3 20 0 20 0 12202940 11188039680 59498 33554432000 4194304 4196468 140737022172800 140279886625424 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6463] ppid=6398 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6463/stat : 6463 (java) S 6398 6401 3349 0 -1 1077944384 143 12448 0 0 0 0 7 3 20 0 20 0 12202940 11188039680 59498 33554432000 4194304 4196468 140737022172800 140279885572368 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6464] ppid=6398 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6464/stat : 6464 (java) S 6398 6401 3349 0 -1 1077944384 29 12448 0 0 0 0 7 3 20 0 20 0 12202940 11188039680 59498 33554432000 4194304 4196468 140737022172800 140279884519824 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6465] ppid=6398 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6465/stat : 6465 (java) S 6398 6401 3349 0 -1 1077944384 1396 12448 0 0 1 0 7 3 20 0 20 0 12202943 11188039680 59498 33554432000 4194304 4196468 140737022172800 140279759719152 140280285153922 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6466] ppid=6398 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6466/stat : 6466 (java) S 6398 6401 3349 0 -1 1077944384 56 12448 0 0 0 0 7 3 20 0 20 0 12202943 11188039680 59498 33554432000 4194304 4196468 140737022172800 140279758665440 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6467] ppid=6398 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6467/stat : 6467 (java) S 6398 6401 3349 0 -1 1077944384 44 12448 0 0 0 0 7 3 20 0 20 0 12202944 11188039680 59498 33554432000 4194304 4196468 140737022172800 140279757612288 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6468] ppid=6398 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6468/stat : 6468 (java) S 6398 6401 3349 0 -1 1077944384 1 12448 0 0 0 0 7 3 20 0 20 0 12202948 11188039680 59498 33554432000 4194304 4196468 140737022172800 140279756560848 140280285161371 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6469] ppid=6398 vsize=10925820 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6469/stat : 6469 (java) S 6398 6401 3349 0 -1 1077944384 2909 12448 0 0 96 1 7 3 20 0 20 0 12202948 11188039680 59498 33554432000 4194304 4196468 140737022172800 140279755507952 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6471] ppid=6398 vsize=10925820 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6471/stat : 6471 (java) S 6398 6401 3349 0 -1 1077944384 3205 12448 0 0 85 1 7 3 20 0 20 0 12202948 11188039680 59498 33554432000 4194304 4196468 140737022172800 140279754455408 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6472] ppid=6398 vsize=10925820 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6472/stat : 6472 (java) R 6398 6401 3349 0 -1 4202560 5288 12448 0 0 123 1 7 3 20 0 20 0 12202948 11188039680 59498 33554432000 4194304 4196468 140737022172800 140279753388896 140280266686951 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6473] ppid=6398 vsize=10925820 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6473/stat : 6473 (java) R 6398 6401 3349 0 -1 4202560 4700 12448 0 0 121 1 7 3 20 0 20 0 12202948 11188039680 59498 33554432000 4194304 4196468 140737022172800 140279752345944 140280270308414 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6474] ppid=6398 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6474/stat : 6474 (java) S 6398 6401 3349 0 -1 1077944384 3 12448 0 0 0 0 7 3 20 0 20 0 12202948 11188039680 59498 33554432000 4194304 4196468 140737022172800 140279751298016 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6475] ppid=6398 vsize=10925820 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6475/stat : 6475 (java) S 6398 6401 3349 0 -1 1077944384 7 12448 0 0 0 0 7 3 20 0 20 0 12202948 11188039680 59498 33554432000 4194304 4196468 140737022172800 140279750245552 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 10925820
[startup+6.30124 s]
/proc/loadavg: 1.99 1.86 1.79 7/287 6475
/proc/meminfo: memFree=27800944/32770624 swapFree=5892/378008
[pid=6401] ppid=6398 vsize=10997500 CPUtime=18.73 cores=1,3,5,7,9,11,13,15
/proc/6401/stat : 6401 (java) S 6398 6401 3349 0 -1 1077944320 82849 12448 0 0 1821 42 7 3 20 0 20 0 12202926 11261440000 106083 33554432000 4194304 4196468 140737022172800 140737022155344 140280285142775 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
/proc/6401/statm: 2749375 106083 3505 1 0 2736930 0
[pid=6401/tid=6456] ppid=6398 vsize=10997500 CPUtime=5.83 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6456/stat : 6456 (java) R 6398 6401 3349 0 -1 4202560 43297 12448 0 0 561 12 7 3 20 0 20 0 12202939 11261440000 106083 33554432000 4194304 4196468 140737022172800 140280289375720 140279891141859 0 4 0 16800975 0 0 0 -1 3 0 0 25 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6457] ppid=6398 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6457/stat : 6457 (java) S 6398 6401 3349 0 -1 1077944384 96 12448 0 0 5 2 7 3 20 0 20 0 12202940 11261440000 106083 33554432000 4194304 4196468 140737022172800 140280211217424 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6458] ppid=6398 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6458/stat : 6458 (java) S 6398 6401 3349 0 -1 1077944384 94 12448 0 0 5 2 7 3 20 0 20 0 12202940 11261440000 106083 33554432000 4194304 4196468 140737022172800 140280210164880 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6459] ppid=6398 vsize=10997500 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6459/stat : 6459 (java) S 6398 6401 3349 0 -1 1077944384 109 12448 0 0 6 2 7 3 20 0 20 0 12202940 11261440000 106083 33554432000 4194304 4196468 140737022172800 140279889783568 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6460] ppid=6398 vsize=10997500 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6460/stat : 6460 (java) S 6398 6401 3349 0 -1 1077944384 371 12448 0 0 6 2 7 3 20 0 20 0 12202940 11261440000 106083 33554432000 4194304 4196468 140737022172800 140279888731024 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6461] ppid=6398 vsize=10997500 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6461/stat : 6461 (java) S 6398 6401 3349 0 -1 1077944384 97 12448 0 0 6 2 7 3 20 0 20 0 12202940 11261440000 106083 33554432000 4194304 4196468 140737022172800 140279887677968 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6462] ppid=6398 vsize=10997500 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6462/stat : 6462 (java) S 6398 6401 3349 0 -1 1077944384 190 12448 0 0 6 2 7 3 20 0 20 0 12202940 11261440000 106083 33554432000 4194304 4196468 140737022172800 140279886625424 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6463] ppid=6398 vsize=10997500 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6463/stat : 6463 (java) S 6398 6401 3349 0 -1 1077944384 170 12448 0 0 6 2 7 3 20 0 20 0 12202940 11261440000 106083 33554432000 4194304 4196468 140737022172800 140279885572368 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6464] ppid=6398 vsize=10997500 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6464/stat : 6464 (java) S 6398 6401 3349 0 -1 1077944384 122 12448 0 0 5 2 7 3 20 0 20 0 12202940 11261440000 106083 33554432000 4194304 4196468 140737022172800 140279884519824 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6465] ppid=6398 vsize=10997500 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6465/stat : 6465 (java) S 6398 6401 3349 0 -1 1077944384 2934 12448 0 0 4 0 7 3 20 0 20 0 12202943 11261440000 106083 33554432000 4194304 4196468 140737022172800 140279759719152 140280285153922 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6466] ppid=6398 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6466/stat : 6466 (java) S 6398 6401 3349 0 -1 1077944384 62 12448 0 0 0 0 7 3 20 0 20 0 12202943 11261440000 106083 33554432000 4194304 4196468 140737022172800 140279758665504 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6467] ppid=6398 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6467/stat : 6467 (java) S 6398 6401 3349 0 -1 1077944384 59 12448 0 0 0 0 7 3 20 0 20 0 12202944 11261440000 106083 33554432000 4194304 4196468 140737022172800 140279757612288 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6468] ppid=6398 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6468/stat : 6468 (java) S 6398 6401 3349 0 -1 1077944384 1 12448 0 0 0 0 7 3 20 0 20 0 12202948 11261440000 106083 33554432000 4194304 4196468 140737022172800 140279756560848 140280285161371 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6469] ppid=6398 vsize=10997500 CPUtime=3.15 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6469/stat : 6469 (java) R 6398 6401 3349 0 -1 4202560 6366 12448 0 0 303 2 7 3 20 0 20 0 12202948 11261440000 106083 33554432000 4194304 4196468 140737022172800 140279755490096 140280270048272 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6471] ppid=6398 vsize=10997500 CPUtime=3.34 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6471/stat : 6471 (java) R 6398 6401 3349 0 -1 4202560 9629 12448 0 0 322 2 7 3 20 0 20 0 12202948 11261440000 106083 33554432000 4194304 4196468 140737022172800 140279754441728 140280270063883 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6472] ppid=6398 vsize=10997500 CPUtime=3.59 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6472/stat : 6472 (java) R 6398 6401 3349 0 -1 4202560 7585 12448 0 0 348 1 7 3 20 0 20 0 12202948 11261440000 106083 33554432000 4194304 4196468 140737022172800 140279753388784 140280263406497 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6473] ppid=6398 vsize=10997500 CPUtime=2.42 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6473/stat : 6473 (java) S 6398 6401 3349 0 -1 1077944384 9527 12448 0 0 229 3 7 3 20 0 20 0 12202948 11261440000 106083 33554432000 4194304 4196468 140737022172800 140279752349808 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6474] ppid=6398 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
/proc/6401/task/6471/stat : 6471 (java) S 6398 6401 3349 0 -1 1077944384 19596 12448 0 0 420 4 7 3 20 0 20 0 12202948 11261440000 183475 33554432000 4194304 4196468 140737022172800 140279754455408 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6472] ppid=6398 vsize=10997500 CPUtime=4.35 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6472/stat : 6472 (java) S 6398 6401 3349 0 -1 1077944384 20156 12448 0 0 422 3 7 3 20 0 20 0 12202948 11261440000 183475 33554432000 4194304 4196468 140737022172800 140279753402352 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6473] ppid=6398 vsize=10997500 CPUtime=2.58 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6473/stat : 6473 (java) S 6398 6401 3349 0 -1 1077944384 24235 12448 0 0 244 4 7 3 20 0 20 0 12202948 11261440000 183475 33554432000 4194304 4196468 140737022172800 140279752349808 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6474] ppid=6398 vsize=10997500 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6474/stat : 6474 (java) S 6398 6401 3349 0 -1 1077944384 3 12448 0 0 0 0 7 3 20 0 20 0 12202948 11261440000 183475 33554432000 4194304 4196468 140737022172800 140279751298016 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6475] ppid=6398 vsize=10997500 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6475/stat : 6475 (java) S 6398 6401 3349 0 -1 1077944384 1083 12448 0 0 63 69 7 3 20 0 20 0 12202948 11261440000 183475 33554432000 4194304 4196468 140737022172800 140279750245552 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 6401 sig 9
??? kill -6401 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2324.01 s]
/proc/loadavg: 1.42 1.34 1.39 3/288 6725
/proc/meminfo: memFree=29761888/32770624 swapFree=5892/379792
[pid=6401] ppid=6398 vsize=11130628 CPUtime=2400.5 cores=1,3,5,7,9,11,13,15
/proc/6401/stat : 6401 (java) S 6398 6401 3349 0 -1 1077944320 254968 12448 0 0 239528 512 7 3 20 0 22 0 12202926 11397763072 185671 33554432000 4194304 4196468 140737022172800 140737022155344 140280285142775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
/proc/6401/statm: 2782657 185671 3514 1 0 2770212 0
[pid=6401/tid=6456] ppid=6398 vsize=11130628 CPUtime=2302.28 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6456/stat : 6456 (java) S 6398 6401 3349 0 -1 1077944384 92789 12448 0 0 230165 53 7 3 20 0 22 0 12202939 11397763072 185671 33554432000 4194304 4196468 140737022172800 140280289380320 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 25 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6457] ppid=6398 vsize=11130628 CPUtime=9.4 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6457/stat : 6457 (java) R 6398 6401 3349 0 -1 4202560 9078 12448 0 0 889 41 7 3 20 0 22 0 12202940 11397763072 185671 33554432000 4194304 4196468 140737022172800 140280211217544 140280268525808 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6458] ppid=6398 vsize=11130628 CPUtime=9.49 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6458/stat : 6458 (java) R 6398 6401 3349 0 -1 4202560 4692 12448 0 0 894 45 7 3 20 0 22 0 12202940 11397763072 185671 33554432000 4194304 4196468 140737022172800 140280210165000 140280277770983 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6459] ppid=6398 vsize=11130628 CPUtime=9.54 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6459/stat : 6459 (java) R 6398 6401 3349 0 -1 4202560 7132 12448 0 0 901 43 7 3 20 0 22 0 12202940 11397763072 185671 33554432000 4194304 4196468 140737022172800 140279889783376 140280277770983 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6460] ppid=6398 vsize=11130628 CPUtime=9.32 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6460/stat : 6460 (java) R 6398 6401 3349 0 -1 4202560 6710 12448 0 0 876 46 7 3 20 0 22 0 12202940 11397763072 185671 33554432000 4194304 4196468 140737022172800 140279888731224 140280269843466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6461] ppid=6398 vsize=11130628 CPUtime=9.36 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6461/stat : 6461 (java) R 6398 6401 3349 0 -1 4202560 10926 12448 0 0 880 46 7 3 20 0 22 0 12202940 11397763072 185671 33554432000 4194304 4196468 140737022172800 140279887677776 140280277770983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6462] ppid=6398 vsize=11130628 CPUtime=9.52 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6462/stat : 6462 (java) R 6398 6401 3349 0 -1 4202560 8513 12448 0 0 902 40 7 3 20 0 22 0 12202940 11397763072 185671 33554432000 4194304 4196468 140737022172800 140279886625232 140280277770983 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6463] ppid=6398 vsize=11130628 CPUtime=9.32 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6463/stat : 6463 (java) R 6398 6401 3349 0 -1 4202560 5863 12448 0 0 880 42 7 3 20 0 22 0 12202940 11397763072 185671 33554432000 4194304 4196468 140737022172800 140279885572176 140280277770983 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6464] ppid=6398 vsize=11130628 CPUtime=9.46 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6464/stat : 6464 (java) R 6398 6401 3349 0 -1 4202560 5845 12448 0 0 891 45 7 3 20 0 22 0 12202940 11397763072 185671 33554432000 4194304 4196468 140737022172800 140279884519632 140280277770983 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6465] ppid=6398 vsize=11130628 CPUtime=7.39 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6465/stat : 6465 (java) S 6398 6401 3349 0 -1 1077944384 19030 12448 0 0 664 65 7 3 20 0 22 0 12202943 11397763072 185671 33554432000 4194304 4196468 140737022172800 140279759717776 140280285152981 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6466] ppid=6398 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6466/stat : 6466 (java) S 6398 6401 3349 0 -1 1077944384 62 12448 0 0 0 0 7 3 20 0 22 0 12202943 11397763072 185671 33554432000 4194304 4196468 140737022172800 140279758665504 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6467] ppid=6398 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6467/stat : 6467 (java) S 6398 6401 3349 0 -1 1077944384 59 12448 0 0 0 0 7 3 20 0 22 0 12202944 11397763072 185671 33554432000 4194304 4196468 140737022172800 140279757612288 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6468] ppid=6398 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6468/stat : 6468 (java) S 6398 6401 3349 0 -1 1077944384 75 12448 0 0 0 0 7 3 20 0 22 0 12202948 11397763072 185671 33554432000 4194304 4196468 140737022172800 140279756560848 140280285161371 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6469] ppid=6398 vsize=11130628 CPUtime=3.98 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6469/stat : 6469 (java) S 6398 6401 3349 0 -1 1077944384 16826 12448 0 0 384 4 7 3 20 0 22 0 12202948 11397763072 185671 33554432000 4194304 4196468 140737022172800 140279755507952 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6471] ppid=6398 vsize=11130628 CPUtime=4.34 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6471/stat : 6471 (java) S 6398 6401 3349 0 -1 1077944384 19596 12448 0 0 420 4 7 3 20 0 22 0 12202948 11397763072 185671 33554432000 4194304 4196468 140737022172800 140279754455408 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6472] ppid=6398 vsize=11130628 CPUtime=4.35 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6472/stat : 6472 (java) S 6398 6401 3349 0 -1 1077944384 20156 12448 0 0 422 3 7 3 20 0 22 0 12202948 11397763072 185671 33554432000 4194304 4196468 140737022172800 140279753402352 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6473] ppid=6398 vsize=11130628 CPUtime=2.58 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6473/stat : 6473 (java) S 6398 6401 3349 0 -1 1077944384 24298 12448 0 0 244 4 7 3 20 0 22 0 12202948 11397763072 185671 33554432000 4194304 4196468 140737022172800 140279752349376 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6474] ppid=6398 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6474/stat : 6474 (java) S 6398 6401 3349 0 -1 1077944384 3 12448 0 0 0 0 7 3 20 0 22 0 12202948 11397763072 185671 33554432000 4194304 4196468 140737022172800 140279751298016 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6475] ppid=6398 vsize=11130628 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6475/stat : 6475 (java) S 6398 6401 3349 0 -1 1077944384 1083 12448 0 0 63 69 7 3 20 0 22 0 12202948 11397763072 185671 33554432000 4194304 4196468 140737022172800 140279750245552 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
Current children cumulated CPU time (s) 2400.5
Current children cumulated vsize (KiB) 11130628
[startup+2324.2 s]
/proc/loadavg: 1.42 1.34 1.39 3/288 6725
/proc/meminfo: memFree=29761888/32770624 swapFree=5892/379792
[pid=6401] ppid=6398 vsize=11130628 CPUtime=2401.89 cores=1,3,5,7,9,11,13,15
/proc/6401/stat : 6401 (java) S 6398 6401 3349 0 -1 1077944320 255315 12448 0 0 239666 513 7 3 20 0 22 0 12202926 11397763072 185618 33554432000 4194304 4196468 140737022172800 140737022155344 140280285142775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
/proc/6401/statm: 2782657 185618 3514 1 0 2770212 0
[pid=6401/tid=6456] ppid=6398 vsize=11130628 CPUtime=2302.28 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6456/stat : 6456 (java) S 6398 6401 3349 0 -1 1077944384 92789 12448 0 0 230165 53 7 3 20 0 22 0 12202939 11397763072 185618 33554432000 4194304 4196468 140737022172800 140280289380320 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6457] ppid=6398 vsize=11130628 CPUtime=9.56 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6457/stat : 6457 (java) S 6398 6401 3349 0 -1 1077944384 9078 12448 0 0 905 41 7 3 20 0 22 0 12202940 11397763072 185618 33554432000 4194304 4196468 140737022172800 140280211217424 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6458] ppid=6398 vsize=11130628 CPUtime=9.65 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6458/stat : 6458 (java) S 6398 6401 3349 0 -1 1077944384 4693 12448 0 0 910 45 7 3 20 0 22 0 12202940 11397763072 185618 33554432000 4194304 4196468 140737022172800 140280210164880 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6459] ppid=6398 vsize=11130628 CPUtime=9.71 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6459/stat : 6459 (java) S 6398 6401 3349 0 -1 1077944384 7144 12448 0 0 918 43 7 3 20 0 22 0 12202940 11397763072 185618 33554432000 4194304 4196468 140737022172800 140279889783568 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6460] ppid=6398 vsize=11130628 CPUtime=9.49 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6460/stat : 6460 (java) S 6398 6401 3349 0 -1 1077944384 6711 12448 0 0 893 46 7 3 20 0 22 0 12202940 11397763072 185618 33554432000 4194304 4196468 140737022172800 140279888731024 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6461] ppid=6398 vsize=11130628 CPUtime=9.53 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6461/stat : 6461 (java) S 6398 6401 3349 0 -1 1077944384 10927 12448 0 0 897 46 7 3 20 0 22 0 12202940 11397763072 185618 33554432000 4194304 4196468 140737022172800 140279887677968 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6462] ppid=6398 vsize=11130628 CPUtime=9.69 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6462/stat : 6462 (java) S 6398 6401 3349 0 -1 1077944384 8515 12448 0 0 919 40 7 3 20 0 22 0 12202940 11397763072 185618 33554432000 4194304 4196468 140737022172800 140279886625424 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6463] ppid=6398 vsize=11130628 CPUtime=9.49 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6463/stat : 6463 (java) S 6398 6401 3349 0 -1 1077944384 5863 12448 0 0 897 42 7 3 20 0 22 0 12202940 11397763072 185618 33554432000 4194304 4196468 140737022172800 140279885572368 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6464] ppid=6398 vsize=11130628 CPUtime=9.63 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6464/stat : 6464 (java) S 6398 6401 3349 0 -1 1077944384 5845 12448 0 0 908 45 7 3 20 0 22 0 12202940 11397763072 185618 33554432000 4194304 4196468 140737022172800 140279884519824 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6465] ppid=6398 vsize=11130628 CPUtime=7.42 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6465/stat : 6465 (java) R 6398 6401 3349 0 -1 4202560 19357 12448 0 0 667 65 7 3 20 0 22 0 12202943 11397763072 185618 33554432000 4194304 4196468 140737022172800 140279759717552 140280269510119 0 0 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6466] ppid=6398 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6466/stat : 6466 (java) S 6398 6401 3349 0 -1 1077944384 64 12448 0 0 0 0 7 3 20 0 22 0 12202943 11397763072 185618 33554432000 4194304 4196468 140737022172800 140279758665008 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6467] ppid=6398 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6467/stat : 6467 (java) S 6398 6401 3349 0 -1 1077944384 59 12448 0 0 0 0 7 3 20 0 22 0 12202944 11397763072 185618 33554432000 4194304 4196468 140737022172800 140279757612288 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6468] ppid=6398 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6468/stat : 6468 (java) S 6398 6401 3349 0 -1 1077944384 75 12448 0 0 0 0 7 3 20 0 22 0 12202948 11397763072 185618 33554432000 4194304 4196468 140737022172800 140279756560848 140280285161371 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6469] ppid=6398 vsize=11130628 CPUtime=3.98 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6469/stat : 6469 (java) S 6398 6401 3349 0 -1 1077944384 16826 12448 0 0 384 4 7 3 20 0 22 0 12202948 11397763072 185618 33554432000 4194304 4196468 140737022172800 140279755507952 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6471] ppid=6398 vsize=11130628 CPUtime=4.34 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6471/stat : 6471 (java) S 6398 6401 3349 0 -1 1077944384 19596 12448 0 0 420 4 7 3 20 0 22 0 12202948 11397763072 185618 33554432000 4194304 4196468 140737022172800 140279754455408 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6472] ppid=6398 vsize=11130628 CPUtime=4.35 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6472/stat : 6472 (java) S 6398 6401 3349 0 -1 1077944384 20156 12448 0 0 422 3 7 3 20 0 22 0 12202948 11397763072 185618 33554432000 4194304 4196468 140737022172800 140279753402352 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6473] ppid=6398 vsize=11130628 CPUtime=2.58 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6473/stat : 6473 (java) S 6398 6401 3349 0 -1 1077944384 24298 12448 0 0 244 4 7 3 20 0 22 0 12202948 11397763072 185618 33554432000 4194304 4196468 140737022172800 140279752349376 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6474] ppid=6398 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6474/stat : 6474 (java) S 6398 6401 3349 0 -1 1077944384 3 12448 0 0 0 0 7 3 20 0 22 0 12202948 11397763072 185618 33554432000 4194304 4196468 140737022172800 140279751298016 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6475] ppid=6398 vsize=11130628 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6475/stat : 6475 (java) S 6398 6401 3349 0 -1 1077944384 1083 12448 0 0 63 69 7 3 20 0 22 0 12202948 11397763072 185618 33554432000 4194304 4196468 140737022172800 140279750245552 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
Current children cumulated CPU time (s) 2401.89
Current children cumulated vsize (KiB) 11130628
[startup+2324.3 s]
/proc/loadavg: 1.42 1.34 1.39 3/290 6727
/proc/meminfo: memFree=29755436/32770624 swapFree=5892/379792
[pid=6401] ppid=6398 vsize=11130628 CPUtime=2402.41 cores=1,3,5,7,9,11,13,15
/proc/6401/stat : 6401 (java) S 6398 6401 3349 0 -1 1077944320 255317 12448 0 0 239718 513 7 3 20 0 22 0 12202926 11397763072 185490 33554432000 4194304 4196468 140737022172800 140737022155344 140280285142775 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
/proc/6401/statm: 2782657 185490 3514 1 0 2770212 0
[pid=6401/tid=6456] ppid=6398 vsize=11130628 CPUtime=2302.28 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6456/stat : 6456 (java) S 6398 6401 3349 0 -1 1077944384 92789 12448 0 0 230165 53 7 3 20 0 22 0 12202939 11397763072 185490 33554432000 4194304 4196468 140737022172800 140280289380320 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6457] ppid=6398 vsize=11130628 CPUtime=9.63 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6457/stat : 6457 (java) R 6398 6401 3349 0 -1 4202560 9078 12448 0 0 912 41 7 3 20 0 22 0 12202940 11397763072 185490 33554432000 4194304 4196468 140737022172800 140280211217624 140280277770983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6458] ppid=6398 vsize=11130628 CPUtime=9.72 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6458/stat : 6458 (java) R 6398 6401 3349 0 -1 4202560 4693 12448 0 0 917 45 7 3 20 0 22 0 12202940 11397763072 185490 33554432000 4194304 4196468 140737022172800 140280210164880 140280277770983 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6459] ppid=6398 vsize=11130628 CPUtime=9.76 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6459/stat : 6459 (java) R 6398 6401 3349 0 -1 4202560 7144 12448 0 0 923 43 7 3 20 0 22 0 12202940 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279889783768 140280269841489 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6460] ppid=6398 vsize=11130628 CPUtime=9.56 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6460/stat : 6460 (java) R 6398 6401 3349 0 -1 4202560 6711 12448 0 0 900 46 7 3 20 0 22 0 12202940 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279888731224 140280277770983 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6461] ppid=6398 vsize=11130628 CPUtime=9.58 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6461/stat : 6461 (java) R 6398 6401 3349 0 -1 4202560 10927 12448 0 0 902 46 7 3 20 0 22 0 12202940 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279887678088 140280277770983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6462] ppid=6398 vsize=11130628 CPUtime=9.75 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6462/stat : 6462 (java) R 6398 6401 3349 0 -1 4202560 8515 12448 0 0 925 40 7 3 20 0 22 0 12202940 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279886625624 140280277770983 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6463] ppid=6398 vsize=11130628 CPUtime=9.56 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6463/stat : 6463 (java) R 6398 6401 3349 0 -1 4202560 5863 12448 0 0 904 42 7 3 20 0 22 0 12202940 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279885572488 140280277770983 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6464] ppid=6398 vsize=11130628 CPUtime=9.69 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6464/stat : 6464 (java) R 6398 6401 3349 0 -1 4202560 5845 12448 0 0 914 45 7 3 20 0 22 0 12202940 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279884520024 140280277770983 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6465] ppid=6398 vsize=11130628 CPUtime=7.46 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6465/stat : 6465 (java) S 6398 6401 3349 0 -1 1077944384 19357 12448 0 0 671 65 7 3 20 0 22 0 12202943 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279759717776 140280285152981 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6466] ppid=6398 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6466/stat : 6466 (java) S 6398 6401 3349 0 -1 1077944384 65 12448 0 0 0 0 7 3 20 0 22 0 12202943 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279758665488 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6467] ppid=6398 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6467/stat : 6467 (java) S 6398 6401 3349 0 -1 1077944384 59 12448 0 0 0 0 7 3 20 0 22 0 12202944 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279757612288 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6468] ppid=6398 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6468/stat : 6468 (java) S 6398 6401 3349 0 -1 1077944384 75 12448 0 0 0 0 7 3 20 0 22 0 12202948 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279756560848 140280285161371 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6469] ppid=6398 vsize=11130628 CPUtime=3.98 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6469/stat : 6469 (java) S 6398 6401 3349 0 -1 1077944384 16826 12448 0 0 384 4 7 3 20 0 22 0 12202948 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279755507952 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6471] ppid=6398 vsize=11130628 CPUtime=4.34 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6471/stat : 6471 (java) S 6398 6401 3349 0 -1 1077944384 19596 12448 0 0 420 4 7 3 20 0 22 0 12202948 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279754455408 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6472] ppid=6398 vsize=11130628 CPUtime=4.35 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6472/stat : 6472 (java) S 6398 6401 3349 0 -1 1077944384 20156 12448 0 0 422 3 7 3 20 0 22 0 12202948 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279753402352 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6473] ppid=6398 vsize=11130628 CPUtime=2.58 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6473/stat : 6473 (java) S 6398 6401 3349 0 -1 1077944384 24299 12448 0 0 244 4 7 3 20 0 22 0 12202948 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279752349376 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6474] ppid=6398 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6474/stat : 6474 (java) S 6398 6401 3349 0 -1 1077944384 3 12448 0 0 0 0 7 3 20 0 22 0 12202948 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279751298016 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6475] ppid=6398 vsize=11130628 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6475/stat : 6475 (java) S 6398 6401 3349 0 -1 1077944384 1083 12448 0 0 63 69 7 3 20 0 22 0 12202948 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279750245552 140280285153922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 22 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6726] ppid=6398 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6726/stat : 6726 (java) S 6398 6401 3349 0 -1 1077944384 75 12448 0 0 0 0 7 3 20 0 22 0 12435317 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279650611696 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
[pid=6401/tid=6727] ppid=6398 vsize=11130628 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/6401/task/6727/stat : 6727 (java) S 6398 6401 3349 0 -1 1077944384 24 12448 0 0 0 0 7 3 20 0 22 0 12435317 11397763072 185490 33554432000 4194304 4196468 140737022172800 140279649559872 140280285152981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20795392 140737022180033 140737022182807 140737022182807 140737022185423 0
Current children cumulated CPU time (s) 2402.41
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2324.34
CPU time (s): 2402.49
CPU user time (s): 2397.32
CPU system time (s): 5.17765
CPU usage (%): 103.362
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.32
system time used= 5.17765
maximum resident set size= 1904940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267939
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 299673
involuntary context switches= 175990
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.4263 second user time and 21.8519 second system time
The end