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 (12949 MiB free)
memory of node 1: 16384 MiB (15390 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273747-1502698746/watcher-4273747-1502698746 -o /tmp/evaluation-result-4273747-1502698746/solver-4273747-1502698746 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502652501-6259 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1255036 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273747-1502698746.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13023, runsolver pid=13020
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 1.49 1.42 1.36 3/205 13029
/proc/meminfo: memFree=29014508/32770624 swapFree=67108860/67108860
[pid=13023] ppid=13020 vsize=13358552 memory=15068 CPUtime=0.01 cores=1,3,5,7
/proc/13023/stat : 13023 (java) S 13020 13023 8289 0 -1 1077944320 3602 0 0 0 1 0 0 0 20 0 6 0 117689729 13679157248 3767 18446744073709551615 4194304 4196468 140729838934448 140729838916992 140421912219383 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
/proc/13023/statm: 3339638 3767 1913 1 0 3329135 0
[pid=13023/tid=13025] ppid=13020 vsize=13358552 memory=-6439968830534014599 CPUtime=0.01 cores=1,3,5,7
/proc/13023/task/13025/stat : 13025 (java) R 13020 13023 8289 0 -1 4202560 2314 0 0 0 1 0 0 0 20 0 6 0 117689738 13679157248 3767 18446744073709551615 4194304 4196468 140729838934448 140421916455504 140421895412134 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13026] ppid=13020 vsize=13358552 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13026/stat : 13026 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 117689739 13679157248 3767 18446744073709551615 4194304 4196468 140729838934448 140421877500176 140421912229589 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13027] ppid=13020 vsize=13358552 memory=140432519857792 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13027/stat : 13027 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 117689739 13679157248 3767 18446744073709551615 4194304 4196468 140729838934448 140421876447632 140421912229589 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13028] ppid=13020 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13028/stat : 13028 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 117689739 13679157248 3767 18446744073709551615 4194304 4196468 140729838934448 140421510728208 140421912229589 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13029] ppid=13020 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13029/stat : 13029 (java) S 13020 13023 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 117689739 13679157248 3767 18446744073709551615 4194304 4196468 140729838934448 140421509675664 140421912229589 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 15068 KiB
[startup+0.209974 s]*
/proc/loadavg: 1.49 1.42 1.36 3/214 13038
/proc/meminfo: memFree=29006284/32770624 swapFree=67108860/67108860
[pid=13023] ppid=13020 vsize=13975920 memory=30056 CPUtime=0.08 cores=1,3,5,7
/proc/13023/stat : 13023 (java) S 13020 13023 8289 0 -1 1077944320 6828 0 0 0 7 1 0 0 20 0 15 0 117689729 14311342080 7514 18446744073709551615 4194304 4196468 140729838934448 140729838916992 140421912219383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
/proc/13023/statm: 3493980 7514 3325 1 0 3482759 0
[pid=13023/tid=13025] ppid=13020 vsize=13975920 memory=7077796292425249400 CPUtime=0.06 cores=1,3,5,7
/proc/13023/task/13025/stat : 13025 (java) R 13020 13023 8289 0 -1 4202560 4926 0 0 0 5 1 0 0 20 0 15 0 117689738 14311342080 7514 18446744073709551615 4194304 4196468 140729838934448 140421916452416 140421898447058 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13026] ppid=13020 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13026/stat : 13026 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689739 14311342080 7514 18446744073709551615 4194304 4196468 140729838934448 140421877500176 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13027] ppid=13020 vsize=13975920 memory=140432519857792 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13027/stat : 13027 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689739 14311342080 7514 18446744073709551615 4194304 4196468 140729838934448 140421876447632 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13028] ppid=13020 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13028/stat : 13028 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689739 14311342080 7514 18446744073709551615 4194304 4196468 140729838934448 140421510728208 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13029] ppid=13020 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13029/stat : 13029 (java) S 13020 13023 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117689739 14311342080 7514 18446744073709551615 4194304 4196468 140729838934448 140421509675664 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13030] ppid=13020 vsize=13975920 memory=140432519857792 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13030/stat : 13030 (java) S 13020 13023 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117689740 14311342080 7514 18446744073709551615 4194304 4196468 140729838934448 140421256645104 140421912230530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13031] ppid=13020 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13031/stat : 13031 (java) S 13020 13023 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117689741 14311342080 7514 18446744073709551615 4194304 4196468 140729838934448 140421255591328 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13032] ppid=13020 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13032/stat : 13032 (java) S 13020 13023 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117689741 14311342080 7514 18446744073709551615 4194304 4196468 140729838934448 140421254538736 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13033] ppid=13020 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13033/stat : 13033 (java) S 13020 13023 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689743 14311342080 7514 18446744073709551615 4194304 4196468 140729838934448 140421253487312 140421912237979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13034] ppid=13020 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13034/stat : 13034 (java) S 13020 13023 8289 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 117689743 14311342080 7514 18446744073709551615 4194304 4196468 140729838934448 140421252433904 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13035] ppid=13020 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13035/stat : 13035 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689743 14311342080 7514 18446744073709551615 4194304 4196468 140729838934448 140421251381360 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13036] ppid=13020 vsize=13975920 memory=140432519857792 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13036/stat : 13036 (java) S 13020 13023 8289 0 -1 1077944384 237 0 0 0 0 0 0 0 20 0 15 0 117689743 14311342080 7514 18446744073709551615 4194304 4196468 140729838934448 140421250328816 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13037] ppid=13020 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13037/stat : 13037 (java) S 13020 13023 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689743 14311342080 7514 18446744073709551615 4194304 4196468 140729838934448 140421249276512 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13038] ppid=13020 vsize=13975920 memory=140432519857792 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13038/stat : 13038 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689749 14311342080 7514 18446744073709551615 4194304 4196468 140729838934448 140421248224048 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30056 KiB
[startup+0.314457 s]*
/proc/loadavg: 1.49 1.42 1.36 4/214 13038
/proc/meminfo: memFree=28993728/32770624 swapFree=67108860/67108860
[pid=13023] ppid=13020 vsize=13975920 memory=39884 CPUtime=0.24 cores=1,3,5,7
/proc/13023/stat : 13023 (java) S 13020 13023 8289 0 -1 1077944320 10206 0 0 0 21 3 0 0 20 0 15 0 117689729 14311342080 9971 18446744073709551615 4194304 4196468 140729838934448 140729838916992 140421912219383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
/proc/13023/statm: 3493980 9971 3555 1 0 3482759 0
[pid=13023/tid=13025] ppid=13020 vsize=13975920 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/13023/task/13025/stat : 13025 (java) R 13020 13023 8289 0 -1 4202560 7931 0 0 0 14 2 0 0 20 0 15 0 117689738 14311342080 9971 18446744073709551615 4194304 4196468 140729838934448 140421916441648 140421912241309 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13026] ppid=13020 vsize=13975920 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13026/stat : 13026 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689739 14311342080 9971 18446744073709551615 4194304 4196468 140729838934448 140421877500176 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13027] ppid=13020 vsize=13975920 memory=140432519864785 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13027/stat : 13027 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689739 14311342080 9971 18446744073709551615 4194304 4196468 140729838934448 140421876447632 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13028] ppid=13020 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13028/stat : 13028 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689739 14311342080 9971 18446744073709551615 4194304 4196468 140729838934448 140421510728208 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13029] ppid=13020 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13029/stat : 13029 (java) S 13020 13023 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117689739 14311342080 9971 18446744073709551615 4194304 4196468 140729838934448 140421509675664 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13030] ppid=13020 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13030/stat : 13030 (java) S 13020 13023 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117689740 14311342080 9971 18446744073709551615 4194304 4196468 140729838934448 140421256645104 140421912230530 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13031] ppid=13020 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13031/stat : 13031 (java) S 13020 13023 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117689741 14311342080 9971 18446744073709551615 4194304 4196468 140729838934448 140421255591328 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13032] ppid=13020 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13032/stat : 13032 (java) S 13020 13023 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117689741 14311342080 9971 18446744073709551615 4194304 4196468 140729838934448 140421254538736 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13033] ppid=13020 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13033/stat : 13033 (java) S 13020 13023 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689743 14311342080 9971 18446744073709551615 4194304 4196468 140729838934448 140421253487312 140421912237979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13034] ppid=13020 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13023/task/13034/stat : 13034 (java) S 13020 13023 8289 0 -1 1077944384 474 0 0 0 1 0 0 0 20 0 15 0 117689743 14311342080 9971 18446744073709551615 4194304 4196468 140729838934448 140421252433904 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13035] ppid=13020 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/13023/task/13035/stat : 13035 (java) S 13020 13023 8289 0 -1 1077944384 30 0 0 0 1 0 0 0 20 0 15 0 117689743 14311342080 9971 18446744073709551615 4194304 4196468 140729838934448 140421251381360 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13036] ppid=13020 vsize=13975920 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/13023/task/13036/stat : 13036 (java) R 13020 13023 8289 0 -1 4202560 392 0 0 0 4 0 0 0 20 0 15 0 117689743 14311342080 9971 18446744073709551615 4194304 4196468 140729838934448 140421250328816 140421904456510 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13037] ppid=13020 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13037/stat : 13037 (java) S 13020 13023 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689743 14311342080 9971 18446744073709551615 4194304 4196468 140729838934448 140421249276512 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13038] ppid=13020 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13038/stat : 13038 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689749 14311342080 9971 18446744073709551615 4194304 4196468 140729838934448 140421248224048 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39884 KiB
[startup+0.701453 s]
/proc/loadavg: 1.49 1.42 1.36 4/214 13038
/proc/meminfo: memFree=28980556/32770624 swapFree=67108860/67108860
[pid=13023] ppid=13020 vsize=13977988 memory=68132 CPUtime=1 cores=1,3,5,7
/proc/13023/stat : 13023 (java) S 13020 13023 8289 0 -1 1077944320 13778 0 0 0 95 5 0 0 20 0 15 0 117689729 14313459712 17033 18446744073709551615 4194304 4196468 140729838934448 140729838916992 140421912219383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
/proc/13023/statm: 3494497 17033 3717 1 0 3483271 0
[pid=13023/tid=13025] ppid=13020 vsize=13977988 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/13023/task/13025/stat : 13025 (java) R 13020 13023 8289 0 -1 4202560 10389 0 0 0 50 4 0 0 20 0 15 0 117689738 14313459712 17033 18446744073709551615 4194304 4196468 140729838934448 140421916454816 140421552368339 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13026] ppid=13020 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13026/stat : 13026 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689739 14313459712 17033 18446744073709551615 4194304 4196468 140729838934448 140421877500176 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13027] ppid=13020 vsize=13977988 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13027/stat : 13027 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689739 14313459712 17033 18446744073709551615 4194304 4196468 140729838934448 140421876447632 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13028] ppid=13020 vsize=13977988 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13028/stat : 13028 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689739 14313459712 17033 18446744073709551615 4194304 4196468 140729838934448 140421510728208 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13029] ppid=13020 vsize=13977988 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13029/stat : 13029 (java) S 13020 13023 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117689739 14313459712 17033 18446744073709551615 4194304 4196468 140729838934448 140421509675664 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13030] ppid=13020 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13030/stat : 13030 (java) S 13020 13023 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117689740 14313459712 17033 18446744073709551615 4194304 4196468 140729838934448 140421256645104 140421912230530 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13031] ppid=13020 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13031/stat : 13031 (java) S 13020 13023 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117689741 14313459712 17033 18446744073709551615 4194304 4196468 140729838934448 140421255591328 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13032] ppid=13020 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13032/stat : 13032 (java) S 13020 13023 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117689741 14313459712 17033 18446744073709551615 4194304 4196468 140729838934448 140421254538736 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13033] ppid=13020 vsize=13977988 memory=19265 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13033/stat : 13033 (java) S 13020 13023 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689743 14313459712 17033 18446744073709551615 4194304 4196468 140729838934448 140421253487312 140421912237979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13034] ppid=13020 vsize=13977988 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/13023/task/13034/stat : 13034 (java) S 13020 13023 8289 0 -1 1077944384 783 0 0 0 10 0 0 0 20 0 15 0 117689743 14313459712 17033 18446744073709551615 4194304 4196468 140729838934448 140421252433904 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13035] ppid=13020 vsize=13977988 memory=7524860340579717849 CPUtime=0.12 cores=1,3,5,7
/proc/13023/task/13035/stat : 13035 (java) S 13020 13023 8289 0 -1 1077944384 440 0 0 0 12 0 0 0 20 0 15 0 117689743 14313459712 17033 18446744073709551615 4194304 4196468 140729838934448 140421251381360 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13036] ppid=13020 vsize=13977988 memory=6944656592387989600 CPUtime=0.21 cores=1,3,5,7
/proc/13023/task/13036/stat : 13036 (java) R 13020 13023 8289 0 -1 4202560 786 0 0 0 21 0 0 0 20 0 15 0 117689743 14313459712 17033 18446744073709551615 4194304 4196468 140729838934448 140421250325752 140421891165040 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13037] ppid=13020 vsize=13977988 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13037/stat : 13037 (java) S 13020 13023 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689743 14313459712 17033 18446744073709551615 4194304 4196468 140729838934448 140421249276512 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13038] ppid=13020 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13038/stat : 13038 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689749 14313459712 17033 18446744073709551615 4194304 4196468 140729838934448 140421248224048 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68132 KiB
[startup+1.50145 s]
/proc/loadavg: 1.49 1.42 1.36 7/214 13038
/proc/meminfo: memFree=28925024/32770624 swapFree=67108860/67108860
[pid=13023] ppid=13020 vsize=13982084 memory=170772 CPUtime=3.43 cores=1,3,5,7
/proc/13023/stat : 13023 (java) S 13020 13023 8289 0 -1 1077944320 27837 0 0 0 333 10 0 0 20 0 15 0 117689729 14317654016 42693 18446744073709551615 4194304 4196468 140729838934448 140729838916992 140421912219383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
/proc/13023/statm: 3495521 42693 3762 1 0 3484295 0
[pid=13023/tid=13025] ppid=13020 vsize=13982084 memory=7594874852644175972 CPUtime=1.33 cores=1,3,5,7
/proc/13023/task/13025/stat : 13025 (java) R 13020 13023 8289 0 -1 4202560 15352 0 0 0 126 7 0 0 20 0 15 0 117689738 14317654016 42693 18446744073709551615 4194304 4196468 140729838934448 140421916445160 140421891759525 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13026] ppid=13020 vsize=13982084 memory=7594874852644175972 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13026/stat : 13026 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689739 14317654016 42693 18446744073709551615 4194304 4196468 140729838934448 140421877500176 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13027] ppid=13020 vsize=13982084 memory=280864823171072 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13027/stat : 13027 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689739 14317654016 42693 18446744073709551615 4194304 4196468 140729838934448 140421876447632 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13028] ppid=13020 vsize=13982084 memory=7883924343500662628 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13028/stat : 13028 (java) S 13020 13023 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117689739 14317654016 42693 18446744073709551615 4194304 4196468 140729838934448 140421510728208 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13029] ppid=13020 vsize=13982084 memory=4639924115538006630 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13029/stat : 13029 (java) S 13020 13023 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117689739 14317654016 42693 18446744073709551615 4194304 4196468 140729838934448 140421509675664 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13030] ppid=13020 vsize=13982084 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13030/stat : 13030 (java) S 13020 13023 8289 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 15 0 117689740 14317654016 42693 18446744073709551615 4194304 4196468 140729838934448 140421256645104 140421912230530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13031] ppid=13020 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13031/stat : 13031 (java) S 13020 13023 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117689741 14317654016 42693 18446744073709551615 4194304 4196468 140729838934448 140421255591328 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13032] ppid=13020 vsize=13982084 memory=140432411696192 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13032/stat : 13032 (java) S 13020 13023 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117689741 14317654016 42693 18446744073709551615 4194304 4196468 140729838934448 140421254538736 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13033] ppid=13020 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13033/stat : 13033 (java) S 13020 13023 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689743 14317654016 42693 18446744073709551615 4194304 4196468 140729838934448 140421253487312 140421912237979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13034] ppid=13020 vsize=13982084 memory=-8774313645642428999 CPUtime=0.64 cores=1,3,5,7
/proc/13023/task/13034/stat : 13034 (java) S 13020 13023 8289 0 -1 1077944384 2828 0 0 0 63 1 0 0 20 0 15 0 117689743 14317654016 42693 18446744073709551615 4194304 4196468 140729838934448 140421252433904 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13035] ppid=13020 vsize=13982084 memory=0 CPUtime=0.75 cores=1,3,5,7
/proc/13023/task/13035/stat : 13035 (java) R 13020 13023 8289 0 -1 4202560 2843 0 0 0 75 0 0 0 20 0 15 0 117689743 14317654016 42693 18446744073709551615 4194304 4196468 140729838934448 140421251362376 140421890635591 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13036] ppid=13020 vsize=13982084 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/13023/task/13036/stat : 13036 (java) R 13020 13023 8289 0 -1 4202560 5047 0 0 0 66 1 0 0 20 0 15 0 117689743 14317654016 42693 18446744073709551615 4194304 4196468 140729838934448 140421250325688 140421890924079 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13037] ppid=13020 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13037/stat : 13037 (java) S 13020 13023 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689743 14317654016 42693 18446744073709551615 4194304 4196468 140729838934448 140421249276512 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13038] ppid=13020 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13038/stat : 13038 (java) S 13020 13023 8289 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117689749 14317654016 42693 18446744073709551615 4194304 4196468 140729838934448 140421248224048 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
Current children cumulated CPU time: 3.43 s
Current children cumulated vsize: 13982084 KiB
################
# More data... #
################
/proc/13023/task/13025/stat : 13025 (java) R 13020 13023 8289 0 -1 4202560 108494 0 0 0 237022 75 0 0 20 0 15 0 117689738 14317654016 834854 18446744073709551615 4194304 4196468 140729838934448 140421916458000 140421562410344 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13026] ppid=13020 vsize=13982084 memory=3339416 CPUtime=6.95 cores=1,3,5,7
/proc/13023/task/13026/stat : 13026 (java) S 13020 13023 8289 0 -1 1077944384 29392 0 0 0 663 32 0 0 20 0 15 0 117689739 14317654016 834854 18446744073709551615 4194304 4196468 140729838934448 140421877500176 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13027] ppid=13020 vsize=13982084 memory=3339416 CPUtime=7 cores=1,3,5,7
/proc/13023/task/13027/stat : 13027 (java) S 13020 13023 8289 0 -1 1077944384 36939 0 0 0 664 36 0 0 20 0 15 0 117689739 14317654016 834854 18446744073709551615 4194304 4196468 140729838934448 140421876447632 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13028] ppid=13020 vsize=13982084 memory=3339416 CPUtime=6.95 cores=1,3,5,7
/proc/13023/task/13028/stat : 13028 (java) S 13020 13023 8289 0 -1 1077944384 37408 0 0 0 660 35 0 0 20 0 15 0 117689739 14317654016 834854 18446744073709551615 4194304 4196468 140729838934448 140421510728208 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13029] ppid=13020 vsize=13982084 memory=3339416 CPUtime=6.96 cores=1,3,5,7
/proc/13023/task/13029/stat : 13029 (java) S 13020 13023 8289 0 -1 1077944384 32749 0 0 0 661 35 0 0 20 0 15 0 117689739 14317654016 834854 18446744073709551615 4194304 4196468 140729838934448 140421509675664 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13030] ppid=13020 vsize=13982084 memory=3339416 CPUtime=3.38 cores=1,3,5,7
/proc/13023/task/13030/stat : 13030 (java) S 13020 13023 8289 0 -1 1077944384 29729 0 0 0 310 28 0 0 20 0 15 0 117689740 14317654016 834854 18446744073709551615 4194304 4196468 140729838934448 140421256645104 140421912230530 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13031] ppid=13020 vsize=13982084 memory=3339416 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13031/stat : 13031 (java) S 13020 13023 8289 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 117689741 14317654016 834854 18446744073709551615 4194304 4196468 140729838934448 140421255591392 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13032] ppid=13020 vsize=13982084 memory=3339416 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13032/stat : 13032 (java) S 13020 13023 8289 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 117689741 14317654016 834854 18446744073709551615 4194304 4196468 140729838934448 140421254538752 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13033] ppid=13020 vsize=13982084 memory=1152 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13033/stat : 13033 (java) S 13020 13023 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689743 14317654016 834854 18446744073709551615 4194304 4196468 140729838934448 140421253487312 140421912237979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13034] ppid=13020 vsize=13982084 memory=11144 CPUtime=1.97 cores=1,3,5,7
/proc/13023/task/13034/stat : 13034 (java) S 13020 13023 8289 0 -1 1077944384 5863 0 0 0 195 2 0 0 20 0 15 0 117689743 14317654016 834854 18446744073709551615 4194304 4196468 140729838934448 140421252433904 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13035] ppid=13020 vsize=13982084 memory=5788 CPUtime=2.15 cores=1,3,5,7
/proc/13023/task/13035/stat : 13035 (java) S 13020 13023 8289 0 -1 1077944384 5638 0 0 0 214 1 0 0 20 0 15 0 117689743 14317654016 834854 18446744073709551615 4194304 4196468 140729838934448 140421251381360 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13036] ppid=13020 vsize=13982084 memory=57388 CPUtime=0.92 cores=1,3,5,7
/proc/13023/task/13036/stat : 13036 (java) S 13020 13023 8289 0 -1 1077944384 7347 0 0 0 90 2 0 0 20 0 15 0 117689743 14317654016 834854 18446744073709551615 4194304 4196468 140729838934448 140421250328816 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13037] ppid=13020 vsize=13982084 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13037/stat : 13037 (java) S 13020 13023 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689743 14317654016 834854 18446744073709551615 4194304 4196468 140729838934448 140421249276512 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13038] ppid=13020 vsize=13982084 memory=4168 CPUtime=1.18 cores=1,3,5,7
/proc/13023/task/13038/stat : 13038 (java) S 13020 13023 8289 0 -1 1077944384 2244 0 0 0 52 66 0 0 20 0 15 0 117689749 14317654016 834854 18446744073709551615 4194304 4196468 140729838934448 140421248224048 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
Current children cumulated CPU time: 2408.53 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3339416 KiB
[startup+2442.3 s]
/proc/loadavg: 1.32 1.36 1.41 3/213 13344
/proc/meminfo: memFree=27767308/32770624 swapFree=67108860/67108860
[pid=13023] ppid=13020 vsize=13982084 memory=3343512 CPUtime=2469.23 cores=1,3,5,7
/proc/13023/stat : 13023 (java) S 13020 13023 8289 0 -1 1077944320 303426 0 0 0 246640 283 0 0 20 0 15 0 117689729 14317654016 835878 18446744073709551615 4194304 4196468 140729838934448 140729838916992 140421912219383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
/proc/13023/statm: 3495521 835878 3813 1 0 3484295 0
[pid=13023/tid=13025] ppid=13020 vsize=13982084 memory=3341464 CPUtime=2430.59 cores=1,3,5,7
/proc/13023/task/13025/stat : 13025 (java) R 13020 13023 8289 0 -1 4202560 109967 0 0 0 242984 75 0 0 20 0 15 0 117689738 14317654016 835878 18446744073709551615 4194304 4196468 140729838934448 140421916458000 140421562970798 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13026] ppid=13020 vsize=13982084 memory=3341464 CPUtime=7.18 cores=1,3,5,7
/proc/13023/task/13026/stat : 13026 (java) S 13020 13023 8289 0 -1 1077944384 30026 0 0 0 685 33 0 0 20 0 15 0 117689739 14317654016 835878 18446744073709551615 4194304 4196468 140729838934448 140421877500176 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13027] ppid=13020 vsize=13982084 memory=714 CPUtime=7.23 cores=1,3,5,7
/proc/13023/task/13027/stat : 13027 (java) S 13020 13023 8289 0 -1 1077944384 38505 0 0 0 687 36 0 0 20 0 15 0 117689739 14317654016 835878 18446744073709551615 4194304 4196468 140729838934448 140421876447632 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13028] ppid=13020 vsize=13982084 memory=3341464 CPUtime=7.19 cores=1,3,5,7
/proc/13023/task/13028/stat : 13028 (java) S 13020 13023 8289 0 -1 1077944384 37874 0 0 0 683 36 0 0 20 0 15 0 117689739 14317654016 835878 18446744073709551615 4194304 4196468 140729838934448 140421510728208 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13029] ppid=13020 vsize=13982084 memory=3341464 CPUtime=7.19 cores=1,3,5,7
/proc/13023/task/13029/stat : 13029 (java) S 13020 13023 8289 0 -1 1077944384 33968 0 0 0 683 36 0 0 20 0 15 0 117689739 14317654016 835878 18446744073709551615 4194304 4196468 140729838934448 140421509675664 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13030] ppid=13020 vsize=13982084 memory=3343512 CPUtime=3.49 cores=1,3,5,7
/proc/13023/task/13030/stat : 13030 (java) S 13020 13023 8289 0 -1 1077944384 30495 0 0 0 320 29 0 0 20 0 15 0 117689740 14317654016 835878 18446744073709551615 4194304 4196468 140729838934448 140421256645104 140421912230530 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13031] ppid=13020 vsize=13982084 memory=3343512 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13031/stat : 13031 (java) S 13020 13023 8289 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 117689741 14317654016 835878 18446744073709551615 4194304 4196468 140729838934448 140421255591392 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13032] ppid=13020 vsize=13982084 memory=3343512 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13032/stat : 13032 (java) S 13020 13023 8289 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 117689741 14317654016 835878 18446744073709551615 4194304 4196468 140729838934448 140421254538752 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13033] ppid=13020 vsize=13982084 memory=3343512 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13033/stat : 13033 (java) S 13020 13023 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689743 14317654016 835878 18446744073709551615 4194304 4196468 140729838934448 140421253487312 140421912237979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13034] ppid=13020 vsize=13982084 memory=3343512 CPUtime=1.97 cores=1,3,5,7
/proc/13023/task/13034/stat : 13034 (java) S 13020 13023 8289 0 -1 1077944384 5875 0 0 0 195 2 0 0 20 0 15 0 117689743 14317654016 835878 18446744073709551615 4194304 4196468 140729838934448 140421252433904 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13035] ppid=13020 vsize=13982084 memory=3341464 CPUtime=2.15 cores=1,3,5,7
/proc/13023/task/13035/stat : 13035 (java) S 13020 13023 8289 0 -1 1077944384 5645 0 0 0 214 1 0 0 20 0 15 0 117689743 14317654016 835878 18446744073709551615 4194304 4196468 140729838934448 140421251381360 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13036] ppid=13020 vsize=13982084 memory=4168 CPUtime=0.92 cores=1,3,5,7
/proc/13023/task/13036/stat : 13036 (java) S 13020 13023 8289 0 -1 1077944384 7354 0 0 0 90 2 0 0 20 0 15 0 117689743 14317654016 835878 18446744073709551615 4194304 4196468 140729838934448 140421250328816 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13037] ppid=13020 vsize=13982084 memory=3343512 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13037/stat : 13037 (java) S 13020 13023 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689743 14317654016 835878 18446744073709551615 4194304 4196468 140729838934448 140421249276512 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13038] ppid=13020 vsize=13982084 memory=4612 CPUtime=1.21 cores=1,3,5,7
/proc/13023/task/13038/stat : 13038 (java) S 13020 13023 8289 0 -1 1077944384 2290 0 0 0 53 68 0 0 20 0 15 0 117689749 14317654016 835878 18446744073709551615 4194304 4196468 140729838934448 140421248224048 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
Current children cumulated CPU time: 2469.23 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3343512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2492.5 s]
/proc/loadavg: 1.30 1.35 1.40 3/213 13346
/proc/meminfo: memFree=27762820/32770624 swapFree=67108860/67108860
[pid=13023] ppid=13020 vsize=13982084 memory=3345560 CPUtime=2520.02 cores=1,3,5,7
/proc/13023/stat : 13023 (java) S 13020 13023 8289 0 -1 1077944320 309466 0 0 0 251713 289 0 0 20 0 15 0 117689729 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140729838916992 140421912219383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
/proc/13023/statm: 3495521 836390 3813 1 0 3484295 0
[pid=13023/tid=13025] ppid=13020 vsize=13982084 memory=3345560 CPUtime=2480.47 cores=1,3,5,7
/proc/13023/task/13025/stat : 13025 (java) R 13020 13023 8289 0 -1 4202560 111270 0 0 0 247971 76 0 0 20 0 15 0 117689738 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421916457712 140421562442889 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13026] ppid=13020 vsize=13982084 memory=3345560 CPUtime=7.38 cores=1,3,5,7
/proc/13023/task/13026/stat : 13026 (java) S 13020 13023 8289 0 -1 1077944384 31053 0 0 0 705 33 0 0 20 0 15 0 117689739 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421877500176 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13027] ppid=13020 vsize=13982084 memory=0 CPUtime=7.42 cores=1,3,5,7
/proc/13023/task/13027/stat : 13027 (java) S 13020 13023 8289 0 -1 1077944384 39593 0 0 0 705 37 0 0 20 0 15 0 117689739 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421876447632 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13028] ppid=13020 vsize=13982084 memory=3345560 CPUtime=7.39 cores=1,3,5,7
/proc/13023/task/13028/stat : 13028 (java) S 13020 13023 8289 0 -1 1077944384 38561 0 0 0 702 37 0 0 20 0 15 0 117689739 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421510728208 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13029] ppid=13020 vsize=13982084 memory=3345560 CPUtime=7.4 cores=1,3,5,7
/proc/13023/task/13029/stat : 13029 (java) S 13020 13023 8289 0 -1 1077944384 35047 0 0 0 703 37 0 0 20 0 15 0 117689739 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421509675664 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13030] ppid=13020 vsize=13982084 memory=3345560 CPUtime=3.58 cores=1,3,5,7
/proc/13023/task/13030/stat : 13030 (java) S 13020 13023 8289 0 -1 1077944384 31273 0 0 0 328 30 0 0 20 0 15 0 117689740 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421256645104 140421912230530 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13031] ppid=13020 vsize=13982084 memory=3345560 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13031/stat : 13031 (java) S 13020 13023 8289 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 117689741 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421255591392 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13032] ppid=13020 vsize=13982084 memory=3345560 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13032/stat : 13032 (java) S 13020 13023 8289 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 117689741 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421254538752 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13033] ppid=13020 vsize=13982084 memory=3345560 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13033/stat : 13033 (java) S 13020 13023 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689743 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421253487312 140421912237979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13034] ppid=13020 vsize=13982084 memory=3345560 CPUtime=1.97 cores=1,3,5,7
/proc/13023/task/13034/stat : 13034 (java) S 13020 13023 8289 0 -1 1077944384 5881 0 0 0 195 2 0 0 20 0 15 0 117689743 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421252433904 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13035] ppid=13020 vsize=13982084 memory=3345560 CPUtime=2.15 cores=1,3,5,7
/proc/13023/task/13035/stat : 13035 (java) S 13020 13023 8289 0 -1 1077944384 5651 0 0 0 214 1 0 0 20 0 15 0 117689743 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421251381360 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13036] ppid=13020 vsize=13982084 memory=3345560 CPUtime=0.92 cores=1,3,5,7
/proc/13023/task/13036/stat : 13036 (java) S 13020 13023 8289 0 -1 1077944384 7360 0 0 0 90 2 0 0 20 0 15 0 117689743 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421250328816 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13037] ppid=13020 vsize=13982084 memory=3345560 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13037/stat : 13037 (java) S 13020 13023 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689743 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421249276512 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13038] ppid=13020 vsize=13982084 memory=3345560 CPUtime=1.24 cores=1,3,5,7
/proc/13023/task/13038/stat : 13038 (java) S 13020 13023 8289 0 -1 1077944384 2350 0 0 0 55 69 0 0 20 0 15 0 117689749 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421248224048 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3345560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2492.55 s]
# the end of solver process 13023 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.18 s, system=2.90939 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2492.5 s]
/proc/loadavg: 1.30 1.35 1.40 3/213 13346
/proc/meminfo: memFree=27762820/32770624 swapFree=67108860/67108860
[pid=13023] ppid=13020 vsize=13982084 memory=3345560 CPUtime=2520.02 cores=1,3,5,7
/proc/13023/stat : 13023 (java) S 13020 13023 8289 0 -1 1077944320 309466 0 0 0 251713 289 0 0 20 0 15 0 117689729 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140729838916992 140421912219383 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 8 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
/proc/13023/statm: 3495521 836390 3813 1 0 3484295 0
[pid=13023/tid=13025] ppid=13020 vsize=13982084 memory=3345560 CPUtime=2480.47 cores=1,3,5,7
/proc/13023/task/13025/stat : 13025 (java) R 13020 13023 8289 0 -1 4202560 111270 0 0 0 247971 76 0 0 20 0 15 0 117689738 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421916457712 140421562442889 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13026] ppid=13020 vsize=13982084 memory=3345560 CPUtime=7.38 cores=1,3,5,7
/proc/13023/task/13026/stat : 13026 (java) S 13020 13023 8289 0 -1 1077944384 31053 0 0 0 705 33 0 0 20 0 15 0 117689739 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421877500176 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13027] ppid=13020 vsize=13982084 memory=0 CPUtime=7.42 cores=1,3,5,7
/proc/13023/task/13027/stat : 13027 (java) S 13020 13023 8289 0 -1 1077944384 39593 0 0 0 705 37 0 0 20 0 15 0 117689739 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421876447632 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13028] ppid=13020 vsize=13982084 memory=3345560 CPUtime=7.39 cores=1,3,5,7
/proc/13023/task/13028/stat : 13028 (java) S 13020 13023 8289 0 -1 1077944384 38561 0 0 0 702 37 0 0 20 0 15 0 117689739 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421510728208 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13029] ppid=13020 vsize=13982084 memory=3345560 CPUtime=7.4 cores=1,3,5,7
/proc/13023/task/13029/stat : 13029 (java) S 13020 13023 8289 0 -1 1077944384 35047 0 0 0 703 37 0 0 20 0 15 0 117689739 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421509675664 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13030] ppid=13020 vsize=13982084 memory=3345560 CPUtime=3.58 cores=1,3,5,7
/proc/13023/task/13030/stat : 13030 (java) S 13020 13023 8289 0 -1 1077944384 31273 0 0 0 328 30 0 0 20 0 15 0 117689740 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421256645104 140421912230530 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13031] ppid=13020 vsize=13982084 memory=3345560 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13031/stat : 13031 (java) S 13020 13023 8289 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 117689741 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421255591392 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13032] ppid=13020 vsize=13982084 memory=3345560 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13032/stat : 13032 (java) S 13020 13023 8289 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 117689741 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421254538752 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13033] ppid=13020 vsize=13982084 memory=3345560 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13033/stat : 13033 (java) S 13020 13023 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689743 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421253487312 140421912237979 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13034] ppid=13020 vsize=13982084 memory=3345560 CPUtime=1.97 cores=1,3,5,7
/proc/13023/task/13034/stat : 13034 (java) S 13020 13023 8289 0 -1 1077944384 5881 0 0 0 195 2 0 0 20 0 15 0 117689743 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421252433904 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13035] ppid=13020 vsize=13982084 memory=3345560 CPUtime=2.15 cores=1,3,5,7
/proc/13023/task/13035/stat : 13035 (java) S 13020 13023 8289 0 -1 1077944384 5651 0 0 0 214 1 0 0 20 0 15 0 117689743 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421251381360 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13036] ppid=13020 vsize=13982084 memory=3345560 CPUtime=0.92 cores=1,3,5,7
/proc/13023/task/13036/stat : 13036 (java) S 13020 13023 8289 0 -1 1077944384 7360 0 0 0 90 2 0 0 20 0 15 0 117689743 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421250328816 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13037] ppid=13020 vsize=13982084 memory=3345560 CPUtime=0 cores=1,3,5,7
/proc/13023/task/13037/stat : 13037 (java) S 13020 13023 8289 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117689743 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421249276512 140421912229589 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
[pid=13023/tid=13038] ppid=13020 vsize=13982084 memory=3345560 CPUtime=1.24 cores=1,3,5,7
/proc/13023/task/13038/stat : 13038 (java) S 13020 13023 8289 0 -1 1077944384 2350 0 0 0 55 69 0 0 20 0 15 0 117689749 14317654016 836390 18446744073709551615 4194304 4196468 140729838934448 140421248224048 140421912230530 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17764352 140729838940529 140729838940713 140729838940713 140729838944207 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3345560 KiB
Child status: 143
Real time (s): 2492.55
CPU time (s): 2520.09
CPU user time (s): 2517.18
CPU system time (s): 2.90939
CPU usage (%): 101.105
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3837836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.18
system time used= 2.90939
maximum resident set size= 3839740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 311598
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 152563
involuntary context switches= 4589
# summary of solver processes directly reported to runsolver:
# pid: 13023
# total CPU time (s): 2520.09
# total CPU user time (s): 2517.18
# total CPU system time (s): 2.90939
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7976 second user time and 23.9883 second system time
The end