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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393348-1568344328/watcher-4393348-1568344328 -o /tmp/evaluation-result-4393348-1568344328/solver-4393348-1568344328 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4479 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 150957074 HOME/instance-4393348-1568344328.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5054, runsolver pid=5051
Current StackSize limit: 8192 KiB


[startup+0.100574 s]*
/proc/loadavg: 8.63 8.20 5.77 7/234 5070
/proc/meminfo: memFree=19312420/32770624 swapFree=66959216/67108860
[pid=5054] ppid=5051 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5054/stat : 5054 (xcsp3-exec) S 5051 5054 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410373031 115843072 362 33554432000 4194304 5098028 140722283484000 140722283482104 140377851089532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11702272 140722283492219 140722283492461 140722283492461 140722283495370 0
/proc/5054/statm: 28282 362 304 221 0 87 0
[pid=5056] ppid=5054 vsize=15144768 memory=28660 CPUtime=0.12 cores=1,3,5,7
/proc/5056/stat : 5056 (java) S 5054 5054 3331 0 -1 1077944320 5644 0 0 0 11 1 0 0 20 0 15 0 410373031 15508242432 7165 33554432000 4194304 4196468 140734680709296 140734680691840 139861179752183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
/proc/5056/statm: 3786192 7165 3116 1 0 3748377 0
[pid=5056/tid=5057] ppid=5054 vsize=15144768 memory=-8976644418600983157 CPUtime=0.08 cores=1,3,5,7
/proc/5056/task/5057/stat : 5057 (java) R 5054 5054 3331 0 -1 4202560 3558 0 0 0 8 0 0 0 20 0 15 0 410373031 15508242432 7165 33554432000 4194304 4196468 140734680709296 139861183984232 139861179774109 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5058] ppid=5054 vsize=15144768 memory=3472467929808155856 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5058/stat : 5058 (java) S 5054 5054 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410373032 15508242432 7165 33554432000 4194304 4196468 140734680709296 139861115989136 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5059] ppid=5054 vsize=15144768 memory=139800913004160 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5059/stat : 5059 (java) S 5054 5054 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410373032 15508242432 7165 33554432000 4194304 4196468 140734680709296 139861114936336 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5060] ppid=5054 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5060/stat : 5060 (java) S 5054 5054 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410373032 15508242432 7165 33554432000 4194304 4196468 140734680709296 139860770347920 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5061] ppid=5054 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5061/stat : 5061 (java) S 5054 5054 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410373032 15508242432 7165 33554432000 4194304 4196468 140734680709296 139860769295120 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5062] ppid=5054 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5062/stat : 5062 (java) S 5054 5054 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410373034 15508242432 7165 33554432000 4194304 4196468 140734680709296 139860322347376 139861179763330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5063] ppid=5054 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5063/stat : 5063 (java) S 5054 5054 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410373034 15508242432 7165 33554432000 4194304 4196468 140734680709296 139860321293344 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5064] ppid=5054 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5064/stat : 5064 (java) S 5054 5054 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410373034 15508242432 7165 33554432000 4194304 4196468 140734680709296 139860320240496 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5065] ppid=5054 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5065/stat : 5065 (java) S 5054 5054 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410373037 15508242432 7165 33554432000 4194304 4196468 140734680709296 139860319188816 139861179770779 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5066] ppid=5054 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5066/stat : 5066 (java) S 5054 5054 3331 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 410373037 15508242432 7165 33554432000 4194304 4196468 140734680709296 139860318137200 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5067] ppid=5054 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5067/stat : 5067 (java) R 5054 5054 3331 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 410373037 15508242432 7165 33554432000 4194304 4196468 140734680709296 139860317084400 139861179763330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5068] ppid=5054 vsize=15144768 memory=139800913004160 CPUtime=0.02 cores=1,3,5,7
/proc/5056/task/5068/stat : 5068 (java) R 5054 5054 3331 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 410373037 15508242432 7165 33554432000 4194304 4196468 140734680709296 139860316031600 139861158242689 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5069] ppid=5054 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5069/stat : 5069 (java) S 5054 5054 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410373037 15508242432 7165 33554432000 4194304 4196468 140734680709296 139860314979040 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5070] ppid=5054 vsize=15144768 memory=139800913004160 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5070/stat : 5070 (java) S 5054 5054 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410373037 15508242432 7165 33554432000 4194304 4196468 140734680709296 139860313926320 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30108 KiB

