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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399908-1568711384/watcher-4399908-1568711384 -o /tmp/evaluation-result-4399908-1568711384/solver-4399908-1568711384 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1568711300-29398 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2074250836 HOME/instance-4399908-1568711384.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
solver pid=29889, runsolver pid=29886
Current StackSize limit: 8192 KiB


[startup+0.10016 s]*
/proc/loadavg: 7.77 8.15 8.24 3/210 29910
/proc/meminfo: memFree=26759780/32770624 swapFree=66941548/67108860
[pid=29889] ppid=29886 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29889/stat : 29889 (xcsp3-exec) S 29886 29889 29371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447377040 115843072 364 33554432000 4194304 5098028 140736516258144 140736516256248 140318919275132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32423936 140736516264821 140736516265065 140736516265065 140736516267978 0
/proc/29889/statm: 28282 364 305 221 0 87 0
[pid=29891] ppid=29889 vsize=28227396 memory=29092 CPUtime=0.12 cores=0-7
/proc/29891/stat : 29891 (java) S 29889 29889 29371 0 -1 1077944320 5697 0 0 0 11 1 0 0 20 0 20 0 447377040 28904853504 7273 33554432000 4194304 4196468 140732692731840 140732692714384 140464100101879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
/proc/29891/statm: 7056849 7273 3152 1 0 7019032 0
[pid=29891/tid=29892] ppid=29889 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/29891/task/29892/stat : 29892 (java) R 29889 29889 29371 0 -1 4202560 3612 0 0 0 8 1 0 0 20 0 20 0 447377040 28904853504 7273 33554432000 4194304 4196468 140732692731840 140464104335152 140464100113814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29893] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29893/stat : 29893 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463651805968 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29894] ppid=29889 vsize=28227396 memory=139733768586880 CPUtime=0 cores=0-7
/proc/29891/task/29894/stat : 29894 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463650753424 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29895] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29895/stat : 29895 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463649700880 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29896] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29896/stat : 29896 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463648648336 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29897] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29897/stat : 29897 (java) S 29889 29889 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447377041 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463647594768 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29898] ppid=29889 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29891/task/29898/stat : 29898 (java) S 29889 29889 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447377041 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463646542224 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29899] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29899/stat : 29899 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463645489680 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29900] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29900/stat : 29900 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463644437136 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29901] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29901/stat : 29901 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377043 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463484889584 140464100113026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29902] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29902/stat : 29902 (java) S 29889 29889 29371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447377043 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463147312544 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29903] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29903/stat : 29903 (java) S 29889 29889 29371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447377043 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463146259952 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29904] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29904/stat : 29904 (java) S 29889 29889 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447377046 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463145208528 140464100120475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29905] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29905/stat : 29905 (java) S 29889 29889 29371 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 447377046 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463144155120 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29906] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29906/stat : 29906 (java) R 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377046 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463143102576 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29907] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29907/stat : 29907 (java) S 29889 29889 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447377046 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463142050032 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29908] ppid=29889 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/29891/task/29908/stat : 29908 (java) R 29889 29889 29371 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 20 0 447377046 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463140997488 140464100113814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29909] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29909/stat : 29909 (java) S 29889 29889 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447377046 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463139945184 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29910] ppid=29889 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29891/task/29910/stat : 29910 (java) S 29889 29889 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447377046 28904853504 7273 33554432000 4194304 4196468 140732692731840 140463138892720 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30548 KiB

