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 (13238 MiB free)
memory of node 1: 16384 MiB (8128 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255933-1502644641/watcher-4255933-1502644641 -o /tmp/evaluation-result-4255933-1502644641/solver-4255933-1502644641 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502642918-7710 --watchdog 312 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1935309018 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4255933-1502644641.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=8361, runsolver pid=8358
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 2.00 2.00 1.79 2/217 8376
/proc/meminfo: memFree=21860916/32770624 swapFree=67108860/67108860
[pid=8361] ppid=8358 vsize=13980164 memory=32972 CPUtime=0.13 cores=0,2,4,6
/proc/8361/stat : 8361 (java) S 8358 8361 3242 0 -1 1077944320 8166 0 0 0 11 2 0 0 20 0 15 0 97545123 14315687936 8243 33554432000 4194304 4196468 140724180565536 140724180548080 140001086652151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
/proc/8361/statm: 3495041 8243 3411 1 0 3482761 0
[pid=8361/tid=8363] ppid=8358 vsize=13980164 memory=-8824338890780144832 CPUtime=0.09 cores=0,2,4,6
/proc/8361/task/8363/stat : 8363 (java) R 8358 8361 3242 0 -1 4202560 6100 0 0 0 8 1 0 0 20 0 15 0 97545124 14315687936 8243 33554432000 4194304 4196468 140724180565536 140001090840640 140001086674077 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8364] ppid=8358 vsize=13980164 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8364/stat : 8364 (java) S 8358 8361 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97545124 14315687936 8243 33554432000 4194304 4196468 140724180565536 140001039272976 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8365] ppid=8358 vsize=13980164 memory=139840027817600 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8365/stat : 8365 (java) S 8358 8361 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97545124 14315687936 8243 33554432000 4194304 4196468 140724180565536 140001038220432 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8366] ppid=8358 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8366/stat : 8366 (java) S 8358 8361 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97545124 14315687936 8243 33554432000 4194304 4196468 140724180565536 140001037167376 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8367] ppid=8358 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8367/stat : 8367 (java) S 8358 8361 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97545124 14315687936 8243 33554432000 4194304 4196468 140724180565536 140000679357328 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8368] ppid=8358 vsize=13980164 memory=139840027817600 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8368/stat : 8368 (java) S 8358 8361 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97545126 14315687936 8243 33554432000 4194304 4196468 140724180565536 139999999928560 140001086663298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8369] ppid=8358 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8369/stat : 8369 (java) S 8358 8361 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97545126 14315687936 8243 33554432000 4194304 4196468 140724180565536 139999998874784 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8370] ppid=8358 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8370/stat : 8370 (java) S 8358 8361 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97545126 14315687936 8243 33554432000 4194304 4196468 140724180565536 139999997821680 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8371] ppid=8358 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8371/stat : 8371 (java) S 8358 8361 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97545129 14315687936 8243 33554432000 4194304 4196468 140724180565536 139999996770256 140001086670747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8372] ppid=8358 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8372/stat : 8372 (java) S 8358 8361 3242 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 97545129 14315687936 8243 33554432000 4194304 4196468 140724180565536 139999995718384 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8373] ppid=8358 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8373/stat : 8373 (java) S 8358 8361 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97545129 14315687936 8243 33554432000 4194304 4196468 140724180565536 139999994665840 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8374] ppid=8358 vsize=13980164 memory=139840027817600 CPUtime=0.02 cores=0,2,4,6
/proc/8361/task/8374/stat : 8374 (java) S 8358 8361 3242 0 -1 1077944384 377 0 0 0 2 0 0 0 20 0 15 0 97545129 14315687936 8243 33554432000 4194304 4196468 140724180565536 139999993612784 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8375] ppid=8358 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8375/stat : 8375 (java) S 8358 8361 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97545129 14315687936 8243 33554432000 4194304 4196468 140724180565536 139999992560480 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8376] ppid=8358 vsize=13980164 memory=139840027817600 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8376/stat : 8376 (java) S 8358 8361 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97545129 14315687936 8243 33554432000 4194304 4196468 140724180565536 139999991507504 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 32972 KiB
[startup+0.212859 s]*
/proc/loadavg: 2.00 2.00 1.79 3/217 8376
/proc/meminfo: memFree=21852152/32770624 swapFree=67108860/67108860
[pid=8361] ppid=8358 vsize=13980164 memory=43024 CPUtime=0.3 cores=0,2,4,6
/proc/8361/stat : 8361 (java) S 8358 8361 3242 0 -1 1077944320 9333 0 0 0 28 2 0 0 20 0 15 0 97545123 14315687936 10756 33554432000 4194304 4196468 140724180565536 140724180548080 140001086652151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
/proc/8361/statm: 3495041 10756 3628 1 0 3482761 0
[pid=8361/tid=8363] ppid=8358 vsize=13980164 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/8361/task/8363/stat : 8363 (java) R 8358 8361 3242 0 -1 4202560 6809 0 0 0 18 2 0 0 20 0 15 0 97545124 14315687936 10756 33554432000 4194304 4196468 140724180565536 140001090861552 140001070732638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8364] ppid=8358 vsize=13980164 memory=342 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8364/stat : 8364 (java) S 8358 8361 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97545124 14315687936 10756 33554432000 4194304 4196468 140724180565536 140001039272976 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8365] ppid=8358 vsize=13980164 memory=139840027826100 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8365/stat : 8365 (java) S 8358 8361 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97545124 14315687936 10756 33554432000 4194304 4196468 140724180565536 140001038220432 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8366] ppid=8358 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8366/stat : 8366 (java) S 8358 8361 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97545124 14315687936 10756 33554432000 4194304 4196468 140724180565536 140001037167376 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8367] ppid=8358 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8367/stat : 8367 (java) S 8358 8361 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97545124 14315687936 10756 33554432000 4194304 4196468 140724180565536 140000679357328 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8368] ppid=8358 vsize=13980164 memory=139840027817600 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8368/stat : 8368 (java) S 8358 8361 3242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97545126 14315687936 10756 33554432000 4194304 4196468 140724180565536 139999999928560 140001086663298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8369] ppid=8358 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8369/stat : 8369 (java) S 8358 8361 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97545126 14315687936 10756 33554432000 4194304 4196468 140724180565536 139999998874784 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8370] ppid=8358 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8370/stat : 8370 (java) S 8358 8361 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97545126 14315687936 10756 33554432000 4194304 4196468 140724180565536 139999997821680 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8371] ppid=8358 vsize=13980164 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8371/stat : 8371 (java) S 8358 8361 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97545129 14315687936 10756 33554432000 4194304 4196468 140724180565536 139999996770256 140001086670747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8372] ppid=8358 vsize=13980164 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8361/task/8372/stat : 8372 (java) S 8358 8361 3242 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 15 0 97545129 14315687936 10756 33554432000 4194304 4196468 140724180565536 139999995718384 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8373] ppid=8358 vsize=13980164 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/8361/task/8373/stat : 8373 (java) R 8358 8361 3242 0 -1 4202560 211 0 0 0 1 0 0 0 20 0 15 0 97545129 14315687936 10756 33554432000 4194304 4196468 140724180565536 139999994665840 140001067352448 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8374] ppid=8358 vsize=13980164 memory=139840027817600 CPUtime=0.06 cores=0,2,4,6
/proc/8361/task/8374/stat : 8374 (java) R 8358 8361 3242 0 -1 4202560 504 0 0 0 6 0 0 0 20 0 15 0 97545129 14315687936 10756 33554432000 4194304 4196468 140724180565536 139999993612784 140001070732638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8375] ppid=8358 vsize=13980164 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8375/stat : 8375 (java) S 8358 8361 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97545129 14315687936 10756 33554432000 4194304 4196468 140724180565536 139999992560480 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8376] ppid=8358 vsize=13980164 memory=139840027817600 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8376/stat : 8376 (java) S 8358 8361 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97545129 14315687936 10756 33554432000 4194304 4196468 140724180565536 139999991507504 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 43024 KiB
[startup+0.310232 s]*
/proc/loadavg: 2.00 2.00 1.79 4/217 8376
/proc/meminfo: memFree=21844460/32770624 swapFree=67108860/67108860
[pid=8361] ppid=8358 vsize=13980184 memory=51004 CPUtime=0.49 cores=0,2,4,6
/proc/8361/stat : 8361 (java) S 8358 8361 3242 0 -1 1077944320 10448 0 0 0 46 3 0 0 20 0 15 0 97545123 14315708416 12751 33554432000 4194304 4196468 140724180565536 140724180548080 140001086652151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
/proc/8361/statm: 3495046 12751 3715 1 0 3482761 0
[pid=8361/tid=8363] ppid=8358 vsize=13980184 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/8361/task/8363/stat : 8363 (java) R 8358 8361 3242 0 -1 4202560 7536 0 0 0 27 2 0 0 20 0 15 0 97545124 14315708416 12751 33554432000 4194304 4196468 140724180565536 140001090882864 140001070732638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8364] ppid=8358 vsize=13980184 memory=304556153357205527 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8364/stat : 8364 (java) S 8358 8361 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97545124 14315708416 12751 33554432000 4194304 4196468 140724180565536 140001039272976 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8365] ppid=8358 vsize=13980184 memory=15675076962875032 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8365/stat : 8365 (java) S 8358 8361 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97545124 14315708416 12751 33554432000 4194304 4196468 140724180565536 140001038220432 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8366] ppid=8358 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8366/stat : 8366 (java) S 8358 8361 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97545124 14315708416 12751 33554432000 4194304 4196468 140724180565536 140001037167376 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8367] ppid=8358 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8367/stat : 8367 (java) S 8358 8361 3242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97545124 14315708416 12751 33554432000 4194304 4196468 140724180565536 140000679357328 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8368] ppid=8358 vsize=13980184 memory=139840027817600 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8368/stat : 8368 (java) S 8358 8361 3242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 97545126 14315708416 12751 33554432000 4194304 4196468 140724180565536 139999999928560 140001086663298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8369] ppid=8358 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8369/stat : 8369 (java) S 8358 8361 3242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97545126 14315708416 12751 33554432000 4194304 4196468 140724180565536 139999998874784 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8370] ppid=8358 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8370/stat : 8370 (java) S 8358 8361 3242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97545126 14315708416 12751 33554432000 4194304 4196468 140724180565536 139999997821680 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8371] ppid=8358 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8371/stat : 8371 (java) S 8358 8361 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97545129 14315708416 12751 33554432000 4194304 4196468 140724180565536 139999996770256 140001086670747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8372] ppid=8358 vsize=13980184 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8361/task/8372/stat : 8372 (java) S 8358 8361 3242 0 -1 1077944384 588 0 0 0 5 0 0 0 20 0 15 0 97545129 14315708416 12751 33554432000 4194304 4196468 140724180565536 139999995718384 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8373] ppid=8358 vsize=13980184 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/8361/task/8373/stat : 8373 (java) S 8358 8361 3242 0 -1 1077944384 419 0 0 0 4 0 0 0 20 0 15 0 97545129 14315708416 12751 33554432000 4194304 4196468 140724180565536 139999994665840 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8374] ppid=8358 vsize=13980184 memory=139840027817600 CPUtime=0.08 cores=0,2,4,6
/proc/8361/task/8374/stat : 8374 (java) S 8358 8361 3242 0 -1 1077944384 529 0 0 0 8 0 0 0 20 0 15 0 97545129 14315708416 12751 33554432000 4194304 4196468 140724180565536 139999993612784 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8375] ppid=8358 vsize=13980184 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8375/stat : 8375 (java) S 8358 8361 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97545129 14315708416 12751 33554432000 4194304 4196468 140724180565536 139999992560480 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8376] ppid=8358 vsize=13980184 memory=139840027817600 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8376/stat : 8376 (java) S 8358 8361 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97545129 14315708416 12751 33554432000 4194304 4196468 140724180565536 139999991507504 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 51004 KiB
[startup+0.700873 s]
/proc/loadavg: 2.00 2.00 1.79 4/217 8376
/proc/meminfo: memFree=21792208/32770624 swapFree=67108860/67108860
[pid=8361] ppid=8358 vsize=13980184 memory=285620 CPUtime=1.24 cores=0,2,4,6
/proc/8361/stat : 8361 (java) S 8358 8361 3242 0 -1 1077944320 11544 0 0 0 101 23 0 0 20 0 15 0 97545123 14315708416 71405 33554432000 4194304 4196468 140724180565536 140724180548080 140001086652151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
/proc/8361/statm: 3495046 71405 3765 1 0 3482761 0
[pid=8361/tid=8363] ppid=8358 vsize=13980184 memory=1732 CPUtime=0.6 cores=0,2,4,6
/proc/8361/task/8363/stat : 8363 (java) R 8358 8361 3242 0 -1 4202560 7997 0 0 0 54 6 0 0 20 0 15 0 97545124 14315708416 71405 33554432000 4194304 4196468 140724180565536 140001090889872 140001086674077 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8364] ppid=8358 vsize=13980184 memory=1224 CPUtime=0.05 cores=0,2,4,6
/proc/8361/task/8364/stat : 8364 (java) S 8358 8361 3242 0 -1 1077944384 60 0 0 0 2 3 0 0 20 0 15 0 97545124 14315708416 71405 33554432000 4194304 4196468 140724180565536 140001039272976 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8365] ppid=8358 vsize=13980184 memory=12032 CPUtime=0.05 cores=0,2,4,6
/proc/8361/task/8365/stat : 8365 (java) S 8358 8361 3242 0 -1 1077944384 59 0 0 0 2 3 0 0 20 0 15 0 97545124 14315708416 71405 33554432000 4194304 4196468 140724180565536 140001038220432 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8366] ppid=8358 vsize=13980184 memory=5792 CPUtime=0.05 cores=0,2,4,6
/proc/8361/task/8366/stat : 8366 (java) S 8358 8361 3242 0 -1 1077944384 67 0 0 0 2 3 0 0 20 0 15 0 97545124 14315708416 71405 33554432000 4194304 4196468 140724180565536 140001037167376 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8367] ppid=8358 vsize=13980184 memory=796 CPUtime=0.05 cores=0,2,4,6
/proc/8361/task/8367/stat : 8367 (java) S 8358 8361 3242 0 -1 1077944384 68 0 0 0 2 3 0 0 20 0 15 0 97545124 14315708416 71405 33554432000 4194304 4196468 140724180565536 140000679357328 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8368] ppid=8358 vsize=13980184 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8368/stat : 8368 (java) S 8358 8361 3242 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 97545126 14315708416 71405 33554432000 4194304 4196468 140724180565536 139999999928560 140001086663298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8369] ppid=8358 vsize=13980184 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8369/stat : 8369 (java) S 8358 8361 3242 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 97545126 14315708416 71405 33554432000 4194304 4196468 140724180565536 139999998874848 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8370] ppid=8358 vsize=13980184 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8370/stat : 8370 (java) S 8358 8361 3242 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 97545126 14315708416 71405 33554432000 4194304 4196468 140724180565536 139999997821680 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8371] ppid=8358 vsize=13980184 memory=6296683629868568929 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8371/stat : 8371 (java) S 8358 8361 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97545129 14315708416 71405 33554432000 4194304 4196468 140724180565536 139999996770256 140001086670747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8372] ppid=8358 vsize=13980184 memory=7519159149027546218 CPUtime=0.09 cores=0,2,4,6
/proc/8361/task/8372/stat : 8372 (java) S 8358 8361 3242 0 -1 1077944384 664 0 0 0 9 0 0 0 20 0 15 0 97545129 14315708416 71405 33554432000 4194304 4196468 140724180565536 139999995718384 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8373] ppid=8358 vsize=13980184 memory=7523071198212214892 CPUtime=0.1 cores=0,2,4,6
/proc/8361/task/8373/stat : 8373 (java) S 8358 8361 3242 0 -1 1077944384 500 0 0 0 10 0 0 0 20 0 15 0 97545129 14315708416 71405 33554432000 4194304 4196468 140724180565536 139999994665840 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8374] ppid=8358 vsize=13980184 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/8361/task/8374/stat : 8374 (java) S 8358 8361 3242 0 -1 1077944384 671 0 0 0 14 0 0 0 20 0 15 0 97545129 14315708416 71405 33554432000 4194304 4196468 140724180565536 139999993612784 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8375] ppid=8358 vsize=13980184 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8375/stat : 8375 (java) S 8358 8361 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97545129 14315708416 71405 33554432000 4194304 4196468 140724180565536 139999992560480 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8376] ppid=8358 vsize=13980184 memory=33 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8376/stat : 8376 (java) S 8358 8361 3242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97545129 14315708416 71405 33554432000 4194304 4196468 140724180565536 139999991507504 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 285620 KiB
[startup+1.50072 s]
/proc/loadavg: 2.00 2.00 1.79 3/217 8376
/proc/meminfo: memFree=21232364/32770624 swapFree=67108860/67108860
[pid=8361] ppid=8358 vsize=13982232 memory=1118576 CPUtime=2.78 cores=0,2,4,6
/proc/8361/stat : 8361 (java) S 8358 8361 3242 0 -1 1077944320 15653 0 0 0 230 48 0 0 20 0 15 0 97545123 14317805568 279644 33554432000 4194304 4196468 140724180565536 140724180548080 140001086652151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
/proc/8361/statm: 3495558 279644 3802 1 0 3483273 0
[pid=8361/tid=8363] ppid=8358 vsize=13982232 memory=8112282956445269571 CPUtime=1.34 cores=0,2,4,6
/proc/8361/task/8363/stat : 8363 (java) R 8358 8361 3242 0 -1 4202560 9183 0 0 0 116 18 0 0 20 0 15 0 97545124 14317805568 279644 33554432000 4194304 4196468 140724180565536 140001090886168 140000720159239 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8364] ppid=8358 vsize=13982232 memory=-8754540793456063680 CPUtime=0.11 cores=0,2,4,6
/proc/8361/task/8364/stat : 8364 (java) S 8358 8361 3242 0 -1 1077944384 145 0 0 0 5 6 0 0 20 0 15 0 97545124 14317805568 279644 33554432000 4194304 4196468 140724180565536 140001039272976 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8365] ppid=8358 vsize=13982232 memory=-2843869621055772062 CPUtime=0.13 cores=0,2,4,6
/proc/8361/task/8365/stat : 8365 (java) S 8358 8361 3242 0 -1 1077944384 202 0 0 0 6 7 0 0 20 0 15 0 97545124 14317805568 279644 33554432000 4194304 4196468 140724180565536 140001038220432 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8366] ppid=8358 vsize=13982232 memory=5450919713671312938 CPUtime=0.13 cores=0,2,4,6
/proc/8361/task/8366/stat : 8366 (java) S 8358 8361 3242 0 -1 1077944384 188 0 0 0 6 7 0 0 20 0 15 0 97545124 14317805568 279644 33554432000 4194304 4196468 140724180565536 140001037167376 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8367] ppid=8358 vsize=13982232 memory=1401637097735671167 CPUtime=0.12 cores=0,2,4,6
/proc/8361/task/8367/stat : 8367 (java) S 8358 8361 3242 0 -1 1077944384 160 0 0 0 5 7 0 0 20 0 15 0 97545124 14317805568 279644 33554432000 4194304 4196468 140724180565536 140000679357328 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8368] ppid=8358 vsize=13982232 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8368/stat : 8368 (java) S 8358 8361 3242 0 -1 1077944384 210 0 0 0 0 0 0 0 20 0 15 0 97545126 14317805568 279644 33554432000 4194304 4196468 140724180565536 139999999928560 140001086663298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
################
# More data... #
################
/proc/8361/task/8363/stat : 8363 (java) R 8358 8361 3242 0 -1 4202560 35460 0 0 0 5845 60 0 0 20 0 15 0 97545124 14321999872 2525857 33554432000 4194304 4196468 140724180565536 140001090887104 140000719118816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8364] ppid=8358 vsize=13986328 memory=55 CPUtime=24.44 cores=0,2,4,6
/proc/8361/task/8364/stat : 8364 (java) S 8358 8361 3242 0 -1 1077944384 16264 0 0 0 2313 131 0 0 20 0 15 0 97545124 14321999872 2525857 33554432000 4194304 4196468 140724180565536 140001039272976 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8365] ppid=8358 vsize=13986328 memory=9795084 CPUtime=24.36 cores=0,2,4,6
/proc/8361/task/8365/stat : 8365 (java) S 8358 8361 3242 0 -1 1077944384 24322 0 0 0 2303 133 0 0 20 0 15 0 97545124 14321999872 2525857 33554432000 4194304 4196468 140724180565536 140001038220432 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8366] ppid=8358 vsize=13986328 memory=18476 CPUtime=24.48 cores=0,2,4,6
/proc/8361/task/8366/stat : 8366 (java) S 8358 8361 3242 0 -1 1077944384 26045 0 0 0 2294 154 0 0 20 0 15 0 97545124 14321999872 2525857 33554432000 4194304 4196468 140724180565536 140001037167376 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8367] ppid=8358 vsize=13986328 memory=10103404 CPUtime=24.53 cores=0,2,4,6
/proc/8361/task/8367/stat : 8367 (java) S 8358 8361 3242 0 -1 1077944384 20533 0 0 0 2320 133 0 0 20 0 15 0 97545124 14321999872 2525857 33554432000 4194304 4196468 140724180565536 140000679357328 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8368] ppid=8358 vsize=13986328 memory=28528 CPUtime=18.53 cores=0,2,4,6
/proc/8361/task/8368/stat : 8368 (java) S 8358 8361 3242 0 -1 1077944384 26832 0 0 0 1851 2 0 0 20 0 15 0 97545126 14321999872 2525857 33554432000 4194304 4196468 140724180565536 139999999928560 140001086663298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8369] ppid=8358 vsize=13986328 memory=139839908033864 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8369/stat : 8369 (java) S 8358 8361 3242 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 97545126 14321999872 2525857 33554432000 4194304 4196468 140724180565536 139999998874848 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8370] ppid=8358 vsize=13986328 memory=279679815093680 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8370/stat : 8370 (java) S 8358 8361 3242 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 97545126 14321999872 2525857 33554432000 4194304 4196468 140724180565536 139999997821696 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8371] ppid=8358 vsize=13986328 memory=10102524 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8371/stat : 8371 (java) S 8358 8361 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97545129 14321999872 2525857 33554432000 4194304 4196468 140724180565536 139999996770256 140001086670747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8372] ppid=8358 vsize=13986328 memory=6592320 CPUtime=1.31 cores=0,2,4,6
/proc/8361/task/8372/stat : 8372 (java) S 8358 8361 3242 0 -1 1077944384 7920 0 0 0 129 2 0 0 20 0 15 0 97545129 14321999872 2525857 33554432000 4194304 4196468 140724180565536 139999995718384 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8373] ppid=8358 vsize=13986328 memory=1296 CPUtime=1.38 cores=0,2,4,6
/proc/8361/task/8373/stat : 8373 (java) S 8358 8361 3242 0 -1 1077944384 7440 0 0 0 136 2 0 0 20 0 15 0 97545129 14321999872 2525857 33554432000 4194304 4196468 140724180565536 139999994665840 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8374] ppid=8358 vsize=13986328 memory=2408 CPUtime=0.52 cores=0,2,4,6
/proc/8361/task/8374/stat : 8374 (java) S 8358 8361 3242 0 -1 1077944384 4025 0 0 0 51 1 0 0 20 0 15 0 97545129 14321999872 2525857 33554432000 4194304 4196468 140724180565536 139999993612784 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8375] ppid=8358 vsize=13986328 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8375/stat : 8375 (java) S 8358 8361 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97545129 14321999872 2525857 33554432000 4194304 4196468 140724180565536 139999992560480 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8376] ppid=8358 vsize=13986328 memory=2972 CPUtime=0.05 cores=0,2,4,6
/proc/8361/task/8376/stat : 8376 (java) S 8358 8361 3242 0 -1 1077944384 686 0 0 0 1 4 0 0 20 0 15 0 97545129 14321999872 2525857 33554432000 4194304 4196468 140724180565536 139999991507504 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
Current children cumulated CPU time: 178.75 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 10103428 KiB
[startup+162.301 s]
/proc/loadavg: 2.07 2.07 1.86 3/217 8457
/proc/meminfo: memFree=8356808/32770624 swapFree=67108860/67108860
[pid=8361] ppid=8358 vsize=13986328 memory=10109148 CPUtime=240.1 cores=0,2,4,6
/proc/8361/stat : 8361 (java) S 8358 8361 3242 0 -1 1077944320 178043 0 0 0 23383 627 0 0 20 0 15 0 97545123 14321999872 2527287 33554432000 4194304 4196468 140724180565536 140724180548080 140001086652151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
/proc/8361/statm: 3496582 2527287 3838 1 0 3484297 0
[pid=8361/tid=8363] ppid=8358 vsize=13986328 memory=10109148 CPUtime=119.04 cores=0,2,4,6
/proc/8361/task/8363/stat : 8363 (java) R 8358 8361 3242 0 -1 4202560 37497 0 0 0 11844 60 0 0 20 0 15 0 97545124 14321999872 2527287 33554432000 4194304 4196468 140724180565536 140001090887568 140000719119093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8364] ppid=8358 vsize=13986328 memory=10109148 CPUtime=24.44 cores=0,2,4,6
/proc/8361/task/8364/stat : 8364 (java) S 8358 8361 3242 0 -1 1077944384 16264 0 0 0 2313 131 0 0 20 0 15 0 97545124 14321999872 2527287 33554432000 4194304 4196468 140724180565536 140001039272976 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8365] ppid=8358 vsize=13986328 memory=10109148 CPUtime=24.36 cores=0,2,4,6
/proc/8361/task/8365/stat : 8365 (java) S 8358 8361 3242 0 -1 1077944384 24322 0 0 0 2303 133 0 0 20 0 15 0 97545124 14321999872 2527287 33554432000 4194304 4196468 140724180565536 140001038220432 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8366] ppid=8358 vsize=13986328 memory=10109148 CPUtime=24.48 cores=0,2,4,6
/proc/8361/task/8366/stat : 8366 (java) S 8358 8361 3242 0 -1 1077944384 26045 0 0 0 2294 154 0 0 20 0 15 0 97545124 14321999872 2527287 33554432000 4194304 4196468 140724180565536 140001037167376 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8367] ppid=8358 vsize=13986328 memory=10109148 CPUtime=24.53 cores=0,2,4,6
/proc/8361/task/8367/stat : 8367 (java) S 8358 8361 3242 0 -1 1077944384 20533 0 0 0 2320 133 0 0 20 0 15 0 97545124 14321999872 2527287 33554432000 4194304 4196468 140724180565536 140000679357328 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8368] ppid=8358 vsize=13986328 memory=8612 CPUtime=18.54 cores=0,2,4,6
/proc/8361/task/8368/stat : 8368 (java) S 8358 8361 3242 0 -1 1077944384 26836 0 0 0 1851 3 0 0 20 0 15 0 97545126 14321999872 2527287 33554432000 4194304 4196468 140724180565536 139999999928560 140001086663298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8369] ppid=8358 vsize=13986328 memory=10109148 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8369/stat : 8369 (java) S 8358 8361 3242 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 97545126 14321999872 2527287 33554432000 4194304 4196468 140724180565536 139999998874848 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8370] ppid=8358 vsize=13986328 memory=10109140 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8370/stat : 8370 (java) S 8358 8361 3242 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 97545126 14321999872 2527287 33554432000 4194304 4196468 140724180565536 139999997821696 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8371] ppid=8358 vsize=13986328 memory=10109148 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8371/stat : 8371 (java) S 8358 8361 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97545129 14321999872 2527287 33554432000 4194304 4196468 140724180565536 139999996770256 140001086670747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8372] ppid=8358 vsize=13986328 memory=10109148 CPUtime=1.81 cores=0,2,4,6
/proc/8361/task/8372/stat : 8372 (java) S 8358 8361 3242 0 -1 1077944384 9145 0 0 0 179 2 0 0 20 0 15 0 97545129 14321999872 2527287 33554432000 4194304 4196468 140724180565536 139999995718384 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8373] ppid=8358 vsize=13986328 memory=10109148 CPUtime=2.16 cores=0,2,4,6
/proc/8361/task/8373/stat : 8373 (java) S 8358 8361 3242 0 -1 1077944384 10751 0 0 0 214 2 0 0 20 0 15 0 97545129 14321999872 2527287 33554432000 4194304 4196468 140724180565536 139999994665840 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8374] ppid=8358 vsize=13986328 memory=10109148 CPUtime=0.56 cores=0,2,4,6
/proc/8361/task/8374/stat : 8374 (java) S 8358 8361 3242 0 -1 1077944384 4552 0 0 0 55 1 0 0 20 0 15 0 97545129 14321999872 2527287 33554432000 4194304 4196468 140724180565536 139999993612784 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8375] ppid=8358 vsize=13986328 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8375/stat : 8375 (java) S 8358 8361 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97545129 14321999872 2527287 33554432000 4194304 4196468 140724180565536 139999992560480 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8376] ppid=8358 vsize=13986328 memory=28528 CPUtime=0.08 cores=0,2,4,6
/proc/8361/task/8376/stat : 8376 (java) S 8358 8361 3242 0 -1 1077944384 693 0 0 0 3 5 0 0 20 0 15 0 97545129 14321999872 2527287 33554432000 4194304 4196468 140724180565536 139999991507504 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
Current children cumulated CPU time: 240.1 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 10109148 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+173.11 s]
/proc/loadavg: 2.06 2.07 1.86 3/217 8458
/proc/meminfo: memFree=7943800/32770624 swapFree=67108860/67108860
[pid=8361] ppid=8358 vsize=13986328 memory=10520852 CPUtime=252.04 cores=0,2,4,6
/proc/8361/stat : 8361 (java) S 8358 8361 3242 0 -1 1077944320 190461 0 0 0 24538 666 0 0 20 0 15 0 97545123 14321999872 2630213 33554432000 4194304 4196468 140724180565536 140724180548080 140001086652151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
/proc/8361/statm: 3496582 2630213 3838 1 0 3484297 0
[pid=8361/tid=8363] ppid=8358 vsize=13986328 memory=10109148 CPUtime=129.47 cores=0,2,4,6
/proc/8361/task/8363/stat : 8363 (java) R 8358 8361 3242 0 -1 4202560 37956 0 0 0 12887 60 0 0 20 0 15 0 97545124 14321999872 2630213 33554432000 4194304 4196468 140724180565536 140001090890408 140000719117552 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8364] ppid=8358 vsize=13986328 memory=10109204 CPUtime=24.81 cores=0,2,4,6
/proc/8361/task/8364/stat : 8364 (java) S 8358 8361 3242 0 -1 1077944384 16792 0 0 0 2341 140 0 0 20 0 15 0 97545124 14321999872 2630213 33554432000 4194304 4196468 140724180565536 140001039272976 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8365] ppid=8358 vsize=13986328 memory=10520852 CPUtime=24.74 cores=0,2,4,6
/proc/8361/task/8365/stat : 8365 (java) S 8358 8361 3242 0 -1 1077944384 24931 0 0 0 2334 140 0 0 20 0 15 0 97545124 14321999872 2630213 33554432000 4194304 4196468 140724180565536 140001038220432 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8366] ppid=8358 vsize=13986328 memory=10520852 CPUtime=24.86 cores=0,2,4,6
/proc/8361/task/8366/stat : 8366 (java) S 8358 8361 3242 0 -1 1077944384 27320 0 0 0 2321 165 0 0 20 0 15 0 97545124 14321999872 2630213 33554432000 4194304 4196468 140724180565536 140001037167376 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8367] ppid=8358 vsize=13986328 memory=10109204 CPUtime=24.91 cores=0,2,4,6
/proc/8361/task/8367/stat : 8367 (java) S 8358 8361 3242 0 -1 1077944384 29791 0 0 0 2346 145 0 0 20 0 15 0 97545124 14321999872 2630213 33554432000 4194304 4196468 140724180565536 140000679357328 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8368] ppid=8358 vsize=13986328 memory=10109204 CPUtime=18.54 cores=0,2,4,6
/proc/8361/task/8368/stat : 8368 (java) S 8358 8361 3242 0 -1 1077944384 27071 0 0 0 1851 3 0 0 20 0 15 0 97545126 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999999928560 140001086663298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8369] ppid=8358 vsize=13986328 memory=10109204 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8369/stat : 8369 (java) S 8358 8361 3242 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 97545126 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999998874848 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8370] ppid=8358 vsize=13986328 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8370/stat : 8370 (java) S 8358 8361 3242 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 97545126 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999997821696 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8371] ppid=8358 vsize=13986328 memory=10109204 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8371/stat : 8371 (java) S 8358 8361 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97545129 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999996770256 140001086670747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8372] ppid=8358 vsize=13986328 memory=10109204 CPUtime=1.81 cores=0,2,4,6
/proc/8361/task/8372/stat : 8372 (java) S 8358 8361 3242 0 -1 1077944384 9153 0 0 0 179 2 0 0 20 0 15 0 97545129 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999995718384 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8373] ppid=8358 vsize=13986328 memory=2408 CPUtime=2.16 cores=0,2,4,6
/proc/8361/task/8373/stat : 8373 (java) S 8358 8361 3242 0 -1 1077944384 10754 0 0 0 214 2 0 0 20 0 15 0 97545129 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999994665840 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8374] ppid=8358 vsize=13986328 memory=1732 CPUtime=0.56 cores=0,2,4,6
/proc/8361/task/8374/stat : 8374 (java) S 8358 8361 3242 0 -1 1077944384 4556 0 0 0 55 1 0 0 20 0 15 0 97545129 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999993612784 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8375] ppid=8358 vsize=13986328 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8375/stat : 8375 (java) S 8358 8361 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97545129 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999992560480 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8376] ppid=8358 vsize=13986328 memory=10109204 CPUtime=0.09 cores=0,2,4,6
/proc/8361/task/8376/stat : 8376 (java) S 8358 8361 3242 0 -1 1077944384 716 0 0 0 3 6 0 0 20 0 15 0 97545129 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999991507504 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 10520852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+173.162 s]
# the end of solver process 8361 was just reported to runsolver
# cumulated CPU time of all completed processes: user=245.392 s, system=6.71305 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+173.11 s]
/proc/loadavg: 2.06 2.07 1.86 3/217 8458
/proc/meminfo: memFree=7943800/32770624 swapFree=67108860/67108860
[pid=8361] ppid=8358 vsize=13986328 memory=10520852 CPUtime=252.04 cores=0,2,4,6
/proc/8361/stat : 8361 (java) S 8358 8361 3242 0 -1 1077944320 190461 0 0 0 24538 666 0 0 20 0 15 0 97545123 14321999872 2630213 33554432000 4194304 4196468 140724180565536 140724180548080 140001086652151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
/proc/8361/statm: 3496582 2630213 3838 1 0 3484297 0
[pid=8361/tid=8363] ppid=8358 vsize=13986328 memory=10109148 CPUtime=129.47 cores=0,2,4,6
/proc/8361/task/8363/stat : 8363 (java) R 8358 8361 3242 0 -1 4202560 37956 0 0 0 12887 60 0 0 20 0 15 0 97545124 14321999872 2630213 33554432000 4194304 4196468 140724180565536 140001090890408 140000719117552 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8364] ppid=8358 vsize=13986328 memory=10109204 CPUtime=24.81 cores=0,2,4,6
/proc/8361/task/8364/stat : 8364 (java) S 8358 8361 3242 0 -1 1077944384 16792 0 0 0 2341 140 0 0 20 0 15 0 97545124 14321999872 2630213 33554432000 4194304 4196468 140724180565536 140001039272976 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8365] ppid=8358 vsize=13986328 memory=10520852 CPUtime=24.74 cores=0,2,4,6
/proc/8361/task/8365/stat : 8365 (java) S 8358 8361 3242 0 -1 1077944384 24931 0 0 0 2334 140 0 0 20 0 15 0 97545124 14321999872 2630213 33554432000 4194304 4196468 140724180565536 140001038220432 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8366] ppid=8358 vsize=13986328 memory=10520852 CPUtime=24.86 cores=0,2,4,6
/proc/8361/task/8366/stat : 8366 (java) S 8358 8361 3242 0 -1 1077944384 27320 0 0 0 2321 165 0 0 20 0 15 0 97545124 14321999872 2630213 33554432000 4194304 4196468 140724180565536 140001037167376 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8367] ppid=8358 vsize=13986328 memory=10109204 CPUtime=24.91 cores=0,2,4,6
/proc/8361/task/8367/stat : 8367 (java) S 8358 8361 3242 0 -1 1077944384 29791 0 0 0 2346 145 0 0 20 0 15 0 97545124 14321999872 2630213 33554432000 4194304 4196468 140724180565536 140000679357328 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8368] ppid=8358 vsize=13986328 memory=10109204 CPUtime=18.54 cores=0,2,4,6
/proc/8361/task/8368/stat : 8368 (java) S 8358 8361 3242 0 -1 1077944384 27071 0 0 0 1851 3 0 0 20 0 15 0 97545126 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999999928560 140001086663298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8369] ppid=8358 vsize=13986328 memory=10109204 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8369/stat : 8369 (java) S 8358 8361 3242 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 97545126 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999998874848 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8370] ppid=8358 vsize=13986328 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8370/stat : 8370 (java) S 8358 8361 3242 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 97545126 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999997821696 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8371] ppid=8358 vsize=13986328 memory=10109204 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8371/stat : 8371 (java) S 8358 8361 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97545129 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999996770256 140001086670747 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8372] ppid=8358 vsize=13986328 memory=10109204 CPUtime=1.81 cores=0,2,4,6
/proc/8361/task/8372/stat : 8372 (java) S 8358 8361 3242 0 -1 1077944384 9153 0 0 0 179 2 0 0 20 0 15 0 97545129 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999995718384 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8373] ppid=8358 vsize=13986328 memory=2408 CPUtime=2.16 cores=0,2,4,6
/proc/8361/task/8373/stat : 8373 (java) S 8358 8361 3242 0 -1 1077944384 10754 0 0 0 214 2 0 0 20 0 15 0 97545129 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999994665840 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8374] ppid=8358 vsize=13986328 memory=1732 CPUtime=0.56 cores=0,2,4,6
/proc/8361/task/8374/stat : 8374 (java) S 8358 8361 3242 0 -1 1077944384 4556 0 0 0 55 1 0 0 20 0 15 0 97545129 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999993612784 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8375] ppid=8358 vsize=13986328 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/8361/task/8375/stat : 8375 (java) S 8358 8361 3242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97545129 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999992560480 140001086662357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
[pid=8361/tid=8376] ppid=8358 vsize=13986328 memory=10109204 CPUtime=0.09 cores=0,2,4,6
/proc/8361/task/8376/stat : 8376 (java) S 8358 8361 3242 0 -1 1077944384 716 0 0 0 3 6 0 0 20 0 15 0 97545129 14321999872 2630213 33554432000 4194304 4196468 140724180565536 139999991507504 140001086663298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27820032 140724180567146 140724180567332 140724180567332 140724180570063 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 10520852 KiB
Child status: 143
Real time (s): 173.162
CPU time (s): 252.105
CPU user time (s): 245.392
CPU system time (s): 6.71305
CPU usage (%): 145.589
Max. virtual memory (cumulated for all children) (KiB): 13986328
Max. memory (cumulated for all children) (KiB): 10520852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.392
system time used= 6.71305
maximum resident set size= 10521368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191440
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8294
involuntary context switches= 1475
# summary of solver processes directly reported to runsolver:
# pid: 8361
# total CPU time (s): 252.105
# total CPU user time (s): 245.392
# total CPU system time (s): 6.71305
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.0369 second user time and 1.67734 second system time
The end