[startup+0.211755 s]*
/proc/loadavg: 8.63 8.20 5.77 7/234 5070
/proc/meminfo: memFree=19300164/32770624 swapFree=66959216/67108860
[pid=5054] ppid=5051 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5054/stat : 5054 (xcsp3-exec) S 5051 5054 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410373031 115843072 362 33554432000 4194304 5098028 140722283484000 140722283482104 140377851089532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11702272 140722283492219 140722283492461 140722283492461 140722283495370 0
/proc/5054/statm: 28282 362 304 221 0 87 0
[pid=5056] ppid=5054 vsize=15144768 memory=40144 CPUtime=0.34 cores=1,3,5,7
/proc/5056/stat : 5056 (java) S 5054 5054 3331 0 -1 1077944320 9284 0 0 0 31 3 0 0 20 0 15 0 410373031 15508242432 10036 33554432000 4194304 4196468 140734680709296 140734680691840 139861179752183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
/proc/5056/statm: 3786192 10036 3256 1 0 3748377 0
[pid=5056/tid=5057] ppid=5054 vsize=15144768 memory=4500116723389865625 CPUtime=0.2 cores=1,3,5,7
/proc/5056/task/5057/stat : 5057 (java) R 5054 5054 3331 0 -1 4202560 6542 0 0 0 18 2 0 0 20 0 15 0 410373031 15508242432 10036 33554432000 4194304 4196468 140734680709296 139861183985648 139860795010769 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5058] ppid=5054 vsize=15144768 memory=3472467929808155856 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5058/stat : 5058 (java) S 5054 5054 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410373032 15508242432 10036 33554432000 4194304 4196468 140734680709296 139861115989136 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5059] ppid=5054 vsize=15144768 memory=139800913004160 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5059/stat : 5059 (java) S 5054 5054 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410373032 15508242432 10036 33554432000 4194304 4196468 140734680709296 139861114936336 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5060] ppid=5054 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5060/stat : 5060 (java) S 5054 5054 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410373032 15508242432 10036 33554432000 4194304 4196468 140734680709296 139860770347920 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5061] ppid=5054 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5061/stat : 5061 (java) S 5054 5054 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410373032 15508242432 10036 33554432000 4194304 4196468 140734680709296 139860769295120 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5062] ppid=5054 vsize=15144768 memory=139800913004160 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5062/stat : 5062 (java) S 5054 5054 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410373034 15508242432 10036 33554432000 4194304 4196468 140734680709296 139860322347376 139861179763330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5063] ppid=5054 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5063/stat : 5063 (java) S 5054 5054 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410373034 15508242432 10036 33554432000 4194304 4196468 140734680709296 139860321293344 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5064] ppid=5054 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5064/stat : 5064 (java) S 5054 5054 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410373034 15508242432 10036 33554432000 4194304 4196468 140734680709296 139860320240496 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5065] ppid=5054 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5065/stat : 5065 (java) S 5054 5054 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410373037 15508242432 10036 33554432000 4194304 4196468 140734680709296 139860319188816 139861179770779 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5066] ppid=5054 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5056/task/5066/stat : 5066 (java) S 5054 5054 3331 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 15 0 410373037 15508242432 10036 33554432000 4194304 4196468 140734680709296 139860318137200 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5067] ppid=5054 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5056/task/5067/stat : 5067 (java) S 5054 5054 3331 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 15 0 410373037 15508242432 10036 33554432000 4194304 4196468 140734680709296 139860317084400 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5068] ppid=5054 vsize=15144768 memory=139800913004160 CPUtime=0.07 cores=1,3,5,7
/proc/5056/task/5068/stat : 5068 (java) R 5054 5054 3331 0 -1 4202560 802 0 0 0 7 0 0 0 20 0 15 0 410373037 15508242432 10036 33554432000 4194304 4196468 140734680709296 139860316031408 139861171989310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5069] ppid=5054 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5069/stat : 5069 (java) S 5054 5054 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410373037 15508242432 10036 33554432000 4194304 4196468 140734680709296 139860314979040 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5070] ppid=5054 vsize=15144768 memory=139800913004160 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5070/stat : 5070 (java) S 5054 5054 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410373037 15508242432 10036 33554432000 4194304 4196468 140734680709296 139860313926320 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41592 KiB

