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 (14101 MiB free)
  memory of node 1: 16384 MiB (15630 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394548-1568438320/watcher-4394548-1568438320 -o /tmp/evaluation-result-4394548-1568438320/solver-4394548-1568438320 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568428877-7245 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2004176185 HOME/instance-4394548-1568438320.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=10109, runsolver pid=10106

[startup+0.100148 s]*
/proc/loadavg: 1.00 1.35 3.23 2/209 10130
/proc/meminfo: memFree=30431032/32770624 swapFree=66932136/67108860
[pid=10109] ppid=10106 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10109/stat : 10109 (xcsp3-exec) S 10106 10109 7218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420100016 115843072 363 33554432000 4194304 5098028 140730965861152 140730965859256 139701898281596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9166848 140730965869429 140730965869673 140730965869673 140730965872586 0
/proc/10109/statm: 28282 363 304 221 0 87 0
[pid=10111] ppid=10109 vsize=28227388 memory=29000 CPUtime=0.12 cores=0-7
/proc/10111/stat : 10111 (java) S 10109 10109 7218 0 -1 1077944320 5740 0 0 0 11 1 0 0 20 0 20 0 420100016 28904845312 7250 33554432000 4194304 4196468 140737476675248 140737476657792 139904838282999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
/proc/10111/statm: 7056847 7250 3123 1 0 7019032 0
[pid=10111/tid=10112] ppid=10109 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/10111/task/10112/stat : 10112 (java) R 10109 10109 7218 0 -1 4202560 3675 0 0 0 8 0 0 0 20 0 20 0 420100016 28904845312 7250 33554432000 4194304 4196468 140737476675248 139904842518144 139904838304925 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10113] ppid=10109 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10111/task/10113/stat : 10113 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420100017 28904845312 7250 33554432000 4194304 4196468 140737476675248 139904803563792 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10114] ppid=10109 vsize=28227388 memory=139753010701952 CPUtime=0 cores=0-7
/proc/10111/task/10114/stat : 10114 (java) S 10109 10109 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420100017 28904845312 7250 33554432000 4194304 4196468 140737476675248 139904388213136 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10115] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10115/stat : 10115 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420100017 28904845312 7250 33554432000 4194304 4196468 140737476675248 139904387160592 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10116] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10116/stat : 10116 (java) S 10109 10109 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420100017 28904845312 7250 33554432000 4194304 4196468 140737476675248 139904386108048 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10117] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10117/stat : 10117 (java) S 10109 10109 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420100017 28904845312 7250 33554432000 4194304 4196468 140737476675248 139904385055504 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10118] ppid=10109 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10111/task/10118/stat : 10118 (java) S 10109 10109 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420100017 28904845312 7250 33554432000 4194304 4196468 140737476675248 139904384002960 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10119] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10119/stat : 10119 (java) S 10109 10109 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420100017 28904845312 7250 33554432000 4194304 4196468 140737476675248 139904382950416 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10120] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10120/stat : 10120 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420100017 28904845312 7250 33554432000 4194304 4196468 140737476675248 139904381897872 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10121] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10121/stat : 10121 (java) S 10109 10109 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420100019 28904845312 7250 33554432000 4194304 4196468 140737476675248 139904339363824 139904838294146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10122] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10122/stat : 10122 (java) S 10109 10109 7218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420100019 28904845312 7250 33554432000 4194304 4196468 140737476675248 139904338310048 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10123] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10123/stat : 10123 (java) S 10109 10109 7218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420100019 28904845312 7250 33554432000 4194304 4196468 140737476675248 139904337257456 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10124] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10124/stat : 10124 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420100022 28904845312 7250 33554432000 4194304 4196468 140737476675248 139904336206032 139904838301595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10125] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10125/stat : 10125 (java) S 10109 10109 7218 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 420100022 28904845312 7250 33554432000 4194304 4196468 140737476675248 139904335153648 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10126] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10126/stat : 10126 (java) S 10109 10109 7218 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 420100022 28904845312 7250 33554432000 4194304 4196468 140737476675248 139904334101104 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10127] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10127/stat : 10127 (java) S 10109 10109 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420100022 28904845312 7250 33554432000 4194304 4196468 140737476675248 139904333048560 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10128] ppid=10109 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/10111/task/10128/stat : 10128 (java) R 10109 10109 7218 0 -1 4202560 321 0 0 0 1 0 0 0 20 0 20 0 420100022 28904845312 7250 33554432000 4194304 4196468 140737476675248 139903075609456 139904838294934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10129] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10129/stat : 10129 (java) S 10109 10109 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420100022 28904845312 7250 33554432000 4194304 4196468 140737476675248 139903074556128 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10130] ppid=10109 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10111/task/10130/stat : 10130 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420100022 28904845312 7250 33554432000 4194304 4196468 140737476675248 139903073503664 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30452 KiB