[startup+0.210475 s]*
/proc/loadavg: 7.77 8.15 8.24 4/210 29910
/proc/meminfo: memFree=26745704/32770624 swapFree=66941548/67108860
[pid=29889] ppid=29886 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29889/stat : 29889 (xcsp3-exec) S 29886 29889 29371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447377040 115843072 364 33554432000 4194304 5098028 140736516258144 140736516256248 140318919275132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32423936 140736516264821 140736516265065 140736516265065 140736516267978 0
/proc/29889/statm: 28282 364 305 221 0 87 0
[pid=29891] ppid=29889 vsize=28227396 memory=41196 CPUtime=0.33 cores=0-7
/proc/29891/stat : 29891 (java) S 29889 29889 29371 0 -1 1077944320 9513 0 0 0 30 3 0 0 20 0 20 0 447377040 28904853504 10299 33554432000 4194304 4196468 140732692731840 140732692714384 140464100101879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
/proc/29891/statm: 7056849 10299 3316 1 0 7019032 0
[pid=29891/tid=29892] ppid=29889 vsize=28227396 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/29891/task/29892/stat : 29892 (java) R 29889 29889 29371 0 -1 4202560 6654 0 0 0 18 2 0 0 20 0 20 0 447377040 28904853504 10299 33554432000 4194304 4196468 140732692731840 140464104333408 140464084182366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29893] ppid=29889 vsize=28227396 memory=288230613264367967 CPUtime=0 cores=0-7
/proc/29891/task/29893/stat : 29893 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463651805968 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29894] ppid=29889 vsize=28227396 memory=139733768606879 CPUtime=0 cores=0-7
/proc/29891/task/29894/stat : 29894 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463650753424 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29895] ppid=29889 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29891/task/29895/stat : 29895 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463649700880 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29896] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29896/stat : 29896 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463648648336 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29897] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29897/stat : 29897 (java) S 29889 29889 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447377041 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463647594768 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29898] ppid=29889 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29891/task/29898/stat : 29898 (java) S 29889 29889 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447377041 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463646542224 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29899] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29899/stat : 29899 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463645489680 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29900] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29900/stat : 29900 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463644437136 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29901] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29901/stat : 29901 (java) S 29889 29889 29371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447377043 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463484889584 140464100113026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29902] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29902/stat : 29902 (java) S 29889 29889 29371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447377043 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463147312544 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29903] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29903/stat : 29903 (java) S 29889 29889 29371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447377043 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463146259952 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29904] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29904/stat : 29904 (java) S 29889 29889 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447377046 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463145208528 140464100120475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29905] ppid=29889 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/29891/task/29905/stat : 29905 (java) S 29889 29889 29371 0 -1 1077944384 662 0 0 0 2 0 0 0 20 0 20 0 447377046 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463144155120 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29906] ppid=29889 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/29891/task/29906/stat : 29906 (java) S 29889 29889 29371 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 447377046 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463143102576 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29907] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29907/stat : 29907 (java) S 29889 29889 29371 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 447377046 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463142050032 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29908] ppid=29889 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/29891/task/29908/stat : 29908 (java) S 29889 29889 29371 0 -1 1077944384 765 0 0 0 8 0 0 0 20 0 20 0 447377046 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463140997488 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29909] ppid=29889 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29909/stat : 29909 (java) S 29889 29889 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447377046 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463139945184 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29910] ppid=29889 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/29891/task/29910/stat : 29910 (java) S 29889 29889 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447377046 28904853504 10299 33554432000 4194304 4196468 140732692731840 140463138892720 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42652 KiB