[startup+0.312936 s]*
/proc/loadavg: 8.42 8.16 5.77 8/234 5070
/proc/meminfo: memFree=19292508/32770624 swapFree=66959216/67108860
[pid=5054] ppid=5051 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5054/stat : 5054 (xcsp3-exec) S 5051 5054 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410373031 115843072 362 33554432000 4194304 5098028 140722283484000 140722283482104 140377851089532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11702272 140722283492219 140722283492461 140722283492461 140722283495370 0
/proc/5054/statm: 28282 362 304 221 0 87 0
[pid=5056] ppid=5054 vsize=15149024 memory=49656 CPUtime=0.53 cores=1,3,5,7
/proc/5056/stat : 5056 (java) S 5054 5054 3331 0 -1 1077944320 10786 0 0 0 49 4 0 0 20 0 15 0 410373031 15512600576 12414 33554432000 4194304 4196468 140734680709296 140734680691840 139861179752183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
/proc/5056/statm: 3787256 12414 3368 1 0 3748377 0
[pid=5056/tid=5057] ppid=5054 vsize=15149024 memory=-8976644418600983157 CPUtime=0.3 cores=1,3,5,7
/proc/5056/task/5057/stat : 5057 (java) R 5054 5054 3331 0 -1 4202560 7730 0 0 0 27 3 0 0 20 0 15 0 410373031 15512600576 12414 33554432000 4194304 4196468 140734680709296 139861183978800 139861163832670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5058] ppid=5054 vsize=15149024 memory=3472467929808155856 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5058/stat : 5058 (java) S 5054 5054 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410373032 15512600576 12414 33554432000 4194304 4196468 140734680709296 139861115989136 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5059] ppid=5054 vsize=15149024 memory=139800913004160 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5059/stat : 5059 (java) S 5054 5054 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410373032 15512600576 12479 33554432000 4194304 4196468 140734680709296 139861114936336 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5060] ppid=5054 vsize=15149024 memory=4 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5060/stat : 5060 (java) S 5054 5054 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410373032 15512600576 12479 33554432000 4194304 4196468 140734680709296 139860770347920 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5061] ppid=5054 vsize=15149024 memory=139800782972959 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5061/stat : 5061 (java) S 5054 5054 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410373032 15512600576 12479 33554432000 4194304 4196468 140734680709296 139860769295120 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5062] ppid=5054 vsize=15149024 memory=279601565925152 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5062/stat : 5062 (java) S 5054 5054 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410373034 15512600576 12479 33554432000 4194304 4196468 140734680709296 139860322347376 139861179763330 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5063] ppid=5054 vsize=15149024 memory=139800782949903 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5063/stat : 5063 (java) S 5054 5054 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410373034 15512600576 12479 33554432000 4194304 4196468 140734680709296 139860321293344 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5064] ppid=5054 vsize=15149024 memory=279601695963232 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5064/stat : 5064 (java) S 5054 5054 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410373034 15512600576 12479 33554432000 4194304 4196468 140734680709296 139860320240496 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5065] ppid=5054 vsize=15149024 memory=139800782954511 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5065/stat : 5065 (java) S 5054 5054 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410373037 15512600576 12479 33554432000 4194304 4196468 140734680709296 139860319188816 139861179770779 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5066] ppid=5054 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5056/task/5066/stat : 5066 (java) S 5054 5054 3331 0 -1 1077944384 446 0 0 0 3 0 0 0 20 0 15 0 410373037 15512600576 12479 33554432000 4194304 4196468 140734680709296 139860318137200 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5067] ppid=5054 vsize=15149024 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/5056/task/5067/stat : 5067 (java) R 5054 5054 3331 0 -1 4202560 358 0 0 0 5 0 0 0 20 0 15 0 410373037 15512600576 12479 33554432000 4194304 4196468 140734680709296 139860317074784 139861157013440 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5068] ppid=5054 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5056/task/5068/stat : 5068 (java) S 5054 5054 3331 0 -1 1077944384 959 0 0 0 12 0 0 0 20 0 15 0 410373037 15512600576 12479 33554432000 4194304 4196468 140734680709296 139860316031600 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5069] ppid=5054 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5069/stat : 5069 (java) S 5054 5054 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410373037 15512600576 12479 33554432000 4194304 4196468 140734680709296 139860314979040 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5070] ppid=5054 vsize=15149024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5070/stat : 5070 (java) S 5054 5054 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410373037 15512600576 12479 33554432000 4194304 4196468 140734680709296 139860313926320 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51104 KiB