[startup+0.210292 s]*
/proc/loadavg: 1.00 1.35 3.23 2/209 10130
/proc/meminfo: memFree=30417536/32770624 swapFree=66932136/67108860
[pid=10109] ppid=10106 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10109/stat : 10109 (xcsp3-exec) S 10106 10109 7218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420100016 115843072 363 33554432000 4194304 5098028 140730965861152 140730965859256 139701898281596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9166848 140730965869429 140730965869673 140730965869673 140730965872586 0
/proc/10109/statm: 28282 363 304 221 0 87 0
[pid=10111] ppid=10109 vsize=28227388 memory=40640 CPUtime=0.34 cores=0-7
/proc/10111/stat : 10111 (java) S 10109 10109 7218 0 -1 1077944320 9519 0 0 0 31 3 0 0 20 0 20 0 420100016 28904845312 10160 33554432000 4194304 4196468 140737476675248 140737476657792 139904838282999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
/proc/10111/statm: 7056847 10160 3183 1 0 7019032 0
[pid=10111/tid=10112] ppid=10109 vsize=28227388 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/10111/task/10112/stat : 10112 (java) R 10109 10109 7218 0 -1 4202560 6664 0 0 0 18 2 0 0 20 0 20 0 420100016 28904845312 10160 33554432000 4194304 4196468 140737476675248 139904842512720 139904838294934 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10113] ppid=10109 vsize=28227388 memory=288230587528118625 CPUtime=0 cores=0-7
/proc/10111/task/10113/stat : 10113 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420100017 28904845312 10160 33554432000 4194304 4196468 140737476675248 139904803563792 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10114] ppid=10109 vsize=28227388 memory=15964148652517016 CPUtime=0 cores=0-7
/proc/10111/task/10114/stat : 10114 (java) S 10109 10109 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420100017 28904845312 10160 33554432000 4194304 4196468 140737476675248 139904388213136 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10115] ppid=10109 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10111/task/10115/stat : 10115 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420100017 28904845312 10160 33554432000 4194304 4196468 140737476675248 139904387160592 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10116] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10116/stat : 10116 (java) S 10109 10109 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420100017 28904845312 10160 33554432000 4194304 4196468 140737476675248 139904386108048 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10117] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10117/stat : 10117 (java) S 10109 10109 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420100017 28904845312 10160 33554432000 4194304 4196468 140737476675248 139904385055504 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10118] ppid=10109 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10111/task/10118/stat : 10118 (java) S 10109 10109 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420100017 28904845312 10160 33554432000 4194304 4196468 140737476675248 139904384002960 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10119] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10119/stat : 10119 (java) S 10109 10109 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420100017 28904845312 10160 33554432000 4194304 4196468 140737476675248 139904382950416 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10120] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10120/stat : 10120 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420100017 28904845312 10160 33554432000 4194304 4196468 140737476675248 139904381897872 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10121] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10121/stat : 10121 (java) S 10109 10109 7218 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420100019 28904845312 10160 33554432000 4194304 4196468 140737476675248 139904339363824 139904838294146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10122] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10122/stat : 10122 (java) S 10109 10109 7218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420100019 28904845312 10160 33554432000 4194304 4196468 140737476675248 139904338310048 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10123] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10123/stat : 10123 (java) S 10109 10109 7218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420100019 28904845312 10160 33554432000 4194304 4196468 140737476675248 139904337257456 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10124] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10124/stat : 10124 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420100022 28904845312 10160 33554432000 4194304 4196468 140737476675248 139904336206032 139904838301595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10125] ppid=10109 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/10111/task/10125/stat : 10125 (java) R 10109 10109 7218 0 -1 1077944384 387 0 0 0 1 0 0 0 20 0 20 0 420100022 28904845312 10160 33554432000 4194304 4196468 140737476675248 139904335153648 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10126] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10126/stat : 10126 (java) S 10109 10109 7218 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 20 0 420100022 28904845312 10160 33554432000 4194304 4196468 140737476675248 139904334101104 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10127] ppid=10109 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/10111/task/10127/stat : 10127 (java) S 10109 10109 7218 0 -1 1077944384 264 0 0 0 2 0 0 0 20 0 20 0 420100022 28904845312 10160 33554432000 4194304 4196468 140737476675248 139904333048560 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10128] ppid=10109 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/10111/task/10128/stat : 10128 (java) R 10109 10109 7218 0 -1 4202560 763 0 0 0 7 0 0 0 20 0 20 0 420100022 28904845312 10160 33554432000 4194304 4196468 140737476675248 139903075609456 139904838294934 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10129] ppid=10109 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10129/stat : 10129 (java) S 10109 10109 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420100022 28904845312 10160 33554432000 4194304 4196468 140737476675248 139903074556128 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10130] ppid=10109 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/10111/task/10130/stat : 10130 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420100022 28904845312 10160 33554432000 4194304 4196468 140737476675248 139903073503664 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42092 KiB