[startup+0.310269 s]*
/proc/loadavg: 7.77 8.15 8.24 5/210 29910
/proc/meminfo: memFree=26739584/32770624 swapFree=66941548/67108860
[pid=29889] ppid=29886 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29889/stat : 29889 (xcsp3-exec) S 29886 29889 29371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447377040 115843072 364 33554432000 4194304 5098028 140736516258144 140736516256248 140318919275132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32423936 140736516264821 140736516265065 140736516265065 140736516267978 0
/proc/29889/statm: 28282 364 305 221 0 87 0
[pid=29891] ppid=29889 vsize=28231652 memory=50428 CPUtime=0.52 cores=0-7
/proc/29891/stat : 29891 (java) S 29889 29889 29371 0 -1 1077944320 10966 0 0 0 48 4 0 0 20 0 20 0 447377040 28909211648 12607 33554432000 4194304 4196468 140732692731840 140732692714384 140464100101879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
/proc/29891/statm: 7057913 12607 3356 1 0 7019032 0
[pid=29891/tid=29892] ppid=29889 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7
/proc/29891/task/29892/stat : 29892 (java) R 29889 29889 29371 0 -1 4202560 7848 0 0 0 27 3 0 0 20 0 20 0 447377040 28909211648 12607 33554432000 4194304 4196468 140732692731840 140464104335648 140464084182366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29893] ppid=29889 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29893/stat : 29893 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463651805968 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29894] ppid=29889 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29894/stat : 29894 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463650753424 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29895] ppid=29889 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29895/stat : 29895 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463649700880 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29896] ppid=29889 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29896/stat : 29896 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463648648336 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29897] ppid=29889 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29897/stat : 29897 (java) S 29889 29889 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447377041 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463647594768 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29898] ppid=29889 vsize=28231652 memory=139733606951599 CPUtime=0 cores=0-7
/proc/29891/task/29898/stat : 29898 (java) S 29889 29889 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447377041 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463646542224 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29899] ppid=29889 vsize=28231652 memory=139733606953904 CPUtime=0 cores=0-7
/proc/29891/task/29899/stat : 29899 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463645489680 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29900] ppid=29889 vsize=28231652 memory=139733606956208 CPUtime=0 cores=0-7
/proc/29891/task/29900/stat : 29900 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463644437136 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29901] ppid=29889 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29901/stat : 29901 (java) S 29889 29889 29371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447377043 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463484889584 140464100113026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29902] ppid=29889 vsize=28231652 memory=279467213926288 CPUtime=0 cores=0-7
/proc/29891/task/29902/stat : 29902 (java) S 29889 29889 29371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447377043 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463147312544 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29903] ppid=29889 vsize=28231652 memory=279467213923984 CPUtime=0 cores=0-7
/proc/29891/task/29903/stat : 29903 (java) S 29889 29889 29371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447377043 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463146259952 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29904] ppid=29889 vsize=28231652 memory=279467213930896 CPUtime=0 cores=0-7
/proc/29891/task/29904/stat : 29904 (java) S 29889 29889 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447377046 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463145208528 140464100120475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29905] ppid=29889 vsize=28231652 memory=279467213872048 CPUtime=0.04 cores=0-7
/proc/29891/task/29905/stat : 29905 (java) R 29889 29889 29371 0 -1 4202560 761 0 0 0 4 0 0 0 20 0 20 0 447377046 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463144141184 140464077341146 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29906] ppid=29889 vsize=28231652 memory=279467213944720 CPUtime=0.02 cores=0-7
/proc/29891/task/29906/stat : 29906 (java) S 29889 29889 29371 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 20 0 447377046 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463143102576 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29907] ppid=29889 vsize=28231652 memory=279467213951632 CPUtime=0.01 cores=0-7
/proc/29891/task/29907/stat : 29907 (java) S 29889 29889 29371 0 -1 1077944384 48 0 0 0 1 0 0 0 20 0 20 0 447377046 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463142050032 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29908] ppid=29889 vsize=28231652 memory=279467213949328 CPUtime=0.12 cores=0-7
/proc/29891/task/29908/stat : 29908 (java) S 29889 29889 29371 0 -1 1077944384 881 0 0 0 12 0 0 0 20 0 20 0 447377046 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463140997488 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29909] ppid=29889 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29909/stat : 29909 (java) S 29889 29889 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447377046 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463139945184 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29910] ppid=29889 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/29891/task/29910/stat : 29910 (java) S 29889 29889 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447377046 28909211648 12607 33554432000 4194304 4196468 140732692731840 140463138892720 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51884 KiB

[startup+0.700971 s]
/proc/loadavg: 7.77 8.15 8.24 3/210 29910
/proc/meminfo: memFree=26718404/32770624 swapFree=66941548/67108860
[pid=29889] ppid=29886 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29889/stat : 29889 (xcsp3-exec) S 29886 29889 29371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447377040 115843072 364 33554432000 4194304 5098028 140736516258144 140736516256248 140318919275132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32423936 140736516264821 140736516265065 140736516265065 140736516267978 0
/proc/29889/statm: 28282 364 305 221 0 87 0
[pid=29891] ppid=29889 vsize=28233776 memory=106172 CPUtime=1.98 cores=0-7
/proc/29891/stat : 29891 (java) S 29889 29889 29371 0 -1 1077944320 15308 0 0 0 192 6 0 0 20 0 20 0 447377040 28911386624 26543 33554432000 4194304 4196468 140732692731840 140732692714384 140464100101879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
/proc/29891/statm: 7058444 26543 3446 1 0 7019544 0
[pid=29891/tid=29892] ppid=29889 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/29891/task/29892/stat : 29892 (java) R 29889 29889 29371 0 -1 4202560 8608 0 0 0 64 3 0 0 20 0 20 0 447377040 28911386624 26543 33554432000 4194304 4196468 140732692731840 140464104300016 140464084182366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29893] ppid=29889 vsize=28233776 memory=2353 CPUtime=0 cores=0-7
/proc/29891/task/29893/stat : 29893 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28911386624 26543 33554432000 4194304 4196468 140732692731840 140463651805968 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29894] ppid=29889 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/29891/task/29894/stat : 29894 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28911386624 26543 33554432000 4194304 4196468 140732692731840 140463650753424 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29895] ppid=29889 vsize=28233776 memory=1428 CPUtime=0 cores=0-7
/proc/29891/task/29895/stat : 29895 (java) S 29889 29889 29371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447377041 28911386624 26543 33554432000 4194304 4196468 140732692731840 140463649700880 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0

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

