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 (9861 MiB free)
memory of node 1: 16384 MiB (12795 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299769-1532811422/watcher-4299769-1532811422 -o /tmp/evaluation-result-4299769-1532811422/solver-4299769-1532811422 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532811420-4380 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299769-1532811422.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=4581, runsolver pid=4578
[startup+0.100058 s]*
/proc/loadavg: 1.13 1.23 1.39 6/215 4596
/proc/meminfo: memFree=23155840/32770624 swapFree=67108860/67108860
[pid=4581] ppid=4578 vsize=10658972 memory=27476 CPUtime=0.13 cores=1,3,5,7
/proc/4581/stat : 4581 (java) S 4578 4581 4348 0 -1 1077944320 5265 0 0 0 12 1 0 0 20 0 15 0 98705438 10914787328 6869 33554432000 4194304 4196468 140726439626688 140726439609232 139875589164791 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
/proc/4581/statm: 2664743 6869 2859 1 0 2627263 0
[pid=4581/tid=4583] ppid=4578 vsize=10658972 memory=-8536113990728512704 CPUtime=0.09 cores=1,3,5,7
/proc/4581/task/4583/stat : 4583 (java) R 4578 4581 4348 0 -1 4202560 3100 0 0 0 8 1 0 0 20 0 15 0 98705438 10914787328 6935 33554432000 4194304 4196468 140726439626688 139875593392880 139875573208421 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4584] ppid=4578 vsize=10658972 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4584/stat : 4584 (java) S 4578 4581 4348 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98705439 10914787328 6935 33554432000 4194304 4196468 140726439626688 139875545717264 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4585] ppid=4578 vsize=10658972 memory=140173002983040 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4585/stat : 4585 (java) S 4578 4581 4348 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98705439 10914787328 6935 33554432000 4194304 4196468 140726439626688 139875544664720 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4586] ppid=4578 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4586/stat : 4586 (java) S 4578 4581 4348 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98705439 10914787328 6935 33554432000 4194304 4196468 140726439626688 139875543611664 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4587] ppid=4578 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4587/stat : 4587 (java) S 4578 4581 4348 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98705439 10914787328 6935 33554432000 4194304 4196468 140726439626688 139875192854928 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4588] ppid=4578 vsize=10658972 memory=140173002983040 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4588/stat : 4588 (java) S 4578 4581 4348 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98705440 10914787328 6935 33554432000 4194304 4196468 140726439626688 139874894150384 139875589175938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4589] ppid=4578 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4589/stat : 4589 (java) S 4578 4581 4348 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98705441 10914787328 6935 33554432000 4194304 4196468 140726439626688 139874893096608 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4590] ppid=4578 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4590/stat : 4590 (java) S 4578 4581 4348 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98705441 10914787328 6935 33554432000 4194304 4196468 140726439626688 139874892043504 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4591] ppid=4578 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4591/stat : 4591 (java) S 4578 4581 4348 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98705443 10914787328 6935 33554432000 4194304 4196468 140726439626688 139874890992080 139875589183387 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4592] ppid=4578 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4592/stat : 4592 (java) R 4578 4581 4348 0 -1 4202560 341 0 0 0 0 0 0 0 20 0 15 0 98705443 10914787328 6935 33554432000 4194304 4196468 140726439626688 139874889926032 139875581454080 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4593] ppid=4578 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4593/stat : 4593 (java) R 4578 4581 4348 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 98705443 10914787328 6935 33554432000 4194304 4196468 140726439626688 139874888886640 139875589175938 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4594] ppid=4578 vsize=10658972 memory=140173002983040 CPUtime=0.02 cores=1,3,5,7
/proc/4581/task/4594/stat : 4594 (java) R 4578 4581 4348 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 98705443 10914787328 6935 33554432000 4194304 4196468 140726439626688 139874887833584 139875589176726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4595] ppid=4578 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4595/stat : 4595 (java) S 4578 4581 4348 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98705443 10914787328 6935 33554432000 4194304 4196468 140726439626688 139874886781280 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4596] ppid=4578 vsize=10658972 memory=140173002983040 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4596/stat : 4596 (java) S 4578 4581 4348 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98705444 10914787328 6935 33554432000 4194304 4196468 140726439626688 139874885729328 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27476 KiB
[startup+0.210728 s]*
/proc/loadavg: 1.13 1.23 1.39 6/215 4596
/proc/meminfo: memFree=23084872/32770624 swapFree=67108860/67108860
[pid=4581] ppid=4578 vsize=10658972 memory=40376 CPUtime=0.34 cores=1,3,5,7
/proc/4581/stat : 4581 (java) S 4578 4581 4348 0 -1 1077944320 8109 0 0 0 32 2 0 0 20 0 15 0 98705438 10914787328 10094 33554432000 4194304 4196468 140726439626688 140726439609232 139875589164791 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
/proc/4581/statm: 2664743 10094 2989 1 0 2627263 0
[pid=4581/tid=4583] ppid=4578 vsize=10658972 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4581/task/4583/stat : 4583 (java) R 4578 4581 4348 0 -1 4202560 5065 0 0 0 19 1 0 0 20 0 15 0 98705438 10914787328 10094 33554432000 4194304 4196468 140726439626688 139875593395840 139875589186717 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4584] ppid=4578 vsize=10658972 memory=345 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4584/stat : 4584 (java) S 4578 4581 4348 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98705439 10914787328 10094 33554432000 4194304 4196468 140726439626688 139875545717264 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4585] ppid=4578 vsize=10658972 memory=140173003005033 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4585/stat : 4585 (java) S 4578 4581 4348 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98705439 10914787328 10094 33554432000 4194304 4196468 140726439626688 139875544664720 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4586] ppid=4578 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4586/stat : 4586 (java) S 4578 4581 4348 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98705439 10914787328 10094 33554432000 4194304 4196468 140726439626688 139875543611664 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4587] ppid=4578 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4587/stat : 4587 (java) S 4578 4581 4348 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98705439 10914787328 10094 33554432000 4194304 4196468 140726439626688 139875192854928 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4588] ppid=4578 vsize=10658972 memory=140173002983040 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4588/stat : 4588 (java) S 4578 4581 4348 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98705440 10914787328 10094 33554432000 4194304 4196468 140726439626688 139874894150384 139875589175938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4589] ppid=4578 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4589/stat : 4589 (java) S 4578 4581 4348 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98705441 10914787328 10094 33554432000 4194304 4196468 140726439626688 139874893096608 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4590] ppid=4578 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4590/stat : 4590 (java) S 4578 4581 4348 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98705441 10914787328 10094 33554432000 4194304 4196468 140726439626688 139874892043504 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4591] ppid=4578 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4591/stat : 4591 (java) S 4578 4581 4348 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98705443 10914787328 10094 33554432000 4194304 4196468 140726439626688 139874890992080 139875589183387 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4592] ppid=4578 vsize=10658972 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4581/task/4592/stat : 4592 (java) R 4578 4581 4348 0 -1 4202560 565 0 0 0 2 0 0 0 20 0 15 0 98705443 10914787328 10094 33554432000 4194304 4196468 140726439626688 139874889939184 139875574804937 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4593] ppid=4578 vsize=10658972 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4581/task/4593/stat : 4593 (java) R 4578 4581 4348 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 98705443 10914787328 10094 33554432000 4194304 4196468 140726439626688 139874888886640 139875575188604 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4594] ppid=4578 vsize=10658972 memory=140173002983040 CPUtime=0.08 cores=1,3,5,7
/proc/4581/task/4594/stat : 4594 (java) S 4578 4581 4348 0 -1 1077944384 797 0 0 0 8 0 0 0 20 0 15 0 98705443 10914787328 10094 33554432000 4194304 4196468 140726439626688 139874887833584 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4595] ppid=4578 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4595/stat : 4595 (java) S 4578 4581 4348 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98705443 10914787328 10094 33554432000 4194304 4196468 140726439626688 139874886781280 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4596] ppid=4578 vsize=10658972 memory=140173002983040 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4596/stat : 4596 (java) S 4578 4581 4348 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98705444 10914787328 10094 33554432000 4194304 4196468 140726439626688 139874885729328 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 40376 KiB
[startup+0.310649 s]*
/proc/loadavg: 1.13 1.23 1.39 6/215 4596
/proc/meminfo: memFree=22991332/32770624 swapFree=67108860/67108860
[pid=4581] ppid=4578 vsize=10659048 memory=76740 CPUtime=0.55 cores=1,3,5,7
/proc/4581/stat : 4581 (java) S 4578 4581 4348 0 -1 1077944320 8572 0 0 0 52 3 0 0 20 0 15 0 98705438 10914865152 19185 33554432000 4194304 4196468 140726439626688 140726439609232 139875589164791 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
/proc/4581/statm: 2664762 19185 3022 1 0 2627263 0
[pid=4581/tid=4583] ppid=4578 vsize=10659048 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/4581/task/4583/stat : 4583 (java) R 4578 4581 4348 0 -1 4202560 5397 0 0 0 28 2 0 0 20 0 15 0 98705438 10914865152 19185 33554432000 4194304 4196468 140726439626688 139875593402208 139875223488332 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4584] ppid=4578 vsize=10659048 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4584/stat : 4584 (java) S 4578 4581 4348 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98705439 10914865152 19185 33554432000 4194304 4196468 140726439626688 139875545717264 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4585] ppid=4578 vsize=10659048 memory=140173003005031 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4585/stat : 4585 (java) S 4578 4581 4348 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98705439 10914865152 19185 33554432000 4194304 4196468 140726439626688 139875544664720 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4586] ppid=4578 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4586/stat : 4586 (java) S 4578 4581 4348 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98705439 10914865152 19185 33554432000 4194304 4196468 140726439626688 139875543611664 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4587] ppid=4578 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4587/stat : 4587 (java) S 4578 4581 4348 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98705439 10914865152 19185 33554432000 4194304 4196468 140726439626688 139875192854928 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4588] ppid=4578 vsize=10659048 memory=140173002983040 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4588/stat : 4588 (java) S 4578 4581 4348 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98705440 10914865152 19185 33554432000 4194304 4196468 140726439626688 139874894150384 139875589175938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4589] ppid=4578 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4589/stat : 4589 (java) S 4578 4581 4348 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98705441 10914865152 19185 33554432000 4194304 4196468 140726439626688 139874893096608 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4590] ppid=4578 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4590/stat : 4590 (java) S 4578 4581 4348 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98705441 10914865152 19185 33554432000 4194304 4196468 140726439626688 139874892043504 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4591] ppid=4578 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4591/stat : 4591 (java) S 4578 4581 4348 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98705443 10914865152 19185 33554432000 4194304 4196468 140726439626688 139874890992080 139875589183387 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4592] ppid=4578 vsize=10659048 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/4581/task/4592/stat : 4592 (java) R 4578 4581 4348 0 -1 4202560 578 0 0 0 7 0 0 0 20 0 15 0 98705443 10914865152 19185 33554432000 4194304 4196468 140726439626688 139874889939184 139875566759568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4593] ppid=4578 vsize=10659048 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/4581/task/4593/stat : 4593 (java) R 4578 4581 4348 0 -1 4202560 362 0 0 0 3 0 0 0 20 0 15 0 98705443 10914865152 19185 33554432000 4194304 4196468 140726439626688 139874888886640 139875573152438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4594] ppid=4578 vsize=10659048 memory=140173002983040 CPUtime=0.12 cores=1,3,5,7
/proc/4581/task/4594/stat : 4594 (java) R 4578 4581 4348 0 -1 1077944384 869 0 0 0 12 0 0 0 20 0 15 0 98705443 10914865152 19185 33554432000 4194304 4196468 140726439626688 139874887828160 139875589174997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4595] ppid=4578 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4595/stat : 4595 (java) S 4578 4581 4348 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98705443 10914865152 19185 33554432000 4194304 4196468 140726439626688 139874886781280 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4596] ppid=4578 vsize=10659048 memory=140173002983040 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4596/stat : 4596 (java) S 4578 4581 4348 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98705444 10914865152 19185 33554432000 4194304 4196468 140726439626688 139874885729328 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 76740 KiB
[startup+0.701254 s]
/proc/loadavg: 1.13 1.23 1.39 7/215 4596
/proc/meminfo: memFree=22888364/32770624 swapFree=67108860/67108860
[pid=4581] ppid=4578 vsize=10659048 memory=204960 CPUtime=1.58 cores=1,3,5,7
/proc/4581/stat : 4581 (java) S 4578 4581 4348 0 -1 1077944320 11072 0 0 0 152 6 0 0 20 0 15 0 98705438 10914865152 51240 33554432000 4194304 4196468 140726439626688 140726439609232 139875589164791 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
/proc/4581/statm: 2664762 51240 3111 1 0 2627263 0
[pid=4581/tid=4583] ppid=4578 vsize=10659048 memory=4004 CPUtime=0.66 cores=1,3,5,7
/proc/4581/task/4583/stat : 4583 (java) R 4578 4581 4348 0 -1 4202560 5477 0 0 0 63 3 0 0 20 0 15 0 98705438 10914865152 51240 33554432000 4194304 4196468 140726439626688 139875593402736 139875226191227 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4584] ppid=4578 vsize=10659048 memory=18448 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4584/stat : 4584 (java) S 4578 4581 4348 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 98705439 10914865152 51240 33554432000 4194304 4196468 140726439626688 139875545717264 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4585] ppid=4578 vsize=10659048 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4585/stat : 4585 (java) S 4578 4581 4348 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 98705439 10914865152 51240 33554432000 4194304 4196468 140726439626688 139875544664720 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4586] ppid=4578 vsize=10659048 memory=640 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4586/stat : 4586 (java) S 4578 4581 4348 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 98705439 10914865152 51240 33554432000 4194304 4196468 140726439626688 139875543611664 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4587] ppid=4578 vsize=10659048 memory=952 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4587/stat : 4587 (java) S 4578 4581 4348 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 98705439 10914865152 51240 33554432000 4194304 4196468 140726439626688 139875192854928 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4588] ppid=4578 vsize=10659048 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4588/stat : 4588 (java) S 4578 4581 4348 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 98705440 10914865152 51240 33554432000 4194304 4196468 140726439626688 139874894150384 139875589175938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4589] ppid=4578 vsize=10659048 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4589/stat : 4589 (java) S 4578 4581 4348 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 98705441 10914865152 51240 33554432000 4194304 4196468 140726439626688 139874893096608 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4590] ppid=4578 vsize=10659048 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4590/stat : 4590 (java) S 4578 4581 4348 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98705441 10914865152 51240 33554432000 4194304 4196468 140726439626688 139874892043504 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4591] ppid=4578 vsize=10659048 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4591/stat : 4591 (java) S 4578 4581 4348 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98705443 10914865152 51240 33554432000 4194304 4196468 140726439626688 139874890992080 139875589183387 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4592] ppid=4578 vsize=10659048 memory=7805414729348310629 CPUtime=0.35 cores=1,3,5,7
/proc/4581/task/4592/stat : 4592 (java) R 4578 4581 4348 0 -1 4202560 1548 0 0 0 35 0 0 0 20 0 15 0 98705443 10914865152 51240 33554432000 4194304 4196468 140726439626688 139874889926176 139875570709231 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4593] ppid=4578 vsize=10659048 memory=6154282490091891024 CPUtime=0.31 cores=1,3,5,7
/proc/4581/task/4593/stat : 4593 (java) R 4578 4581 4348 0 -1 4202560 1433 0 0 0 31 0 0 0 20 0 15 0 98705443 10914865152 51240 33554432000 4194304 4196468 140726439626688 139874888873456 139875572665136 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4594] ppid=4578 vsize=10659048 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/4581/task/4594/stat : 4594 (java) S 4578 4581 4348 0 -1 1077944384 1110 0 0 0 19 0 0 0 20 0 15 0 98705443 10914865152 51240 33554432000 4194304 4196468 140726439626688 139874887833584 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4595] ppid=4578 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4595/stat : 4595 (java) S 4578 4581 4348 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98705443 10914865152 51240 33554432000 4194304 4196468 140726439626688 139874886781280 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4596] ppid=4578 vsize=10659048 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4596/stat : 4596 (java) S 4578 4581 4348 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98705444 10914865152 51240 33554432000 4194304 4196468 140726439626688 139874885729328 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 204960 KiB
[startup+1.50075 s]
/proc/loadavg: 1.13 1.23 1.39 4/215 4596
/proc/meminfo: memFree=22713668/32770624 swapFree=67108860/67108860
[pid=4581] ppid=4578 vsize=10659048 memory=408244 CPUtime=3.41 cores=1,3,5,7
/proc/4581/stat : 4581 (java) S 4578 4581 4348 0 -1 1077944320 12559 0 0 0 323 18 0 0 20 0 15 0 98705438 10914865152 102061 33554432000 4194304 4196468 140726439626688 140726439609232 139875589164791 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
/proc/4581/statm: 2664762 102061 3144 1 0 2627263 0
[pid=4581/tid=4583] ppid=4578 vsize=10659048 memory=338976 CPUtime=1.4 cores=1,3,5,7
/proc/4581/task/4583/stat : 4583 (java) R 4578 4581 4348 0 -1 4202560 5785 0 0 0 135 5 0 0 20 0 15 0 98705438 10914865152 102061 33554432000 4194304 4196468 140726439626688 139875593403440 139875227151948 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4584] ppid=4578 vsize=10659048 memory=8112282956445269571 CPUtime=0.06 cores=1,3,5,7
/proc/4581/task/4584/stat : 4584 (java) S 4578 4581 4348 0 -1 1077944384 87 0 0 0 4 2 0 0 20 0 15 0 98705439 10914865152 102061 33554432000 4194304 4196468 140726439626688 139875545717264 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4585] ppid=4578 vsize=10659048 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4581/task/4585/stat : 4585 (java) S 4578 4581 4348 0 -1 1077944384 249 0 0 0 4 2 0 0 20 0 15 0 98705439 10914865152 102061 33554432000 4194304 4196468 140726439626688 139875544664720 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4586] ppid=4578 vsize=10659048 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/4581/task/4586/stat : 4586 (java) S 4578 4581 4348 0 -1 1077944384 49 0 0 0 3 2 0 0 20 0 15 0 98705439 10914865152 102061 33554432000 4194304 4196468 140726439626688 139875543611664 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4587] ppid=4578 vsize=10659048 memory=6943526294502006880 CPUtime=0.06 cores=1,3,5,7
/proc/4581/task/4587/stat : 4587 (java) S 4578 4581 4348 0 -1 1077944384 93 0 0 0 3 3 0 0 20 0 15 0 98705439 10914865152 102061 33554432000 4194304 4196468 140726439626688 139875192854928 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4588] ppid=4578 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4588/stat : 4588 (java) S 4578 4581 4348 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 98705440 10914865152 102061 33554432000 4194304 4196468 140726439626688 139874894150384 139875589175938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
################
# More data... #
################
/proc/4581/task/4583/stat : 4583 (java) R 4578 4581 4348 0 -1 4202560 44134 0 0 0 235736 50 0 0 20 0 15 0 98705438 10914865152 287602 33554432000 4194304 4196468 140726439626688 139875593404064 139875227354184 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4584] ppid=4578 vsize=10659048 memory=1158104 CPUtime=15.49 cores=1,3,5,7
/proc/4581/task/4584/stat : 4584 (java) S 4578 4581 4348 0 -1 1077944384 31665 0 0 0 1502 47 0 0 20 0 15 0 98705439 10914865152 287602 33554432000 4194304 4196468 140726439626688 139875545717264 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4585] ppid=4578 vsize=10659048 memory=1155540 CPUtime=15.48 cores=1,3,5,7
/proc/4581/task/4585/stat : 4585 (java) S 4578 4581 4348 0 -1 1077944384 30615 0 0 0 1503 45 0 0 20 0 15 0 98705439 10914865152 287602 33554432000 4194304 4196468 140726439626688 139875544664720 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4586] ppid=4578 vsize=10659048 memory=1152460 CPUtime=15.47 cores=1,3,5,7
/proc/4581/task/4586/stat : 4586 (java) S 4578 4581 4348 0 -1 1077944384 29882 0 0 0 1502 45 0 0 20 0 15 0 98705439 10914865152 287602 33554432000 4194304 4196468 140726439626688 139875543611664 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4587] ppid=4578 vsize=10659048 memory=1158104 CPUtime=15.48 cores=1,3,5,7
/proc/4581/task/4587/stat : 4587 (java) S 4578 4581 4348 0 -1 1077944384 29641 0 0 0 1500 48 0 0 20 0 15 0 98705439 10914865152 287602 33554432000 4194304 4196468 140726439626688 139875192854928 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4588] ppid=4578 vsize=10659048 memory=1151948 CPUtime=5.22 cores=1,3,5,7
/proc/4581/task/4588/stat : 4588 (java) S 4578 4581 4348 0 -1 1077944384 25323 0 0 0 461 61 0 0 20 0 15 0 98705440 10914865152 287602 33554432000 4194304 4196468 140726439626688 139874894150384 139875589175938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4589] ppid=4578 vsize=10659048 memory=1151436 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4589/stat : 4589 (java) S 4578 4581 4348 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 98705441 10914865152 287602 33554432000 4194304 4196468 140726439626688 139874893096672 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4590] ppid=4578 vsize=10659048 memory=1158104 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4590/stat : 4590 (java) S 4578 4581 4348 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98705441 10914865152 287602 33554432000 4194304 4196468 140726439626688 139874892043504 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4591] ppid=4578 vsize=10659048 memory=1151436 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4591/stat : 4591 (java) S 4578 4581 4348 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98705443 10914865152 287602 33554432000 4194304 4196468 140726439626688 139874890992080 139875589183387 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4592] ppid=4578 vsize=10659048 memory=33 CPUtime=1.17 cores=1,3,5,7
/proc/4581/task/4592/stat : 4592 (java) S 4578 4581 4348 0 -1 1077944384 4727 0 0 0 116 1 0 0 20 0 15 0 98705443 10914865152 287602 33554432000 4194304 4196468 140726439626688 139874889939184 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4593] ppid=4578 vsize=10659048 memory=1157080 CPUtime=1.17 cores=1,3,5,7
/proc/4581/task/4593/stat : 4593 (java) S 4578 4581 4348 0 -1 1077944384 4099 0 0 0 116 1 0 0 20 0 15 0 98705443 10914865152 287602 33554432000 4194304 4196468 140726439626688 139874888886640 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4594] ppid=4578 vsize=10659048 memory=1712 CPUtime=0.33 cores=1,3,5,7
/proc/4581/task/4594/stat : 4594 (java) S 4578 4581 4348 0 -1 1077944384 2141 0 0 0 33 0 0 0 20 0 15 0 98705443 10914865152 287602 33554432000 4194304 4196468 140726439626688 139874887833584 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4595] ppid=4578 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4595/stat : 4595 (java) S 4578 4581 4348 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98705443 10914865152 287602 33554432000 4194304 4196468 140726439626688 139874886781280 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4596] ppid=4578 vsize=10659048 memory=280345804461920 CPUtime=1.58 cores=1,3,5,7
/proc/4581/task/4596/stat : 4596 (java) S 4578 4581 4348 0 -1 1077944384 1974 0 0 0 73 85 0 0 20 0 15 0 98705444 10914865152 287602 33554432000 4194304 4196468 140726439626688 139874885729328 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
Current children cumulated CPU time: 2429.35 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 1150408 KiB
[startup+2442.3 s]
/proc/loadavg: 1.22 1.42 1.42 3/215 4694
/proc/meminfo: memFree=21727032/32770624 swapFree=67108860/67108860
[pid=4581] ppid=4578 vsize=10659048 memory=1089876 CPUtime=2490.61 cores=1,3,5,7
/proc/4581/stat : 4581 (java) S 4578 4581 4348 0 -1 1077944320 206706 0 0 0 248716 345 0 0 20 0 15 0 98705438 10914865152 272469 33554432000 4194304 4196468 140726439626688 140726439609232 139875589164791 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
/proc/4581/statm: 2664762 272469 3166 1 0 2627263 0
[pid=4581/tid=4583] ppid=4578 vsize=10659048 memory=1090388 CPUtime=2417.25 cores=1,3,5,7
/proc/4581/task/4583/stat : 4583 (java) R 4578 4581 4348 0 -1 4202560 44559 0 0 0 241675 50 0 0 20 0 15 0 98705438 10914865152 272469 33554432000 4194304 4196468 140726439626688 139875593404064 139875227354111 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4584] ppid=4578 vsize=10659048 memory=1106292 CPUtime=15.93 cores=1,3,5,7
/proc/4581/task/4584/stat : 4584 (java) S 4578 4581 4348 0 -1 1077944384 31696 0 0 0 1545 48 0 0 20 0 15 0 98705439 10914865152 272469 33554432000 4194304 4196468 140726439626688 139875545717264 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4585] ppid=4578 vsize=10659048 memory=1124248 CPUtime=15.91 cores=1,3,5,7
/proc/4581/task/4585/stat : 4585 (java) S 4578 4581 4348 0 -1 1077944384 30753 0 0 0 1545 46 0 0 20 0 15 0 98705439 10914865152 272469 33554432000 4194304 4196468 140726439626688 139875544664720 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4586] ppid=4578 vsize=10659048 memory=164 CPUtime=15.9 cores=1,3,5,7
/proc/4581/task/4586/stat : 4586 (java) S 4578 4581 4348 0 -1 1077944384 30119 0 0 0 1545 45 0 0 20 0 15 0 98705439 10914865152 272469 33554432000 4194304 4196468 140726439626688 139875543611664 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4587] ppid=4578 vsize=10659048 memory=1098596 CPUtime=15.91 cores=1,3,5,7
/proc/4581/task/4587/stat : 4587 (java) S 4578 4581 4348 0 -1 1077944384 29725 0 0 0 1543 48 0 0 20 0 15 0 98705439 10914865152 272469 33554432000 4194304 4196468 140726439626688 139875192854928 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4588] ppid=4578 vsize=10659048 memory=1096544 CPUtime=5.31 cores=1,3,5,7
/proc/4581/task/4588/stat : 4588 (java) S 4578 4581 4348 0 -1 1077944384 25528 0 0 0 469 62 0 0 20 0 15 0 98705440 10914865152 272469 33554432000 4194304 4196468 140726439626688 139874894150384 139875589175938 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4589] ppid=4578 vsize=10659048 memory=1091928 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4589/stat : 4589 (java) S 4578 4581 4348 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 98705441 10914865152 272469 33554432000 4194304 4196468 140726439626688 139874893096672 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4590] ppid=4578 vsize=10659048 memory=1091416 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4590/stat : 4590 (java) S 4578 4581 4348 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98705441 10914865152 272469 33554432000 4194304 4196468 140726439626688 139874892043504 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4591] ppid=4578 vsize=10659048 memory=1089876 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4591/stat : 4591 (java) S 4578 4581 4348 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98705443 10914865152 272469 33554432000 4194304 4196468 140726439626688 139874890992080 139875589183387 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4592] ppid=4578 vsize=10659048 memory=1952 CPUtime=1.17 cores=1,3,5,7
/proc/4581/task/4592/stat : 4592 (java) S 4578 4581 4348 0 -1 1077944384 4729 0 0 0 116 1 0 0 20 0 15 0 98705443 10914865152 272469 33554432000 4194304 4196468 140726439626688 139874889939184 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4593] ppid=4578 vsize=10659048 memory=1109368 CPUtime=1.17 cores=1,3,5,7
/proc/4581/task/4593/stat : 4593 (java) S 4578 4581 4348 0 -1 1077944384 4101 0 0 0 116 1 0 0 20 0 15 0 98705443 10914865152 272469 33554432000 4194304 4196468 140726439626688 139874888886640 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4594] ppid=4578 vsize=10659048 memory=1090388 CPUtime=0.33 cores=1,3,5,7
/proc/4581/task/4594/stat : 4594 (java) S 4578 4581 4348 0 -1 1077944384 2143 0 0 0 33 0 0 0 20 0 15 0 98705443 10914865152 272469 33554432000 4194304 4196468 140726439626688 139874887833584 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4595] ppid=4578 vsize=10659048 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4595/stat : 4595 (java) S 4578 4581 4348 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98705443 10914865152 272469 33554432000 4194304 4196468 140726439626688 139874886781280 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4596] ppid=4578 vsize=10659048 memory=1090388 CPUtime=1.62 cores=1,3,5,7
/proc/4581/task/4596/stat : 4596 (java) S 4578 4581 4348 0 -1 1077944384 1991 0 0 0 75 87 0 0 20 0 15 0 98705444 10914865152 272469 33554432000 4194304 4196468 140726439626688 139874885729328 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
Current children cumulated CPU time: 2490.61 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 1089876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.11 s]
/proc/loadavg: 1.33 1.43 1.43 3/215 4772
/proc/meminfo: memFree=21678164/32770624 swapFree=67108860/67108860
[pid=4581] ppid=4578 vsize=10659048 memory=1067816 CPUtime=2520.08 cores=1,3,5,7
/proc/4581/stat : 4581 (java) S 4578 4581 4348 0 -1 1077944320 207675 0 0 0 251660 348 0 0 20 0 15 0 98705438 10914865152 266954 33554432000 4194304 4196468 140726439626688 140726439609232 139875589164791 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
/proc/4581/statm: 2664762 266954 3166 1 0 2627263 0
[pid=4581/tid=4583] ppid=4578 vsize=10659048 memory=1090900 CPUtime=2445.75 cores=1,3,5,7
/proc/4581/task/4583/stat : 4583 (java) R 4578 4581 4348 0 -1 4202560 44871 0 0 0 244525 50 0 0 20 0 15 0 98705438 10914865152 266954 33554432000 4194304 4196468 140726439626688 139875593403856 139875227580814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4584] ppid=4578 vsize=10659048 memory=792 CPUtime=16.16 cores=1,3,5,7
/proc/4581/task/4584/stat : 4584 (java) S 4578 4581 4348 0 -1 1077944384 32055 0 0 0 1568 48 0 0 20 0 15 0 98705439 10914865152 266954 33554432000 4194304 4196468 140726439626688 139875545717264 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4585] ppid=4578 vsize=10659048 memory=1073972 CPUtime=16.13 cores=1,3,5,7
/proc/4581/task/4585/stat : 4585 (java) S 4578 4581 4348 0 -1 1077944384 30781 0 0 0 1567 46 0 0 20 0 15 0 98705439 10914865152 266954 33554432000 4194304 4196468 140726439626688 139875544664720 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4586] ppid=4578 vsize=10659048 memory=1084232 CPUtime=16.13 cores=1,3,5,7
/proc/4581/task/4586/stat : 4586 (java) S 4578 4581 4348 0 -1 1077944384 30141 0 0 0 1567 46 0 0 20 0 15 0 98705439 10914865152 266954 33554432000 4194304 4196468 140726439626688 139875543611664 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4587] ppid=4578 vsize=10659048 memory=1124248 CPUtime=16.13 cores=1,3,5,7
/proc/4581/task/4587/stat : 4587 (java) S 4578 4581 4348 0 -1 1077944384 29772 0 0 0 1565 48 0 0 20 0 15 0 98705439 10914865152 266954 33554432000 4194304 4196468 140726439626688 139875192854928 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4588] ppid=4578 vsize=10659048 memory=1091928 CPUtime=5.37 cores=1,3,5,7
/proc/4581/task/4588/stat : 4588 (java) S 4578 4581 4348 0 -1 1077944384 25717 0 0 0 474 63 0 0 20 0 15 0 98705440 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874894150384 139875589175938 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4589] ppid=4578 vsize=10659048 memory=1079104 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4589/stat : 4589 (java) S 4578 4581 4348 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 98705441 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874893096672 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4590] ppid=4578 vsize=10659048 memory=1084744 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4590/stat : 4590 (java) S 4578 4581 4348 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98705441 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874892043504 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4591] ppid=4578 vsize=10659048 memory=1079104 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4591/stat : 4591 (java) S 4578 4581 4348 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98705443 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874890992080 139875589183387 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4592] ppid=4578 vsize=10659048 memory=4004 CPUtime=1.17 cores=1,3,5,7
/proc/4581/task/4592/stat : 4592 (java) S 4578 4581 4348 0 -1 1077944384 4731 0 0 0 116 1 0 0 20 0 15 0 98705443 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874889939184 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4593] ppid=4578 vsize=10659048 memory=1067816 CPUtime=1.17 cores=1,3,5,7
/proc/4581/task/4593/stat : 4593 (java) S 4578 4581 4348 0 -1 1077944384 4103 0 0 0 116 1 0 0 20 0 15 0 98705443 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874888886640 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4594] ppid=4578 vsize=10659048 memory=1067816 CPUtime=0.33 cores=1,3,5,7
/proc/4581/task/4594/stat : 4594 (java) S 4578 4581 4348 0 -1 1077944384 2145 0 0 0 33 0 0 0 20 0 15 0 98705443 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874887833584 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4595] ppid=4578 vsize=10659048 memory=1071920 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4595/stat : 4595 (java) S 4578 4581 4348 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98705443 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874886781280 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4596] ppid=4578 vsize=10659048 memory=1071920 CPUtime=1.64 cores=1,3,5,7
/proc/4581/task/4596/stat : 4596 (java) S 4578 4581 4348 0 -1 1077944384 1997 0 0 0 76 88 0 0 20 0 15 0 98705444 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874885729328 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 1067816 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.12 s]
# the end of solver process 4581 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.61 s, system=3.49245 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2471.11 s]
/proc/loadavg: 1.33 1.43 1.43 3/215 4772
/proc/meminfo: memFree=21678164/32770624 swapFree=67108860/67108860
[pid=4581] ppid=4578 vsize=10659048 memory=1067816 CPUtime=2520.08 cores=1,3,5,7
/proc/4581/stat : 4581 (java) S 4578 4581 4348 0 -1 1077944320 207675 0 0 0 251660 348 0 0 20 0 15 0 98705438 10914865152 266954 33554432000 4194304 4196468 140726439626688 140726439609232 139875589164791 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
/proc/4581/statm: 2664762 266954 3166 1 0 2627263 0
[pid=4581/tid=4583] ppid=4578 vsize=10659048 memory=1090900 CPUtime=2445.75 cores=1,3,5,7
/proc/4581/task/4583/stat : 4583 (java) R 4578 4581 4348 0 -1 4202560 44871 0 0 0 244525 50 0 0 20 0 15 0 98705438 10914865152 266954 33554432000 4194304 4196468 140726439626688 139875593403856 139875227580814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4584] ppid=4578 vsize=10659048 memory=792 CPUtime=16.16 cores=1,3,5,7
/proc/4581/task/4584/stat : 4584 (java) S 4578 4581 4348 0 -1 1077944384 32055 0 0 0 1568 48 0 0 20 0 15 0 98705439 10914865152 266954 33554432000 4194304 4196468 140726439626688 139875545717264 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4585] ppid=4578 vsize=10659048 memory=1073972 CPUtime=16.13 cores=1,3,5,7
/proc/4581/task/4585/stat : 4585 (java) S 4578 4581 4348 0 -1 1077944384 30781 0 0 0 1567 46 0 0 20 0 15 0 98705439 10914865152 266954 33554432000 4194304 4196468 140726439626688 139875544664720 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4586] ppid=4578 vsize=10659048 memory=1084232 CPUtime=16.13 cores=1,3,5,7
/proc/4581/task/4586/stat : 4586 (java) S 4578 4581 4348 0 -1 1077944384 30141 0 0 0 1567 46 0 0 20 0 15 0 98705439 10914865152 266954 33554432000 4194304 4196468 140726439626688 139875543611664 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4587] ppid=4578 vsize=10659048 memory=1124248 CPUtime=16.13 cores=1,3,5,7
/proc/4581/task/4587/stat : 4587 (java) S 4578 4581 4348 0 -1 1077944384 29772 0 0 0 1565 48 0 0 20 0 15 0 98705439 10914865152 266954 33554432000 4194304 4196468 140726439626688 139875192854928 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4588] ppid=4578 vsize=10659048 memory=1091928 CPUtime=5.37 cores=1,3,5,7
/proc/4581/task/4588/stat : 4588 (java) S 4578 4581 4348 0 -1 1077944384 25717 0 0 0 474 63 0 0 20 0 15 0 98705440 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874894150384 139875589175938 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4589] ppid=4578 vsize=10659048 memory=1079104 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4589/stat : 4589 (java) S 4578 4581 4348 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 98705441 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874893096672 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4590] ppid=4578 vsize=10659048 memory=1084744 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4590/stat : 4590 (java) S 4578 4581 4348 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98705441 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874892043504 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4591] ppid=4578 vsize=10659048 memory=1079104 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4591/stat : 4591 (java) S 4578 4581 4348 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98705443 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874890992080 139875589183387 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4592] ppid=4578 vsize=10659048 memory=4004 CPUtime=1.17 cores=1,3,5,7
/proc/4581/task/4592/stat : 4592 (java) S 4578 4581 4348 0 -1 1077944384 4731 0 0 0 116 1 0 0 20 0 15 0 98705443 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874889939184 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4593] ppid=4578 vsize=10659048 memory=1067816 CPUtime=1.17 cores=1,3,5,7
/proc/4581/task/4593/stat : 4593 (java) S 4578 4581 4348 0 -1 1077944384 4103 0 0 0 116 1 0 0 20 0 15 0 98705443 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874888886640 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4594] ppid=4578 vsize=10659048 memory=1067816 CPUtime=0.33 cores=1,3,5,7
/proc/4581/task/4594/stat : 4594 (java) S 4578 4581 4348 0 -1 1077944384 2145 0 0 0 33 0 0 0 20 0 15 0 98705443 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874887833584 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4595] ppid=4578 vsize=10659048 memory=1071920 CPUtime=0 cores=1,3,5,7
/proc/4581/task/4595/stat : 4595 (java) S 4578 4581 4348 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98705443 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874886781280 139875589174997 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
[pid=4581/tid=4596] ppid=4578 vsize=10659048 memory=1071920 CPUtime=1.64 cores=1,3,5,7
/proc/4581/task/4596/stat : 4596 (java) S 4578 4581 4348 0 -1 1077944384 1997 0 0 0 76 88 0 0 20 0 15 0 98705444 10914865152 266954 33554432000 4194304 4196468 140726439626688 139874885729328 139875589175938 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30838784 140726439629997 140726439630089 140726439630089 140726439632847 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 1067816 KiB
Child status: 143
Real time (s): 2471.12
CPU time (s): 2520.11
CPU user time (s): 2516.61
CPU system time (s): 3.49245
CPU usage (%): 101.982
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 2219480
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.61
system time used= 3.49245
maximum resident set size= 2222408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207869
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 191154
involuntary context switches= 7153
# summary of solver processes directly reported to runsolver:
# pid: 4581
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.61
# total CPU system time (s): 3.49245
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1924 second user time and 23.7595 second system time
The end