[startup+0.30962 s]*
/proc/loadavg: 1.00 1.35 3.23 3/209 10130
/proc/meminfo: memFree=30412064/32770624 swapFree=66932136/67108860
[pid=10109] ppid=10106 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10109/stat : 10109 (xcsp3-exec) S 10106 10109 7218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420100016 115843072 363 33554432000 4194304 5098028 140730965861152 140730965859256 139701898281596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9166848 140730965869429 140730965869673 140730965869673 140730965872586 0
/proc/10109/statm: 28282 363 304 221 0 87 0
[pid=10111] ppid=10109 vsize=28231644 memory=50376 CPUtime=0.52 cores=0-7
/proc/10111/stat : 10111 (java) S 10109 10109 7218 0 -1 1077944320 10869 0 0 0 49 3 0 0 20 0 20 0 420100016 28909203456 12594 33554432000 4194304 4196468 140737476675248 140737476657792 139904838282999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
/proc/10111/statm: 7057911 12594 3366 1 0 7019032 0
[pid=10111/tid=10112] ppid=10109 vsize=28231516 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/10111/task/10112/stat : 10112 (java) R 10109 10109 7218 0 -1 4202560 7759 0 0 0 27 2 0 0 20 0 20 0 420100016 28909072384 12630 33554432000 4194304 4196468 140737476675248 139904842514112 139904830999962 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10113] ppid=10109 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10113/stat : 10113 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420100017 28909203456 12630 33554432000 4194304 4196468 140737476675248 139904803563792 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10114] ppid=10109 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10114/stat : 10114 (java) S 10109 10109 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420100017 28909203456 12630 33554432000 4194304 4196468 140737476675248 139904388213136 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10115] ppid=10109 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10115/stat : 10115 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420100017 28909203456 12630 33554432000 4194304 4196468 140737476675248 139904387160592 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10116] ppid=10109 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10116/stat : 10116 (java) S 10109 10109 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420100017 28909203456 12630 33554432000 4194304 4196468 140737476675248 139904386108048 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10117] ppid=10109 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10117/stat : 10117 (java) S 10109 10109 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420100017 28909203456 12630 33554432000 4194304 4196468 140737476675248 139904385055504 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10118] ppid=10109 vsize=28231644 memory=139752867195567 CPUtime=0 cores=0-7
/proc/10111/task/10118/stat : 10118 (java) S 10109 10109 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420100017 28909203456 12630 33554432000 4194304 4196468 140737476675248 139904384002960 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10119] ppid=10109 vsize=28231644 memory=139752867197872 CPUtime=0 cores=0-7
/proc/10111/task/10119/stat : 10119 (java) S 10109 10109 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420100017 28909203456 12630 33554432000 4194304 4196468 140737476675248 139904382950416 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10120] ppid=10109 vsize=28231644 memory=139752867200176 CPUtime=0 cores=0-7
/proc/10111/task/10120/stat : 10120 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420100017 28909203456 12630 33554432000 4194304 4196468 140737476675248 139904381897872 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10121] ppid=10109 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10121/stat : 10121 (java) S 10109 10109 7218 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 420100019 28909203456 12630 33554432000 4194304 4196468 140737476675248 139904339363824 139904838294146 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10122] ppid=10109 vsize=28231644 memory=279505734414224 CPUtime=0 cores=0-7
/proc/10111/task/10122/stat : 10122 (java) S 10109 10109 7218 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420100019 28909203456 12630 33554432000 4194304 4196468 140737476675248 139904338310048 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10123] ppid=10109 vsize=28231644 memory=279505734411920 CPUtime=0 cores=0-7
/proc/10111/task/10123/stat : 10123 (java) S 10109 10109 7218 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420100019 28909203456 12630 33554432000 4194304 4196468 140737476675248 139904337257456 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10124] ppid=10109 vsize=28231644 memory=279505734418832 CPUtime=0 cores=0-7
/proc/10111/task/10124/stat : 10124 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420100022 28909203456 12630 33554432000 4194304 4196468 140737476675248 139904336206032 139904838301595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10125] ppid=10109 vsize=28231644 memory=279505734360112 CPUtime=0.02 cores=0-7
/proc/10111/task/10125/stat : 10125 (java) S 10109 10109 7218 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 20 0 420100022 28909203456 12630 33554432000 4194304 4196468 140737476675248 139904335153648 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10126] ppid=10109 vsize=28231644 memory=279505734432656 CPUtime=0.02 cores=0-7
/proc/10111/task/10126/stat : 10126 (java) R 10109 10109 7218 0 -1 4202560 272 0 0 0 2 0 0 0 20 0 20 0 420100022 28909203456 12630 33554432000 4194304 4196468 140737476675248 139904334082120 139904815934864 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10127] ppid=10109 vsize=28231644 memory=279505734439568 CPUtime=0.03 cores=0-7
/proc/10111/task/10127/stat : 10127 (java) S 10109 10109 7218 0 -1 1077944384 276 0 0 0 3 0 0 0 20 0 20 0 420100022 28909203456 12630 33554432000 4194304 4196468 140737476675248 139904333048560 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10128] ppid=10109 vsize=28231644 memory=279505734437264 CPUtime=0.12 cores=0-7
/proc/10111/task/10128/stat : 10128 (java) S 10109 10109 7218 0 -1 1077944384 863 0 0 0 12 0 0 0 20 0 20 0 420100022 28909203456 12630 33554432000 4194304 4196468 140737476675248 139903075609456 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10129] ppid=10109 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10129/stat : 10129 (java) S 10109 10109 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420100022 28909203456 12630 33554432000 4194304 4196468 140737476675248 139903074556128 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10130] ppid=10109 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/10111/task/10130/stat : 10130 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420100022 28909203456 12630 33554432000 4194304 4196468 140737476675248 139903073503664 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51828 KiB

