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 (9234 MiB free)
memory of node 1: 16384 MiB (7019 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4305154-1534123873/watcher-4305154-1534123873 -o /tmp/evaluation-result-4305154-1534123873/solver-4305154-1534123873 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534096675-9346 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=766754744 -superng HOME/instance-4305154-1534123873.xml
running on 4 cores: 1,3,5,7
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=14451, runsolver pid=14448
[startup+0.10074 s]*
/proc/loadavg: 1.30 1.47 1.50 2/209 14508
/proc/meminfo: memFree=16635068/32770624 swapFree=67108688/67108860
[pid=14451] ppid=14448 vsize=10005480 memory=16376 CPUtime=0.08 cores=1,3,5,7
/proc/14451/stat : 14451 (java) S 14448 14451 9314 0 -1 1077944320 4229 12874 0 0 0 1 5 2 20 0 6 0 229950556 10245611520 4094 33554432000 4194304 4196468 140728268362384 140728268344928 139810823503607 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
/proc/14451/statm: 2501370 4094 1919 1 0 2489808 0
[pid=14451/tid=14504] ppid=14448 vsize=10005480 memory=4279135704013963405 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14504/stat : 14504 (java) R 14448 14451 9314 0 -1 4202560 2073 12874 0 0 0 0 5 2 20 0 6 0 229950565 10245611520 4094 33554432000 4194304 4196468 140728268362384 139810795340368 139810809186133 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14505] ppid=14448 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14505/stat : 14505 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 6 0 229950566 10245611520 4094 33554432000 4194304 4196468 140728268362384 139810827746064 139810823513813 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14506] ppid=14448 vsize=10005480 memory=140412210812544 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14506/stat : 14506 (java) S 14448 14451 9314 0 -1 1077944384 2 12874 0 0 0 0 5 2 20 0 6 0 229950566 10245611520 4094 33554432000 4194304 4196468 140728268362384 139810363485072 139810823513813 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14507] ppid=14448 vsize=10005480 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14507/stat : 14507 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 6 0 229950566 10245611520 4094 33554432000 4194304 4196468 140728268362384 139810362432528 139810823513813 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14508] ppid=14448 vsize=10005480 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14508/stat : 14508 (java) S 14448 14451 9314 0 -1 1077944384 2 12874 0 0 0 0 5 2 20 0 6 0 229950566 10245611520 4094 33554432000 4194304 4196468 140728268362384 139810361379984 139810823513813 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16376 KiB
[startup+0.211938 s]*
/proc/loadavg: 1.30 1.47 1.50 3/218 14517
/proc/meminfo: memFree=16614180/32770624 swapFree=67108688/67108860
[pid=14451] ppid=14448 vsize=10982696 memory=45108 CPUtime=0.24 cores=1,3,5,7
/proc/14451/stat : 14451 (java) S 14448 14451 9314 0 -1 1077944320 8580 12874 0 0 15 2 5 2 20 0 15 0 229950556 11246280704 11277 33554432000 4194304 4196468 140728268362384 140728268344928 139810823503607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
/proc/14451/statm: 2745674 11277 2959 1 0 2708109 0
[pid=14451/tid=14504] ppid=14448 vsize=10982696 memory=7022364594140610616 CPUtime=0.17 cores=1,3,5,7
/proc/14451/task/14504/stat : 14504 (java) R 14448 14451 9314 0 -1 4202560 5128 12874 0 0 9 1 5 2 20 0 15 0 229950565 11246280704 11277 33554432000 4194304 4196468 140728268362384 139810795301264 139810816220711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14505] ppid=14448 vsize=10982696 memory=365 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14505/stat : 14505 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950566 11246280704 11277 33554432000 4194304 4196468 140728268362384 139810827746064 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14506] ppid=14448 vsize=10982696 memory=140412212081449 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14506/stat : 14506 (java) S 14448 14451 9314 0 -1 1077944384 2 12874 0 0 0 0 5 2 20 0 15 0 229950566 11246280704 11277 33554432000 4194304 4196468 140728268362384 139810363485072 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14507] ppid=14448 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14507/stat : 14507 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950566 11246280704 11277 33554432000 4194304 4196468 140728268362384 139810362432528 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14508] ppid=14448 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14508/stat : 14508 (java) S 14448 14451 9314 0 -1 1077944384 2 12874 0 0 0 0 5 2 20 0 15 0 229950566 11246280704 11277 33554432000 4194304 4196468 140728268362384 139810361379984 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14509] ppid=14448 vsize=10982696 memory=140412210812544 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14509/stat : 14509 (java) S 14448 14451 9314 0 -1 1077944384 2 12874 0 0 0 0 5 2 20 0 15 0 229950568 11246280704 11277 33554432000 4194304 4196468 140728268362384 139810316564464 139810823514754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14510] ppid=14448 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14510/stat : 14510 (java) S 14448 14451 9314 0 -1 1077944384 13 12874 0 0 0 0 5 2 20 0 15 0 229950569 11246280704 11277 33554432000 4194304 4196468 140728268362384 139809587717024 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14511] ppid=14448 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14511/stat : 14511 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950569 11246280704 11277 33554432000 4194304 4196468 140728268362384 139809439867888 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14512] ppid=14448 vsize=10982696 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14512/stat : 14512 (java) S 14448 14451 9314 0 -1 1077944384 3 12874 0 0 0 0 5 2 20 0 15 0 229950572 11246280704 11277 33554432000 4194304 4196468 140728268362384 139809132468432 139810823522203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14513] ppid=14448 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14451/task/14513/stat : 14513 (java) S 14448 14451 9314 0 -1 1077944384 478 12874 0 0 1 0 5 2 20 0 15 0 229950572 11246280704 11277 33554432000 4194304 4196468 140728268362384 139810315512304 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14514] ppid=14448 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14514/stat : 14514 (java) S 14448 14451 9314 0 -1 1077944384 146 12874 0 0 0 0 5 2 20 0 15 0 229950572 11246280704 11277 33554432000 4194304 4196468 140728268362384 139810314459760 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14515] ppid=14448 vsize=10982696 memory=140412210812544 CPUtime=0.1 cores=1,3,5,7
/proc/14451/task/14515/stat : 14515 (java) R 14448 14451 9314 0 -1 4202560 623 12874 0 0 3 0 5 2 20 0 15 0 229950572 11246280704 11277 33554432000 4194304 4196468 140728268362384 139810313407216 139810823524954 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14516] ppid=14448 vsize=10982696 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14516/stat : 14516 (java) S 14448 14451 9314 0 -1 1077944384 3 12874 0 0 0 0 5 2 20 0 15 0 229950572 11246280704 11277 33554432000 4194304 4196468 140728268362384 139808701672544 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14517] ppid=14448 vsize=10982696 memory=140412210812544 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14517/stat : 14517 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950572 11246280704 11277 33554432000 4194304 4196468 140728268362384 139810245175600 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 45108 KiB
[startup+0.310447 s]*
/proc/loadavg: 1.30 1.47 1.50 3/218 14517
/proc/meminfo: memFree=16601776/32770624 swapFree=67108688/67108860
[pid=14451] ppid=14448 vsize=10983192 memory=53620 CPUtime=0.37 cores=1,3,5,7
/proc/14451/stat : 14451 (java) S 14448 14451 9314 0 -1 1077944320 9948 12874 0 0 27 3 5 2 20 0 15 0 229950556 11246788608 13405 33554432000 4194304 4196468 140728268362384 140728268344928 139810823503607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
/proc/14451/statm: 2745798 13405 3090 1 0 2708109 0
[pid=14451/tid=14504] ppid=14448 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/14451/task/14504/stat : 14504 (java) R 14448 14451 9314 0 -1 4202560 6468 12874 0 0 19 1 5 2 20 0 15 0 229950565 11246788608 13405 33554432000 4194304 4196468 140728268362384 139810795306384 139810805067136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14505] ppid=14448 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14505/stat : 14505 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950566 11246788608 13405 33554432000 4194304 4196468 140728268362384 139810827746064 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14506] ppid=14448 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14506/stat : 14506 (java) S 14448 14451 9314 0 -1 1077944384 2 12874 0 0 0 0 5 2 20 0 15 0 229950566 11246788608 13405 33554432000 4194304 4196468 140728268362384 139810363485072 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14507] ppid=14448 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14507/stat : 14507 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950566 11246788608 13405 33554432000 4194304 4196468 140728268362384 139810362432528 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14508] ppid=14448 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14508/stat : 14508 (java) S 14448 14451 9314 0 -1 1077944384 2 12874 0 0 0 0 5 2 20 0 15 0 229950566 11246788608 13405 33554432000 4194304 4196468 140728268362384 139810361379984 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14509] ppid=14448 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14509/stat : 14509 (java) S 14448 14451 9314 0 -1 1077944384 2 12874 0 0 0 0 5 2 20 0 15 0 229950568 11246788608 13405 33554432000 4194304 4196468 140728268362384 139810316564464 139810823514754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14510] ppid=14448 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14510/stat : 14510 (java) S 14448 14451 9314 0 -1 1077944384 13 12874 0 0 0 0 5 2 20 0 15 0 229950569 11246788608 13405 33554432000 4194304 4196468 140728268362384 139809587717024 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14511] ppid=14448 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14511/stat : 14511 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950569 11246788608 13405 33554432000 4194304 4196468 140728268362384 139809439867888 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14512] ppid=14448 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14512/stat : 14512 (java) S 14448 14451 9314 0 -1 1077944384 3 12874 0 0 0 0 5 2 20 0 15 0 229950572 11246788608 13405 33554432000 4194304 4196468 140728268362384 139809132468432 139810823522203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14513] ppid=14448 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14451/task/14513/stat : 14513 (java) S 14448 14451 9314 0 -1 1077944384 478 12874 0 0 1 0 5 2 20 0 15 0 229950572 11246788608 13405 33554432000 4194304 4196468 140728268362384 139810315512304 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14514] ppid=14448 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/14451/task/14514/stat : 14514 (java) S 14448 14451 9314 0 -1 1077944384 149 12874 0 0 1 0 5 2 20 0 15 0 229950572 11246788608 13405 33554432000 4194304 4196468 140728268362384 139810314459760 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14515] ppid=14448 vsize=10983192 memory=140412210812544 CPUtime=0.11 cores=1,3,5,7
/proc/14451/task/14515/stat : 14515 (java) S 14448 14451 9314 0 -1 1077944384 632 12874 0 0 4 0 5 2 20 0 15 0 229950572 11246788608 13405 33554432000 4194304 4196468 140728268362384 139810313407216 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14516] ppid=14448 vsize=10983192 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14516/stat : 14516 (java) S 14448 14451 9314 0 -1 1077944384 3 12874 0 0 0 0 5 2 20 0 15 0 229950572 11246788608 13405 33554432000 4194304 4196468 140728268362384 139808701672544 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14517] ppid=14448 vsize=10983192 memory=140412210812544 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14517/stat : 14517 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950572 11246788608 13405 33554432000 4194304 4196468 140728268362384 139810245175600 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53620 KiB
[startup+0.700795 s]
/proc/loadavg: 1.30 1.47 1.50 3/218 14517
/proc/meminfo: memFree=16590612/32770624 swapFree=67108688/67108860
[pid=14451] ppid=14448 vsize=10983192 memory=88736 CPUtime=0.97 cores=1,3,5,7
/proc/14451/stat : 14451 (java) S 14448 14451 9314 0 -1 1077944320 16790 12874 0 0 86 4 5 2 20 0 15 0 229950556 11246788608 22184 33554432000 4194304 4196468 140728268362384 140728268344928 139810823503607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
/proc/14451/statm: 2745798 22184 3237 1 0 2708109 0
[pid=14451/tid=14504] ppid=14448 vsize=10983192 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/14451/task/14504/stat : 14504 (java) R 14448 14451 9314 0 -1 4202560 12397 12874 0 0 56 2 5 2 20 0 15 0 229950565 11246788608 22184 33554432000 4194304 4196468 140728268362384 139810795325776 139810803779488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14505] ppid=14448 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14505/stat : 14505 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950566 11246788608 22184 33554432000 4194304 4196468 140728268362384 139810827746064 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14506] ppid=14448 vsize=10983192 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14506/stat : 14506 (java) S 14448 14451 9314 0 -1 1077944384 2 12874 0 0 0 0 5 2 20 0 15 0 229950566 11246788608 22184 33554432000 4194304 4196468 140728268362384 139810363485072 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14507] ppid=14448 vsize=10983192 memory=140412077617936 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14507/stat : 14507 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950566 11246788608 22184 33554432000 4194304 4196468 140728268362384 139810362432528 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14508] ppid=14448 vsize=10983192 memory=140415365808751 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14508/stat : 14508 (java) S 14448 14451 9314 0 -1 1077944384 2 12874 0 0 0 0 5 2 20 0 15 0 229950566 11246788608 22184 33554432000 4194304 4196468 140728268362384 139810361379984 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14509] ppid=14448 vsize=10983192 memory=1832 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14509/stat : 14509 (java) S 14448 14451 9314 0 -1 1077944384 6 12874 0 0 0 0 5 2 20 0 15 0 229950568 11246788608 22184 33554432000 4194304 4196468 140728268362384 139810316564464 139810823514754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14510] ppid=14448 vsize=10983192 memory=7161944214934349376 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14510/stat : 14510 (java) S 14448 14451 9314 0 -1 1077944384 13 12874 0 0 0 0 5 2 20 0 15 0 229950569 11246788608 22184 33554432000 4194304 4196468 140728268362384 139809587717024 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14511] ppid=14448 vsize=10983192 memory=6082220498227391592 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14511/stat : 14511 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950569 11246788608 22184 33554432000 4194304 4196468 140728268362384 139809439867888 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14512] ppid=14448 vsize=10983192 memory=16348 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14512/stat : 14512 (java) S 14448 14451 9314 0 -1 1077944384 3 12874 0 0 0 0 5 2 20 0 15 0 229950572 11246788608 22184 33554432000 4194304 4196468 140728268362384 139809132468432 139810823522203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14513] ppid=14448 vsize=10983192 memory=1176 CPUtime=0.16 cores=1,3,5,7
/proc/14451/task/14513/stat : 14513 (java) S 14448 14451 9314 0 -1 1077944384 1065 12874 0 0 9 0 5 2 20 0 15 0 229950572 11246788608 22184 33554432000 4194304 4196468 140728268362384 139810315512304 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14514] ppid=14448 vsize=10983192 memory=34556 CPUtime=0.14 cores=1,3,5,7
/proc/14451/task/14514/stat : 14514 (java) S 14448 14451 9314 0 -1 1077944384 432 12874 0 0 7 0 5 2 20 0 15 0 229950572 11246788608 22184 33554432000 4194304 4196468 140728268362384 139810314459760 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14515] ppid=14448 vsize=10983192 memory=4048 CPUtime=0.2 cores=1,3,5,7
/proc/14451/task/14515/stat : 14515 (java) S 14448 14451 9314 0 -1 1077944384 671 12874 0 0 13 0 5 2 20 0 15 0 229950572 11246788608 22184 33554432000 4194304 4196468 140728268362384 139810313407216 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14516] ppid=14448 vsize=10983192 memory=508 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14516/stat : 14516 (java) S 14448 14451 9314 0 -1 1077944384 3 12874 0 0 0 0 5 2 20 0 15 0 229950572 11246788608 22184 33554432000 4194304 4196468 140728268362384 139808701672544 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14517] ppid=14448 vsize=10983192 memory=1728 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14517/stat : 14517 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950572 11246788608 22184 33554432000 4194304 4196468 140728268362384 139810245175600 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88736 KiB
[startup+1.50102 s]
/proc/loadavg: 1.30 1.47 1.50 3/218 14517
/proc/meminfo: memFree=16547072/32770624 swapFree=67108688/67108860
[pid=14451] ppid=14448 vsize=10998092 memory=180060 CPUtime=2.39 cores=1,3,5,7
/proc/14451/stat : 14451 (java) S 14448 14451 9314 0 -1 1077944320 24416 12874 0 0 223 9 5 2 20 0 15 0 229950556 11262046208 45015 33554432000 4194304 4196468 140728268362384 140728268344928 139810823503607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
/proc/14451/statm: 2749523 45015 3468 1 0 2711181 0
[pid=14451/tid=14504] ppid=14448 vsize=10998092 memory=65028 CPUtime=1.42 cores=1,3,5,7
/proc/14451/task/14504/stat : 14504 (java) R 14448 14451 9314 0 -1 4202560 17904 12874 0 0 130 5 5 2 20 0 15 0 229950565 11262046208 45015 33554432000 4194304 4196468 140728268362384 139810795332800 139810807614613 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14505] ppid=14448 vsize=10998092 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/14451/task/14505/stat : 14505 (java) S 14448 14451 9314 0 -1 1077944384 168 12874 0 0 1 0 5 2 20 0 15 0 229950566 11262046208 45015 33554432000 4194304 4196468 140728268362384 139810827746064 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14506] ppid=14448 vsize=10998092 memory=280824155267232 CPUtime=0.08 cores=1,3,5,7
/proc/14451/task/14506/stat : 14506 (java) S 14448 14451 9314 0 -1 1077944384 33 12874 0 0 1 0 5 2 20 0 15 0 229950566 11262046208 45015 33554432000 4194304 4196468 140728268362384 139810363485072 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14507] ppid=14448 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14451/task/14507/stat : 14507 (java) S 14448 14451 9314 0 -1 1077944384 18 12874 0 0 1 0 5 2 20 0 15 0 229950566 11262046208 45015 33554432000 4194304 4196468 140728268362384 139810362432528 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14508] ppid=14448 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14508/stat : 14508 (java) S 14448 14451 9314 0 -1 1077944384 61 12874 0 0 0 0 5 2 20 0 15 0 229950566 11262046208 45015 33554432000 4194304 4196468 140728268362384 139810361379984 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14509] ppid=14448 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/14451/task/14509/stat : 14509 (java) S 14448 14451 9314 0 -1 1077944384 57 12874 0 0 1 0 5 2 20 0 15 0 229950568 11262046208 45015 33554432000 4194304 4196468 140728268362384 139810316564464 139810823514754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14510] ppid=14448 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14510/stat : 14510 (java) S 14448 14451 9314 0 -1 1077944384 14 12874 0 0 0 0 5 2 20 0 15 0 229950569 11262046208 45015 33554432000 4194304 4196468 140728268362384 139809587717088 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14511] ppid=14448 vsize=10998092 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14511/stat : 14511 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950569 11262046208 45015 33554432000 4194304 4196468 140728268362384 139809439867904 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14512] ppid=14448 vsize=10998092 memory=-2746958450906831424 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14512/stat : 14512 (java) S 14448 14451 9314 0 -1 1077944384 3 12874 0 0 0 0 5 2 20 0 15 0 229950572 11262046208 45015 33554432000 4194304 4196468 140728268362384 139809132468432 139810823522203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14513] ppid=14448 vsize=10998092 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/14451/task/14513/stat : 14513 (java) S 14448 14451 9314 0 -1 1077944384 1562 12874 0 0 29 0 5 2 20 0 15 0 229950572 11262046208 45015 33554432000 4194304 4196468 140728268362384 139810315512304 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14514] ppid=14448 vsize=10998092 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/14451/task/14514/stat : 14514 (java) S 14448 14451 9314 0 -1 1077944384 1007 12874 0 0 21 0 5 2 20 0 15 0 229950572 11262046208 45015 33554432000 4194304 4196468 140728268362384 139810314459760 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14515] ppid=14448 vsize=10998092 memory=6791534058613427641 CPUtime=0.42 cores=1,3,5,7
/proc/14451/task/14515/stat : 14515 (java) S 14448 14451 9314 0 -1 1077944384 1392 12874 0 0 35 0 5 2 20 0 15 0 229950572 11262046208 45015 33554432000 4194304 4196468 140728268362384 139810313407216 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14516] ppid=14448 vsize=10998092 memory=4638778398332698720 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14516/stat : 14516 (java) S 14448 14451 9314 0 -1 1077944384 3 12874 0 0 0 0 5 2 20 0 15 0 229950572 11262046208 45015 33554432000 4194304 4196468 140728268362384 139808701672544 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14517] ppid=14448 vsize=10998092 memory=280824155511680 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14517/stat : 14517 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950572 11262046208 45015 33554432000 4194304 4196468 140728268362384 139810245175600 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
Current children cumulated CPU time: 2.39 s
Current children cumulated vsize: 10998092 KiB
################
# More data... #
################
/proc/14451/task/14504/stat : 14504 (java) R 14448 14451 9314 0 -1 4202560 84125 12874 0 0 237268 28 5 2 20 0 15 0 229950565 11343855616 135198 33554432000 4194304 4196468 140728268362384 139810795337600 139810407358506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14505] ppid=14448 vsize=11077984 memory=540772 CPUtime=3.98 cores=1,3,5,7
/proc/14451/task/14505/stat : 14505 (java) S 14448 14451 9314 0 -1 1077944384 12116 12874 0 0 371 20 5 2 20 0 15 0 229950566 11343855616 135198 33554432000 4194304 4196468 140728268362384 139810827746064 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14506] ppid=14448 vsize=11077984 memory=540792 CPUtime=3.96 cores=1,3,5,7
/proc/14451/task/14506/stat : 14506 (java) S 14448 14451 9314 0 -1 1077944384 13043 12874 0 0 370 19 5 2 20 0 15 0 229950566 11343855616 135198 33554432000 4194304 4196468 140728268362384 139810363485072 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14507] ppid=14448 vsize=11077984 memory=540792 CPUtime=4 cores=1,3,5,7
/proc/14451/task/14507/stat : 14507 (java) S 14448 14451 9314 0 -1 1077944384 7412 12874 0 0 372 21 5 2 20 0 15 0 229950566 11343855616 135198 33554432000 4194304 4196468 140728268362384 139810362432528 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14508] ppid=14448 vsize=11077984 memory=540792 CPUtime=3.97 cores=1,3,5,7
/proc/14451/task/14508/stat : 14508 (java) S 14448 14451 9314 0 -1 1077944384 12032 12874 0 0 370 20 5 2 20 0 15 0 229950566 11343855616 135198 33554432000 4194304 4196468 140728268362384 139810361379984 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14509] ppid=14448 vsize=11077984 memory=540792 CPUtime=3.56 cores=1,3,5,7
/proc/14451/task/14509/stat : 14509 (java) S 14448 14451 9314 0 -1 1077944384 11885 12874 0 0 330 19 5 2 20 0 15 0 229950568 11343855616 135198 33554432000 4194304 4196468 140728268362384 139810316564464 139810823514754 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14510] ppid=14448 vsize=11077984 memory=540792 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14510/stat : 14510 (java) S 14448 14451 9314 0 -1 1077944384 14 12874 0 0 0 0 5 2 20 0 15 0 229950569 11343855616 135198 33554432000 4194304 4196468 140728268362384 139809587717088 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14511] ppid=14448 vsize=11077984 memory=280824156560016 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14511/stat : 14511 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950569 11343855616 135198 33554432000 4194304 4196468 140728268362384 139809439867904 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14512] ppid=14448 vsize=11077984 memory=2316 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14512/stat : 14512 (java) S 14448 14451 9314 0 -1 1077944384 3 12874 0 0 0 0 5 2 20 0 15 0 229950572 11343855616 135198 33554432000 4194304 4196468 140728268362384 139809132468432 139810823522203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14513] ppid=14448 vsize=11077984 memory=540792 CPUtime=5.55 cores=1,3,5,7
/proc/14451/task/14513/stat : 14513 (java) S 14448 14451 9314 0 -1 1077944384 42002 12874 0 0 543 5 5 2 20 0 15 0 229950572 11343855616 135198 33554432000 4194304 4196468 140728268362384 139810315512304 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14514] ppid=14448 vsize=11077984 memory=3824 CPUtime=5.79 cores=1,3,5,7
/proc/14451/task/14514/stat : 14514 (java) S 14448 14451 9314 0 -1 1077944384 44984 12874 0 0 568 4 5 2 20 0 15 0 229950572 11343855616 135198 33554432000 4194304 4196468 140728268362384 139810314459760 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14515] ppid=14448 vsize=11077984 memory=540792 CPUtime=1.97 cores=1,3,5,7
/proc/14451/task/14515/stat : 14515 (java) S 14448 14451 9314 0 -1 1077944384 32987 12874 0 0 186 4 5 2 20 0 15 0 229950572 11343855616 135198 33554432000 4194304 4196468 140728268362384 139810313407216 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14516] ppid=14448 vsize=11077984 memory=540792 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14516/stat : 14516 (java) S 14448 14451 9314 0 -1 1077944384 3 12874 0 0 0 0 5 2 20 0 15 0 229950572 11343855616 135198 33554432000 4194304 4196468 140728268362384 139808701672544 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14517] ppid=14448 vsize=11077984 memory=540792 CPUtime=1.27 cores=1,3,5,7
/proc/14451/task/14517/stat : 14517 (java) S 14448 14451 9314 0 -1 1077944384 1297 12874 0 0 57 63 5 2 20 0 15 0 229950572 11343855616 135198 33554432000 4194304 4196468 140728268362384 139810245175600 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
Current children cumulated CPU time: 2406.55 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 540792 KiB
[startup+2442.3 s]
/proc/loadavg: 1.17 1.30 1.35 4/221 15137
/proc/meminfo: memFree=17034536/32770624 swapFree=67108688/67108860
[pid=14451] ppid=14448 vsize=11077984 memory=540816 CPUtime=2466.84 cores=1,3,5,7
/proc/14451/stat : 14451 (java) S 14448 14451 9314 0 -1 1077944320 264776 12874 0 0 246496 181 5 2 20 0 15 0 229950556 11343855616 135204 33554432000 4194304 4196468 140728268362384 140728268344928 139810823503607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
/proc/14451/statm: 2769496 135204 3533 1 0 2731149 0
[pid=14451/tid=14504] ppid=14448 vsize=11077984 memory=540792 CPUtime=2432.77 cores=1,3,5,7
/proc/14451/task/14504/stat : 14504 (java) R 14448 14451 9314 0 -1 4202560 84424 12874 0 0 243242 28 5 2 20 0 15 0 229950565 11343855616 135204 33554432000 4194304 4196468 140728268362384 139810795337488 139810407358492 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14505] ppid=14448 vsize=11077984 memory=540792 CPUtime=4.08 cores=1,3,5,7
/proc/14451/task/14505/stat : 14505 (java) S 14448 14451 9314 0 -1 1077944384 12140 12874 0 0 380 21 5 2 20 0 15 0 229950566 11343855616 135204 33554432000 4194304 4196468 140728268362384 139810827746064 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14506] ppid=14448 vsize=11077984 memory=540792 CPUtime=4.07 cores=1,3,5,7
/proc/14451/task/14506/stat : 14506 (java) S 14448 14451 9314 0 -1 1077944384 13056 12874 0 0 380 20 5 2 20 0 15 0 229950566 11343855616 135204 33554432000 4194304 4196468 140728268362384 139810363485072 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14507] ppid=14448 vsize=11077984 memory=540792 CPUtime=4.1 cores=1,3,5,7
/proc/14451/task/14507/stat : 14507 (java) S 14448 14451 9314 0 -1 1077944384 7710 12874 0 0 382 21 5 2 20 0 15 0 229950566 11343855616 135204 33554432000 4194304 4196468 140728268362384 139810362432528 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14508] ppid=14448 vsize=11077984 memory=540792 CPUtime=4.07 cores=1,3,5,7
/proc/14451/task/14508/stat : 14508 (java) S 14448 14451 9314 0 -1 1077944384 12050 12874 0 0 380 20 5 2 20 0 15 0 229950566 11343855616 135204 33554432000 4194304 4196468 140728268362384 139810361379984 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14509] ppid=14448 vsize=11077984 memory=540816 CPUtime=3.64 cores=1,3,5,7
/proc/14451/task/14509/stat : 14509 (java) S 14448 14451 9314 0 -1 1077944384 11909 12874 0 0 338 19 5 2 20 0 15 0 229950568 11343855616 135204 33554432000 4194304 4196468 140728268362384 139810316564464 139810823514754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14510] ppid=14448 vsize=11077984 memory=540816 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14510/stat : 14510 (java) S 14448 14451 9314 0 -1 1077944384 14 12874 0 0 0 0 5 2 20 0 15 0 229950569 11343855616 135204 33554432000 4194304 4196468 140728268362384 139809587717088 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14511] ppid=14448 vsize=11077984 memory=540816 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14511/stat : 14511 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950569 11343855616 135204 33554432000 4194304 4196468 140728268362384 139809439867904 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14512] ppid=14448 vsize=11077984 memory=540816 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14512/stat : 14512 (java) S 14448 14451 9314 0 -1 1077944384 3 12874 0 0 0 0 5 2 20 0 15 0 229950572 11343855616 135204 33554432000 4194304 4196468 140728268362384 139809132468432 139810823522203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14513] ppid=14448 vsize=11077984 memory=540816 CPUtime=5.55 cores=1,3,5,7
/proc/14451/task/14513/stat : 14513 (java) S 14448 14451 9314 0 -1 1077944384 42002 12874 0 0 543 5 5 2 20 0 15 0 229950572 11343855616 135204 33554432000 4194304 4196468 140728268362384 139810315512304 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14514] ppid=14448 vsize=11077984 memory=1832 CPUtime=5.79 cores=1,3,5,7
/proc/14451/task/14514/stat : 14514 (java) S 14448 14451 9314 0 -1 1077944384 44984 12874 0 0 568 4 5 2 20 0 15 0 229950572 11343855616 135204 33554432000 4194304 4196468 140728268362384 139810314459760 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14515] ppid=14448 vsize=11077984 memory=1832 CPUtime=1.97 cores=1,3,5,7
/proc/14451/task/14515/stat : 14515 (java) S 14448 14451 9314 0 -1 1077944384 32987 12874 0 0 186 4 5 2 20 0 15 0 229950572 11343855616 135204 33554432000 4194304 4196468 140728268362384 139810313407216 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14516] ppid=14448 vsize=11077984 memory=303711698211307546 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14516/stat : 14516 (java) S 14448 14451 9314 0 -1 1077944384 3 12874 0 0 0 0 5 2 20 0 15 0 229950572 11343855616 135204 33554432000 4194304 4196468 140728268362384 139808701672544 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14517] ppid=14448 vsize=11077984 memory=288230596050944315 CPUtime=1.3 cores=1,3,5,7
/proc/14451/task/14517/stat : 14517 (java) S 14448 14451 9314 0 -1 1077944384 1301 12874 0 0 58 65 5 2 20 0 15 0 229950572 11343855616 135204 33554432000 4194304 4196468 140728268362384 139810245175600 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
Current children cumulated CPU time: 2466.84 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 540816 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2495.3 s]
/proc/loadavg: 1.30 1.32 1.36 4/220 15138
/proc/meminfo: memFree=17034496/32770624 swapFree=67108688/67108860
[pid=14451] ppid=14448 vsize=11077984 memory=540876 CPUtime=2520.09 cores=1,3,5,7
/proc/14451/stat : 14451 (java) S 14448 14451 9314 0 -1 1077944320 265417 12874 0 0 251818 184 5 2 20 0 15 0 229950556 11343855616 135219 33554432000 4194304 4196468 140728268362384 140728268344928 139810823503607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
/proc/14451/statm: 2769496 135219 3533 1 0 2731149 0
[pid=14451/tid=14504] ppid=14448 vsize=11077984 memory=1136 CPUtime=2485.57 cores=1,3,5,7
/proc/14451/task/14504/stat : 14504 (java) R 14448 14451 9314 0 -1 4202560 84788 12874 0 0 248522 28 5 2 20 0 15 0 229950565 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810795337360 139810408387584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14505] ppid=14448 vsize=11077984 memory=540876 CPUtime=4.17 cores=1,3,5,7
/proc/14451/task/14505/stat : 14505 (java) S 14448 14451 9314 0 -1 1077944384 12151 12874 0 0 389 21 5 2 20 0 15 0 229950566 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810827746064 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14506] ppid=14448 vsize=11077984 memory=540876 CPUtime=4.15 cores=1,3,5,7
/proc/14451/task/14506/stat : 14506 (java) S 14448 14451 9314 0 -1 1077944384 13074 12874 0 0 388 20 5 2 20 0 15 0 229950566 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810363485072 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14507] ppid=14448 vsize=11077984 memory=540876 CPUtime=4.18 cores=1,3,5,7
/proc/14451/task/14507/stat : 14507 (java) S 14448 14451 9314 0 -1 1077944384 7816 12874 0 0 390 21 5 2 20 0 15 0 229950566 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810362432528 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14508] ppid=14448 vsize=11077984 memory=540876 CPUtime=4.16 cores=1,3,5,7
/proc/14451/task/14508/stat : 14508 (java) S 14448 14451 9314 0 -1 1077944384 12060 12874 0 0 388 21 5 2 20 0 15 0 229950566 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810361379984 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14509] ppid=14448 vsize=11077984 memory=540876 CPUtime=3.73 cores=1,3,5,7
/proc/14451/task/14509/stat : 14509 (java) S 14448 14451 9314 0 -1 1077944384 12017 12874 0 0 346 20 5 2 20 0 15 0 229950568 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810316564464 139810823514754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14510] ppid=14448 vsize=11077984 memory=540876 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14510/stat : 14510 (java) S 14448 14451 9314 0 -1 1077944384 14 12874 0 0 0 0 5 2 20 0 15 0 229950569 11343855616 135219 33554432000 4194304 4196468 140728268362384 139809587717088 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14511] ppid=14448 vsize=11077984 memory=540876 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14511/stat : 14511 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950569 11343855616 135219 33554432000 4194304 4196468 140728268362384 139809439867904 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14512] ppid=14448 vsize=11077984 memory=540876 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14512/stat : 14512 (java) S 14448 14451 9314 0 -1 1077944384 3 12874 0 0 0 0 5 2 20 0 15 0 229950572 11343855616 135219 33554432000 4194304 4196468 140728268362384 139809132468432 139810823522203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14513] ppid=14448 vsize=11077984 memory=540876 CPUtime=5.55 cores=1,3,5,7
/proc/14451/task/14513/stat : 14513 (java) S 14448 14451 9314 0 -1 1077944384 42004 12874 0 0 543 5 5 2 20 0 15 0 229950572 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810315512304 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14514] ppid=14448 vsize=11077984 memory=540876 CPUtime=5.79 cores=1,3,5,7
/proc/14451/task/14514/stat : 14514 (java) S 14448 14451 9314 0 -1 1077944384 44986 12874 0 0 568 4 5 2 20 0 15 0 229950572 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810314459760 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14515] ppid=14448 vsize=11077984 memory=540876 CPUtime=1.97 cores=1,3,5,7
/proc/14451/task/14515/stat : 14515 (java) S 14448 14451 9314 0 -1 1077944384 32989 12874 0 0 186 4 5 2 20 0 15 0 229950572 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810313407216 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14516] ppid=14448 vsize=11077984 memory=540876 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14516/stat : 14516 (java) S 14448 14451 9314 0 -1 1077944384 3 12874 0 0 0 0 5 2 20 0 15 0 229950572 11343855616 135219 33554432000 4194304 4196468 140728268362384 139808701672544 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14517] ppid=14448 vsize=11077984 memory=3824 CPUtime=1.33 cores=1,3,5,7
/proc/14451/task/14517/stat : 14517 (java) S 14448 14451 9314 0 -1 1077944384 1319 12874 0 0 60 66 5 2 20 0 15 0 229950572 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810245175600 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 540876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2495.33 s]
# the end of solver process 14451 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.26 s, system=1.88365 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2495.3 s]
/proc/loadavg: 1.30 1.32 1.36 4/220 15138
/proc/meminfo: memFree=17034496/32770624 swapFree=67108688/67108860
[pid=14451] ppid=14448 vsize=11077984 memory=540876 CPUtime=2520.09 cores=1,3,5,7
/proc/14451/stat : 14451 (java) S 14448 14451 9314 0 -1 1077944320 265417 12874 0 0 251818 184 5 2 20 0 15 0 229950556 11343855616 135219 33554432000 4194304 4196468 140728268362384 140728268344928 139810823503607 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
/proc/14451/statm: 2769496 135219 3533 1 0 2731149 0
[pid=14451/tid=14504] ppid=14448 vsize=11077984 memory=1136 CPUtime=2485.57 cores=1,3,5,7
/proc/14451/task/14504/stat : 14504 (java) R 14448 14451 9314 0 -1 4202560 84788 12874 0 0 248522 28 5 2 20 0 15 0 229950565 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810795337360 139810408387584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14505] ppid=14448 vsize=11077984 memory=540876 CPUtime=4.17 cores=1,3,5,7
/proc/14451/task/14505/stat : 14505 (java) S 14448 14451 9314 0 -1 1077944384 12151 12874 0 0 389 21 5 2 20 0 15 0 229950566 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810827746064 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14506] ppid=14448 vsize=11077984 memory=540876 CPUtime=4.15 cores=1,3,5,7
/proc/14451/task/14506/stat : 14506 (java) S 14448 14451 9314 0 -1 1077944384 13074 12874 0 0 388 20 5 2 20 0 15 0 229950566 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810363485072 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14507] ppid=14448 vsize=11077984 memory=540876 CPUtime=4.18 cores=1,3,5,7
/proc/14451/task/14507/stat : 14507 (java) S 14448 14451 9314 0 -1 1077944384 7816 12874 0 0 390 21 5 2 20 0 15 0 229950566 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810362432528 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14508] ppid=14448 vsize=11077984 memory=540876 CPUtime=4.16 cores=1,3,5,7
/proc/14451/task/14508/stat : 14508 (java) S 14448 14451 9314 0 -1 1077944384 12060 12874 0 0 388 21 5 2 20 0 15 0 229950566 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810361379984 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14509] ppid=14448 vsize=11077984 memory=540876 CPUtime=3.73 cores=1,3,5,7
/proc/14451/task/14509/stat : 14509 (java) S 14448 14451 9314 0 -1 1077944384 12017 12874 0 0 346 20 5 2 20 0 15 0 229950568 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810316564464 139810823514754 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14510] ppid=14448 vsize=11077984 memory=540876 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14510/stat : 14510 (java) S 14448 14451 9314 0 -1 1077944384 14 12874 0 0 0 0 5 2 20 0 15 0 229950569 11343855616 135219 33554432000 4194304 4196468 140728268362384 139809587717088 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14511] ppid=14448 vsize=11077984 memory=540876 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14511/stat : 14511 (java) S 14448 14451 9314 0 -1 1077944384 1 12874 0 0 0 0 5 2 20 0 15 0 229950569 11343855616 135219 33554432000 4194304 4196468 140728268362384 139809439867904 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14512] ppid=14448 vsize=11077984 memory=540876 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14512/stat : 14512 (java) S 14448 14451 9314 0 -1 1077944384 3 12874 0 0 0 0 5 2 20 0 15 0 229950572 11343855616 135219 33554432000 4194304 4196468 140728268362384 139809132468432 139810823522203 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14513] ppid=14448 vsize=11077984 memory=540876 CPUtime=5.55 cores=1,3,5,7
/proc/14451/task/14513/stat : 14513 (java) S 14448 14451 9314 0 -1 1077944384 42004 12874 0 0 543 5 5 2 20 0 15 0 229950572 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810315512304 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14514] ppid=14448 vsize=11077984 memory=540876 CPUtime=5.79 cores=1,3,5,7
/proc/14451/task/14514/stat : 14514 (java) S 14448 14451 9314 0 -1 1077944384 44986 12874 0 0 568 4 5 2 20 0 15 0 229950572 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810314459760 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14515] ppid=14448 vsize=11077984 memory=540876 CPUtime=1.97 cores=1,3,5,7
/proc/14451/task/14515/stat : 14515 (java) S 14448 14451 9314 0 -1 1077944384 32989 12874 0 0 186 4 5 2 20 0 15 0 229950572 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810313407216 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14516] ppid=14448 vsize=11077984 memory=540876 CPUtime=0.07 cores=1,3,5,7
/proc/14451/task/14516/stat : 14516 (java) S 14448 14451 9314 0 -1 1077944384 3 12874 0 0 0 0 5 2 20 0 15 0 229950572 11343855616 135219 33554432000 4194304 4196468 140728268362384 139808701672544 139810823513813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
[pid=14451/tid=14517] ppid=14448 vsize=11077984 memory=3824 CPUtime=1.33 cores=1,3,5,7
/proc/14451/task/14517/stat : 14517 (java) S 14448 14451 9314 0 -1 1077944384 1319 12874 0 0 60 66 5 2 20 0 15 0 229950572 11343855616 135219 33554432000 4194304 4196468 140728268362384 139810245175600 139810823514754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 11669504 140728268368484 140728268371292 140728268371292 140728268373967 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 11077984 KiB
Current children cumulated memory: 540876 KiB
Child status: 143
Real time (s): 2495.33
CPU time (s): 2520.14
CPU user time (s): 2518.26
CPU system time (s): 1.88365
CPU usage (%): 100.994
Max. virtual memory (cumulated for all children) (KiB): 11080620
Max. memory (cumulated for all children) (KiB): 592084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.26
system time used= 1.88365
maximum resident set size= 593104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279482
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135679
involuntary context switches= 5285
# summary of solver processes directly reported to runsolver:
# pid: 14451
# total CPU time (s): 2520.14
# total CPU user time (s): 2518.26
# total CPU system time (s): 1.88365
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5739 second user time and 23.1086 second system time
The end