[pid=29891/tid=29908] ppid=29889 vsize=28768336 memory=48228 CPUtime=0.91 cores=0-7
/proc/29891/task/29908/stat : 29908 (java) S 29889 29889 29371 0 -1 1077944384 11474 0 0 0 89 2 0 0 20 0 28 0 447377046 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463140997488 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29909] ppid=29889 vsize=28768336 memory=1988 CPUtime=0 cores=0-7
/proc/29891/task/29909/stat : 29909 (java) S 29889 29889 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447377046 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463139945184 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29910] ppid=29889 vsize=28768336 memory=3620 CPUtime=0.06 cores=0-7
/proc/29891/task/29910/stat : 29910 (java) S 29889 29889 29371 0 -1 1077944384 1978 0 0 0 6 0 0 0 20 0 28 0 447377046 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463138892720 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29934] ppid=29889 vsize=28768336 memory=48228 CPUtime=80.8 cores=0-7
/proc/29891/task/29934/stat : 29934 (java) R 29889 29889 29371 0 -1 4202560 1363 0 0 0 8080 0 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463123595176 140463708463161 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29935] ppid=29889 vsize=28768336 memory=3620 CPUtime=80.34 cores=0-7
/proc/29891/task/29935/stat : 29935 (java) R 29889 29889 29371 0 -1 4202560 1161 0 0 0 8034 0 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463125701720 140463708428782 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29936] ppid=29889 vsize=28768336 memory=11632 CPUtime=80.74 cores=0-7
/proc/29891/task/29936/stat : 29936 (java) R 29889 29889 29371 0 -1 4202560 1392 0 0 0 8074 0 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463127806232 140463706256703 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29937] ppid=29889 vsize=28768336 memory=1732 CPUtime=80.94 cores=0-7
/proc/29891/task/29937/stat : 29937 (java) R 29889 29889 29371 0 -1 4202560 13146 0 0 0 8060 34 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463129911640 140463711377276 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29938] ppid=29889 vsize=28768336 memory=1088 CPUtime=80.57 cores=0-7
/proc/29891/task/29938/stat : 29938 (java) R 29889 29889 29371 0 -1 4202560 1313 0 0 0 8054 3 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463126753816 140463708943656 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29939] ppid=29889 vsize=28768336 memory=988 CPUtime=80.9 cores=0-7
/proc/29891/task/29939/stat : 29939 (java) R 29889 29889 29371 0 -1 4202560 1757 0 0 0 8089 1 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463128861360 140463708475054 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29940] ppid=29889 vsize=28768336 memory=780 CPUtime=80.35 cores=0-7
/proc/29891/task/29940/stat : 29940 (java) R 29889 29889 29371 0 -1 4202560 2161 0 0 0 8026 9 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463122542552 140463708094067 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29941] ppid=29889 vsize=28768336 memory=6004 CPUtime=79.66 cores=0-7
/proc/29891/task/29941/stat : 29941 (java) R 29889 29889 29371 0 -1 4202560 6036 0 0 0 7962 4 0 0 20 0 28 0 447386131 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463124647456 140463704168362 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
Current children cumulated CPU time: 1364.02 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2157704 KiB