[startup+0.700956 s]
/proc/loadavg: 1.00 1.35 3.23 5/209 10130
/proc/meminfo: memFree=30388100/32770624 swapFree=66932136/67108860
[pid=10109] ppid=10106 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10109/stat : 10109 (xcsp3-exec) S 10106 10109 7218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420100016 115843072 363 33554432000 4194304 5098028 140730965861152 140730965859256 139701898281596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9166848 140730965869429 140730965869673 140730965869673 140730965872586 0
/proc/10109/statm: 28282 363 304 221 0 87 0
[pid=10111] ppid=10109 vsize=28233768 memory=105116 CPUtime=1.97 cores=0-7
/proc/10111/stat : 10111 (java) S 10109 10109 7218 0 -1 1077944320 14891 0 0 0 192 5 0 0 20 0 20 0 420100016 28911378432 26279 33554432000 4194304 4196468 140737476675248 140737476657792 139904838282999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
/proc/10111/statm: 7058442 26279 3445 1 0 7019544 0
[pid=10111/tid=10112] ppid=10109 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/10111/task/10112/stat : 10112 (java) R 10109 10109 7218 0 -1 4202560 8467 0 0 0 64 3 0 0 20 0 20 0 420100016 28911378432 26279 33554432000 4194304 4196468 140737476675248 139904842503952 139904838304925 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10113] ppid=10109 vsize=28233768 memory=2353 CPUtime=0 cores=0-7
/proc/10111/task/10113/stat : 10113 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420100017 28911378432 26279 33554432000 4194304 4196468 140737476675248 139904803563792 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10114] ppid=10109 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10114/stat : 10114 (java) S 10109 10109 7218 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420100017 28911378432 26279 33554432000 4194304 4196468 140737476675248 139904388213136 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10115] ppid=10109 vsize=28233768 memory=1228 CPUtime=0 cores=0-7
/proc/10111/task/10115/stat : 10115 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420100017 28911378432 26279 33554432000 4194304 4196468 140737476675248 139904387160592 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0

################
# More data... #
################

[pid=10111/tid=10128] ppid=10109 vsize=28768328 memory=6791534058613427641 CPUtime=1.1 cores=0-7
/proc/10111/task/10128/stat : 10128 (java) S 10109 10109 7218 0 -1 1077944384 14020 0 0 0 107 3 0 0 20 0 28 0 420100022 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903075609456 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10129] ppid=10109 vsize=28768328 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10111/task/10129/stat : 10129 (java) S 10109 10109 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420100022 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903074556128 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10130] ppid=10109 vsize=28768328 memory=-7812736537705029536 CPUtime=0.04 cores=0-7
/proc/10111/task/10130/stat : 10130 (java) S 10109 10109 7218 0 -1 1077944384 1289 0 0 0 0 4 0 0 20 0 28 0 420100022 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903073503664 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10140] ppid=10109 vsize=28768328 memory=6791534058613427641 CPUtime=155.93 cores=0-7
/proc/10111/task/10140/stat : 10140 (java) R 10109 10109 7218 0 -1 4202560 2014 0 0 0 15591 2 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903064295072 139904482862642 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10141] ppid=10109 vsize=28768328 memory=2407964 CPUtime=155.9 cores=0-7
/proc/10111/task/10141/stat : 10141 (java) R 10109 10109 7218 0 -1 4202560 1263 0 0 0 15589 1 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903063241288 139904482864668 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10142] ppid=10109 vsize=28768328 memory=-8961168018402230209 CPUtime=154.13 cores=0-7
/proc/10111/task/10142/stat : 10142 (java) R 10109 10109 7218 0 -1 4202560 15025 0 0 0 15387 26 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903062190712 139904482398498 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10143] ppid=10109 vsize=28768328 memory=-8253362762722141311 CPUtime=154.88 cores=0-7
/proc/10111/task/10143/stat : 10143 (java) R 10109 10109 7218 0 -1 4202560 10621 0 0 0 15470 18 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903059030808 139904481719588 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10144] ppid=10109 vsize=28768328 memory=7100839861465685612 CPUtime=155.96 cores=0-7
/proc/10111/task/10144/stat : 10144 (java) R 10109 10109 7218 0 -1 4202560 1092 0 0 0 15596 0 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903057978264 139904481768960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10145] ppid=10109 vsize=28768328 memory=301741373374332954 CPUtime=155.63 cores=0-7
/proc/10111/task/10145/stat : 10145 (java) R 10109 10109 7218 0 -1 4202560 1590 0 0 0 15562 1 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903061136264 139904481719375 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10146] ppid=10109 vsize=28768328 memory=33 CPUtime=155.69 cores=0-7
/proc/10111/task/10146/stat : 10146 (java) R 10109 10109 7218 0 -1 4202560 1736 0 0 0 15566 3 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139902989619400 139904482398629 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10147] ppid=10109 vsize=28768328 memory=7595437763640715882 CPUtime=154.92 cores=0-7
/proc/10111/task/10147/stat : 10147 (java) R 10109 10109 7218 0 -1 4202560 1979 0 0 0 15490 2 0 0 20 0 28 0 420100781 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903060082536 139904481719320 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
Current children cumulated CPU time: 1300.11 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2409416 KiB