[startup+0.700735 s]
/proc/loadavg: 8.42 8.16 5.77 9/234 5070
/proc/meminfo: memFree=19271264/32770624 swapFree=66959216/67108860
[pid=5054] ppid=5051 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5054/stat : 5054 (xcsp3-exec) S 5051 5054 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410373031 115843072 362 33554432000 4194304 5098028 140722283484000 140722283482104 140377851089532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11702272 140722283492219 140722283492461 140722283492461 140722283495370 0
/proc/5054/statm: 28282 362 304 221 0 87 0
[pid=5056] ppid=5054 vsize=15151148 memory=105356 CPUtime=1.74 cores=1,3,5,7
/proc/5056/stat : 5056 (java) S 5054 5054 3331 0 -1 1077944320 14996 0 0 0 168 6 0 0 20 0 15 0 410373031 15514775552 26339 33554432000 4194304 4196468 140734680709296 140734680691840 139861179752183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
/proc/5056/statm: 3787787 26339 3444 1 0 3748889 0
[pid=5056/tid=5057] ppid=5054 vsize=15151148 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/5056/task/5057/stat : 5057 (java) R 5054 5054 3331 0 -1 4202560 8604 0 0 0 63 4 0 0 20 0 15 0 410373031 15514775552 26339 33554432000 4194304 4196468 140734680709296 139861183941360 139861179774109 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5058] ppid=5054 vsize=15151148 memory=56 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5058/stat : 5058 (java) S 5054 5054 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410373032 15514775552 26339 33554432000 4194304 4196468 140734680709296 139861115989136 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5059] ppid=5054 vsize=15151148 memory=7238798801035015221 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5059/stat : 5059 (java) S 5054 5054 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410373032 15514775552 26339 33554432000 4194304 4196468 140734680709296 139861114936336 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5060] ppid=5054 vsize=15151148 memory=7012755875661107283 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5060/stat : 5060 (java) S 5054 5054 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410373032 15514775552 26339 33554432000 4194304 4196468 140734680709296 139860770347920 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5061] ppid=5054 vsize=15151148 memory=5859278125529317472 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5061/stat : 5061 (java) S 5054 5054 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410373032 15514775552 26339 33554432000 4194304 4196468 140734680709296 139860769295120 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5062] ppid=5054 vsize=15151148 memory=2319389199337275488 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5062/stat : 5062 (java) S 5054 5054 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410373034 15514775552 26339 33554432000 4194304 4196468 140734680709296 139860322347376 139861179763330 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5063] ppid=5054 vsize=15151148 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5063/stat : 5063 (java) S 5054 5054 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410373034 15514775552 26339 33554432000 4194304 4196468 140734680709296 139860321293344 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5064] ppid=5054 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5064/stat : 5064 (java) S 5054 5054 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410373034 15514775552 26339 33554432000 4194304 4196468 140734680709296 139860320240496 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5065] ppid=5054 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5065/stat : 5065 (java) S 5054 5054 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410373037 15514775552 26339 33554432000 4194304 4196468 140734680709296 139860319188816 139861179770779 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5066] ppid=5054 vsize=15151148 memory=5964 CPUtime=0.35 cores=1,3,5,7
/proc/5056/task/5066/stat : 5066 (java) R 5054 5054 3331 0 -1 4202560 1745 0 0 0 35 0 0 0 20 0 15 0 410373037 15514775552 26339 33554432000 4194304 4196468 140734680709296 139860318123296 139861172041565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5067] ppid=5054 vsize=15151148 memory=1060 CPUtime=0.36 cores=1,3,5,7
/proc/5056/task/5067/stat : 5067 (java) R 5054 5054 3331 0 -1 4202560 1537 0 0 0 36 0 0 0 20 0 15 0 410373037 15514775552 26339 33554432000 4194304 4196468 140734680709296 139860317070968 139861172851883 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5068] ppid=5054 vsize=15151148 memory=2828 CPUtime=0.32 cores=1,3,5,7
/proc/5056/task/5068/stat : 5068 (java) S 5054 5054 3331 0 -1 1077944384 1810 0 0 0 32 0 0 0 20 0 15 0 410373037 15514775552 26339 33554432000 4194304 4196468 140734680709296 139860316031600 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5069] ppid=5054 vsize=15151148 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5069/stat : 5069 (java) S 5054 5054 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410373037 15514775552 26339 33554432000 4194304 4196468 140734680709296 139860314979040 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5070] ppid=5054 vsize=15151148 memory=984 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5070/stat : 5070 (java) S 5054 5054 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410373037 15514775552 26339 33554432000 4194304 4196468 140734680709296 139860313926320 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 106804 KiB

[startup+1.50151 s]
/proc/loadavg: 8.42 8.16 5.77 8/234 5070
/proc/meminfo: memFree=19185020/32770624 swapFree=66959216/67108860
[pid=5054] ppid=5051 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5054/stat : 5054 (xcsp3-exec) S 5051 5054 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410373031 115843072 362 33554432000 4194304 5098028 140722283484000 140722283482104 140377851089532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11702272 140722283492219 140722283492461 140722283492461 140722283495370 0
/proc/5054/statm: 28282 362 304 221 0 87 0

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

??? end of watcher thread
Dumping a history of the last processes samples