[startup+172.402 s]
/proc/loadavg: 8.26 8.15 8.23 9/220 29946
/proc/meminfo: memFree=24630240/32770624 swapFree=66941552/67108860
[pid=29889] ppid=29886 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29889/stat : 29889 (xcsp3-exec) S 29886 29889 29371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447377040 115843072 364 33554432000 4194304 5098028 140736516258144 140736516256248 140318919275132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32423936 140736516264821 140736516265065 140736516265065 140736516267978 0
/proc/29889/statm: 28282 364 305 221 0 87 0
[pid=29891] ppid=29889 vsize=28768336 memory=2156248 CPUtime=1367.08 cores=0-7
/proc/29891/stat : 29891 (java) S 29889 29889 29371 0 -1 1077944320 148368 0 0 0 136536 172 0 0 20 0 28 0 447377040 29458776064 539062 33554432000 4194304 4196468 140732692731840 140732692714384 140464100101879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
/proc/29891/statm: 7192084 539062 3546 1 0 7153184 0
[pid=29891/tid=29892] ppid=29889 vsize=28768336 memory=1752 CPUtime=1.64 cores=0-7
/proc/29891/task/29892/stat : 29892 (java) S 29889 29889 29371 0 -1 1077944384 9866 0 0 0 157 7 0 0 20 0 28 0 447377040 29458776064 539062 33554432000 4194304 4196468 140732692731840 140464104342656 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29893] ppid=29889 vsize=28768336 memory=1056 CPUtime=0.13 cores=0-7
/proc/29891/task/29893/stat : 29893 (java) S 29889 29889 29371 0 -1 1077944384 607 0 0 0 10 3 0 0 20 0 28 0 447377041 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463651805968 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29894] ppid=29889 vsize=28768336 memory=1456 CPUtime=0.13 cores=0-7
/proc/29891/task/29894/stat : 29894 (java) S 29889 29889 29371 0 -1 1077944384 499 0 0 0 10 3 0 0 20 0 28 0 447377041 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463650753424 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29895] ppid=29889 vsize=28768336 memory=2156248 CPUtime=0.15 cores=0-7
/proc/29891/task/29895/stat : 29895 (java) S 29889 29889 29371 0 -1 1077944384 1175 0 0 0 11 4 0 0 20 0 28 0 447377041 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463649700880 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29896] ppid=29889 vsize=28768336 memory=928 CPUtime=0.15 cores=0-7
/proc/29891/task/29896/stat : 29896 (java) S 29889 29889 29371 0 -1 1077944384 3201 0 0 0 11 4 0 0 20 0 28 0 447377041 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463648648336 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29897] ppid=29889 vsize=28768336 memory=1720 CPUtime=0.13 cores=0-7
/proc/29891/task/29897/stat : 29897 (java) S 29889 29889 29371 0 -1 1077944384 1139 0 0 0 10 3 0 0 20 0 28 0 447377041 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463647594768 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29898] ppid=29889 vsize=28768336 memory=1976 CPUtime=0.14 cores=0-7
/proc/29891/task/29898/stat : 29898 (java) S 29889 29889 29371 0 -1 1077944384 777 0 0 0 10 4 0 0 20 0 28 0 447377041 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463646542224 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29899] ppid=29889 vsize=28768336 memory=1456 CPUtime=0.16 cores=0-7
/proc/29891/task/29899/stat : 29899 (java) S 29889 29889 29371 0 -1 1077944384 2045 0 0 0 11 5 0 0 20 0 28 0 447377041 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463645489680 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29900] ppid=29889 vsize=28768336 memory=2156248 CPUtime=0.17 cores=0-7
/proc/29891/task/29900/stat : 29900 (java) S 29889 29889 29371 0 -1 1077944384 1368 0 0 0 11 6 0 0 20 0 28 0 447377041 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463644437136 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29901] ppid=29889 vsize=28768336 memory=12040 CPUtime=0.04 cores=0-7
/proc/29891/task/29901/stat : 29901 (java) S 29889 29889 29371 0 -1 1077944384 4006 0 0 0 4 0 0 0 20 0 28 0 447377043 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463484889584 140464100113026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29902] ppid=29889 vsize=28768336 memory=28208 CPUtime=0 cores=0-7
/proc/29891/task/29902/stat : 29902 (java) S 29889 29889 29371 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 447377043 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463147312608 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29903] ppid=29889 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/29891/task/29903/stat : 29903 (java) S 29889 29889 29371 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 447377043 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463146259968 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29904] ppid=29889 vsize=28768336 memory=2156248 CPUtime=0 cores=0-7
/proc/29891/task/29904/stat : 29904 (java) S 29889 29889 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447377046 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463145208528 140464100120475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29905] ppid=29889 vsize=28768336 memory=1456 CPUtime=3.6 cores=0-7
/proc/29891/task/29905/stat : 29905 (java) S 29889 29889 29371 0 -1 1077944384 27164 0 0 0 353 7 0 0 20 0 28 0 447377046 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463144155120 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29906] ppid=29889 vsize=28768336 memory=2156248 CPUtime=2.98 cores=0-7
/proc/29891/task/29906/stat : 29906 (java) S 29889 29889 29371 0 -1 1077944384 15404 0 0 0 295 3 0 0 20 0 28 0 447377046 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463143102576 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29907] ppid=29889 vsize=28768336 memory=4100 CPUtime=2.92 cores=0-7
/proc/29891/task/29907/stat : 29907 (java) S 29889 29889 29371 0 -1 1077944384 19388 0 0 0 289 3 0 0 20 0 28 0 447377046 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463142050032 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29908] ppid=29889 vsize=28768336 memory=1398720917958146503 CPUtime=0.91 cores=0-7
/proc/29891/task/29908/stat : 29908 (java) S 29889 29889 29371 0 -1 1077944384 11474 0 0 0 89 2 0 0 20 0 28 0 447377046 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463140997488 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29909] ppid=29889 vsize=28768336 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/29891/task/29909/stat : 29909 (java) S 29889 29889 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447377046 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463139945184 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29910] ppid=29889 vsize=28768336 memory=804 CPUtime=0.06 cores=0-7
/proc/29891/task/29910/stat : 29910 (java) S 29889 29889 29371 0 -1 1077944384 1978 0 0 0 6 0 0 0 20 0 28 0 447377046 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463138892720 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29934] ppid=29889 vsize=28768336 memory=1764 CPUtime=81.18 cores=0-7
/proc/29891/task/29934/stat : 29934 (java) R 29889 29889 29371 0 -1 4202560 1365 0 0 0 8118 0 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463123595176 140463709872565 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29935] ppid=29889 vsize=28768336 memory=111628 CPUtime=80.73 cores=0-7
/proc/29891/task/29935/stat : 29935 (java) R 29889 29889 29371 0 -1 4202560 1161 0 0 0 8073 0 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463125701720 140463711377276 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29936] ppid=29889 vsize=28768336 memory=800 CPUtime=81.13 cores=0-7
/proc/29891/task/29936/stat : 29936 (java) R 29889 29889 29371 0 -1 4202560 1394 0 0 0 8113 0 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463127806232 140463708943585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29937] ppid=29889 vsize=28768336 memory=1808 CPUtime=81.33 cores=0-7
/proc/29891/task/29937/stat : 29937 (java) R 29889 29889 29371 0 -1 4202560 13162 0 0 0 8099 34 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463129911640 140463708878638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29938] ppid=29889 vsize=28768336 memory=924 CPUtime=80.96 cores=0-7
/proc/29891/task/29938/stat : 29938 (java) R 29889 29889 29371 0 -1 4202560 1313 0 0 0 8093 3 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463126753816 140463708094422 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29939] ppid=29889 vsize=28768336 memory=4212 CPUtime=81.28 cores=0-7
/proc/29891/task/29939/stat : 29939 (java) R 29889 29889 29371 0 -1 4202560 1759 0 0 0 8127 1 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463128861360 140463708094283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29940] ppid=29889 vsize=28768336 memory=1412 CPUtime=80.73 cores=0-7
/proc/29891/task/29940/stat : 29940 (java) R 29889 29889 29371 0 -1 4202560 2163 0 0 0 8064 9 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463122542552 140463708094067 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29941] ppid=29889 vsize=28768336 memory=3536 CPUtime=80.04 cores=0-7
/proc/29891/task/29941/stat : 29941 (java) R 29889 29889 29371 0 -1 4202560 6038 0 0 0 8000 4 0 0 20 0 28 0 447386131 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463124647456 140463708428915 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
Current children cumulated CPU time: 1367.08 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2157704 KiB