[startup+164.802 s]
/proc/loadavg: 7.54 4.12 3.99 9/217 10157
/proc/meminfo: memFree=28048032/32770624 swapFree=66932136/67108860
[pid=10109] ppid=10106 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10109/stat : 10109 (xcsp3-exec) S 10106 10109 7218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420100016 115843072 363 33554432000 4194304 5098028 140730965861152 140730965859256 139701898281596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9166848 140730965869429 140730965869673 140730965869673 140730965872586 0
/proc/10109/statm: 28282 363 304 221 0 87 0
[pid=10111] ppid=10109 vsize=28768328 memory=2407964 CPUtime=1306.43 cores=0-7
/proc/10111/stat : 10111 (java) S 10109 10109 7218 0 -1 1077944320 124813 0 0 0 130456 187 0 0 20 0 28 0 420100016 29458767872 601991 33554432000 4194304 4196468 140737476675248 140737476657792 139904838282999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
/proc/10111/statm: 7192082 601991 3536 1 0 7153184 0
[pid=10111/tid=10112] ppid=10109 vsize=28768328 memory=6791534058613427641 CPUtime=1.61 cores=0-7
/proc/10111/task/10112/stat : 10112 (java) S 10109 10109 7218 0 -1 1077944384 9902 0 0 0 155 6 0 0 20 0 28 0 420100016 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904842523776 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10113] ppid=10109 vsize=28768328 memory=2407964 CPUtime=0.34 cores=0-7
/proc/10111/task/10113/stat : 10113 (java) S 10109 10109 7218 0 -1 1077944384 1266 0 0 0 22 12 0 0 20 0 28 0 420100017 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904803563792 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10114] ppid=10109 vsize=28768328 memory=988 CPUtime=0.34 cores=0-7
/proc/10111/task/10114/stat : 10114 (java) S 10109 10109 7218 0 -1 1077944384 1829 0 0 0 22 12 0 0 20 0 28 0 420100017 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904388213136 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10115] ppid=10109 vsize=28768328 memory=1452 CPUtime=0.34 cores=0-7
/proc/10111/task/10115/stat : 10115 (java) S 10109 10109 7218 0 -1 1077944384 1472 0 0 0 21 13 0 0 20 0 28 0 420100017 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904387160592 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10116] ppid=10109 vsize=28768328 memory=1452 CPUtime=0.35 cores=0-7
/proc/10111/task/10116/stat : 10116 (java) S 10109 10109 7218 0 -1 1077944384 579 0 0 0 22 13 0 0 20 0 28 0 420100017 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904386108048 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10117] ppid=10109 vsize=28768328 memory=2407964 CPUtime=0.32 cores=0-7
/proc/10111/task/10117/stat : 10117 (java) S 10109 10109 7218 0 -1 1077944384 1095 0 0 0 20 12 0 0 20 0 28 0 420100017 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904385055504 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10118] ppid=10109 vsize=28768328 memory=31 CPUtime=0.35 cores=0-7
/proc/10111/task/10118/stat : 10118 (java) S 10109 10109 7218 0 -1 1077944384 2481 0 0 0 23 12 0 0 20 0 28 0 420100017 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904384002960 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10119] ppid=10109 vsize=28768328 memory=32 CPUtime=0.35 cores=0-7
/proc/10111/task/10119/stat : 10119 (java) S 10109 10109 7218 0 -1 1077944384 2237 0 0 0 22 13 0 0 20 0 28 0 420100017 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904382950416 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10120] ppid=10109 vsize=28768328 memory=29 CPUtime=0.32 cores=0-7
/proc/10111/task/10120/stat : 10120 (java) S 10109 10109 7218 0 -1 1077944384 655 0 0 0 21 11 0 0 20 0 28 0 420100017 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904381897872 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10121] ppid=10109 vsize=28768328 memory=4 CPUtime=0.04 cores=0-7
/proc/10111/task/10121/stat : 10121 (java) S 10109 10109 7218 0 -1 1077944384 3990 0 0 0 3 1 0 0 20 0 28 0 420100019 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904339363824 139904838294146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10122] ppid=10109 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10122/stat : 10122 (java) S 10109 10109 7218 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 420100019 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904338310112 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10123] ppid=10109 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10123/stat : 10123 (java) S 10109 10109 7218 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 420100019 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904337257472 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10124] ppid=10109 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/10111/task/10124/stat : 10124 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420100022 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904336206032 139904838301595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10125] ppid=10109 vsize=28768328 memory=3572 CPUtime=3.89 cores=0-7
/proc/10111/task/10125/stat : 10125 (java) S 10109 10109 7218 0 -1 1077944384 17180 0 0 0 386 3 0 0 20 0 28 0 420100022 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904335153648 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10126] ppid=10109 vsize=28768328 memory=1452 CPUtime=3.56 cores=0-7
/proc/10111/task/10126/stat : 10126 (java) S 10109 10109 7218 0 -1 1077944384 11990 0 0 0 354 2 0 0 20 0 28 0 420100022 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904334101104 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10127] ppid=10109 vsize=28768328 memory=2407964 CPUtime=3.48 cores=0-7
/proc/10111/task/10127/stat : 10127 (java) S 10109 10109 7218 0 -1 1077944384 15182 0 0 0 346 2 0 0 20 0 28 0 420100022 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904333048560 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10128] ppid=10109 vsize=28768328 memory=6791534058613427641 CPUtime=1.1 cores=0-7
/proc/10111/task/10128/stat : 10128 (java) S 10109 10109 7218 0 -1 1077944384 14166 0 0 0 107 3 0 0 20 0 28 0 420100022 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903075609456 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10129] ppid=10109 vsize=28768328 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/10111/task/10129/stat : 10129 (java) S 10109 10109 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420100022 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903074556128 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10130] ppid=10109 vsize=28768328 memory=808 CPUtime=0.04 cores=0-7
/proc/10111/task/10130/stat : 10130 (java) S 10109 10109 7218 0 -1 1077944384 1289 0 0 0 0 4 0 0 20 0 28 0 420100022 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903073503664 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10140] ppid=10109 vsize=28768328 memory=1808 CPUtime=156.72 cores=0-7
/proc/10111/task/10140/stat : 10140 (java) R 10109 10109 7218 0 -1 4202560 2016 0 0 0 15670 2 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903064295072 139904484737889 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10141] ppid=10109 vsize=28768328 memory=920 CPUtime=156.69 cores=0-7
/proc/10111/task/10141/stat : 10141 (java) R 10109 10109 7218 0 -1 4202560 1264 0 0 0 15668 1 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903063241288 139904481719497 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10142] ppid=10109 vsize=28768328 memory=1452 CPUtime=154.92 cores=0-7
/proc/10111/task/10142/stat : 10142 (java) R 10109 10109 7218 0 -1 4202560 15040 0 0 0 15466 26 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903062190920 139904485849261 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10143] ppid=10109 vsize=28768328 memory=2407964 CPUtime=155.67 cores=0-7
/proc/10111/task/10143/stat : 10143 (java) R 10109 10109 7218 0 -1 4202560 10639 0 0 0 15549 18 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903059030808 139904486778594 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10144] ppid=10109 vsize=28768328 memory=1060 CPUtime=156.75 cores=0-7
/proc/10111/task/10144/stat : 10144 (java) R 10109 10109 7218 0 -1 4202560 1094 0 0 0 15675 0 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903057978264 139904481719509 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10145] ppid=10109 vsize=28768328 memory=1676 CPUtime=156.42 cores=0-7
/proc/10111/task/10145/stat : 10145 (java) R 10109 10109 7218 0 -1 4202560 1590 0 0 0 15641 1 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903061136264 139904481671804 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10146] ppid=10109 vsize=28768328 memory=1096 CPUtime=156.48 cores=0-7
/proc/10111/task/10146/stat : 10146 (java) R 10109 10109 7218 0 -1 4202560 1736 0 0 0 15645 3 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139902989619400 139904482862988 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10147] ppid=10109 vsize=28768328 memory=1176 CPUtime=155.7 cores=0-7
/proc/10111/task/10147/stat : 10147 (java) R 10109 10109 7218 0 -1 4202560 1981 0 0 0 15568 2 0 0 20 0 28 0 420100781 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903060082536 139904481266369 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
Current children cumulated CPU time: 1306.43 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2409416 KiB