[startup+163.202 s]
/proc/loadavg: 8.14 8.15 6.14 9/238 5090
/proc/meminfo: memFree=18140016/32770624 swapFree=66959216/67108860
[pid=5054] ppid=5051 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5054/stat : 5054 (xcsp3-exec) S 5051 5054 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410373031 115843072 362 33554432000 4194304 5098028 140722283484000 140722283482104 140377851089532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11702272 140722283492219 140722283492461 140722283492461 140722283495370 0
/proc/5054/statm: 28282 362 304 221 0 87 0
[pid=5056] ppid=5054 vsize=15417404 memory=1049172 CPUtime=648.01 cores=1,3,5,7
/proc/5056/stat : 5056 (java) S 5054 5054 3331 0 -1 1077944320 66544 0 0 0 64759 42 0 0 20 0 19 0 410373031 15787421696 262293 33554432000 4194304 4196468 140734680709296 140734680691840 139861179752183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
/proc/5056/statm: 3854351 262293 3530 1 0 3815453 0
[pid=5056/tid=5057] ppid=5054 vsize=15417404 memory=1077388 CPUtime=1.39 cores=1,3,5,7
/proc/5056/task/5057/stat : 5057 (java) S 5054 5054 3331 0 -1 1077944384 10561 0 0 0 134 5 0 0 20 0 19 0 410373031 15787421696 262293 33554432000 4194304 4196468 140734680709296 139861183992960 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5058] ppid=5054 vsize=15417404 memory=1060 CPUtime=0.13 cores=1,3,5,7
/proc/5056/task/5058/stat : 5058 (java) S 5054 5054 3331 0 -1 1077944384 2178 0 0 0 9 4 0 0 20 0 19 0 410373032 15787421696 262293 33554432000 4194304 4196468 140734680709296 139861115989136 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5059] ppid=5054 vsize=15417404 memory=8112282956445269571 CPUtime=0.12 cores=1,3,5,7
/proc/5056/task/5059/stat : 5059 (java) S 5054 5054 3331 0 -1 1077944384 986 0 0 0 9 3 0 0 20 0 19 0 410373032 15787421696 262293 33554432000 4194304 4196468 140734680709296 139861114936336 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5060] ppid=5054 vsize=15417404 memory=1984 CPUtime=0.13 cores=1,3,5,7
/proc/5056/task/5060/stat : 5060 (java) S 5054 5054 3331 0 -1 1077944384 1193 0 0 0 9 4 0 0 20 0 19 0 410373032 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860770347920 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5061] ppid=5054 vsize=15417404 memory=8112282956445269571 CPUtime=0.13 cores=1,3,5,7
/proc/5056/task/5061/stat : 5061 (java) S 5054 5054 3331 0 -1 1077944384 3790 0 0 0 9 4 0 0 20 0 19 0 410373032 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860769295120 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5062] ppid=5054 vsize=15417404 memory=1448 CPUtime=0.02 cores=1,3,5,7
/proc/5056/task/5062/stat : 5062 (java) S 5054 5054 3331 0 -1 1077944384 2078 0 0 0 2 0 0 0 20 0 19 0 410373034 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860322347376 139861179763330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5063] ppid=5054 vsize=15417404 memory=1049172 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5063/stat : 5063 (java) S 5054 5054 3331 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 410373034 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860321293408 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5064] ppid=5054 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5064/stat : 5064 (java) S 5054 5054 3331 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 410373034 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860320240512 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5065] ppid=5054 vsize=15417404 memory=1049172 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5065/stat : 5065 (java) S 5054 5054 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860319188816 139861179770779 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5066] ppid=5054 vsize=15417404 memory=1660 CPUtime=2.51 cores=1,3,5,7
/proc/5056/task/5066/stat : 5066 (java) S 5054 5054 3331 0 -1 1077944384 12841 0 0 0 250 1 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860318137200 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5067] ppid=5054 vsize=15417404 memory=38660 CPUtime=2.43 cores=1,3,5,7
/proc/5056/task/5067/stat : 5067 (java) S 5054 5054 3331 0 -1 1077944384 13884 0 0 0 242 1 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860317084400 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5068] ppid=5054 vsize=15417404 memory=988 CPUtime=0.8 cores=1,3,5,7
/proc/5056/task/5068/stat : 5068 (java) S 5054 5054 3331 0 -1 1077944384 7075 0 0 0 79 1 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860316031600 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5069] ppid=5054 vsize=15417404 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5069/stat : 5069 (java) S 5054 5054 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860314979040 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5070] ppid=5054 vsize=15417404 memory=1436 CPUtime=0.05 cores=1,3,5,7
/proc/5056/task/5070/stat : 5070 (java) S 5054 5054 3331 0 -1 1077944384 670 0 0 0 0 5 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860313926320 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5077] ppid=5054 vsize=15417404 memory=5964 CPUtime=156.11 cores=1,3,5,7
/proc/5056/task/5077/stat : 5077 (java) R 5054 5054 3331 0 -1 4202560 884 0 0 0 15611 0 0 0 20 0 19 0 410373676 15787421696 262293 33554432000 4194304 4196468 140734680709296 139859659042152 139860801475276 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5078] ppid=5054 vsize=15417404 memory=1060 CPUtime=155.29 cores=1,3,5,7
/proc/5056/task/5078/stat : 5078 (java) R 5054 5054 3331 0 -1 4202560 5449 0 0 0 15520 9 0 0 20 0 19 0 410373676 15787421696 262293 33554432000 4194304 4196468 140734680709296 139859657990416 139860801476396 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5079] ppid=5054 vsize=15417404 memory=2828 CPUtime=155.64 cores=1,3,5,7
/proc/5056/task/5079/stat : 5079 (java) R 5054 5054 3331 0 -1 4202560 588 0 0 0 15564 0 0 0 20 0 19 0 410373676 15787421696 262293 33554432000 4194304 4196468 140734680709296 139859660098576 139860801846367 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5080] ppid=5054 vsize=15417404 memory=1216 CPUtime=155.72 cores=1,3,5,7
/proc/5056/task/5080/stat : 5080 (java) R 5054 5054 3331 0 -1 4202560 1255 0 0 0 15572 0 0 0 20 0 19 0 410373676 15787421696 262293 33554432000 4194304 4196468 140734680709296 139859661147880 139860802447774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
Current children cumulated CPU time: 648.01 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1050620 KiB

