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 (7772 MiB free)
memory of node 1: 16384 MiB (4877 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304329-1534058634/watcher-4304329-1534058634 -o /tmp/evaluation-result-4304329-1534058634/solver-4304329-1534058634 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534039158-26716 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=96981628 HOME/instance-4304329-1534058634.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
solver pid=30490, runsolver pid=30487
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 1.70 1.64 1.55 3/207 30547
/proc/meminfo: memFree=12946016/32770624 swapFree=67108844/67108860
[pid=30490] ppid=30487 vsize=10005480 memory=18324 CPUtime=0.1 cores=1,3,5,7
/proc/30490/stat : 30490 (java) S 30487 30490 25584 0 -1 1077944320 4261 13138 0 0 1 1 5 3 20 0 6 0 223426575 10245611520 4581 33554432000 4194304 4196468 140722747666656 140722747649200 139980645146359 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
/proc/30490/statm: 2501370 4581 1930 1 0 2489808 0
[pid=30490/tid=30543] ppid=30487 vsize=10005480 memory=4279135703980081295 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30543/stat : 30543 (java) R 30487 30490 25584 0 -1 4202560 2061 13138 0 0 0 0 5 3 20 0 6 0 223426584 10245611520 4581 33554432000 4194304 4196468 140722747666656 139980616983120 139980645168285 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30544] ppid=30487 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30544/stat : 30544 (java) S 30487 30490 25584 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 6 0 223426585 10245611520 4581 33554432000 4194304 4196468 140722747666656 139980649388944 139980645156565 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30545] ppid=30487 vsize=10005480 memory=140109724001920 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30545/stat : 30545 (java) S 30487 30490 25584 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 6 0 223426585 10245611520 4647 33554432000 4194304 4196468 140722747666656 139980504107792 139980645156565 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30546] ppid=30487 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30546/stat : 30546 (java) S 30487 30490 25584 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 6 0 223426585 10245611520 4647 33554432000 4194304 4196468 140722747666656 139980503055504 139980645156565 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30547] ppid=30487 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30547/stat : 30547 (java) S 30487 30490 25584 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 6 0 223426585 10245611520 4647 33554432000 4194304 4196468 140722747666656 139980502002704 139980645156565 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18324 KiB
[startup+0.210028 s]*
/proc/loadavg: 1.70 1.64 1.55 3/216 30556
/proc/meminfo: memFree=12922500/32770624 swapFree=67108844/67108860
[pid=30490] ppid=30487 vsize=10983736 memory=46820 CPUtime=0.26 cores=1,3,5,7
/proc/30490/stat : 30490 (java) S 30487 30490 25584 0 -1 1077944320 7872 13138 0 0 16 2 5 3 20 0 15 0 223426575 11247345664 11639 33554432000 4194304 4196468 140722747666656 140722747649200 139980645146359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
/proc/30490/statm: 2745934 11705 2947 1 0 2708357 0
[pid=30490/tid=30543] ppid=30487 vsize=10983736 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/30490/task/30543/stat : 30543 (java) R 30487 30490 25584 0 -1 4202560 4493 13138 0 0 10 1 5 3 20 0 15 0 223426584 11247345664 11705 33554432000 4194304 4196468 140722747666656 139980616971168 139980637826077 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30544] ppid=30487 vsize=10983736 memory=342 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30544/stat : 30544 (java) S 30487 30490 25584 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 223426585 11247345664 11771 33554432000 4194304 4196468 140722747666656 139980649388944 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30545] ppid=30487 vsize=10983736 memory=288370485875713664 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30545/stat : 30545 (java) S 30487 30490 25584 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 223426585 11247345664 11771 33554432000 4194304 4196468 140722747666656 139980504107792 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30546] ppid=30487 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30546/stat : 30546 (java) S 30487 30490 25584 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 223426585 11247345664 11771 33554432000 4194304 4196468 140722747666656 139980503055504 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30547] ppid=30487 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30547/stat : 30547 (java) S 30487 30490 25584 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 223426585 11247345664 11771 33554432000 4194304 4196468 140722747666656 139980502002704 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30548] ppid=30487 vsize=10983736 memory=140109724001920 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30548/stat : 30548 (java) S 30487 30490 25584 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 223426586 11247345664 11771 33554432000 4194304 4196468 140722747666656 139980071053424 139980645157506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30549] ppid=30487 vsize=10983736 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30549/stat : 30549 (java) S 30487 30490 25584 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 223426587 11247345664 11837 33554432000 4194304 4196468 140722747666656 139979493729056 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30550] ppid=30487 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30550/stat : 30550 (java) S 30487 30490 25584 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 223426587 11247345664 11837 33554432000 4194304 4196468 140722747666656 139979292402800 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30551] ppid=30487 vsize=10983736 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30551/stat : 30551 (java) S 30487 30490 25584 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 223426590 11247345664 11837 33554432000 4194304 4196468 140722747666656 139978985003088 139980645164955 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30552] ppid=30487 vsize=10985364 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30490/task/30552/stat : 30552 (java) S 30487 30490 25584 0 -1 1077944384 356 13138 0 0 1 0 5 3 20 0 15 0 223426590 11249012736 11837 33554432000 4194304 4196468 140722747666656 139980070001264 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30553] ppid=30487 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30553/stat : 30553 (java) S 30487 30490 25584 0 -1 1077944384 249 13138 0 0 0 0 5 3 20 0 15 0 223426590 11249012736 11837 33554432000 4194304 4196468 140722747666656 139980068948464 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30554] ppid=30487 vsize=10985364 memory=140109724001920 CPUtime=0.11 cores=1,3,5,7
/proc/30490/task/30554/stat : 30554 (java) S 30487 30490 25584 0 -1 1077944384 613 13138 0 0 3 0 5 3 20 0 15 0 223426590 11249012736 11903 33554432000 4194304 4196468 140722747666656 139980067896176 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30555] ppid=30487 vsize=10985364 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30555/stat : 30555 (java) S 30487 30490 25584 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 223426590 11249012736 11903 33554432000 4194304 4196468 140722747666656 139978554207200 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30556] ppid=30487 vsize=10985364 memory=140109724001920 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30556/stat : 30556 (java) S 30487 30490 25584 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 223426590 11249012736 11903 33554432000 4194304 4196468 140722747666656 139980066843056 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10983736 KiB
Current children cumulated memory: 46820 KiB
[startup+0.310365 s]*
/proc/loadavg: 1.70 1.64 1.55 3/216 30556
/proc/meminfo: memFree=12910840/32770624 swapFree=67108844/67108860
[pid=30490] ppid=30487 vsize=10983192 memory=56976 CPUtime=0.39 cores=1,3,5,7
/proc/30490/stat : 30490 (java) S 30487 30490 25584 0 -1 1077944320 10305 13138 0 0 28 3 5 3 20 0 15 0 223426575 11246788608 14244 33554432000 4194304 4196468 140722747666656 140722747649200 139980645146359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
/proc/30490/statm: 2745798 14244 3066 1 0 2708109 0
[pid=30490/tid=30543] ppid=30487 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/30490/task/30543/stat : 30543 (java) R 30487 30490 25584 0 -1 4202560 6853 13138 0 0 19 2 5 3 20 0 15 0 223426584 11246788608 14244 33554432000 4194304 4196468 140722747666656 139980616958368 139980645168285 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30544] ppid=30487 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30544/stat : 30544 (java) S 30487 30490 25584 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 223426585 11246788608 14244 33554432000 4194304 4196468 140722747666656 139980649388944 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30545] ppid=30487 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30545/stat : 30545 (java) S 30487 30490 25584 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 223426585 11246788608 14244 33554432000 4194304 4196468 140722747666656 139980504107792 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30546] ppid=30487 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30546/stat : 30546 (java) S 30487 30490 25584 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 223426585 11246788608 14244 33554432000 4194304 4196468 140722747666656 139980503055504 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30547] ppid=30487 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30547/stat : 30547 (java) S 30487 30490 25584 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 223426585 11246788608 14244 33554432000 4194304 4196468 140722747666656 139980502002704 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30548] ppid=30487 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30548/stat : 30548 (java) S 30487 30490 25584 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 223426586 11246788608 14244 33554432000 4194304 4196468 140722747666656 139980071053424 139980645157506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30549] ppid=30487 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30549/stat : 30549 (java) S 30487 30490 25584 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 223426587 11246788608 14244 33554432000 4194304 4196468 140722747666656 139979493729056 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30550] ppid=30487 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30550/stat : 30550 (java) S 30487 30490 25584 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 223426587 11246788608 14244 33554432000 4194304 4196468 140722747666656 139979292402800 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30551] ppid=30487 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30551/stat : 30551 (java) S 30487 30490 25584 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 223426590 11246788608 14244 33554432000 4194304 4196468 140722747666656 139978985003088 139980645164955 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30552] ppid=30487 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/30490/task/30552/stat : 30552 (java) S 30487 30490 25584 0 -1 1077944384 358 13138 0 0 1 0 5 3 20 0 15 0 223426590 11246788608 14244 33554432000 4194304 4196468 140722747666656 139980070001264 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30553] ppid=30487 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/30490/task/30553/stat : 30553 (java) S 30487 30490 25584 0 -1 1077944384 252 13138 0 0 1 0 5 3 20 0 15 0 223426590 11246788608 14244 33554432000 4194304 4196468 140722747666656 139980068948464 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30554] ppid=30487 vsize=10983192 memory=140109724001920 CPUtime=0.13 cores=1,3,5,7
/proc/30490/task/30554/stat : 30554 (java) R 30487 30490 25584 0 -1 4202560 619 13138 0 0 5 0 5 3 20 0 15 0 223426590 11246788608 14244 33554432000 4194304 4196468 140722747666656 139980067896176 139980626370592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30555] ppid=30487 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30555/stat : 30555 (java) S 30487 30490 25584 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 223426590 11246788608 14244 33554432000 4194304 4196468 140722747666656 139978554207200 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30556] ppid=30487 vsize=10983192 memory=140109724001920 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30556/stat : 30556 (java) S 30487 30490 25584 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 223426590 11246788608 14244 33554432000 4194304 4196468 140722747666656 139980066843056 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56976 KiB
[startup+0.700783 s]
/proc/loadavg: 1.70 1.64 1.55 3/216 30556
/proc/meminfo: memFree=12900172/32770624 swapFree=67108844/67108860
[pid=30490] ppid=30487 vsize=10983192 memory=89144 CPUtime=1 cores=1,3,5,7
/proc/30490/stat : 30490 (java) S 30487 30490 25584 0 -1 1077944320 16413 13138 0 0 87 5 5 3 20 0 15 0 223426575 11246788608 22286 33554432000 4194304 4196468 140722747666656 140722747649200 139980645146359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
/proc/30490/statm: 2745798 22286 3238 1 0 2708109 0
[pid=30490/tid=30543] ppid=30487 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/30490/task/30543/stat : 30543 (java) R 30487 30490 25584 0 -1 4202560 11870 13138 0 0 55 3 5 3 20 0 15 0 223426584 11246788608 22286 33554432000 4194304 4196468 140722747666656 139980616967184 139980630311945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30544] ppid=30487 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30544/stat : 30544 (java) S 30487 30490 25584 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 223426585 11246788608 22286 33554432000 4194304 4196468 140722747666656 139980649388944 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30545] ppid=30487 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30545/stat : 30545 (java) S 30487 30490 25584 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 223426585 11246788608 22286 33554432000 4194304 4196468 140722747666656 139980504107792 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30546] ppid=30487 vsize=10983192 memory=140109617967888 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30546/stat : 30546 (java) S 30487 30490 25584 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 223426585 11246788608 22286 33554432000 4194304 4196468 140722747666656 139980503055504 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30547] ppid=30487 vsize=10983192 memory=140110423130708 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30547/stat : 30547 (java) S 30487 30490 25584 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 223426585 11246788608 22286 33554432000 4194304 4196468 140722747666656 139980502002704 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30548] ppid=30487 vsize=10983192 memory=5776 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30548/stat : 30548 (java) S 30487 30490 25584 0 -1 1077944384 5 13138 0 0 0 0 5 3 20 0 15 0 223426586 11246788608 22286 33554432000 4194304 4196468 140722747666656 139980071053424 139980645157506 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30549] ppid=30487 vsize=10983192 memory=7662705889289527641 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30549/stat : 30549 (java) S 30487 30490 25584 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 223426587 11246788608 22286 33554432000 4194304 4196468 140722747666656 139979493729056 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30550] ppid=30487 vsize=10983192 memory=6082220498109623144 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30550/stat : 30550 (java) S 30487 30490 25584 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 223426587 11246788608 22286 33554432000 4194304 4196468 140722747666656 139979292402800 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30551] ppid=30487 vsize=10983192 memory=12708 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30551/stat : 30551 (java) S 30487 30490 25584 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 223426590 11246788608 22286 33554432000 4194304 4196468 140722747666656 139978985003088 139980645164955 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30552] ppid=30487 vsize=10983192 memory=33416 CPUtime=0.14 cores=1,3,5,7
/proc/30490/task/30552/stat : 30552 (java) S 30487 30490 25584 0 -1 1077944384 722 13138 0 0 6 0 5 3 20 0 15 0 223426590 11246788608 22286 33554432000 4194304 4196468 140722747666656 139980070001264 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30553] ppid=30487 vsize=10983192 memory=2324 CPUtime=0.18 cores=1,3,5,7
/proc/30490/task/30553/stat : 30553 (java) S 30487 30490 25584 0 -1 1077944384 920 13138 0 0 10 0 5 3 20 0 15 0 223426590 11246788608 22286 33554432000 4194304 4196468 140722747666656 139980068948464 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30554] ppid=30487 vsize=10983192 memory=1584 CPUtime=0.21 cores=1,3,5,7
/proc/30490/task/30554/stat : 30554 (java) S 30487 30490 25584 0 -1 1077944384 675 13138 0 0 13 0 5 3 20 0 15 0 223426590 11246788608 22286 33554432000 4194304 4196468 140722747666656 139980067896176 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30555] ppid=30487 vsize=10983192 memory=496 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30555/stat : 30555 (java) S 30487 30490 25584 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 223426590 11246788608 22286 33554432000 4194304 4196468 140722747666656 139978554207200 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30556] ppid=30487 vsize=10983192 memory=928 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30556/stat : 30556 (java) S 30487 30490 25584 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 223426590 11246788608 22286 33554432000 4194304 4196468 140722747666656 139980066843056 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89144 KiB
[startup+1.50113 s]
/proc/loadavg: 1.70 1.64 1.55 3/216 30556
/proc/meminfo: memFree=12854460/32770624 swapFree=67108844/67108860
[pid=30490] ppid=30487 vsize=10996044 memory=181332 CPUtime=3.08 cores=1,3,5,7
/proc/30490/stat : 30490 (java) S 30487 30490 25584 0 -1 1077944320 26044 13138 0 0 291 9 5 3 20 0 15 0 223426575 11259949056 45333 33554432000 4194304 4196468 140722747666656 140722747649200 139980645146359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
/proc/30490/statm: 2749011 45333 3448 1 0 2710669 0
[pid=30490/tid=30543] ppid=30487 vsize=10996044 memory=65764 CPUtime=1.46 cores=1,3,5,7
/proc/30490/task/30543/stat : 30543 (java) R 30487 30490 25584 0 -1 4202560 16235 13138 0 0 132 6 5 3 20 0 15 0 223426584 11259949056 45333 33554432000 4194304 4196468 140722747666656 139980616932552 139980645168285 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30544] ppid=30487 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30544/stat : 30544 (java) S 30487 30490 25584 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 223426585 11259949056 45333 33554432000 4194304 4196468 140722747666656 139980649388944 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30545] ppid=30487 vsize=10996044 memory=280219235967136 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30545/stat : 30545 (java) S 30487 30490 25584 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 223426585 11259949056 45333 33554432000 4194304 4196468 140722747666656 139980504107792 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30546] ppid=30487 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30546/stat : 30546 (java) S 30487 30490 25584 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 223426585 11259949056 45333 33554432000 4194304 4196468 140722747666656 139980503055504 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30547] ppid=30487 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30547/stat : 30547 (java) S 30487 30490 25584 0 -1 1077944384 2 13138 0 0 0 0 5 3 20 0 15 0 223426585 11259949056 45333 33554432000 4194304 4196468 140722747666656 139980502002704 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30548] ppid=30487 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30548/stat : 30548 (java) S 30487 30490 25584 0 -1 1077944384 6 13138 0 0 0 0 5 3 20 0 15 0 223426586 11259949056 45333 33554432000 4194304 4196468 140722747666656 139980071053424 139980645157506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30549] ppid=30487 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30549/stat : 30549 (java) S 30487 30490 25584 0 -1 1077944384 13 13138 0 0 0 0 5 3 20 0 15 0 223426587 11259949056 45333 33554432000 4194304 4196468 140722747666656 139979493729056 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30550] ppid=30487 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30550/stat : 30550 (java) S 30487 30490 25584 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 223426587 11259949056 45333 33554432000 4194304 4196468 140722747666656 139979292402800 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30551] ppid=30487 vsize=10996044 memory=-2746958450906831424 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30551/stat : 30551 (java) S 30487 30490 25584 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 223426590 11259949056 45333 33554432000 4194304 4196468 140722747666656 139978985003088 139980645164955 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30552] ppid=30487 vsize=10996044 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/30490/task/30552/stat : 30552 (java) R 30487 30490 25584 0 -1 4202560 3856 13138 0 0 57 0 5 3 20 0 15 0 223426590 11259949056 45333 33554432000 4194304 4196468 140722747666656 139980069982280 139980623163328 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30553] ppid=30487 vsize=10996044 memory=10 CPUtime=0.64 cores=1,3,5,7
/proc/30490/task/30553/stat : 30553 (java) S 30487 30490 25584 0 -1 1077944384 2202 13138 0 0 56 0 5 3 20 0 15 0 223426590 11259949056 45333 33554432000 4194304 4196468 140722747666656 139980068948464 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30554] ppid=30487 vsize=10996044 memory=6791534058613427641 CPUtime=0.52 cores=1,3,5,7
/proc/30490/task/30554/stat : 30554 (java) S 30487 30490 25584 0 -1 1077944384 1526 13138 0 0 44 0 5 3 20 0 15 0 223426590 11259949056 45333 33554432000 4194304 4196468 140722747666656 139980067896176 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30555] ppid=30487 vsize=10996044 memory=4638778398332698720 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30555/stat : 30555 (java) S 30487 30490 25584 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 223426590 11259949056 45333 33554432000 4194304 4196468 140722747666656 139978554207200 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30556] ppid=30487 vsize=10996044 memory=280219236211584 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30556/stat : 30556 (java) S 30487 30490 25584 0 -1 1077944384 1 13138 0 0 0 0 5 3 20 0 15 0 223426590 11259949056 45333 33554432000 4194304 4196468 140722747666656 139980066843056 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 10996044 KiB
################
# More data... #
################
/proc/30490/task/30543/stat : 30543 (java) R 30487 30490 25584 0 -1 4202560 232053 13138 0 0 236499 50 5 3 20 0 15 0 223426584 11345952768 895194 33554432000 4194304 4196468 140722747666656 139980616981512 139980193777087 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30544] ppid=30487 vsize=11080032 memory=3578728 CPUtime=14.96 cores=1,3,5,7
/proc/30490/task/30544/stat : 30544 (java) S 30487 30490 25584 0 -1 1077944384 28411 13138 0 0 1354 134 5 3 20 0 15 0 223426585 11345952768 895194 33554432000 4194304 4196468 140722747666656 139980649388944 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30545] ppid=30487 vsize=11080032 memory=3578728 CPUtime=14.93 cores=1,3,5,7
/proc/30490/task/30545/stat : 30545 (java) S 30487 30490 25584 0 -1 1077944384 34671 13138 0 0 1354 131 5 3 20 0 15 0 223426585 11345952768 895194 33554432000 4194304 4196468 140722747666656 139980504107792 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30546] ppid=30487 vsize=11080032 memory=3579244 CPUtime=14.93 cores=1,3,5,7
/proc/30490/task/30546/stat : 30546 (java) S 30487 30490 25584 0 -1 1077944384 34066 13138 0 0 1353 132 5 3 20 0 15 0 223426585 11345952768 895194 33554432000 4194304 4196468 140722747666656 139980503055504 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30547] ppid=30487 vsize=11080032 memory=3578728 CPUtime=14.92 cores=1,3,5,7
/proc/30490/task/30547/stat : 30547 (java) S 30487 30490 25584 0 -1 1077944384 34809 13138 0 0 1349 135 5 3 20 0 15 0 223426585 11345952768 895194 33554432000 4194304 4196468 140722747666656 139980502002704 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30548] ppid=30487 vsize=11080032 memory=3578728 CPUtime=1.36 cores=1,3,5,7
/proc/30490/task/30548/stat : 30548 (java) S 30487 30490 25584 0 -1 1077944384 27393 13138 0 0 115 13 5 3 20 0 15 0 223426586 11345952768 895194 33554432000 4194304 4196468 140722747666656 139980071053424 139980645157506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30549] ppid=30487 vsize=11080032 memory=3580776 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30549/stat : 30549 (java) S 30487 30490 25584 0 -1 1077944384 27 13138 0 0 0 0 5 3 20 0 15 0 223426587 11345952768 895194 33554432000 4194304 4196468 140722747666656 139979493729184 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30550] ppid=30487 vsize=11080032 memory=3580776 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30550/stat : 30550 (java) S 30487 30490 25584 0 -1 1077944384 34 13138 0 0 0 0 5 3 20 0 15 0 223426587 11345952768 895194 33554432000 4194304 4196468 140722747666656 139979292402816 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30551] ppid=30487 vsize=11080032 memory=3578728 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30551/stat : 30551 (java) S 30487 30490 25584 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 223426590 11345952768 895194 33554432000 4194304 4196468 140722747666656 139978985003088 139980645164955 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30552] ppid=30487 vsize=11080032 memory=3579244 CPUtime=10.53 cores=1,3,5,7
/proc/30490/task/30552/stat : 30552 (java) S 30487 30490 25584 0 -1 1077944384 90528 13138 0 0 1037 8 5 3 20 0 15 0 223426590 11345952768 895194 33554432000 4194304 4196468 140722747666656 139980070001264 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30553] ppid=30487 vsize=11080032 memory=3580776 CPUtime=9.61 cores=1,3,5,7
/proc/30490/task/30553/stat : 30553 (java) S 30487 30490 25584 0 -1 1077944384 83259 13138 0 0 946 7 5 3 20 0 15 0 223426590 11345952768 895194 33554432000 4194304 4196468 140722747666656 139980068948464 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30554] ppid=30487 vsize=11080032 memory=6791534058613427641 CPUtime=3.58 cores=1,3,5,7
/proc/30490/task/30554/stat : 30554 (java) S 30487 30490 25584 0 -1 1077944384 82047 13138 0 0 342 8 5 3 20 0 15 0 223426590 11345952768 895194 33554432000 4194304 4196468 140722747666656 139980067896176 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30555] ppid=30487 vsize=11080032 memory=1584 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30555/stat : 30555 (java) S 30487 30490 25584 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 223426590 11345952768 895194 33554432000 4194304 4196468 140722747666656 139978554207200 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30556] ppid=30487 vsize=11080032 memory=1992 CPUtime=1.47 cores=1,3,5,7
/proc/30490/task/30556/stat : 30556 (java) S 30487 30490 25584 0 -1 1077944384 3704 13138 0 0 64 75 5 3 20 0 15 0 223426590 11345952768 895194 33554432000 4194304 4196468 140722747666656 139980066843056 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
Current children cumulated CPU time: 2451.24 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3580776 KiB
[startup+2442.3 s]
/proc/loadavg: 1.13 1.46 1.56 3/216 30782
/proc/meminfo: memFree=10462104/32770624 swapFree=67108844/67108860
[pid=30490] ppid=30487 vsize=11080032 memory=3579688 CPUtime=2511.97 cores=1,3,5,7
/proc/30490/stat : 30490 (java) S 30487 30490 25584 0 -1 1077944320 672958 13138 0 0 250508 681 5 3 20 0 15 0 223426575 11345952768 894922 33554432000 4194304 4196468 140722747666656 140722747649200 139980645146359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
/proc/30490/statm: 2770008 894922 3537 1 0 2731661 0
[pid=30490/tid=30543] ppid=30487 vsize=11080032 memory=3579688 CPUtime=2425.34 cores=1,3,5,7
/proc/30490/task/30543/stat : 30543 (java) R 30487 30490 25584 0 -1 4202560 241036 13138 0 0 242475 51 5 3 20 0 15 0 223426584 11345952768 894922 33554432000 4194304 4196468 140722747666656 139980616981424 139980204008840 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30544] ppid=30487 vsize=11080032 memory=3580780 CPUtime=15.17 cores=1,3,5,7
/proc/30490/task/30544/stat : 30544 (java) S 30487 30490 25584 0 -1 1077944384 29248 13138 0 0 1374 135 5 3 20 0 15 0 223426585 11345952768 894922 33554432000 4194304 4196468 140722747666656 139980649388944 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30545] ppid=30487 vsize=11080032 memory=3580780 CPUtime=15.14 cores=1,3,5,7
/proc/30490/task/30545/stat : 30545 (java) S 30487 30490 25584 0 -1 1077944384 35010 13138 0 0 1375 131 5 3 20 0 15 0 223426585 11345952768 894922 33554432000 4194304 4196468 140722747666656 139980504107792 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30546] ppid=30487 vsize=11080032 memory=3578728 CPUtime=15.13 cores=1,3,5,7
/proc/30490/task/30546/stat : 30546 (java) S 30487 30490 25584 0 -1 1077944384 35411 13138 0 0 1373 132 5 3 20 0 15 0 223426585 11345952768 894922 33554432000 4194304 4196468 140722747666656 139980503055504 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30547] ppid=30487 vsize=11080032 memory=3578728 CPUtime=15.11 cores=1,3,5,7
/proc/30490/task/30547/stat : 30547 (java) S 30487 30490 25584 0 -1 1077944384 36241 13138 0 0 1368 135 5 3 20 0 15 0 223426585 11345952768 894922 33554432000 4194304 4196468 140722747666656 139980502002704 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30548] ppid=30487 vsize=11080032 memory=3578216 CPUtime=1.37 cores=1,3,5,7
/proc/30490/task/30548/stat : 30548 (java) S 30487 30490 25584 0 -1 1077944384 27739 13138 0 0 116 13 5 3 20 0 15 0 223426586 11345952768 894922 33554432000 4194304 4196468 140722747666656 139980071053424 139980645157506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30549] ppid=30487 vsize=11080032 memory=3579316 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30549/stat : 30549 (java) S 30487 30490 25584 0 -1 1077944384 27 13138 0 0 0 0 5 3 20 0 15 0 223426587 11345952768 894922 33554432000 4194304 4196468 140722747666656 139979493729184 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30550] ppid=30487 vsize=11080032 memory=3579316 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30550/stat : 30550 (java) S 30487 30490 25584 0 -1 1077944384 34 13138 0 0 0 0 5 3 20 0 15 0 223426587 11345952768 894922 33554432000 4194304 4196468 140722747666656 139979292402816 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30551] ppid=30487 vsize=11080032 memory=3579316 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30551/stat : 30551 (java) S 30487 30490 25584 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 223426590 11345952768 894922 33554432000 4194304 4196468 140722747666656 139978985003088 139980645164955 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30552] ppid=30487 vsize=11080032 memory=3579316 CPUtime=10.56 cores=1,3,5,7
/proc/30490/task/30552/stat : 30552 (java) S 30487 30490 25584 0 -1 1077944384 94158 13138 0 0 1040 8 5 3 20 0 15 0 223426590 11345952768 894922 33554432000 4194304 4196468 140722747666656 139980070001264 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30553] ppid=30487 vsize=11080032 memory=3579688 CPUtime=9.64 cores=1,3,5,7
/proc/30490/task/30553/stat : 30553 (java) S 30487 30490 25584 0 -1 1077944384 84376 13138 0 0 949 7 5 3 20 0 15 0 223426590 11345952768 894922 33554432000 4194304 4196468 140722747666656 139980068948464 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30554] ppid=30487 vsize=11080032 memory=3579316 CPUtime=3.59 cores=1,3,5,7
/proc/30490/task/30554/stat : 30554 (java) S 30487 30490 25584 0 -1 1077944384 83744 13138 0 0 343 8 5 3 20 0 15 0 223426590 11345952768 894922 33554432000 4194304 4196468 140722747666656 139980067896176 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30555] ppid=30487 vsize=11080032 memory=14568 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30555/stat : 30555 (java) S 30487 30490 25584 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 223426590 11345952768 894922 33554432000 4194304 4196468 140722747666656 139978554207200 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30556] ppid=30487 vsize=11080032 memory=3579316 CPUtime=1.51 cores=1,3,5,7
/proc/30490/task/30556/stat : 30556 (java) S 30487 30490 25584 0 -1 1077944384 3735 13138 0 0 67 76 5 3 20 0 15 0 223426590 11345952768 894922 33554432000 4194304 4196468 140722747666656 139980066843056 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
Current children cumulated CPU time: 2511.97 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3579688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2450.3 s]
/proc/loadavg: 1.20 1.47 1.56 3/216 30782
/proc/meminfo: memFree=10468144/32770624 swapFree=67108844/67108860
[pid=30490] ppid=30487 vsize=11080032 memory=3579708 CPUtime=2520.05 cores=1,3,5,7
/proc/30490/stat : 30490 (java) S 30487 30490 25584 0 -1 1077944320 677573 13138 0 0 251315 682 5 3 20 0 15 0 223426575 11345952768 894927 33554432000 4194304 4196468 140722747666656 140722747649200 139980645146359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
/proc/30490/statm: 2770008 894927 3537 1 0 2731661 0
[pid=30490/tid=30543] ppid=30487 vsize=11080032 memory=3579316 CPUtime=2433.33 cores=1,3,5,7
/proc/30490/task/30543/stat : 30543 (java) R 30487 30490 25584 0 -1 4202560 242997 13138 0 0 243273 52 5 3 20 0 15 0 223426584 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980616978496 139980191622598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30544] ppid=30487 vsize=11080032 memory=3579708 CPUtime=15.19 cores=1,3,5,7
/proc/30490/task/30544/stat : 30544 (java) S 30487 30490 25584 0 -1 1077944384 29888 13138 0 0 1376 135 5 3 20 0 15 0 223426585 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980649388944 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30545] ppid=30487 vsize=11080032 memory=3580780 CPUtime=15.15 cores=1,3,5,7
/proc/30490/task/30545/stat : 30545 (java) S 30487 30490 25584 0 -1 1077944384 35067 13138 0 0 1376 131 5 3 20 0 15 0 223426585 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980504107792 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30546] ppid=30487 vsize=11080032 memory=3578728 CPUtime=15.15 cores=1,3,5,7
/proc/30490/task/30546/stat : 30546 (java) S 30487 30490 25584 0 -1 1077944384 35520 13138 0 0 1375 132 5 3 20 0 15 0 223426585 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980503055504 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30547] ppid=30487 vsize=11080032 memory=3578728 CPUtime=15.13 cores=1,3,5,7
/proc/30490/task/30547/stat : 30547 (java) S 30487 30490 25584 0 -1 1077944384 36355 13138 0 0 1370 135 5 3 20 0 15 0 223426585 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980502002704 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30548] ppid=30487 vsize=11080032 memory=3579688 CPUtime=1.37 cores=1,3,5,7
/proc/30490/task/30548/stat : 30548 (java) S 30487 30490 25584 0 -1 1077944384 27981 13138 0 0 116 13 5 3 20 0 15 0 223426586 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980071053424 139980645157506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30549] ppid=30487 vsize=11080032 memory=3579688 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30549/stat : 30549 (java) S 30487 30490 25584 0 -1 1077944384 27 13138 0 0 0 0 5 3 20 0 15 0 223426587 11345952768 894927 33554432000 4194304 4196468 140722747666656 139979493729184 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30550] ppid=30487 vsize=11080032 memory=3579708 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30550/stat : 30550 (java) S 30487 30490 25584 0 -1 1077944384 34 13138 0 0 0 0 5 3 20 0 15 0 223426587 11345952768 894927 33554432000 4194304 4196468 140722747666656 139979292402816 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30551] ppid=30487 vsize=11080032 memory=3579708 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30551/stat : 30551 (java) S 30487 30490 25584 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 223426590 11345952768 894927 33554432000 4194304 4196468 140722747666656 139978985003088 139980645164955 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30552] ppid=30487 vsize=11080032 memory=3579708 CPUtime=10.57 cores=1,3,5,7
/proc/30490/task/30552/stat : 30552 (java) S 30487 30490 25584 0 -1 1077944384 94223 13138 0 0 1041 8 5 3 20 0 15 0 223426590 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980070001264 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30553] ppid=30487 vsize=11080032 memory=3579708 CPUtime=9.66 cores=1,3,5,7
/proc/30490/task/30553/stat : 30553 (java) S 30487 30490 25584 0 -1 1077944384 85621 13138 0 0 950 8 5 3 20 0 15 0 223426590 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980068948464 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30554] ppid=30487 vsize=11080032 memory=3579688 CPUtime=3.6 cores=1,3,5,7
/proc/30490/task/30554/stat : 30554 (java) S 30487 30490 25584 0 -1 1077944384 83912 13138 0 0 344 8 5 3 20 0 15 0 223426590 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980067896176 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30555] ppid=30487 vsize=11080032 memory=3579688 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30555/stat : 30555 (java) S 30487 30490 25584 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 223426590 11345952768 894927 33554432000 4194304 4196468 140722747666656 139978554207200 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30556] ppid=30487 vsize=11080032 memory=4140 CPUtime=1.51 cores=1,3,5,7
/proc/30490/task/30556/stat : 30556 (java) S 30487 30490 25584 0 -1 1077944384 3749 13138 0 0 67 76 5 3 20 0 15 0 223426590 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980066843056 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3579708 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2450.37 s]
# the end of solver process 30490 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.27 s, system=6.89052 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2450.3 s]
/proc/loadavg: 1.20 1.47 1.56 3/216 30782
/proc/meminfo: memFree=10468144/32770624 swapFree=67108844/67108860
[pid=30490] ppid=30487 vsize=11080032 memory=3579708 CPUtime=2520.05 cores=1,3,5,7
/proc/30490/stat : 30490 (java) S 30487 30490 25584 0 -1 1077944320 677573 13138 0 0 251315 682 5 3 20 0 15 0 223426575 11345952768 894927 33554432000 4194304 4196468 140722747666656 140722747649200 139980645146359 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
/proc/30490/statm: 2770008 894927 3537 1 0 2731661 0
[pid=30490/tid=30543] ppid=30487 vsize=11080032 memory=3579316 CPUtime=2433.33 cores=1,3,5,7
/proc/30490/task/30543/stat : 30543 (java) R 30487 30490 25584 0 -1 4202560 242997 13138 0 0 243273 52 5 3 20 0 15 0 223426584 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980616978496 139980191622598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30544] ppid=30487 vsize=11080032 memory=3579708 CPUtime=15.19 cores=1,3,5,7
/proc/30490/task/30544/stat : 30544 (java) S 30487 30490 25584 0 -1 1077944384 29888 13138 0 0 1376 135 5 3 20 0 15 0 223426585 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980649388944 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30545] ppid=30487 vsize=11080032 memory=3580780 CPUtime=15.15 cores=1,3,5,7
/proc/30490/task/30545/stat : 30545 (java) S 30487 30490 25584 0 -1 1077944384 35067 13138 0 0 1376 131 5 3 20 0 15 0 223426585 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980504107792 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30546] ppid=30487 vsize=11080032 memory=3578728 CPUtime=15.15 cores=1,3,5,7
/proc/30490/task/30546/stat : 30546 (java) S 30487 30490 25584 0 -1 1077944384 35520 13138 0 0 1375 132 5 3 20 0 15 0 223426585 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980503055504 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30547] ppid=30487 vsize=11080032 memory=3578728 CPUtime=15.13 cores=1,3,5,7
/proc/30490/task/30547/stat : 30547 (java) S 30487 30490 25584 0 -1 1077944384 36355 13138 0 0 1370 135 5 3 20 0 15 0 223426585 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980502002704 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30548] ppid=30487 vsize=11080032 memory=3579688 CPUtime=1.37 cores=1,3,5,7
/proc/30490/task/30548/stat : 30548 (java) S 30487 30490 25584 0 -1 1077944384 27981 13138 0 0 116 13 5 3 20 0 15 0 223426586 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980071053424 139980645157506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30549] ppid=30487 vsize=11080032 memory=3579688 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30549/stat : 30549 (java) S 30487 30490 25584 0 -1 1077944384 27 13138 0 0 0 0 5 3 20 0 15 0 223426587 11345952768 894927 33554432000 4194304 4196468 140722747666656 139979493729184 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30550] ppid=30487 vsize=11080032 memory=3579708 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30550/stat : 30550 (java) S 30487 30490 25584 0 -1 1077944384 34 13138 0 0 0 0 5 3 20 0 15 0 223426587 11345952768 894927 33554432000 4194304 4196468 140722747666656 139979292402816 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30551] ppid=30487 vsize=11080032 memory=3579708 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30551/stat : 30551 (java) S 30487 30490 25584 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 223426590 11345952768 894927 33554432000 4194304 4196468 140722747666656 139978985003088 139980645164955 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30552] ppid=30487 vsize=11080032 memory=3579708 CPUtime=10.57 cores=1,3,5,7
/proc/30490/task/30552/stat : 30552 (java) S 30487 30490 25584 0 -1 1077944384 94223 13138 0 0 1041 8 5 3 20 0 15 0 223426590 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980070001264 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30553] ppid=30487 vsize=11080032 memory=3579708 CPUtime=9.66 cores=1,3,5,7
/proc/30490/task/30553/stat : 30553 (java) S 30487 30490 25584 0 -1 1077944384 85621 13138 0 0 950 8 5 3 20 0 15 0 223426590 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980068948464 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30554] ppid=30487 vsize=11080032 memory=3579688 CPUtime=3.6 cores=1,3,5,7
/proc/30490/task/30554/stat : 30554 (java) S 30487 30490 25584 0 -1 1077944384 83912 13138 0 0 344 8 5 3 20 0 15 0 223426590 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980067896176 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30555] ppid=30487 vsize=11080032 memory=3579688 CPUtime=0.08 cores=1,3,5,7
/proc/30490/task/30555/stat : 30555 (java) S 30487 30490 25584 0 -1 1077944384 3 13138 0 0 0 0 5 3 20 0 15 0 223426590 11345952768 894927 33554432000 4194304 4196468 140722747666656 139978554207200 139980645156565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
[pid=30490/tid=30556] ppid=30487 vsize=11080032 memory=4140 CPUtime=1.51 cores=1,3,5,7
/proc/30490/task/30556/stat : 30556 (java) S 30487 30490 25584 0 -1 1077944384 3749 13138 0 0 67 76 5 3 20 0 15 0 223426590 11345952768 894927 33554432000 4194304 4196468 140722747666656 139980066843056 139980645157506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39620608 140722747669102 140722747671900 140722747671900 140722747674575 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3579708 KiB
Child status: 143
Real time (s): 2450.37
CPU time (s): 2520.16
CPU user time (s): 2513.27
CPU system time (s): 6.89052
CPU usage (%): 102.848
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 3580780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.27
system time used= 6.89053
maximum resident set size= 3581076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 692293
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3408
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77365
involuntary context switches= 2745
# summary of solver processes directly reported to runsolver:
# pid: 30490
# total CPU time (s): 2520.16
# total CPU user time (s): 2513.27
# total CPU system time (s): 6.89052
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6039 second user time and 23.8975 second system time
The end