[startup+165.002 s]*
/proc/loadavg: 7.57 4.18 4.01 9/217 10157
/proc/meminfo: memFree=28047784/32770624 swapFree=66932136/67108860
[pid=10109] ppid=10106 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/10109/stat : 10109 (xcsp3-exec) S 10106 10109 7218 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420100016 115843072 363 33554432000 4194304 5098028 140730965861152 140730965859256 139701898281596 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9166848 140730965869429 140730965869673 140730965869673 140730965872586 0
/proc/10109/statm: 28282 363 304 221 0 87 0
[pid=10111] ppid=10109 vsize=28768328 memory=2407964 CPUtime=1308.09 cores=0-7
/proc/10111/stat : 10111 (java) S 10109 10109 7218 0 -1 1077944320 124901 0 0 0 130622 187 0 0 20 0 28 0 420100016 29458767872 601991 33554432000 4194304 4196468 140737476675248 140737476657792 139904838282999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
/proc/10111/statm: 7192082 601991 3536 1 0 7153184 0
[pid=10111/tid=10112] ppid=10109 vsize=28768328 memory=6791534058613427641 CPUtime=1.61 cores=0-7
/proc/10111/task/10112/stat : 10112 (java) S 10109 10109 7218 0 -1 1077944384 9902 0 0 0 155 6 0 0 20 0 28 0 420100016 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904842523776 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10113] ppid=10109 vsize=28768328 memory=21100 CPUtime=0.34 cores=0-7
/proc/10111/task/10113/stat : 10113 (java) S 10109 10109 7218 0 -1 1077944384 1266 0 0 0 22 12 0 0 20 0 28 0 420100017 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904803563792 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10114] ppid=10109 vsize=28768328 memory=2116 CPUtime=0.34 cores=0-7
/proc/10111/task/10114/stat : 10114 (java) S 10109 10109 7218 0 -1 1077944384 1829 0 0 0 22 12 0 0 20 0 28 0 420100017 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904388213136 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10115] ppid=10109 vsize=28768328 memory=11916 CPUtime=0.34 cores=0-7
/proc/10111/task/10115/stat : 10115 (java) S 10109 10109 7218 0 -1 1077944384 1472 0 0 0 21 13 0 0 20 0 28 0 420100017 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904387160592 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10116] ppid=10109 vsize=28768328 memory=4872558044660077418 CPUtime=0.35 cores=0-7
/proc/10111/task/10116/stat : 10116 (java) S 10109 10109 7218 0 -1 1077944384 579 0 0 0 22 13 0 0 20 0 28 0 420100017 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904386108048 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10117] ppid=10109 vsize=28768328 memory=13250 CPUtime=0.32 cores=0-7
/proc/10111/task/10117/stat : 10117 (java) S 10109 10109 7218 0 -1 1077944384 1095 0 0 0 20 12 0 0 20 0 28 0 420100017 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904385055504 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10118] ppid=10109 vsize=28768328 memory=3474022660856638627 CPUtime=0.35 cores=0-7
/proc/10111/task/10118/stat : 10118 (java) S 10109 10109 7218 0 -1 1077944384 2481 0 0 0 23 12 0 0 20 0 28 0 420100017 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904384002960 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10119] ppid=10109 vsize=28768328 memory=6935649255759568960 CPUtime=0.35 cores=0-7
/proc/10111/task/10119/stat : 10119 (java) S 10109 10109 7218 0 -1 1077944384 2237 0 0 0 22 13 0 0 20 0 28 0 420100017 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904382950416 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10120] ppid=10109 vsize=28768328 memory=7444843076533644388 CPUtime=0.32 cores=0-7
/proc/10111/task/10120/stat : 10120 (java) S 10109 10109 7218 0 -1 1077944384 655 0 0 0 21 11 0 0 20 0 28 0 420100017 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904381897872 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10121] ppid=10109 vsize=28768328 memory=4639367668113100880 CPUtime=0.04 cores=0-7
/proc/10111/task/10121/stat : 10121 (java) S 10109 10109 7218 0 -1 1077944384 3990 0 0 0 3 1 0 0 20 0 28 0 420100019 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904339363824 139904838294146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10122] ppid=10109 vsize=28768328 memory=7228649463812943216 CPUtime=0 cores=0-7
/proc/10111/task/10122/stat : 10122 (java) S 10109 10109 7218 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 420100019 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904338310112 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10123] ppid=10109 vsize=28768328 memory=6370170584746058598 CPUtime=0 cores=0-7
/proc/10111/task/10123/stat : 10123 (java) S 10109 10109 7218 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 420100019 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904337257472 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10124] ppid=10109 vsize=28768328 memory=7451045421577693783 CPUtime=0 cores=0-7
/proc/10111/task/10124/stat : 10124 (java) S 10109 10109 7218 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420100022 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904336206032 139904838301595 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10125] ppid=10109 vsize=28768328 memory=7649399397099319345 CPUtime=3.89 cores=0-7
/proc/10111/task/10125/stat : 10125 (java) S 10109 10109 7218 0 -1 1077944384 17180 0 0 0 386 3 0 0 20 0 28 0 420100022 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904335153648 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 15 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10126] ppid=10109 vsize=28768328 memory=0 CPUtime=3.56 cores=0-7
/proc/10111/task/10126/stat : 10126 (java) S 10109 10109 7218 0 -1 1077944384 11990 0 0 0 354 2 0 0 20 0 28 0 420100022 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904334101104 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10127] ppid=10109 vsize=28768328 memory=89540 CPUtime=3.48 cores=0-7
/proc/10111/task/10127/stat : 10127 (java) S 10109 10109 7218 0 -1 1077944384 15182 0 0 0 346 2 0 0 20 0 28 0 420100022 29458767872 601991 33554432000 4194304 4196468 140737476675248 139904333048560 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10128] ppid=10109 vsize=28768328 memory=5936967409535050576 CPUtime=1.1 cores=0-7
/proc/10111/task/10128/stat : 10128 (java) S 10109 10109 7218 0 -1 1077944384 14166 0 0 0 107 3 0 0 20 0 28 0 420100022 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903075609456 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10129] ppid=10109 vsize=28768328 memory=6944656575208382560 CPUtime=0 cores=0-7
/proc/10111/task/10129/stat : 10129 (java) S 10109 10109 7218 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420100022 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903074556128 139904838293205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10130] ppid=10109 vsize=28768328 memory=0 CPUtime=0.04 cores=0-7
/proc/10111/task/10130/stat : 10130 (java) S 10109 10109 7218 0 -1 1077944384 1289 0 0 0 0 4 0 0 20 0 28 0 420100022 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903073503664 139904838294146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 15 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10140] ppid=10109 vsize=28768328 memory=0 CPUtime=156.93 cores=0-7
/proc/10111/task/10140/stat : 10140 (java) R 10109 10109 7218 0 -1 4202560 2016 0 0 0 15691 2 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903064295072 139904481266598 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10141] ppid=10109 vsize=28768328 memory=0 CPUtime=156.9 cores=0-7
/proc/10111/task/10141/stat : 10141 (java) R 10109 10109 7218 0 -1 4202560 1265 0 0 0 15689 1 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903063241288 139904481212334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10142] ppid=10109 vsize=28768328 memory=0 CPUtime=155.13 cores=0-7
/proc/10111/task/10142/stat : 10142 (java) R 10109 10109 7218 0 -1 4202560 15097 0 0 0 15487 26 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903062190920 139904485071422 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10143] ppid=10109 vsize=28768328 memory=279505737026096 CPUtime=155.88 cores=0-7
/proc/10111/task/10143/stat : 10143 (java) R 10109 10109 7218 0 -1 4202560 10667 0 0 0 15570 18 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903059030808 139904486553898 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10144] ppid=10109 vsize=28768328 memory=279505737023792 CPUtime=156.96 cores=0-7
/proc/10111/task/10144/stat : 10144 (java) R 10109 10109 7218 0 -1 4202560 1094 0 0 0 15696 0 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903057978264 139904481719281 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10145] ppid=10109 vsize=28768328 memory=279505734205680 CPUtime=156.63 cores=0-7
/proc/10111/task/10145/stat : 10145 (java) R 10109 10109 7218 0 -1 4202560 1592 0 0 0 15662 1 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903061136264 139904482909759 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10146] ppid=10109 vsize=28768328 memory=279505737033008 CPUtime=156.69 cores=0-7
/proc/10111/task/10146/stat : 10146 (java) R 10109 10109 7218 0 -1 4202560 1736 0 0 0 15666 3 0 0 20 0 28 0 420100780 29458767872 601991 33554432000 4194304 4196468 140737476675248 139902989619400 139904481672658 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
[pid=10111/tid=10147] ppid=10109 vsize=28768328 memory=279505737039920 CPUtime=155.89 cores=0-7
/proc/10111/task/10147/stat : 10147 (java) R 10109 10109 7218 0 -1 4202560 1981 0 0 0 15587 2 0 0 20 0 28 0 420100781 29458767872 601991 33554432000 4194304 4196468 140737476675248 139903060082536 139904481372939 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13791232 140737476682730 140737476682902 140737476682902 140737476685775 0
Current children cumulated CPU time: 1308.09 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 2409416 KiB

Child status: 0
Real time (s): 165.055
CPU time (s): 1308.29
CPU user time (s): 1306.38
CPU system time (s): 1.90236
CPU usage (%): 792.638
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 2409416

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1306.38
system time used= 1.90236
maximum resident set size= 2426460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126262
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9207
involuntary context switches= 14143


# summary of solver processes directly reported to runsolver:
#   pid: 10109
#   total CPU time (s): 1308.29
#   total CPU user time (s): 1306.38
#   total CPU system time (s): 1.90236

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.67985 second user time and 1.75503 second system time

The end