[startup+163.602 s]
/proc/loadavg: 8.14 8.15 6.14 9/238 5090
/proc/meminfo: memFree=18140016/32770624 swapFree=66959216/67108860
[pid=5054] ppid=5051 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5054/stat : 5054 (xcsp3-exec) S 5051 5054 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410373031 115843072 362 33554432000 4194304 5098028 140722283484000 140722283482104 140377851089532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11702272 140722283492219 140722283492461 140722283492461 140722283495370 0
/proc/5054/statm: 28282 362 304 221 0 87 0
[pid=5056] ppid=5054 vsize=15417404 memory=1049172 CPUtime=649.61 cores=1,3,5,7
/proc/5056/stat : 5056 (java) S 5054 5054 3331 0 -1 1077944320 66544 0 0 0 64919 42 0 0 20 0 19 0 410373031 15787421696 262293 33554432000 4194304 4196468 140734680709296 140734680691840 139861179752183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
/proc/5056/statm: 3854351 262293 3530 1 0 3815453 0
[pid=5056/tid=5057] ppid=5054 vsize=15417404 memory=1077388 CPUtime=1.39 cores=1,3,5,7
/proc/5056/task/5057/stat : 5057 (java) S 5054 5054 3331 0 -1 1077944384 10561 0 0 0 134 5 0 0 20 0 19 0 410373031 15787421696 262293 33554432000 4194304 4196468 140734680709296 139861183992960 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5058] ppid=5054 vsize=15417404 memory=1448 CPUtime=0.13 cores=1,3,5,7
/proc/5056/task/5058/stat : 5058 (java) S 5054 5054 3331 0 -1 1077944384 2178 0 0 0 9 4 0 0 20 0 19 0 410373032 15787421696 262293 33554432000 4194304 4196468 140734680709296 139861115989136 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5059] ppid=5054 vsize=15417404 memory=1448 CPUtime=0.12 cores=1,3,5,7
/proc/5056/task/5059/stat : 5059 (java) S 5054 5054 3331 0 -1 1077944384 986 0 0 0 9 3 0 0 20 0 19 0 410373032 15787421696 262293 33554432000 4194304 4196468 140734680709296 139861114936336 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5060] ppid=5054 vsize=15417404 memory=55 CPUtime=0.13 cores=1,3,5,7
/proc/5056/task/5060/stat : 5060 (java) S 5054 5054 3331 0 -1 1077944384 1193 0 0 0 9 4 0 0 20 0 19 0 410373032 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860770347920 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5061] ppid=5054 vsize=15417404 memory=288230591722422566 CPUtime=0.13 cores=1,3,5,7
/proc/5056/task/5061/stat : 5061 (java) S 5054 5054 3331 0 -1 1077944384 3790 0 0 0 9 4 0 0 20 0 19 0 410373032 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860769295120 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5062] ppid=5054 vsize=15417404 memory=14696279397631387 CPUtime=0.02 cores=1,3,5,7
/proc/5056/task/5062/stat : 5062 (java) S 5054 5054 3331 0 -1 1077944384 2078 0 0 0 2 0 0 0 20 0 19 0 410373034 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860322347376 139861179763330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5063] ppid=5054 vsize=15417404 memory=14696279397631387 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5063/stat : 5063 (java) S 5054 5054 3331 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 410373034 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860321293408 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5064] ppid=5054 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5064/stat : 5064 (java) S 5054 5054 3331 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 410373034 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860320240512 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5065] ppid=5054 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5065/stat : 5065 (java) S 5054 5054 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860319188816 139861179770779 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5066] ppid=5054 vsize=15417404 memory=6943526294502006880 CPUtime=2.51 cores=1,3,5,7
/proc/5056/task/5066/stat : 5066 (java) S 5054 5054 3331 0 -1 1077944384 12841 0 0 0 250 1 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860318137200 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5067] ppid=5054 vsize=15417404 memory=288230591722422566 CPUtime=2.43 cores=1,3,5,7
/proc/5056/task/5067/stat : 5067 (java) S 5054 5054 3331 0 -1 1077944384 13884 0 0 0 242 1 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860317084400 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5068] ppid=5054 vsize=15417404 memory=302867290511376678 CPUtime=0.8 cores=1,3,5,7
/proc/5056/task/5068/stat : 5068 (java) S 5054 5054 3331 0 -1 1077944384 7075 0 0 0 79 1 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860316031600 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5069] ppid=5054 vsize=15417404 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5069/stat : 5069 (java) S 5054 5054 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860314979040 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5070] ppid=5054 vsize=15417404 memory=984 CPUtime=0.05 cores=1,3,5,7
/proc/5056/task/5070/stat : 5070 (java) S 5054 5054 3331 0 -1 1077944384 670 0 0 0 0 5 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860313926320 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5077] ppid=5054 vsize=15417404 memory=14004 CPUtime=156.51 cores=1,3,5,7
/proc/5056/task/5077/stat : 5077 (java) R 5054 5054 3331 0 -1 4202560 884 0 0 0 15651 0 0 0 20 0 19 0 410373676 15787421696 262293 33554432000 4194304 4196468 140734680709296 139859659042152 139860801905541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5078] ppid=5054 vsize=15417404 memory=20684 CPUtime=155.68 cores=1,3,5,7
/proc/5056/task/5078/stat : 5078 (java) R 5054 5054 3331 0 -1 4202560 5449 0 0 0 15559 9 0 0 20 0 19 0 410373676 15787421696 262293 33554432000 4194304 4196468 140734680709296 139859657990416 139860801476418 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5079] ppid=5054 vsize=15417404 memory=14048 CPUtime=156.04 cores=1,3,5,7
/proc/5056/task/5079/stat : 5079 (java) R 5054 5054 3331 0 -1 4202560 588 0 0 0 15604 0 0 0 20 0 19 0 410373676 15787421696 262293 33554432000 4194304 4196468 140734680709296 139859660098576 139860801476385 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5080] ppid=5054 vsize=15417404 memory=2124 CPUtime=156.12 cores=1,3,5,7
/proc/5056/task/5080/stat : 5080 (java) R 5054 5054 3331 0 -1 4202560 1255 0 0 0 15612 0 0 0 20 0 19 0 410373676 15787421696 262293 33554432000 4194304 4196468 140734680709296 139859661147880 139860802447191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
Current children cumulated CPU time: 649.61 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1050620 KiB

