runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14472 MiB free)
memory of node 1: 16384 MiB (12752 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305243-1534141715/watcher-4305243-1534141715 -o /tmp/evaluation-result-4305243-1534141715/solver-4305243-1534141715 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534136767-2523 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=627170761 HOME/instance-4305243-1534141715.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3300, runsolver pid=3297
[startup+0.100092 s]*
/proc/loadavg: 1.42 1.39 1.35 3/206 3357
/proc/meminfo: memFree=27873628/32770624 swapFree=67030660/67108860
[pid=3300] ppid=3297 vsize=10005480 memory=14912 CPUtime=0.09 cores=0,2,4,6
/proc/3300/stat : 3300 (java) S 3297 3300 1776 0 -1 1077944320 4396 12830 0 0 1 0 5 3 20 0 6 0 231734634 10245611520 3728 33554432000 4194304 4196468 140724814461728 140724814444272 139930001026807 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
/proc/3300/statm: 2501370 3728 1934 1 0 2489808 0
[pid=3300/tid=3353] ppid=3297 vsize=10005480 memory=-8960322420946026437 CPUtime=0.09 cores=0,2,4,6
/proc/3300/task/3353/stat : 3353 (java) R 3297 3300 1776 0 -1 4202560 2245 12830 0 0 1 0 5 3 20 0 6 0 231734643 10245611520 3794 33554432000 4194304 4196468 140724814461728 139929972863568 139929985107324 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3354] ppid=3297 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3354/stat : 3354 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 6 0 231734644 10245611520 3794 33554432000 4194304 4196468 140724814461728 139930005269136 139930001037013 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3355] ppid=3297 vsize=10005480 memory=139650851964544 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3355/stat : 3355 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 6 0 231734644 10245611520 3794 33554432000 4194304 4196468 140724814461728 139929901472272 139930001037013 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3356] ppid=3297 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3356/stat : 3356 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 6 0 231734644 10245611520 3794 33554432000 4194304 4196468 140724814461728 139929540028816 139930001037013 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3357] ppid=3297 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3357/stat : 3357 (java) S 3297 3300 1776 0 -1 1077944384 2 12830 0 0 0 0 5 3 20 0 6 0 231734644 10245611520 3794 33554432000 4194304 4196468 140724814461728 139929538976016 139930001037013 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14912 KiB
[startup+0.209976 s]*
/proc/loadavg: 1.42 1.39 1.35 3/215 3366
/proc/meminfo: memFree=27849964/32770624 swapFree=67030660/67108860
[pid=3300] ppid=3297 vsize=10982696 memory=42888 CPUtime=0.27 cores=0,2,4,6
/proc/3300/stat : 3300 (java) S 3297 3300 1776 0 -1 1077944320 8574 12830 0 0 17 2 5 3 20 0 15 0 231734634 11246280704 10722 33554432000 4194304 4196468 140724814461728 140724814444272 139930001026807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
/proc/3300/statm: 2745674 10722 2971 1 0 2708109 0
[pid=3300/tid=3353] ppid=3297 vsize=10982696 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/3300/task/3353/stat : 3353 (java) R 3297 3300 1776 0 -1 4202560 5031 12830 0 0 10 1 5 3 20 0 15 0 231734643 11246280704 10722 33554432000 4194304 4196468 140724814461728 139929972824464 139929982400291 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3354] ppid=3297 vsize=10982696 memory=343 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3354/stat : 3354 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 15 0 231734644 11246280704 10722 33554432000 4194304 4196468 140724814461728 139930005269136 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3355] ppid=3297 vsize=10982696 memory=139650851975845 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3355/stat : 3355 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 15 0 231734644 11246280704 10722 33554432000 4194304 4196468 140724814461728 139929901472272 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3356] ppid=3297 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3356/stat : 3356 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 15 0 231734644 11246280704 10722 33554432000 4194304 4196468 140724814461728 139929540028816 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3357] ppid=3297 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3357/stat : 3357 (java) S 3297 3300 1776 0 -1 1077944384 2 12830 0 0 0 0 5 3 20 0 15 0 231734644 11246280704 10722 33554432000 4194304 4196468 140724814461728 139929538976016 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3358] ppid=3297 vsize=10982696 memory=139650851964544 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3358/stat : 3358 (java) S 3297 3300 1776 0 -1 1077944384 2 12830 0 0 0 0 5 3 20 0 15 0 231734645 11246280704 10722 33554432000 4194304 4196468 140724814461728 139929426307952 139930001037954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3359] ppid=3297 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3359/stat : 3359 (java) S 3297 3300 1776 0 -1 1077944384 13 12830 0 0 0 0 5 3 20 0 15 0 231734646 11246280704 10722 33554432000 4194304 4196468 140724814461728 139928840168992 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3360] ppid=3297 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3360/stat : 3360 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 15 0 231734646 11246280704 10722 33554432000 4194304 4196468 140724814461728 139928692319600 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3361] ppid=3297 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3361/stat : 3361 (java) S 3297 3300 1776 0 -1 1077944384 3 12830 0 0 0 0 5 3 20 0 15 0 231734649 11246280704 10722 33554432000 4194304 4196468 140724814461728 139928384919888 139930001045403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3362] ppid=3297 vsize=10982696 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3300/task/3362/stat : 3362 (java) S 3297 3300 1776 0 -1 1077944384 503 12830 0 0 1 0 5 3 20 0 15 0 231734649 11246280704 10722 33554432000 4194304 4196468 140724814461728 139929425254768 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3363] ppid=3297 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3363/stat : 3363 (java) S 3297 3300 1776 0 -1 1077944384 136 12830 0 0 0 0 5 3 20 0 15 0 231734649 11246280704 10722 33554432000 4194304 4196468 140724814461728 139929424201968 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3364] ppid=3297 vsize=10982696 memory=139650851964544 CPUtime=0.11 cores=0,2,4,6
/proc/3300/task/3364/stat : 3364 (java) S 3297 3300 1776 0 -1 1077944384 685 12830 0 0 3 0 5 3 20 0 15 0 231734649 11246280704 10722 33554432000 4194304 4196468 140724814461728 139929423149168 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3365] ppid=3297 vsize=10982696 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3365/stat : 3365 (java) S 3297 3300 1776 0 -1 1077944384 3 12830 0 0 0 0 5 3 20 0 15 0 231734649 11246280704 10722 33554432000 4194304 4196468 140724814461728 139927954122976 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3366] ppid=3297 vsize=10982696 memory=139650851964544 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3366/stat : 3366 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 15 0 231734649 11246280704 10722 33554432000 4194304 4196468 140724814461728 139929422097584 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 42888 KiB
[startup+0.310702 s]*
/proc/loadavg: 1.42 1.39 1.35 3/215 3366
/proc/meminfo: memFree=27839268/32770624 swapFree=67030660/67108860
[pid=3300] ppid=3297 vsize=10983192 memory=54244 CPUtime=0.39 cores=0,2,4,6
/proc/3300/stat : 3300 (java) S 3297 3300 1776 0 -1 1077944320 10611 12830 0 0 29 2 5 3 20 0 15 0 231734634 11246788608 13561 33554432000 4194304 4196468 140724814461728 140724814444272 139930001026807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
/proc/3300/statm: 2745798 13561 3103 1 0 2708109 0
[pid=3300/tid=3353] ppid=3297 vsize=10983192 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/3300/task/3353/stat : 3353 (java) R 3297 3300 1776 0 -1 4202560 7045 12830 0 0 19 2 5 3 20 0 15 0 231734643 11246788608 13561 33554432000 4194304 4196468 140724814461728 139929972838592 139929985107294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3354] ppid=3297 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3354/stat : 3354 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 15 0 231734644 11246788608 13561 33554432000 4194304 4196468 140724814461728 139930005269136 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3355] ppid=3297 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3355/stat : 3355 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 15 0 231734644 11246788608 13561 33554432000 4194304 4196468 140724814461728 139929901472272 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3356] ppid=3297 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3356/stat : 3356 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 15 0 231734644 11246788608 13561 33554432000 4194304 4196468 140724814461728 139929540028816 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3357] ppid=3297 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3357/stat : 3357 (java) S 3297 3300 1776 0 -1 1077944384 2 12830 0 0 0 0 5 3 20 0 15 0 231734644 11246788608 13561 33554432000 4194304 4196468 140724814461728 139929538976016 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3358] ppid=3297 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3358/stat : 3358 (java) S 3297 3300 1776 0 -1 1077944384 2 12830 0 0 0 0 5 3 20 0 15 0 231734645 11246788608 13561 33554432000 4194304 4196468 140724814461728 139929426307952 139930001037954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3359] ppid=3297 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3359/stat : 3359 (java) S 3297 3300 1776 0 -1 1077944384 13 12830 0 0 0 0 5 3 20 0 15 0 231734646 11246788608 13561 33554432000 4194304 4196468 140724814461728 139928840168992 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3360] ppid=3297 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3360/stat : 3360 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 15 0 231734646 11246788608 13561 33554432000 4194304 4196468 140724814461728 139928692319600 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3361] ppid=3297 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3361/stat : 3361 (java) S 3297 3300 1776 0 -1 1077944384 3 12830 0 0 0 0 5 3 20 0 15 0 231734649 11246788608 13561 33554432000 4194304 4196468 140724814461728 139928384919888 139930001045403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3362] ppid=3297 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3300/task/3362/stat : 3362 (java) S 3297 3300 1776 0 -1 1077944384 504 12830 0 0 1 0 5 3 20 0 15 0 231734649 11246788608 13561 33554432000 4194304 4196468 140724814461728 139929425254768 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3363] ppid=3297 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/3300/task/3363/stat : 3363 (java) S 3297 3300 1776 0 -1 1077944384 144 12830 0 0 1 0 5 3 20 0 15 0 231734649 11246788608 13561 33554432000 4194304 4196468 140724814461728 139929424201968 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3364] ppid=3297 vsize=10983192 memory=139650851964544 CPUtime=0.13 cores=0,2,4,6
/proc/3300/task/3364/stat : 3364 (java) S 3297 3300 1776 0 -1 1077944384 711 12830 0 0 5 0 5 3 20 0 15 0 231734649 11246788608 13561 33554432000 4194304 4196468 140724814461728 139929423149168 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3365] ppid=3297 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3365/stat : 3365 (java) S 3297 3300 1776 0 -1 1077944384 3 12830 0 0 0 0 5 3 20 0 15 0 231734649 11246788608 13561 33554432000 4194304 4196468 140724814461728 139927954122976 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3366] ppid=3297 vsize=10983192 memory=139650851964544 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3366/stat : 3366 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 15 0 231734649 11246788608 13561 33554432000 4194304 4196468 140724814461728 139929422097584 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54244 KiB
[startup+0.700823 s]
/proc/loadavg: 1.42 1.39 1.35 3/215 3366
/proc/meminfo: memFree=27827400/32770624 swapFree=67030660/67108860
[pid=3300] ppid=3297 vsize=10983192 memory=87796 CPUtime=1 cores=0,2,4,6
/proc/3300/stat : 3300 (java) S 3297 3300 1776 0 -1 1077944320 17177 12830 0 0 88 4 5 3 20 0 15 0 231734634 11246788608 21949 33554432000 4194304 4196468 140724814461728 140724814444272 139930001026807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
/proc/3300/statm: 2745798 21949 3237 1 0 2708109 0
[pid=3300/tid=3353] ppid=3297 vsize=10983192 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/3300/task/3353/stat : 3353 (java) R 3297 3300 1776 0 -1 4202560 12467 12830 0 0 56 3 5 3 20 0 15 0 231734643 11246788608 21949 33554432000 4194304 4196468 140724814461728 139929972849744 139929985107294 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3354] ppid=3297 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3354/stat : 3354 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 15 0 231734644 11246788608 21949 33554432000 4194304 4196468 140724814461728 139930005269136 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3355] ppid=3297 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3355/stat : 3355 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 15 0 231734644 11246788608 21949 33554432000 4194304 4196468 140724814461728 139929901472272 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3356] ppid=3297 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3356/stat : 3356 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 15 0 231734644 11246788608 21949 33554432000 4194304 4196468 140724814461728 139929540028816 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3357] ppid=3297 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3357/stat : 3357 (java) S 3297 3300 1776 0 -1 1077944384 2 12830 0 0 0 0 5 3 20 0 15 0 231734644 11246788608 21949 33554432000 4194304 4196468 140724814461728 139929538976016 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3358] ppid=3297 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3358/stat : 3358 (java) S 3297 3300 1776 0 -1 1077944384 5 12830 0 0 0 0 5 3 20 0 15 0 231734645 11246788608 21949 33554432000 4194304 4196468 140724814461728 139929426307952 139930001037954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3359] ppid=3297 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3359/stat : 3359 (java) S 3297 3300 1776 0 -1 1077944384 13 12830 0 0 0 0 5 3 20 0 15 0 231734646 11246788608 21949 33554432000 4194304 4196468 140724814461728 139928840168992 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3360] ppid=3297 vsize=10983192 memory=139650727555856 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3360/stat : 3360 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 15 0 231734646 11246788608 21949 33554432000 4194304 4196468 140724814461728 139928692319600 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3361] ppid=3297 vsize=10983192 memory=139650861630025 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3361/stat : 3361 (java) S 3297 3300 1776 0 -1 1077944384 3 12830 0 0 0 0 5 3 20 0 15 0 231734649 11246788608 21949 33554432000 4194304 4196468 140724814461728 139928384919888 139930001045403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3362] ppid=3297 vsize=10983192 memory=752 CPUtime=0.17 cores=0,2,4,6
/proc/3300/task/3362/stat : 3362 (java) S 3297 3300 1776 0 -1 1077944384 1138 12830 0 0 9 0 5 3 20 0 15 0 231734649 11246788608 21949 33554432000 4194304 4196468 140724814461728 139929425254768 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3363] ppid=3297 vsize=10983192 memory=7014751519650764113 CPUtime=0.16 cores=0,2,4,6
/proc/3300/task/3363/stat : 3363 (java) S 3297 3300 1776 0 -1 1077944384 446 12830 0 0 8 0 5 3 20 0 15 0 231734649 11246788608 21949 33554432000 4194304 4196468 140724814461728 139929424201968 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3364] ppid=3297 vsize=10983192 memory=6082220498109819240 CPUtime=0.21 cores=0,2,4,6
/proc/3300/task/3364/stat : 3364 (java) S 3297 3300 1776 0 -1 1077944384 904 12830 0 0 13 0 5 3 20 0 15 0 231734649 11246788608 21949 33554432000 4194304 4196468 140724814461728 139929423149168 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3365] ppid=3297 vsize=10983192 memory=3544 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3365/stat : 3365 (java) S 3297 3300 1776 0 -1 1077944384 3 12830 0 0 0 0 5 3 20 0 15 0 231734649 11246788608 21949 33554432000 4194304 4196468 140724814461728 139927954122976 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3366] ppid=3297 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3366/stat : 3366 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 15 0 231734649 11246788608 21949 33554432000 4194304 4196468 140724814461728 139929422097584 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87796 KiB
[startup+1.50076 s]
/proc/loadavg: 1.42 1.39 1.35 3/215 3366
/proc/meminfo: memFree=27780820/32770624 swapFree=67030660/67108860
[pid=3300] ppid=3297 vsize=10998092 memory=180904 CPUtime=2.38 cores=0,2,4,6
/proc/3300/stat : 3300 (java) S 3297 3300 1776 0 -1 1077944320 24210 12830 0 0 221 9 5 3 20 0 15 0 231734634 11262046208 45226 33554432000 4194304 4196468 140724814461728 140724814444272 139930001026807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
/proc/3300/statm: 2749523 45226 3470 1 0 2711181 0
[pid=3300/tid=3353] ppid=3297 vsize=10998092 memory=9169 CPUtime=1.43 cores=0,2,4,6
/proc/3300/task/3353/stat : 3353 (java) R 3297 3300 1776 0 -1 4202560 17734 12830 0 0 130 5 5 3 20 0 15 0 231734643 11262046208 45226 33554432000 4194304 4196468 140724814461728 139929972856704 139929987205851 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3354] ppid=3297 vsize=10998092 memory=8112282956445269571 CPUtime=0.09 cores=0,2,4,6
/proc/3300/task/3354/stat : 3354 (java) S 3297 3300 1776 0 -1 1077944384 25 12830 0 0 1 0 5 3 20 0 15 0 231734644 11262046208 45226 33554432000 4194304 4196468 140724814461728 139930005269136 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3355] ppid=3297 vsize=10998092 memory=1408 CPUtime=0.09 cores=0,2,4,6
/proc/3300/task/3355/stat : 3355 (java) S 3297 3300 1776 0 -1 1077944384 12 12830 0 0 1 0 5 3 20 0 15 0 231734644 11262046208 45226 33554432000 4194304 4196468 140724814461728 139929901472272 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3356] ppid=3297 vsize=10998092 memory=3060 CPUtime=0.09 cores=0,2,4,6
/proc/3300/task/3356/stat : 3356 (java) S 3297 3300 1776 0 -1 1077944384 212 12830 0 0 1 0 5 3 20 0 15 0 231734644 11262046208 45226 33554432000 4194304 4196468 140724814461728 139929540028816 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3357] ppid=3297 vsize=10998092 memory=87796 CPUtime=0.09 cores=0,2,4,6
/proc/3300/task/3357/stat : 3357 (java) S 3297 3300 1776 0 -1 1077944384 63 12830 0 0 1 0 5 3 20 0 15 0 231734644 11262046208 45226 33554432000 4194304 4196468 140724814461728 139929538976016 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3358] ppid=3297 vsize=10998092 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/3300/task/3358/stat : 3358 (java) S 3297 3300 1776 0 -1 1077944384 56 12830 0 0 1 0 5 3 20 0 15 0 231734645 11262046208 45226 33554432000 4194304 4196468 140724814461728 139929426307952 139930001037954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3359] ppid=3297 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3359/stat : 3359 (java) S 3297 3300 1776 0 -1 1077944384 13 12830 0 0 0 0 5 3 20 0 15 0 231734646 11262046208 45226 33554432000 4194304 4196468 140724814461728 139928840169056 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3360] ppid=3297 vsize=10998092 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3360/stat : 3360 (java) S 3297 3300 1776 0 -1 1077944384 2 12830 0 0 0 0 5 3 20 0 15 0 231734646 11262046208 45226 33554432000 4194304 4196468 140724814461728 139928692319616 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3361] ppid=3297 vsize=10998092 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3361/stat : 3361 (java) S 3297 3300 1776 0 -1 1077944384 3 12830 0 0 0 0 5 3 20 0 15 0 231734649 11262046208 45226 33554432000 4194304 4196468 140724814461728 139928384919888 139930001045403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3362] ppid=3297 vsize=10998092 memory=4638778398332698720 CPUtime=0.29 cores=0,2,4,6
/proc/3300/task/3362/stat : 3362 (java) S 3297 3300 1776 0 -1 1077944384 1331 12830 0 0 21 0 5 3 20 0 15 0 231734649 11262046208 45226 33554432000 4194304 4196468 140724814461728 139929425254768 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3363] ppid=3297 vsize=10998092 memory=279301455387520 CPUtime=0.3 cores=0,2,4,6
/proc/3300/task/3363/stat : 3363 (java) S 3297 3300 1776 0 -1 1077944384 930 12830 0 0 22 0 5 3 20 0 15 0 231734649 11262046208 45226 33554432000 4194304 4196468 140724814461728 139929424201968 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3364] ppid=3297 vsize=10998092 memory=6944656425123290226 CPUtime=0.46 cores=0,2,4,6
/proc/3300/task/3364/stat : 3364 (java) S 3297 3300 1776 0 -1 1077944384 1634 12830 0 0 38 0 5 3 20 0 15 0 231734649 11262046208 45226 33554432000 4194304 4196468 140724814461728 139929423149168 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3365] ppid=3297 vsize=10998092 memory=-7233780906022716832 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3365/stat : 3365 (java) S 3297 3300 1776 0 -1 1077944384 3 12830 0 0 0 0 5 3 20 0 15 0 231734649 11262046208 45226 33554432000 4194304 4196468 140724814461728 139927954122976 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3366] ppid=3297 vsize=10998092 memory=6944656591801719708 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3366/stat : 3366 (java) S 3297 3300 1776 0 -1 1077944384 1 12830 0 0 0 0 5 3 20 0 15 0 231734649 11262046208 45226 33554432000 4194304 4196468 140724814461728 139929422097584 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
Current children cumulated CPU time: 2.38 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/3300/task/3353/stat : 3353 (java) R 3297 3300 1776 0 -1 4202560 83798 12830 0 0 235776 45 5 3 20 0 15 0 231734643 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929972860368 139929587873608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3354] ppid=3297 vsize=11077984 memory=973736 CPUtime=11.64 cores=0,2,4,6
/proc/3300/task/3354/stat : 3354 (java) S 3297 3300 1776 0 -1 1077944384 11004 12830 0 0 1107 49 5 3 20 0 15 0 231734644 11343855616 243434 33554432000 4194304 4196468 140724814461728 139930005269136 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3355] ppid=3297 vsize=11077984 memory=973736 CPUtime=11.65 cores=0,2,4,6
/proc/3300/task/3355/stat : 3355 (java) S 3297 3300 1776 0 -1 1077944384 8848 12830 0 0 1108 49 5 3 20 0 15 0 231734644 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929901472272 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3356] ppid=3297 vsize=11077984 memory=973736 CPUtime=11.66 cores=0,2,4,6
/proc/3300/task/3356/stat : 3356 (java) S 3297 3300 1776 0 -1 1077944384 13844 12830 0 0 1109 49 5 3 20 0 15 0 231734644 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929540028816 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3357] ppid=3297 vsize=11077984 memory=973736 CPUtime=11.7 cores=0,2,4,6
/proc/3300/task/3357/stat : 3357 (java) S 3297 3300 1776 0 -1 1077944384 8891 12830 0 0 1110 52 5 3 20 0 15 0 231734644 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929538976016 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3358] ppid=3297 vsize=11077984 memory=973736 CPUtime=10.26 cores=0,2,4,6
/proc/3300/task/3358/stat : 3358 (java) S 3297 3300 1776 0 -1 1077944384 14883 12830 0 0 964 54 5 3 20 0 15 0 231734645 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929426307952 139930001037954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3359] ppid=3297 vsize=11077984 memory=973736 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3359/stat : 3359 (java) S 3297 3300 1776 0 -1 1077944384 26 12830 0 0 0 0 5 3 20 0 15 0 231734646 11343855616 243434 33554432000 4194304 4196468 140724814461728 139928840169120 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3360] ppid=3297 vsize=11077984 memory=973736 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3360/stat : 3360 (java) S 3297 3300 1776 0 -1 1077944384 15 12830 0 0 0 0 5 3 20 0 15 0 231734646 11343855616 243434 33554432000 4194304 4196468 140724814461728 139928692319616 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3361] ppid=3297 vsize=11077984 memory=1396 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3361/stat : 3361 (java) S 3297 3300 1776 0 -1 1077944384 3 12830 0 0 0 0 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139928384919888 139930001045403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3362] ppid=3297 vsize=11077984 memory=384 CPUtime=3.92 cores=0,2,4,6
/proc/3300/task/3362/stat : 3362 (java) S 3297 3300 1776 0 -1 1077944384 19263 12830 0 0 381 3 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929425254768 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3363] ppid=3297 vsize=11077984 memory=973736 CPUtime=3.87 cores=0,2,4,6
/proc/3300/task/3363/stat : 3363 (java) S 3297 3300 1776 0 -1 1077944384 21040 12830 0 0 376 3 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929424201968 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3364] ppid=3297 vsize=11077984 memory=973736 CPUtime=2.04 cores=0,2,4,6
/proc/3300/task/3364/stat : 3364 (java) S 3297 3300 1776 0 -1 1077944384 24621 12830 0 0 191 5 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929423149168 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3365] ppid=3297 vsize=11077984 memory=973736 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3365/stat : 3365 (java) S 3297 3300 1776 0 -1 1077944384 3 12830 0 0 0 0 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139927954122976 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3366] ppid=3297 vsize=11077984 memory=3544 CPUtime=1.41 cores=0,2,4,6
/proc/3300/task/3366/stat : 3366 (java) S 3297 3300 1776 0 -1 1077944384 1256 12830 0 0 70 63 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929422097584 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
Current children cumulated CPU time: 2425.85 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 973736 KiB
[startup+2442.3 s]
/proc/loadavg: 1.47 1.35 1.35 3/215 3718
/proc/meminfo: memFree=26896952/32770624 swapFree=67030660/67108860
[pid=3300] ppid=3297 vsize=11077984 memory=973736 CPUtime=2486.75 cores=0,2,4,6
/proc/3300/stat : 3300 (java) S 3297 3300 1776 0 -1 1077944320 210980 12830 0 0 248339 328 5 3 20 0 15 0 231734634 11343855616 243434 33554432000 4194304 4196468 140724814461728 140724814444272 139930001026807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
/proc/3300/statm: 2769496 243434 3522 1 0 2731149 0
[pid=3300/tid=3353] ppid=3297 vsize=11077984 memory=973736 CPUtime=2417.7 cores=0,2,4,6
/proc/3300/task/3353/stat : 3353 (java) R 3297 3300 1776 0 -1 4202560 84438 12830 0 0 241716 46 5 3 20 0 15 0 231734643 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929972860576 139929587873300 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3354] ppid=3297 vsize=11077984 memory=973736 CPUtime=11.94 cores=0,2,4,6
/proc/3300/task/3354/stat : 3354 (java) S 3297 3300 1776 0 -1 1077944384 11125 12830 0 0 1136 50 5 3 20 0 15 0 231734644 11343855616 243434 33554432000 4194304 4196468 140724814461728 139930005269136 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3355] ppid=3297 vsize=11077984 memory=973736 CPUtime=11.95 cores=0,2,4,6
/proc/3300/task/3355/stat : 3355 (java) S 3297 3300 1776 0 -1 1077944384 9113 12830 0 0 1137 50 5 3 20 0 15 0 231734644 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929901472272 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3356] ppid=3297 vsize=11077984 memory=973736 CPUtime=11.96 cores=0,2,4,6
/proc/3300/task/3356/stat : 3356 (java) S 3297 3300 1776 0 -1 1077944384 13877 12830 0 0 1138 50 5 3 20 0 15 0 231734644 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929540028816 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3357] ppid=3297 vsize=11077984 memory=973736 CPUtime=12.01 cores=0,2,4,6
/proc/3300/task/3357/stat : 3357 (java) S 3297 3300 1776 0 -1 1077944384 8913 12830 0 0 1139 54 5 3 20 0 15 0 231734644 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929538976016 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3358] ppid=3297 vsize=11077984 memory=973736 CPUtime=10.52 cores=0,2,4,6
/proc/3300/task/3358/stat : 3358 (java) S 3297 3300 1776 0 -1 1077944384 15073 12830 0 0 988 56 5 3 20 0 15 0 231734645 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929426307952 139930001037954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3359] ppid=3297 vsize=11077984 memory=973736 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3359/stat : 3359 (java) S 3297 3300 1776 0 -1 1077944384 26 12830 0 0 0 0 5 3 20 0 15 0 231734646 11343855616 243434 33554432000 4194304 4196468 140724814461728 139928840169120 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3360] ppid=3297 vsize=11077984 memory=973736 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3360/stat : 3360 (java) S 3297 3300 1776 0 -1 1077944384 15 12830 0 0 0 0 5 3 20 0 15 0 231734646 11343855616 243434 33554432000 4194304 4196468 140724814461728 139928692319616 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3361] ppid=3297 vsize=11077984 memory=973736 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3361/stat : 3361 (java) S 3297 3300 1776 0 -1 1077944384 3 12830 0 0 0 0 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139928384919888 139930001045403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3362] ppid=3297 vsize=11077984 memory=973736 CPUtime=3.92 cores=0,2,4,6
/proc/3300/task/3362/stat : 3362 (java) S 3297 3300 1776 0 -1 1077944384 19266 12830 0 0 381 3 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929425254768 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3363] ppid=3297 vsize=11077984 memory=8112282956445269571 CPUtime=3.87 cores=0,2,4,6
/proc/3300/task/3363/stat : 3363 (java) S 3297 3300 1776 0 -1 1077944384 21042 12830 0 0 376 3 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929424201968 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3364] ppid=3297 vsize=11077984 memory=768 CPUtime=2.04 cores=0,2,4,6
/proc/3300/task/3364/stat : 3364 (java) S 3297 3300 1776 0 -1 1077944384 24623 12830 0 0 191 5 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929423149168 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3365] ppid=3297 vsize=11077984 memory=973736 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3365/stat : 3365 (java) S 3297 3300 1776 0 -1 1077944384 3 12830 0 0 0 0 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139927954122976 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3366] ppid=3297 vsize=11077984 memory=973736 CPUtime=1.45 cores=0,2,4,6
/proc/3300/task/3366/stat : 3366 (java) S 3297 3300 1776 0 -1 1077944384 1272 12830 0 0 72 65 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929422097584 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
Current children cumulated CPU time: 2486.75 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 973736 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2475.11 s]
/proc/loadavg: 1.34 1.33 1.34 3/215 3718
/proc/meminfo: memFree=26895052/32770624 swapFree=67030660/67108860
[pid=3300] ppid=3297 vsize=11077984 memory=973736 CPUtime=2520.07 cores=0,2,4,6
/proc/3300/stat : 3300 (java) S 3297 3300 1776 0 -1 1077944320 212065 12830 0 0 251667 332 5 3 20 0 15 0 231734634 11343855616 243434 33554432000 4194304 4196468 140724814461728 140724814444272 139930001026807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
/proc/3300/statm: 2769496 243434 3522 1 0 2731149 0
[pid=3300/tid=3353] ppid=3297 vsize=11077984 memory=973736 CPUtime=2450.18 cores=0,2,4,6
/proc/3300/task/3353/stat : 3353 (java) R 3297 3300 1776 0 -1 4202560 84884 12830 0 0 244963 47 5 3 20 0 15 0 231734643 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929972860752 139929578593608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3354] ppid=3297 vsize=11077984 memory=973736 CPUtime=12.12 cores=0,2,4,6
/proc/3300/task/3354/stat : 3354 (java) S 3297 3300 1776 0 -1 1077944384 11156 12830 0 0 1153 51 5 3 20 0 15 0 231734644 11343855616 243434 33554432000 4194304 4196468 140724814461728 139930005269136 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3355] ppid=3297 vsize=11077984 memory=250840 CPUtime=12.13 cores=0,2,4,6
/proc/3300/task/3355/stat : 3355 (java) S 3297 3300 1776 0 -1 1077944384 9128 12830 0 0 1154 51 5 3 20 0 15 0 231734644 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929901472272 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3356] ppid=3297 vsize=11077984 memory=973736 CPUtime=12.13 cores=0,2,4,6
/proc/3300/task/3356/stat : 3356 (java) S 3297 3300 1776 0 -1 1077944384 13900 12830 0 0 1155 50 5 3 20 0 15 0 231734644 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929540028816 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3357] ppid=3297 vsize=11077984 memory=973736 CPUtime=12.18 cores=0,2,4,6
/proc/3300/task/3357/stat : 3357 (java) S 3297 3300 1776 0 -1 1077944384 9278 12830 0 0 1155 55 5 3 20 0 15 0 231734644 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929538976016 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3358] ppid=3297 vsize=11077984 memory=973736 CPUtime=10.66 cores=0,2,4,6
/proc/3300/task/3358/stat : 3358 (java) S 3297 3300 1776 0 -1 1077944384 15257 12830 0 0 1002 56 5 3 20 0 15 0 231734645 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929426307952 139930001037954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3359] ppid=3297 vsize=11077984 memory=973736 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3359/stat : 3359 (java) S 3297 3300 1776 0 -1 1077944384 26 12830 0 0 0 0 5 3 20 0 15 0 231734646 11343855616 243434 33554432000 4194304 4196468 140724814461728 139928840169120 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3360] ppid=3297 vsize=11077984 memory=973736 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3360/stat : 3360 (java) S 3297 3300 1776 0 -1 1077944384 15 12830 0 0 0 0 5 3 20 0 15 0 231734646 11343855616 243434 33554432000 4194304 4196468 140724814461728 139928692319616 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3361] ppid=3297 vsize=11077984 memory=973736 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3361/stat : 3361 (java) S 3297 3300 1776 0 -1 1077944384 3 12830 0 0 0 0 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139928384919888 139930001045403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3362] ppid=3297 vsize=11077984 memory=8 CPUtime=3.92 cores=0,2,4,6
/proc/3300/task/3362/stat : 3362 (java) S 3297 3300 1776 0 -1 1077944384 19268 12830 0 0 381 3 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929425254768 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3363] ppid=3297 vsize=11077984 memory=973736 CPUtime=3.87 cores=0,2,4,6
/proc/3300/task/3363/stat : 3363 (java) S 3297 3300 1776 0 -1 1077944384 21044 12830 0 0 376 3 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929424201968 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3364] ppid=3297 vsize=11077984 memory=973736 CPUtime=2.04 cores=0,2,4,6
/proc/3300/task/3364/stat : 3364 (java) S 3297 3300 1776 0 -1 1077944384 24625 12830 0 0 191 5 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929423149168 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3365] ppid=3297 vsize=11077984 memory=768 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3365/stat : 3365 (java) S 3297 3300 1776 0 -1 1077944384 3 12830 0 0 0 0 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139927954122976 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3366] ppid=3297 vsize=11077984 memory=5268 CPUtime=1.46 cores=0,2,4,6
/proc/3300/task/3366/stat : 3366 (java) S 3297 3300 1776 0 -1 1077944384 1287 12830 0 0 73 65 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929422097584 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 973736 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2475.14 s]
# the end of solver process 3300 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.74 s, system=3.36944 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2475.11 s]
/proc/loadavg: 1.34 1.33 1.34 3/215 3718
/proc/meminfo: memFree=26895052/32770624 swapFree=67030660/67108860
[pid=3300] ppid=3297 vsize=11077984 memory=973736 CPUtime=2520.07 cores=0,2,4,6
/proc/3300/stat : 3300 (java) S 3297 3300 1776 0 -1 1077944320 212065 12830 0 0 251667 332 5 3 20 0 15 0 231734634 11343855616 243434 33554432000 4194304 4196468 140724814461728 140724814444272 139930001026807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
/proc/3300/statm: 2769496 243434 3522 1 0 2731149 0
[pid=3300/tid=3353] ppid=3297 vsize=11077984 memory=973736 CPUtime=2450.18 cores=0,2,4,6
/proc/3300/task/3353/stat : 3353 (java) R 3297 3300 1776 0 -1 4202560 84884 12830 0 0 244963 47 5 3 20 0 15 0 231734643 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929972860752 139929578593608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3354] ppid=3297 vsize=11077984 memory=973736 CPUtime=12.12 cores=0,2,4,6
/proc/3300/task/3354/stat : 3354 (java) S 3297 3300 1776 0 -1 1077944384 11156 12830 0 0 1153 51 5 3 20 0 15 0 231734644 11343855616 243434 33554432000 4194304 4196468 140724814461728 139930005269136 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3355] ppid=3297 vsize=11077984 memory=250840 CPUtime=12.13 cores=0,2,4,6
/proc/3300/task/3355/stat : 3355 (java) S 3297 3300 1776 0 -1 1077944384 9128 12830 0 0 1154 51 5 3 20 0 15 0 231734644 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929901472272 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3356] ppid=3297 vsize=11077984 memory=973736 CPUtime=12.13 cores=0,2,4,6
/proc/3300/task/3356/stat : 3356 (java) S 3297 3300 1776 0 -1 1077944384 13900 12830 0 0 1155 50 5 3 20 0 15 0 231734644 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929540028816 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3357] ppid=3297 vsize=11077984 memory=973736 CPUtime=12.18 cores=0,2,4,6
/proc/3300/task/3357/stat : 3357 (java) S 3297 3300 1776 0 -1 1077944384 9278 12830 0 0 1155 55 5 3 20 0 15 0 231734644 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929538976016 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3358] ppid=3297 vsize=11077984 memory=973736 CPUtime=10.66 cores=0,2,4,6
/proc/3300/task/3358/stat : 3358 (java) S 3297 3300 1776 0 -1 1077944384 15257 12830 0 0 1002 56 5 3 20 0 15 0 231734645 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929426307952 139930001037954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3359] ppid=3297 vsize=11077984 memory=973736 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3359/stat : 3359 (java) S 3297 3300 1776 0 -1 1077944384 26 12830 0 0 0 0 5 3 20 0 15 0 231734646 11343855616 243434 33554432000 4194304 4196468 140724814461728 139928840169120 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3360] ppid=3297 vsize=11077984 memory=973736 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3360/stat : 3360 (java) S 3297 3300 1776 0 -1 1077944384 15 12830 0 0 0 0 5 3 20 0 15 0 231734646 11343855616 243434 33554432000 4194304 4196468 140724814461728 139928692319616 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3361] ppid=3297 vsize=11077984 memory=973736 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3361/stat : 3361 (java) S 3297 3300 1776 0 -1 1077944384 3 12830 0 0 0 0 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139928384919888 139930001045403 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3362] ppid=3297 vsize=11077984 memory=8 CPUtime=3.92 cores=0,2,4,6
/proc/3300/task/3362/stat : 3362 (java) S 3297 3300 1776 0 -1 1077944384 19268 12830 0 0 381 3 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929425254768 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3363] ppid=3297 vsize=11077984 memory=973736 CPUtime=3.87 cores=0,2,4,6
/proc/3300/task/3363/stat : 3363 (java) S 3297 3300 1776 0 -1 1077944384 21044 12830 0 0 376 3 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929424201968 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3364] ppid=3297 vsize=11077984 memory=973736 CPUtime=2.04 cores=0,2,4,6
/proc/3300/task/3364/stat : 3364 (java) S 3297 3300 1776 0 -1 1077944384 24625 12830 0 0 191 5 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929423149168 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3365] ppid=3297 vsize=11077984 memory=768 CPUtime=0.08 cores=0,2,4,6
/proc/3300/task/3365/stat : 3365 (java) S 3297 3300 1776 0 -1 1077944384 3 12830 0 0 0 0 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139927954122976 139930001037013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
[pid=3300/tid=3366] ppid=3297 vsize=11077984 memory=5268 CPUtime=1.46 cores=0,2,4,6
/proc/3300/task/3366/stat : 3366 (java) S 3297 3300 1776 0 -1 1077944384 1287 12830 0 0 73 65 5 3 20 0 15 0 231734649 11343855616 243434 33554432000 4194304 4196468 140724814461728 139929422097584 139930001037954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12316672 140724814465645 140724814468444 140724814468444 140724814471119 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 973736 KiB
Child status: 143
Real time (s): 2475.14
CPU time (s): 2520.11
CPU user time (s): 2516.74
CPU system time (s): 3.36944
CPU usage (%): 101.817
Max. virtual memory (cumulated for all children) (KiB): 11077984
Max. memory (cumulated for all children) (KiB): 973736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.74
system time used= 3.36944
maximum resident set size= 976196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 226047
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 281356
involuntary context switches= 8354
# summary of solver processes directly reported to runsolver:
# pid: 3300
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.74
# total CPU system time (s): 3.36944
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7309 second user time and 23.9599 second system time
The end