[startup+172.501 s]
/proc/loadavg: 8.26 8.15 8.23 9/220 29946
/proc/meminfo: memFree=24630240/32770624 swapFree=66941552/67108860
[pid=29889] ppid=29886 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/29889/stat : 29889 (xcsp3-exec) S 29886 29889 29371 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447377040 115843072 364 33554432000 4194304 5098028 140736516258144 140736516256248 140318919275132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32423936 140736516264821 140736516265065 140736516265065 140736516267978 0
/proc/29889/statm: 28282 364 305 221 0 87 0
[pid=29891] ppid=29889 vsize=28768336 memory=2156248 CPUtime=1367.85 cores=0-7
/proc/29891/stat : 29891 (java) S 29889 29889 29371 0 -1 1077944320 148877 0 0 0 136613 172 0 0 20 0 28 0 447377040 29458776064 539062 33554432000 4194304 4196468 140732692731840 140732692714384 140464100101879 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
/proc/29891/statm: 7192084 539062 3546 1 0 7153184 0
[pid=29891/tid=29892] ppid=29889 vsize=28768336 memory=2156248 CPUtime=1.64 cores=0-7
/proc/29891/task/29892/stat : 29892 (java) S 29889 29889 29371 0 -1 1077944384 9866 0 0 0 157 7 0 0 20 0 28 0 447377040 29458776064 539062 33554432000 4194304 4196468 140732692731840 140464104342656 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29893] ppid=29889 vsize=28768336 memory=1456 CPUtime=0.13 cores=0-7
/proc/29891/task/29893/stat : 29893 (java) S 29889 29889 29371 0 -1 1077944384 607 0 0 0 10 3 0 0 20 0 28 0 447377041 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463651805968 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29894] ppid=29889 vsize=28768336 memory=164 CPUtime=0.13 cores=0-7
/proc/29891/task/29894/stat : 29894 (java) S 29889 29889 29371 0 -1 1077944384 499 0 0 0 10 3 0 0 20 0 28 0 447377041 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463650753424 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29895] ppid=29889 vsize=28768336 memory=0 CPUtime=0.15 cores=0-7
/proc/29891/task/29895/stat : 29895 (java) S 29889 29889 29371 0 -1 1077944384 1175 0 0 0 11 4 0 0 20 0 28 0 447377041 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463649700880 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29896] ppid=29889 vsize=28768336 memory=1456 CPUtime=0.15 cores=0-7
/proc/29891/task/29896/stat : 29896 (java) S 29889 29889 29371 0 -1 1077944384 3201 0 0 0 11 4 0 0 20 0 28 0 447377041 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463648648336 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29897] ppid=29889 vsize=28768336 memory=2167580 CPUtime=0.13 cores=0-7
/proc/29891/task/29897/stat : 29897 (java) S 29889 29889 29371 0 -1 1077944384 1139 0 0 0 10 3 0 0 20 0 28 0 447377041 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463647594768 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29898] ppid=29889 vsize=28768336 memory=16 CPUtime=0.14 cores=0-7
/proc/29891/task/29898/stat : 29898 (java) S 29889 29889 29371 0 -1 1077944384 777 0 0 0 10 4 0 0 20 0 28 0 447377041 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463646542224 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29899] ppid=29889 vsize=28768336 memory=17 CPUtime=0.16 cores=0-7
/proc/29891/task/29899/stat : 29899 (java) S 29889 29889 29371 0 -1 1077944384 2045 0 0 0 11 5 0 0 20 0 28 0 447377041 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463645489680 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29900] ppid=29889 vsize=28768336 memory=1456 CPUtime=0.17 cores=0-7
/proc/29891/task/29900/stat : 29900 (java) S 29889 29889 29371 0 -1 1077944384 1368 0 0 0 11 6 0 0 20 0 28 0 447377041 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463644437136 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29901] ppid=29889 vsize=28768336 memory=2170376 CPUtime=0.04 cores=0-7
/proc/29891/task/29901/stat : 29901 (java) S 29889 29889 29371 0 -1 1077944384 4006 0 0 0 4 0 0 0 20 0 28 0 447377043 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463484889584 140464100113026 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29902] ppid=29889 vsize=28768336 memory=2170376 CPUtime=0 cores=0-7
/proc/29891/task/29902/stat : 29902 (java) S 29889 29889 29371 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 447377043 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463147312608 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29903] ppid=29889 vsize=28768336 memory=1456 CPUtime=0 cores=0-7
/proc/29891/task/29903/stat : 29903 (java) S 29889 29889 29371 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 447377043 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463146259968 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29904] ppid=29889 vsize=28768336 memory=1976 CPUtime=0 cores=0-7
/proc/29891/task/29904/stat : 29904 (java) S 29889 29889 29371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447377046 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463145208528 140464100120475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29905] ppid=29889 vsize=28768336 memory=2432 CPUtime=3.6 cores=0-7
/proc/29891/task/29905/stat : 29905 (java) S 29889 29889 29371 0 -1 1077944384 27164 0 0 0 353 7 0 0 20 0 28 0 447377046 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463144155120 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29906] ppid=29889 vsize=28768336 memory=1456 CPUtime=2.98 cores=0-7
/proc/29891/task/29906/stat : 29906 (java) S 29889 29889 29371 0 -1 1077944384 15404 0 0 0 295 3 0 0 20 0 28 0 447377046 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463143102576 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29907] ppid=29889 vsize=28768336 memory=2156248 CPUtime=2.92 cores=0-7
/proc/29891/task/29907/stat : 29907 (java) S 29889 29889 29371 0 -1 1077944384 19388 0 0 0 289 3 0 0 20 0 28 0 447377046 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463142050032 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29908] ppid=29889 vsize=28768336 memory=624 CPUtime=0.91 cores=0-7
/proc/29891/task/29908/stat : 29908 (java) S 29889 29889 29371 0 -1 1077944384 11474 0 0 0 89 2 0 0 20 0 28 0 447377046 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463140997488 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29909] ppid=29889 vsize=28768336 memory=2832 CPUtime=0 cores=0-7
/proc/29891/task/29909/stat : 29909 (java) S 29889 29889 29371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447377046 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463139945184 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29910] ppid=29889 vsize=28768336 memory=293 CPUtime=0.06 cores=0-7
/proc/29891/task/29910/stat : 29910 (java) S 29889 29889 29371 0 -1 1077944384 1978 0 0 0 6 0 0 0 20 0 28 0 447377046 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463138892720 140464100113026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29934] ppid=29889 vsize=28768336 memory=290 CPUtime=81.28 cores=0-7
/proc/29891/task/29934/stat : 29934 (java) S 29889 29889 29371 0 -1 1077944384 1432 0 0 0 8128 0 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463123599600 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29935] ppid=29889 vsize=28768336 memory=279466073086784 CPUtime=80.82 cores=0-7
/proc/29891/task/29935/stat : 29935 (java) S 29889 29889 29371 0 -1 1077944384 1294 0 0 0 8082 0 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463125706320 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29936] ppid=29889 vsize=28768336 memory=-2023959437020729679 CPUtime=81.22 cores=0-7
/proc/29891/task/29936/stat : 29936 (java) S 29889 29889 29371 0 -1 1077944384 1439 0 0 0 8122 0 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463127810768 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29937] ppid=29889 vsize=28768336 memory=2167580 CPUtime=81.42 cores=0-7
/proc/29891/task/29937/stat : 29937 (java) S 29889 29889 29371 0 -1 1077944384 13240 0 0 0 8108 34 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463129916240 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29938] ppid=29889 vsize=28768336 memory=3620 CPUtime=81.05 cores=0-7
/proc/29891/task/29938/stat : 29938 (java) S 29889 29889 29371 0 -1 1077944384 1355 0 0 0 8102 3 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463126758352 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29939] ppid=29889 vsize=28768336 memory=1456 CPUtime=81.38 cores=0-7
/proc/29891/task/29939/stat : 29939 (java) S 29889 29889 29371 0 -1 1077944384 1795 0 0 0 8137 1 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463128863824 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29940] ppid=29889 vsize=28768336 memory=1456 CPUtime=80.82 cores=0-7
/proc/29891/task/29940/stat : 29940 (java) S 29889 29889 29371 0 -1 1077944384 2209 0 0 0 8073 9 0 0 20 0 28 0 447386130 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463122547920 140464100112085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
[pid=29891/tid=29941] ppid=29889 vsize=28768336 memory=2156248 CPUtime=80.14 cores=0-7
/proc/29891/task/29941/stat : 29941 (java) R 29889 29889 29371 0 -1 4202560 6100 0 0 0 8010 4 0 0 20 0 28 0 447386131 29458776064 539062 33554432000 4194304 4196468 140732692731840 140463124647456 140463703467206 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31555584 140732692739050 140732692739222 140732692739222 140732692742095 0
Current children cumulated CPU time: 1367.85 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2157704 KiB

Child status: 0
Real time (s): 172.533
CPU time (s): 1367.9
CPU user time (s): 1366.15
CPU system time (s): 1.74729
CPU usage (%): 792.832
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 2173856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1366.15
system time used= 1.74729
maximum resident set size= 2172872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 151190
page faults= 0
swaps= 0
block input operations= 0
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9799
involuntary context switches= 17196


# summary of solver processes directly reported to runsolver:
#   pid: 29889
#   total CPU time (s): 1367.9
#   total CPU user time (s): 1366.15
#   total CPU system time (s): 1.74729

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.93323 second user time and 1.58344 second system time

The end