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-4259672-1501655440/watcher-4259672-1501655440 -o /tmp/evaluation-result-4259672-1501655440/solver-4259672-1501655440 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501642693-29417 --watchdog 300 bin/concrete HOME/instance-4259672-1501655440.xml
pid=13800
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.60 1.75 1.83 3/194 13803
/proc/meminfo: memFree=28834872/32770624 swapFree=0/949712
[pid=13803] ppid=13800 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13803/stat : 13803 (runsolver) D 13800 13803 5678 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 14168682 24240128 106 18446744073709551615 4194304 4338465 140729371502096 140729371499736 139910177891031 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 16453632 140729371504848 140729371505222 140729371505222 140729371508682 0
/proc/13803/statm: 5918 106 53 36 0 2156 0
[startup+0.10016 s]
/proc/loadavg: 1.60 1.75 1.83 3/194 13803
/proc/meminfo: memFree=28834872/32770624 swapFree=0/949712
[pid=13803] ppid=13800 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/13803/stat : 13803 (bash) S 13800 13803 5678 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 14168682 9736192 351 18446744073709551615 4194304 5098028 140728766767728 140728766765368 140308621024256 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 9 0 0 7196144 7232144 18550784 140728766775825 140728766775910 140728766775910 140728766779370 0
/proc/13803/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200286 s]
/proc/loadavg: 1.60 1.75 1.83 3/194 13803
/proc/meminfo: memFree=28834872/32770624 swapFree=0/949712
[pid=13803] ppid=13800 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/13803/stat : 13803 (bash) S 13800 13803 5678 0 -1 4202496 897 6483 0 0 0 0 0 1 20 0 1 0 14168682 9867264 377 18446744073709551615 4194304 5098028 140728766767728 140728766761736 140308621024256 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 9 0 0 7196144 7232144 18550784 140728766775825 140728766775910 140728766775910 140728766779370 0
/proc/13803/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300339 s]
/proc/loadavg: 1.60 1.75 1.83 3/194 13803
/proc/meminfo: memFree=28834872/32770624 swapFree=0/949712
[pid=13803] ppid=13800 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/13803/stat : 13803 (java) S 13800 13803 5678 0 -1 1077944320 5817 12770 0 0 5 1 4 3 20 0 14 0 14168682 14241083392 5492 18446744073709551615 4194304 4196468 140733662966640 140733662949184 140289181564663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
/proc/13803/statm: 3476827 5492 2555 1 0 3466332 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.700196 s]
/proc/loadavg: 1.60 1.75 1.83 3/194 13803
/proc/meminfo: memFree=28834872/32770624 swapFree=0/949712
[pid=13803] ppid=13800 vsize=13974784 CPUtime=0.63 cores=0,2,4,6
/proc/13803/stat : 13803 (java) S 13800 13803 5678 0 -1 1077944320 13784 12770 0 0 53 3 4 3 20 0 15 0 14168682 14310178816 14245 18446744073709551615 4194304 4196468 140733662966640 140733662949184 140289181564663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
/proc/13803/statm: 3493696 14245 3096 1 0 3482973 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 13974784
[startup+1.50058 s]
/proc/loadavg: 1.60 1.75 1.83 3/209 13866
/proc/meminfo: memFree=28737664/32770624 swapFree=0/950208
[pid=13803] ppid=13800 vsize=13985408 CPUtime=1.83 cores=0,2,4,6
/proc/13803/stat : 13803 (java) S 13800 13803 5678 0 -1 1077944320 27792 12770 0 0 168 8 4 3 20 0 15 0 14168682 14321057792 33861 18446744073709551615 4194304 4196468 140733662966640 140733662949184 140289181564663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
/proc/13803/statm: 3496352 33861 3329 1 0 3485533 0
[pid=13803/tid=13853] ppid=13800 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/13803/task/13853/stat : 13853 (java) R 13800 13803 5678 0 -1 4202560 22545 12770 0 0 116 6 4 3 20 0 15 0 14168703 14321057792 33861 18446744073709551615 4194304 4196468 140733662966640 140289185795232 140289181586589 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13854] ppid=13800 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13854/stat : 13854 (java) S 13800 13803 5678 0 -1 1077944384 1 12770 0 0 0 0 4 3 20 0 15 0 14168704 14321057792 33861 18446744073709551615 4194304 4196468 140733662966640 140289138531088 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13855] ppid=13800 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13855/stat : 13855 (java) S 13800 13803 5678 0 -1 1077944384 1 12770 0 0 0 0 4 3 20 0 15 0 14168704 14321057792 33861 18446744073709551615 4194304 4196468 140733662966640 140289137478544 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13856] ppid=13800 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13856/stat : 13856 (java) S 13800 13803 5678 0 -1 1077944384 2 12770 0 0 0 0 4 3 20 0 15 0 14168704 14321057792 33861 18446744073709551615 4194304 4196468 140733662966640 140289136426000 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13857] ppid=13800 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13857/stat : 13857 (java) S 13800 13803 5678 0 -1 1077944384 2 12770 0 0 0 0 4 3 20 0 15 0 14168704 14321057792 33861 18446744073709551615 4194304 4196468 140733662966640 140289135373456 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13858] ppid=13800 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13858/stat : 13858 (java) S 13800 13803 5678 0 -1 1077944384 6 12770 0 0 0 0 4 3 20 0 15 0 14168706 14321057792 33861 18446744073709551615 4194304 4196468 140733662966640 140288660056048 140289181575810 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13859] ppid=13800 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13859/stat : 13859 (java) S 13800 13803 5678 0 -1 1077944384 33 12770 0 0 0 0 4 3 20 0 15 0 14168706 14321057792 33861 18446744073709551615 4194304 4196468 140733662966640 140288659002272 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13860] ppid=13800 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13860/stat : 13860 (java) S 13800 13803 5678 0 -1 1077944384 21 12770 0 0 0 0 4 3 20 0 15 0 14168706 14321057792 33861 18446744073709551615 4194304 4196468 140733662966640 140288657949680 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13861] ppid=13800 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13861/stat : 13861 (java) S 13800 13803 5678 0 -1 1077944384 3 12770 0 0 0 0 4 3 20 0 15 0 14168709 14321057792 33861 18446744073709551615 4194304 4196468 140733662966640 140288656898256 140289181583259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13862] ppid=13800 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/13803/task/13862/stat : 13862 (java) S 13800 13803 5678 0 -1 1077944384 1000 12770 0 0 14 0 4 3 20 0 15 0 14168709 14321057792 33861 18446744073709551615 4194304 4196468 140733662966640 140288655845872 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13863] ppid=13800 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/13803/task/13863/stat : 13863 (java) S 13800 13803 5678 0 -1 1077944384 673 12770 0 0 14 0 4 3 20 0 15 0 14168709 14321057792 33861 18446744073709551615 4194304 4196468 140733662966640 140288654793328 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13864] ppid=13800 vsize=13985408 CPUtime=0.29 cores=0,2,4,6
/proc/13803/task/13864/stat : 13864 (java) S 13800 13803 5678 0 -1 1077944384 1336 12770 0 0 22 0 4 3 20 0 15 0 14168709 14321057792 33861 18446744073709551615 4194304 4196468 140733662966640 140288653740784 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13865] ppid=13800 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13865/stat : 13865 (java) S 13800 13803 5678 0 -1 1077944384 3 12770 0 0 0 0 4 3 20 0 15 0 14168709 14321057792 33861 18446744073709551615 4194304 4196468 140733662966640 140288652688480 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13866] ppid=13800 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13866/stat : 13866 (java) S 13800 13803 5678 0 -1 1077944384 10 12770 0 0 0 0 4 3 20 0 15 0 14168715 14321057792 33861 18446744073709551615 4194304 4196468 140733662966640 140288651634992 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 13985408
[startup+3.10085 s]
/proc/loadavg: 1.71 1.77 1.84 5/208 13866
/proc/meminfo: memFree=28661664/32770624 swapFree=0/950208
[pid=13803] ppid=13800 vsize=13997884 CPUtime=5.57 cores=0,2,4,6
/proc/13803/stat : 13803 (java) S 13800 13803 5678 0 -1 1077944320 49155 12770 0 0 534 16 4 3 20 0 15 0 14168682 14333833216 55341 18446744073709551615 4194304 4196468 140733662966640 140733662949184 140289181564663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
/proc/13803/statm: 3499471 55341 3440 1 0 3488093 0
[pid=13803/tid=13853] ppid=13800 vsize=13997884 CPUtime=2.85 cores=0,2,4,6
/proc/13803/task/13853/stat : 13853 (java) R 13800 13803 5678 0 -1 4202560 35579 12770 0 0 269 9 4 3 20 0 15 0 14168703 14333833216 55341 18446744073709551615 4194304 4196468 140733662966640 140289185794848 140288822819301 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13854] ppid=13800 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13854/stat : 13854 (java) S 13800 13803 5678 0 -1 1077944384 62 12770 0 0 0 0 4 3 20 0 15 0 14168704 14333833216 55341 18446744073709551615 4194304 4196468 140733662966640 140289138531088 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13855] ppid=13800 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/13803/task/13855/stat : 13855 (java) S 13800 13803 5678 0 -1 1077944384 37 12770 0 0 1 0 4 3 20 0 15 0 14168704 14333833216 55341 18446744073709551615 4194304 4196468 140733662966640 140289137478544 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13856] ppid=13800 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/13803/task/13856/stat : 13856 (java) S 13800 13803 5678 0 -1 1077944384 196 12770 0 0 1 0 4 3 20 0 15 0 14168704 14333833216 55341 18446744073709551615 4194304 4196468 140733662966640 140289136426000 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13857] ppid=13800 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/13803/task/13857/stat : 13857 (java) S 13800 13803 5678 0 -1 1077944384 76 12770 0 0 1 0 4 3 20 0 15 0 14168704 14333833216 55341 18446744073709551615 4194304 4196468 140733662966640 140289135373456 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13858] ppid=13800 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/13803/task/13858/stat : 13858 (java) S 13800 13803 5678 0 -1 1077944384 1728 12770 0 0 1 0 4 3 20 0 15 0 14168706 14333833216 55341 18446744073709551615 4194304 4196468 140733662966640 140288660056048 140289181575810 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13859] ppid=13800 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13859/stat : 13859 (java) S 13800 13803 5678 0 -1 1077944384 56 12770 0 0 0 0 4 3 20 0 15 0 14168706 14333833216 55341 18446744073709551615 4194304 4196468 140733662966640 140288659002336 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13860] ppid=13800 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13860/stat : 13860 (java) S 13800 13803 5678 0 -1 1077944384 43 12770 0 0 0 0 4 3 20 0 15 0 14168706 14333833216 55341 18446744073709551615 4194304 4196468 140733662966640 140288657949696 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13861] ppid=13800 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13861/stat : 13861 (java) S 13800 13803 5678 0 -1 1077944384 3 12770 0 0 0 0 4 3 20 0 15 0 14168709 14333833216 55341 18446744073709551615 4194304 4196468 140733662966640 140288656898256 140289181583259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13862] ppid=13800 vsize=13997884 CPUtime=1.04 cores=0,2,4,6
/proc/13803/task/13862/stat : 13862 (java) R 13800 13803 5678 0 -1 4202560 4162 12770 0 0 96 1 4 3 20 0 15 0 14168709 14333833216 55341 18446744073709551615 4194304 4196468 140733662966640 140288655831584 140289162754334 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13863] ppid=13800 vsize=13997884 CPUtime=0.79 cores=0,2,4,6
/proc/13803/task/13863/stat : 13863 (java) R 13800 13803 5678 0 -1 4202560 1704 12770 0 0 71 1 4 3 20 0 15 0 14168709 14333833216 55341 18446744073709551615 4194304 4196468 140733662966640 140288654782736 140289162200547 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13864] ppid=13800 vsize=13997884 CPUtime=0.98 cores=0,2,4,6
/proc/13803/task/13864/stat : 13864 (java) S 13800 13803 5678 0 -1 1077944384 3339 12770 0 0 90 1 4 3 20 0 15 0 14168709 14333833216 55341 18446744073709551615 4194304 4196468 140733662966640 140288653740784 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13865] ppid=13800 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13865/stat : 13865 (java) S 13800 13803 5678 0 -1 1077944384 3 12770 0 0 0 0 4 3 20 0 15 0 14168709 14333833216 55341 18446744073709551615 4194304 4196468 140733662966640 140288652688480 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13866] ppid=13800 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13866/stat : 13866 (java) S 13800 13803 5678 0 -1 1077944384 11 12770 0 0 0 0 4 3 20 0 15 0 14168715 14333833216 55341 18446744073709551615 4194304 4196468 140733662966640 140288651634992 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
Current children cumulated CPU time (s) 5.57
Current children cumulated vsize (KiB) 13997884
[startup+6.30066 s]
/proc/loadavg: 1.71 1.77 1.84 6/208 13866
/proc/meminfo: memFree=28504244/32770624 swapFree=0/950208
[pid=13803] ppid=13800 vsize=14001980 CPUtime=13.6 cores=0,2,4,6
/proc/13803/stat : 13803 (java) S 13800 13803 5678 0 -1 1077944320 63094 12770 0 0 1329 24 4 3 20 0 15 0 14168682 14338027520 95006 18446744073709551615 4194304 4196468 140733662966640 140733662949184 140289181564663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
/proc/13803/statm: 3500495 95006 3459 1 0 3489117 0
[pid=13803/tid=13853] ppid=13800 vsize=14001980 CPUtime=5.96 cores=0,2,4,6
/proc/13803/task/13853/stat : 13853 (java) R 13800 13803 5678 0 -1 4202560 37104 12770 0 0 579 10 4 3 20 0 15 0 14168703 14338027520 95006 18446744073709551615 4194304 4196468 140733662966640 140289185793312 140288829056387 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13854] ppid=13800 vsize=14001980 CPUtime=0.12 cores=0,2,4,6
/proc/13803/task/13854/stat : 13854 (java) S 13800 13803 5678 0 -1 1077944384 90 12770 0 0 4 1 4 3 20 0 15 0 14168704 14338027520 95006 18446744073709551615 4194304 4196468 140733662966640 140289138531088 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13855] ppid=13800 vsize=14001980 CPUtime=0.12 cores=0,2,4,6
/proc/13803/task/13855/stat : 13855 (java) S 13800 13803 5678 0 -1 1077944384 76 12770 0 0 5 0 4 3 20 0 15 0 14168704 14338027520 95006 18446744073709551615 4194304 4196468 140733662966640 140289137478544 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13856] ppid=13800 vsize=14001980 CPUtime=0.13 cores=0,2,4,6
/proc/13803/task/13856/stat : 13856 (java) S 13800 13803 5678 0 -1 1077944384 364 12770 0 0 5 1 4 3 20 0 15 0 14168704 14338027520 95006 18446744073709551615 4194304 4196468 140733662966640 140289136426000 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13857] ppid=13800 vsize=14001980 CPUtime=0.13 cores=0,2,4,6
/proc/13803/task/13857/stat : 13857 (java) S 13800 13803 5678 0 -1 1077944384 131 12770 0 0 5 1 4 3 20 0 15 0 14168704 14338027520 95006 18446744073709551615 4194304 4196468 140733662966640 140289135373456 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13858] ppid=13800 vsize=14001980 CPUtime=0.11 cores=0,2,4,6
/proc/13803/task/13858/stat : 13858 (java) S 13800 13803 5678 0 -1 1077944384 2354 12770 0 0 4 0 4 3 20 0 15 0 14168706 14338027520 95006 18446744073709551615 4194304 4196468 140733662966640 140288660056048 140289181575810 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13859] ppid=13800 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13859/stat : 13859 (java) S 13800 13803 5678 0 -1 1077944384 56 12770 0 0 0 0 4 3 20 0 15 0 14168706 14338027520 95006 18446744073709551615 4194304 4196468 140733662966640 140288659002336 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13860] ppid=13800 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13860/stat : 13860 (java) S 13800 13803 5678 0 -1 1077944384 43 12770 0 0 0 0 4 3 20 0 15 0 14168706 14338027520 95006 18446744073709551615 4194304 4196468 140733662966640 140288657949696 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13861] ppid=13800 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13861/stat : 13861 (java) S 13800 13803 5678 0 -1 1077944384 3 12770 0 0 0 0 4 3 20 0 15 0 14168709 14338027520 95006 18446744073709551615 4194304 4196468 140733662966640 140288656898256 140289181583259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13862] ppid=13800 vsize=14001980 CPUtime=3.04 cores=0,2,4,6
/proc/13803/task/13862/stat : 13862 (java) R 13800 13803 5678 0 -1 4202560 7683 12770 0 0 295 2 4 3 20 0 15 0 14168709 14338027520 95006 18446744073709551615 4194304 4196468 140733662966640 140288655833424 140289162743745 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13863] ppid=13800 vsize=14001980 CPUtime=2.64 cores=0,2,4,6
/proc/13803/task/13863/stat : 13863 (java) R 13800 13803 5678 0 -1 4202560 5581 12770 0 0 255 2 4 3 20 0 15 0 14168709 14338027520 95006 18446744073709551615 4194304 4196468 140733662966640 140288654779824 140289165470592 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13864] ppid=13800 vsize=14001980 CPUtime=1.83 cores=0,2,4,6
/proc/13803/task/13864/stat : 13864 (java) S 13800 13803 5678 0 -1 1077944384 7436 12770 0 0 173 3 4 3 20 0 15 0 14168709 14338027520 95006 18446744073709551615 4194304 4196468 140733662966640 140288653740784 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13865] ppid=13800 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13865/stat : 13865 (java) S 13800 13803 5678 0 -1 1077944384 3 12770 0 0 0 0 4 3 20 0 15 0 14168709 14338027520 95006 18446744073709551615 4194304 4196468 140733662966640 140288652688480 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13866] ppid=13800 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13866/stat : 13866 (java) S 13800 13803 5678 0 -1 1077944384 14 12770 0 0 0 0 4 3 20 0 15 0 14168715 14338027520 95006 18446744073709551615 4194304 4196468 140733662966640 140288651634992 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
Current children cumulated CPU time (s) 13.6
Current children cumulated vsize (KiB) 14001980
[startup+12.7007 s]
/proc/loadavg: 1.98 1.83 1.85 3/208 13866
/proc/meminfo: memFree=28205348/32770624 swapFree=0/950216
[pid=13803] ppid=13800 vsize=14006076 CPUtime=26.18 cores=0,2,4,6
/proc/13803/stat : 13803 (java) S 13800 13803 5678 0 -1 1077944320 83264 12770 0 0 2578 33 4 3 20 0 15 0 14168682 14342221824 170217 18446744073709551615 4194304 4196468 140733662966640 140733662949184 140289181564663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
/proc/13803/statm: 3501519 170217 3473 1 0 3490141 0
[pid=13803/tid=13853] ppid=13800 vsize=14006076 CPUtime=12.32 cores=0,2,4,6
/proc/13803/task/13853/stat : 13853 (java) R 13800 13803 5678 0 -1 4202560 39863 12770 0 0 1209 16 4 3 20 0 15 0 14168703 14342221824 170217 18446744073709551615 4194304 4196468 140733662966640 140289185798816 140288835180581 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13854] ppid=13800 vsize=14006076 CPUtime=0.13 cores=0,2,4,6
/proc/13803/task/13854/stat : 13854 (java) S 13800 13803 5678 0 -1 1077944384 169 12770 0 0 5 1 4 3 20 0 15 0 14168704 14342221824 170217 18446744073709551615 4194304 4196468 140733662966640 140289138531088 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13855] ppid=13800 vsize=14006076 CPUtime=0.14 cores=0,2,4,6
/proc/13803/task/13855/stat : 13855 (java) S 13800 13803 5678 0 -1 1077944384 142 12770 0 0 7 0 4 3 20 0 15 0 14168704 14342221824 170217 18446744073709551615 4194304 4196468 140733662966640 140289137478544 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13856] ppid=13800 vsize=14006076 CPUtime=0.15 cores=0,2,4,6
/proc/13803/task/13856/stat : 13856 (java) S 13800 13803 5678 0 -1 1077944384 1592 12770 0 0 7 1 4 3 20 0 15 0 14168704 14342221824 170217 18446744073709551615 4194304 4196468 140733662966640 140289136426000 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13857] ppid=13800 vsize=14006076 CPUtime=0.15 cores=0,2,4,6
/proc/13803/task/13857/stat : 13857 (java) S 13800 13803 5678 0 -1 1077944384 258 12770 0 0 7 1 4 3 20 0 15 0 14168704 14342221824 170217 18446744073709551615 4194304 4196468 140733662966640 140289135373456 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13858] ppid=13800 vsize=14006076 CPUtime=0.12 cores=0,2,4,6
/proc/13803/task/13858/stat : 13858 (java) S 13800 13803 5678 0 -1 1077944384 2753 12770 0 0 5 0 4 3 20 0 15 0 14168706 14342221824 170217 18446744073709551615 4194304 4196468 140733662966640 140288660056048 140289181575810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13859] ppid=13800 vsize=14006076 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13859/stat : 13859 (java) S 13800 13803 5678 0 -1 1077944384 62 12770 0 0 0 0 4 3 20 0 15 0 14168706 14342221824 170217 18446744073709551615 4194304 4196468 140733662966640 140288659002336 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13860] ppid=13800 vsize=14006076 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13860/stat : 13860 (java) S 13800 13803 5678 0 -1 1077944384 43 12770 0 0 0 0 4 3 20 0 15 0 14168706 14342221824 170217 18446744073709551615 4194304 4196468 140733662966640 140288657949696 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13861] ppid=13800 vsize=14006076 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13861/stat : 13861 (java) S 13800 13803 5678 0 -1 1077944384 3 12770 0 0 0 0 4 3 20 0 15 0 14168709 14342221824 170217 18446744073709551615 4194304 4196468 140733662966640 140288656898256 140289181583259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
################
# More data... #
################
/proc/13803/task/13865/stat : 13865 (java) S 13800 13803 5678 0 -1 1077944384 3 12770 0 0 0 0 4 3 20 0 15 0 14168709 14342221824 298770 18446744073709551615 4194304 4196468 140733662966640 140288652688480 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13866] ppid=13800 vsize=14006076 CPUtime=0.12 cores=0,2,4,6
/proc/13803/task/13866/stat : 13866 (java) S 13800 13803 5678 0 -1 1077944384 927 12770 0 0 3 2 4 3 20 0 15 0 14168715 14342221824 298770 18446744073709551615 4194304 4196468 140733662966640 140288651634992 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
Current children cumulated CPU time (s) 116.92
Current children cumulated vsize (KiB) 14006076
[startup+162.301 s]
/proc/loadavg: 1.43 1.65 1.78 3/209 13872
/proc/meminfo: memFree=27691844/32770624 swapFree=0/950308
[pid=13803] ppid=13800 vsize=14006076 CPUtime=177.24 cores=0,2,4,6
/proc/13803/stat : 13803 (java) S 13800 13803 5678 0 -1 1077944320 124698 12770 0 0 17663 54 4 3 20 0 15 0 14168682 14342221824 285816 18446744073709551615 4194304 4196468 140733662966640 140733662949184 140289181564663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
/proc/13803/statm: 3501519 285816 3473 1 0 3490141 0
[pid=13803/tid=13853] ppid=13800 vsize=14006076 CPUtime=161.77 cores=0,2,4,6
/proc/13803/task/13853/stat : 13853 (java) R 13800 13803 5678 0 -1 4202560 49640 12770 0 0 16146 24 4 3 20 0 15 0 14168703 14342221824 285816 18446744073709551615 4194304 4196468 140733662966640 140289185798848 140288818669142 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13854] ppid=13800 vsize=14006076 CPUtime=0.23 cores=0,2,4,6
/proc/13803/task/13854/stat : 13854 (java) S 13800 13803 5678 0 -1 1077944384 375 12770 0 0 13 3 4 3 20 0 15 0 14168704 14342221824 285816 18446744073709551615 4194304 4196468 140733662966640 140289138531088 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13855] ppid=13800 vsize=14006076 CPUtime=0.23 cores=0,2,4,6
/proc/13803/task/13855/stat : 13855 (java) S 13800 13803 5678 0 -1 1077944384 1083 12770 0 0 14 2 4 3 20 0 15 0 14168704 14342221824 285816 18446744073709551615 4194304 4196468 140733662966640 140289137478544 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13856] ppid=13800 vsize=14006076 CPUtime=0.24 cores=0,2,4,6
/proc/13803/task/13856/stat : 13856 (java) S 13800 13803 5678 0 -1 1077944384 4223 12770 0 0 14 3 4 3 20 0 15 0 14168704 14342221824 285816 18446744073709551615 4194304 4196468 140733662966640 140289136426000 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13857] ppid=13800 vsize=14006076 CPUtime=0.24 cores=0,2,4,6
/proc/13803/task/13857/stat : 13857 (java) S 13800 13803 5678 0 -1 1077944384 2065 12770 0 0 14 3 4 3 20 0 15 0 14168704 14342221824 285816 18446744073709551615 4194304 4196468 140733662966640 140289135373456 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13858] ppid=13800 vsize=14006076 CPUtime=0.18 cores=0,2,4,6
/proc/13803/task/13858/stat : 13858 (java) S 13800 13803 5678 0 -1 1077944384 3912 12770 0 0 10 1 4 3 20 0 15 0 14168706 14342221824 285816 18446744073709551615 4194304 4196468 140733662966640 140288660056048 140289181575810 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13859] ppid=13800 vsize=14006076 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13859/stat : 13859 (java) S 13800 13803 5678 0 -1 1077944384 62 12770 0 0 0 0 4 3 20 0 15 0 14168706 14342221824 285816 18446744073709551615 4194304 4196468 140733662966640 140288659002336 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13860] ppid=13800 vsize=14006076 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13860/stat : 13860 (java) S 13800 13803 5678 0 -1 1077944384 43 12770 0 0 0 0 4 3 20 0 15 0 14168706 14342221824 285816 18446744073709551615 4194304 4196468 140733662966640 140288657949696 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13861] ppid=13800 vsize=14006076 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13861/stat : 13861 (java) S 13800 13803 5678 0 -1 1077944384 3 12770 0 0 0 0 4 3 20 0 15 0 14168709 14342221824 285816 18446744073709551615 4194304 4196468 140733662966640 140288656898256 140289181583259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13862] ppid=13800 vsize=14006076 CPUtime=6.4 cores=0,2,4,6
/proc/13803/task/13862/stat : 13862 (java) S 13800 13803 5678 0 -1 1077944384 23108 12770 0 0 630 3 4 3 20 0 15 0 14168709 14342221824 285816 18446744073709551615 4194304 4196468 140733662966640 140288655845872 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13863] ppid=13800 vsize=14006076 CPUtime=5.8 cores=0,2,4,6
/proc/13803/task/13863/stat : 13863 (java) S 13800 13803 5678 0 -1 1077944384 18857 12770 0 0 570 3 4 3 20 0 15 0 14168709 14342221824 285816 18446744073709551615 4194304 4196468 140733662966640 140288654793328 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13864] ppid=13800 vsize=14006076 CPUtime=2.52 cores=0,2,4,6
/proc/13803/task/13864/stat : 13864 (java) S 13800 13803 5678 0 -1 1077944384 18223 12770 0 0 240 5 4 3 20 0 15 0 14168709 14342221824 285816 18446744073709551615 4194304 4196468 140733662966640 140288653740784 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13865] ppid=13800 vsize=14006076 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13865/stat : 13865 (java) S 13800 13803 5678 0 -1 1077944384 3 12770 0 0 0 0 4 3 20 0 15 0 14168709 14342221824 285816 18446744073709551615 4194304 4196468 140733662966640 140288652688480 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13866] ppid=13800 vsize=14006076 CPUtime=0.16 cores=0,2,4,6
/proc/13803/task/13866/stat : 13866 (java) S 13800 13803 5678 0 -1 1077944384 945 12770 0 0 5 4 4 3 20 0 15 0 14168715 14342221824 285816 18446744073709551615 4194304 4196468 140733662966640 140288651634992 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
Current children cumulated CPU time (s) 177.24
Current children cumulated vsize (KiB) 14006076
[startup+222.307 s]
/proc/loadavg: 1.60 1.66 1.78 3/210 14014
/proc/meminfo: memFree=28956360/32770624 swapFree=0/950364
[pid=13803] ppid=13800 vsize=14006076 CPUtime=237.86 cores=0,2,4,6
/proc/13803/stat : 13803 (java) S 13800 13803 5678 0 -1 1077944320 137076 12770 0 0 23719 60 4 3 20 0 15 0 14168682 14342221824 279042 18446744073709551615 4194304 4196468 140733662966640 140733662949184 140289181564663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
/proc/13803/statm: 3501519 279042 3473 1 0 3490141 0
[pid=13803/tid=13853] ppid=13800 vsize=14006076 CPUtime=221.53 cores=0,2,4,6
/proc/13803/task/13853/stat : 13853 (java) R 13800 13803 5678 0 -1 4202560 51303 12770 0 0 22122 24 4 3 20 0 15 0 14168703 14342221824 279042 18446744073709551615 4194304 4196468 140733662966640 140289185798688 140288834814244 0 4 1 16800974 0 0 0 -1 4 0 0 5 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13854] ppid=13800 vsize=14006076 CPUtime=0.34 cores=0,2,4,6
/proc/13803/task/13854/stat : 13854 (java) S 13800 13803 5678 0 -1 1077944384 537 12770 0 0 23 4 4 3 20 0 15 0 14168704 14342221824 279042 18446744073709551615 4194304 4196468 140733662966640 140289138531088 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13855] ppid=13800 vsize=14006076 CPUtime=0.35 cores=0,2,4,6
/proc/13803/task/13855/stat : 13855 (java) S 13800 13803 5678 0 -1 1077944384 1705 12770 0 0 24 4 4 3 20 0 15 0 14168704 14342221824 279042 18446744073709551615 4194304 4196468 140733662966640 140289137478544 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13856] ppid=13800 vsize=14006076 CPUtime=0.36 cores=0,2,4,6
/proc/13803/task/13856/stat : 13856 (java) S 13800 13803 5678 0 -1 1077944384 5275 12770 0 0 24 5 4 3 20 0 15 0 14168704 14342221824 279042 18446744073709551615 4194304 4196468 140733662966640 140289136426000 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13857] ppid=13800 vsize=14006076 CPUtime=0.36 cores=0,2,4,6
/proc/13803/task/13857/stat : 13857 (java) S 13800 13803 5678 0 -1 1077944384 2152 12770 0 0 24 5 4 3 20 0 15 0 14168704 14342221824 279042 18446744073709551615 4194304 4196468 140733662966640 140289135373456 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13858] ppid=13800 vsize=14006076 CPUtime=0.28 cores=0,2,4,6
/proc/13803/task/13858/stat : 13858 (java) S 13800 13803 5678 0 -1 1077944384 4250 12770 0 0 19 2 4 3 20 0 15 0 14168706 14342221824 279042 18446744073709551615 4194304 4196468 140733662966640 140288660056048 140289181575810 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13859] ppid=13800 vsize=14006076 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13859/stat : 13859 (java) S 13800 13803 5678 0 -1 1077944384 62 12770 0 0 0 0 4 3 20 0 15 0 14168706 14342221824 279042 18446744073709551615 4194304 4196468 140733662966640 140288659002336 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13860] ppid=13800 vsize=14006076 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13860/stat : 13860 (java) S 13800 13803 5678 0 -1 1077944384 43 12770 0 0 0 0 4 3 20 0 15 0 14168706 14342221824 279042 18446744073709551615 4194304 4196468 140733662966640 140288657949696 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13861] ppid=13800 vsize=14006076 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13861/stat : 13861 (java) S 13800 13803 5678 0 -1 1077944384 3 12770 0 0 0 0 4 3 20 0 15 0 14168709 14342221824 279042 18446744073709551615 4194304 4196468 140733662966640 140288656898256 140289181583259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13862] ppid=13800 vsize=14006076 CPUtime=6.53 cores=0,2,4,6
/proc/13803/task/13862/stat : 13862 (java) S 13800 13803 5678 0 -1 1077944384 27467 12770 0 0 643 3 4 3 20 0 15 0 14168709 14342221824 279042 18446744073709551615 4194304 4196468 140733662966640 140288655845872 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13863] ppid=13800 vsize=14006076 CPUtime=5.93 cores=0,2,4,6
/proc/13803/task/13863/stat : 13863 (java) S 13800 13803 5678 0 -1 1077944384 21307 12770 0 0 583 3 4 3 20 0 15 0 14168709 14342221824 279042 18446744073709551615 4194304 4196468 140733662966640 140288654793328 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13864] ppid=13800 vsize=14006076 CPUtime=2.54 cores=0,2,4,6
/proc/13803/task/13864/stat : 13864 (java) S 13800 13803 5678 0 -1 1077944384 19846 12770 0 0 242 5 4 3 20 0 15 0 14168709 14342221824 279042 18446744073709551615 4194304 4196468 140733662966640 140288653740784 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13865] ppid=13800 vsize=14006076 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13865/stat : 13865 (java) S 13800 13803 5678 0 -1 1077944384 3 12770 0 0 0 0 4 3 20 0 15 0 14168709 14342221824 279042 18446744073709551615 4194304 4196468 140733662966640 140288652688480 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13866] ppid=13800 vsize=14006076 CPUtime=0.19 cores=0,2,4,6
/proc/13803/task/13866/stat : 13866 (java) S 13800 13803 5678 0 -1 1077944384 967 12770 0 0 6 6 4 3 20 0 15 0 14168715 14342221824 279042 18446744073709551615 4194304 4196468 140733662966640 140288651634992 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
Current children cumulated CPU time (s) 237.86
Current children cumulated vsize (KiB) 14006076
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.55 1.65 1.77 3/210 14014
/proc/meminfo: memFree=28747356/32770624 swapFree=0/950372
[pid=13803] ppid=13800 vsize=14006076 CPUtime=255.73 cores=0,2,4,6
/proc/13803/stat : 13803 (java) S 13800 13803 5678 0 -1 1077944320 141827 12770 0 0 25504 62 4 3 20 0 15 0 14168682 14342221824 278703 18446744073709551615 4194304 4196468 140733662966640 140733662949184 140289181564663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
/proc/13803/statm: 3501519 278703 3473 1 0 3490141 0
[pid=13803/tid=13853] ppid=13800 vsize=14006076 CPUtime=239.11 cores=0,2,4,6
/proc/13803/task/13853/stat : 13853 (java) R 13800 13803 5678 0 -1 4202560 51870 12770 0 0 23880 24 4 3 20 0 15 0 14168703 14342221824 278703 18446744073709551615 4194304 4196468 140733662966640 140289185798688 140288816429760 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13854] ppid=13800 vsize=14006076 CPUtime=0.39 cores=0,2,4,6
/proc/13803/task/13854/stat : 13854 (java) S 13800 13803 5678 0 -1 1077944384 608 12770 0 0 28 4 4 3 20 0 15 0 14168704 14342221824 278703 18446744073709551615 4194304 4196468 140733662966640 140289138531088 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13855] ppid=13800 vsize=14006076 CPUtime=0.4 cores=0,2,4,6
/proc/13803/task/13855/stat : 13855 (java) S 13800 13803 5678 0 -1 1077944384 1719 12770 0 0 29 4 4 3 20 0 15 0 14168704 14342221824 278703 18446744073709551615 4194304 4196468 140733662966640 140289137478544 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13856] ppid=13800 vsize=14006076 CPUtime=0.41 cores=0,2,4,6
/proc/13803/task/13856/stat : 13856 (java) S 13800 13803 5678 0 -1 1077944384 6318 12770 0 0 29 5 4 3 20 0 15 0 14168704 14342221824 278703 18446744073709551615 4194304 4196468 140733662966640 140289136426000 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13857] ppid=13800 vsize=14006076 CPUtime=0.41 cores=0,2,4,6
/proc/13803/task/13857/stat : 13857 (java) S 13800 13803 5678 0 -1 1077944384 2299 12770 0 0 29 5 4 3 20 0 15 0 14168704 14342221824 278703 18446744073709551615 4194304 4196468 140733662966640 140289135373456 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13858] ppid=13800 vsize=14006076 CPUtime=0.32 cores=0,2,4,6
/proc/13803/task/13858/stat : 13858 (java) S 13800 13803 5678 0 -1 1077944384 4427 12770 0 0 22 3 4 3 20 0 15 0 14168706 14342221824 278703 18446744073709551615 4194304 4196468 140733662966640 140288660056048 140289181575810 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13859] ppid=13800 vsize=14006076 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13859/stat : 13859 (java) S 13800 13803 5678 0 -1 1077944384 62 12770 0 0 0 0 4 3 20 0 15 0 14168706 14342221824 278703 18446744073709551615 4194304 4196468 140733662966640 140288659002336 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13860] ppid=13800 vsize=14006076 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13860/stat : 13860 (java) S 13800 13803 5678 0 -1 1077944384 43 12770 0 0 0 0 4 3 20 0 15 0 14168706 14342221824 278703 18446744073709551615 4194304 4196468 140733662966640 140288657949696 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13861] ppid=13800 vsize=14006076 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13861/stat : 13861 (java) S 13800 13803 5678 0 -1 1077944384 3 12770 0 0 0 0 4 3 20 0 15 0 14168709 14342221824 278703 18446744073709551615 4194304 4196468 140733662966640 140288656898256 140289181583259 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13862] ppid=13800 vsize=14006076 CPUtime=6.54 cores=0,2,4,6
/proc/13803/task/13862/stat : 13862 (java) S 13800 13803 5678 0 -1 1077944384 28086 12770 0 0 644 3 4 3 20 0 15 0 14168709 14342221824 278703 18446744073709551615 4194304 4196468 140733662966640 140288655845872 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13863] ppid=13800 vsize=14006076 CPUtime=5.95 cores=0,2,4,6
/proc/13803/task/13863/stat : 13863 (java) S 13800 13803 5678 0 -1 1077944384 22635 12770 0 0 585 3 4 3 20 0 15 0 14168709 14342221824 278703 18446744073709551615 4194304 4196468 140733662966640 140288654793328 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13864] ppid=13800 vsize=14006076 CPUtime=2.54 cores=0,2,4,6
/proc/13803/task/13864/stat : 13864 (java) S 13800 13803 5678 0 -1 1077944384 20627 12770 0 0 242 5 4 3 20 0 15 0 14168709 14342221824 278703 18446744073709551615 4194304 4196468 140733662966640 140288653740784 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13865] ppid=13800 vsize=14006076 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13865/stat : 13865 (java) S 13800 13803 5678 0 -1 1077944384 3 12770 0 0 0 0 4 3 20 0 15 0 14168709 14342221824 278703 18446744073709551615 4194304 4196468 140733662966640 140288652688480 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13866] ppid=13800 vsize=14006076 CPUtime=0.2 cores=0,2,4,6
/proc/13803/task/13866/stat : 13866 (java) S 13800 13803 5678 0 -1 1077944384 971 12770 0 0 7 6 4 3 20 0 15 0 14168715 14342221824 278703 18446744073709551615 4194304 4196468 140733662966640 140288651634992 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
Current children cumulated CPU time (s) 255.73
Current children cumulated vsize (KiB) 14006076
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 13803 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.203 s]
/proc/loadavg: 1.55 1.65 1.77 3/210 14014
/proc/meminfo: memFree=28747356/32770624 swapFree=0/950372
[pid=13803] ppid=13800 vsize=14139204 CPUtime=256.29 cores=0,2,4,6
/proc/13803/stat : 13803 (java) S 13800 13803 5678 0 -1 1077944320 151822 12770 0 0 25559 63 4 3 20 0 17 0 14168682 14478544896 280430 18446744073709551615 4194304 4196468 140733662966640 140733662949184 140289181564663 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
/proc/13803/statm: 3534801 280430 3474 1 0 3523423 0
[pid=13803/tid=13853] ppid=13800 vsize=14139204 CPUtime=239.12 cores=0,2,4,6
/proc/13803/task/13853/stat : 13853 (java) S 13800 13803 5678 0 -1 1077944384 52502 12770 0 0 23881 24 4 3 20 0 17 0 14168703 14478544896 280430 18446744073709551615 4194304 4196468 140733662966640 140289185802208 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13854] ppid=13800 vsize=14139204 CPUtime=0.51 cores=0,2,4,6
/proc/13803/task/13854/stat : 13854 (java) R 13800 13803 5678 0 -1 4202560 646 12770 0 0 40 4 4 3 20 0 17 0 14168704 14478544896 280430 18446744073709551615 4194304 4196468 140733662966640 140289138531088 140289174192871 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13855] ppid=13800 vsize=14139204 CPUtime=0.51 cores=0,2,4,6
/proc/13803/task/13855/stat : 13855 (java) R 13800 13803 5678 0 -1 4202560 1789 12770 0 0 40 4 4 3 20 0 17 0 14168704 14478544896 280430 18446744073709551615 4194304 4196468 140733662966640 140289137478664 140289174192871 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13856] ppid=13800 vsize=14139204 CPUtime=0.53 cores=0,2,4,6
/proc/13803/task/13856/stat : 13856 (java) R 13800 13803 5678 0 -1 4202560 6370 12770 0 0 41 5 4 3 20 0 17 0 14168704 14478544896 280430 18446744073709551615 4194304 4196468 140733662966640 140289136426000 140289166561067 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13857] ppid=13800 vsize=14139204 CPUtime=0.52 cores=0,2,4,6
/proc/13803/task/13857/stat : 13857 (java) R 13800 13803 5678 0 -1 4202560 2331 12770 0 0 40 5 4 3 20 0 17 0 14168704 14478544896 280430 18446744073709551615 4194304 4196468 140733662966640 140289135373456 140289164947698 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13858] ppid=13800 vsize=14139204 CPUtime=0.39 cores=0,2,4,6
/proc/13803/task/13858/stat : 13858 (java) S 13800 13803 5678 0 -1 1077944384 13162 12770 0 0 29 3 4 3 20 0 17 0 14168706 14478544896 280430 18446744073709551615 4194304 4196468 140733662966640 140288660054672 140289181574869 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13859] ppid=13800 vsize=14139204 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13859/stat : 13859 (java) S 13800 13803 5678 0 -1 1077944384 63 12770 0 0 0 0 4 3 20 0 17 0 14168706 14478544896 280430 18446744073709551615 4194304 4196468 140733662966640 140288659002240 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13860] ppid=13800 vsize=14139204 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13860/stat : 13860 (java) S 13800 13803 5678 0 -1 1077944384 43 12770 0 0 0 0 4 3 20 0 17 0 14168706 14478544896 280430 18446744073709551615 4194304 4196468 140733662966640 140288657949696 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13861] ppid=13800 vsize=14139204 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13861/stat : 13861 (java) S 13800 13803 5678 0 -1 1077944384 161 12770 0 0 0 0 4 3 20 0 17 0 14168709 14478544896 280430 18446744073709551615 4194304 4196468 140733662966640 140288656898256 140289181583259 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13862] ppid=13800 vsize=14139204 CPUtime=6.54 cores=0,2,4,6
/proc/13803/task/13862/stat : 13862 (java) S 13800 13803 5678 0 -1 1077944384 28086 12770 0 0 644 3 4 3 20 0 17 0 14168709 14478544896 280430 18446744073709551615 4194304 4196468 140733662966640 140288655845872 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13863] ppid=13800 vsize=14139204 CPUtime=5.95 cores=0,2,4,6
/proc/13803/task/13863/stat : 13863 (java) S 13800 13803 5678 0 -1 1077944384 22635 12770 0 0 585 3 4 3 20 0 17 0 14168709 14478544896 280430 18446744073709551615 4194304 4196468 140733662966640 140288654793328 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13864] ppid=13800 vsize=14139204 CPUtime=2.54 cores=0,2,4,6
/proc/13803/task/13864/stat : 13864 (java) S 13800 13803 5678 0 -1 1077944384 20627 12770 0 0 242 5 4 3 20 0 17 0 14168709 14478544896 280430 18446744073709551615 4194304 4196468 140733662966640 140288653740784 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13865] ppid=13800 vsize=14139204 CPUtime=0.07 cores=0,2,4,6
/proc/13803/task/13865/stat : 13865 (java) S 13800 13803 5678 0 -1 1077944384 3 12770 0 0 0 0 4 3 20 0 17 0 14168709 14478544896 280430 18446744073709551615 4194304 4196468 140733662966640 140288652688480 140289181574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
[pid=13803/tid=13866] ppid=13800 vsize=14139204 CPUtime=0.2 cores=0,2,4,6
/proc/13803/task/13866/stat : 13866 (java) S 13800 13803 5678 0 -1 1077944384 971 12770 0 0 7 6 4 3 20 0 17 0 14168715 14478544896 280430 18446744073709551615 4194304 4196468 140733662966640 140288651634992 140289181575810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17264640 140733662971853 140733662974638 140733662974638 140733662977999 0
Current children cumulated CPU time (s) 256.29
Current children cumulated vsize (KiB) 14139204
Child status: 143
Real time (s): 240.295
CPU time (s): 256.484
CPU user time (s): 255.799
CPU system time (s): 0.684884
CPU usage (%): 106.737
Max. virtual memory (cumulated for all children) (KiB): 14139204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.799
system time used= 0.684884
maximum resident set size= 1212060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164756
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18241
involuntary context switches= 488
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.95659 second user time and 1.55999 second system time
The end