[startup+163.802 s]
/proc/loadavg: 8.14 8.15 6.14 9/238 5090
/proc/meminfo: memFree=18140016/32770624 swapFree=66959216/67108860
[pid=5054] ppid=5051 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5054/stat : 5054 (xcsp3-exec) S 5051 5054 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410373031 115843072 362 33554432000 4194304 5098028 140722283484000 140722283482104 140377851089532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11702272 140722283492219 140722283492461 140722283492461 140722283495370 0
/proc/5054/statm: 28282 362 304 221 0 87 0
[pid=5056] ppid=5054 vsize=15417404 memory=1049172 CPUtime=650.41 cores=1,3,5,7
/proc/5056/stat : 5056 (java) S 5054 5054 3331 0 -1 1077944320 66544 0 0 0 64999 42 0 0 20 0 19 0 410373031 15787421696 262293 33554432000 4194304 4196468 140734680709296 140734680691840 139861179752183 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
/proc/5056/statm: 3854351 262293 3530 1 0 3815453 0
[pid=5056/tid=5057] ppid=5054 vsize=15417404 memory=928 CPUtime=1.39 cores=1,3,5,7
/proc/5056/task/5057/stat : 5057 (java) S 5054 5054 3331 0 -1 1077944384 10561 0 0 0 134 5 0 0 20 0 19 0 410373031 15787421696 262293 33554432000 4194304 4196468 140734680709296 139861183992960 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5058] ppid=5054 vsize=15417404 memory=1760 CPUtime=0.13 cores=1,3,5,7
/proc/5056/task/5058/stat : 5058 (java) S 5054 5054 3331 0 -1 1077944384 2178 0 0 0 9 4 0 0 20 0 19 0 410373032 15787421696 262293 33554432000 4194304 4196468 140734680709296 139861115989136 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5059] ppid=5054 vsize=15417404 memory=824 CPUtime=0.12 cores=1,3,5,7
/proc/5056/task/5059/stat : 5059 (java) S 5054 5054 3331 0 -1 1077944384 986 0 0 0 9 3 0 0 20 0 19 0 410373032 15787421696 262293 33554432000 4194304 4196468 140734680709296 139861114936336 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5060] ppid=5054 vsize=15417404 memory=1436 CPUtime=0.13 cores=1,3,5,7
/proc/5056/task/5060/stat : 5060 (java) S 5054 5054 3331 0 -1 1077944384 1193 0 0 0 9 4 0 0 20 0 19 0 410373032 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860770347920 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5061] ppid=5054 vsize=15417404 memory=1984 CPUtime=0.13 cores=1,3,5,7
/proc/5056/task/5061/stat : 5061 (java) S 5054 5054 3331 0 -1 1077944384 3790 0 0 0 9 4 0 0 20 0 19 0 410373032 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860769295120 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5062] ppid=5054 vsize=15417404 memory=2580 CPUtime=0.02 cores=1,3,5,7
/proc/5056/task/5062/stat : 5062 (java) S 5054 5054 3331 0 -1 1077944384 2078 0 0 0 2 0 0 0 20 0 19 0 410373034 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860322347376 139861179763330 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5063] ppid=5054 vsize=15417404 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5063/stat : 5063 (java) S 5054 5054 3331 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 410373034 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860321293408 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5064] ppid=5054 vsize=15417404 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5064/stat : 5064 (java) S 5054 5054 3331 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 19 0 410373034 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860320240512 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5065] ppid=5054 vsize=15417404 memory=800 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5065/stat : 5065 (java) S 5054 5054 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860319188816 139861179770779 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5066] ppid=5054 vsize=15417404 memory=1808 CPUtime=2.51 cores=1,3,5,7
/proc/5056/task/5066/stat : 5066 (java) S 5054 5054 3331 0 -1 1077944384 12841 0 0 0 250 1 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860318137200 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5067] ppid=5054 vsize=15417404 memory=924 CPUtime=2.43 cores=1,3,5,7
/proc/5056/task/5067/stat : 5067 (java) S 5054 5054 3331 0 -1 1077944384 13884 0 0 0 242 1 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860317084400 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5068] ppid=5054 vsize=15417404 memory=3848 CPUtime=0.8 cores=1,3,5,7
/proc/5056/task/5068/stat : 5068 (java) S 5054 5054 3331 0 -1 1077944384 7075 0 0 0 79 1 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860316031600 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5069] ppid=5054 vsize=15417404 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/5056/task/5069/stat : 5069 (java) S 5054 5054 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860314979040 139861179762389 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5070] ppid=5054 vsize=15417404 memory=8112282956445269571 CPUtime=0.05 cores=1,3,5,7
/proc/5056/task/5070/stat : 5070 (java) S 5054 5054 3331 0 -1 1077944384 670 0 0 0 0 5 0 0 20 0 19 0 410373037 15787421696 262293 33554432000 4194304 4196468 140734680709296 139860313926320 139861179763330 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5077] ppid=5054 vsize=15417404 memory=1564 CPUtime=156.71 cores=1,3,5,7
/proc/5056/task/5077/stat : 5077 (java) R 5054 5054 3331 0 -1 4202560 884 0 0 0 15671 0 0 0 20 0 19 0 410373676 15787421696 262293 33554432000 4194304 4196468 140734680709296 139859659042152 139860801476396 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5078] ppid=5054 vsize=15417404 memory=5964 CPUtime=155.88 cores=1,3,5,7
/proc/5056/task/5078/stat : 5078 (java) R 5054 5054 3331 0 -1 4202560 5449 0 0 0 15579 9 0 0 20 0 19 0 410373676 15787421696 262293 33554432000 4194304 4196468 140734680709296 139859657990416 139860803490146 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5079] ppid=5054 vsize=15417404 memory=1060 CPUtime=156.24 cores=1,3,5,7
/proc/5056/task/5079/stat : 5079 (java) R 5054 5054 3331 0 -1 4202560 588 0 0 0 15624 0 0 0 20 0 19 0 410373676 15787421696 262293 33554432000 4194304 4196468 140734680709296 139859660098576 139861161158435 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
[pid=5056/tid=5080] ppid=5054 vsize=15417404 memory=2828 CPUtime=156.32 cores=1,3,5,7
/proc/5056/task/5080/stat : 5080 (java) R 5054 5054 3331 0 -1 4202560 1255 0 0 0 15632 0 0 0 20 0 19 0 410373676 15787421696 262293 33554432000 4194304 4196468 140734680709296 139859661147880 139860796084423 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39624704 140734680716271 140734680716442 140734680716442 140734680719311 0
Current children cumulated CPU time: 650.41 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 1050620 KiB

[startup+163.901 s]
/proc/loadavg: 8.14 8.15 6.14 9/238 5090
/proc/meminfo: memFree=18140016/32770624 swapFree=66959216/67108860
[pid=5054] ppid=5051 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5054/stat : 5054 (xcsp3-exec) S 5051 5054 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410373031 115843072 362 33554432000 4194304 5098028 140722283484000 140722283482104 140377851089532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 11702272 140722283492219 140722283492461 140722283492461 140722283495370 0
/proc/5054/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB

Child status: 0
Real time (s): 163.905
CPU time (s): 650.8
CPU user time (s): 650.363
CPU system time (s): 0.437213
CPU usage (%): 397.06
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 1130620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 650.363
system time used= 0.437213
maximum resident set size= 1148200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67952
page faults= 0
swaps= 0
block input operations= 0
block output operations= 304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6228
involuntary context switches= 9825


# summary of solver processes directly reported to runsolver:
#   pid: 5054
#   total CPU time (s): 650.8
#   total CPU user time (s): 650.363
#   total CPU system time (s): 0.437213

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.07361 second user time and 1.87647 second system time

The end