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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394095-1568331975/watcher-4394095-1568331975 -o /tmp/evaluation-result-4394095-1568331975/solver-4394095-1568331975 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25332 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 364014208 HOME/instance-4394095-1568331975.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=9206, runsolver pid=9203
Current StackSize limit: 8192 KiB


[startup+0.101876 s]*
/proc/loadavg: 7.79 7.48 7.41 6/233 9222
/proc/meminfo: memFree=30126172/32770624 swapFree=66933688/67108860
[pid=9206] ppid=9203 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9206/stat : 9206 (xcsp3-exec) S 9203 9206 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409468932 115843072 363 33554432000 4194304 5098028 140728713447344 140728713445448 140572468634236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31170560 140728713450363 140728713450605 140728713450605 140728713453514 0
/proc/9206/statm: 28282 363 304 221 0 87 0
[pid=9208] ppid=9206 vsize=15144768 memory=29360 CPUtime=0.13 cores=1,3,5,7
/proc/9208/stat : 9208 (java) S 9206 9206 25300 0 -1 1077944320 5789 0 0 0 13 0 0 0 20 0 15 0 409468932 15508242432 7340 33554432000 4194304 4196468 140725284002176 140725283984720 140697670037239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
/proc/9208/statm: 3786192 7340 3144 1 0 3748377 0
[pid=9208/tid=9209] ppid=9206 vsize=15144768 memory=-6664436420846797971 CPUtime=0.09 cores=1,3,5,7
/proc/9208/task/9209/stat : 9209 (java) R 9206 9206 25300 0 -1 4202560 3667 0 0 0 9 0 0 0 20 0 15 0 409468932 15508242432 7340 33554432000 4194304 4196468 140725284002176 140697674267456 140697670049174 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9210] ppid=9206 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9210/stat : 9210 (java) S 9206 9206 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409468933 15508242432 7340 33554432000 4194304 4196468 140725284002176 140697262021776 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9211] ppid=9206 vsize=15144768 memory=139941974390400 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9211/stat : 9211 (java) S 9206 9206 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409468933 15508242432 7340 33554432000 4194304 4196468 140725284002176 140697260968976 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9212] ppid=9206 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9212/stat : 9212 (java) S 9206 9206 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409468933 15508242432 7340 33554432000 4194304 4196468 140725284002176 140697259916176 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9213] ppid=9206 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9213/stat : 9213 (java) S 9206 9206 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409468933 15508242432 7340 33554432000 4194304 4196468 140725284002176 140697258863376 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9214] ppid=9206 vsize=15144768 memory=139941974390400 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9214/stat : 9214 (java) S 9206 9206 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409468935 15508242432 7340 33554432000 4194304 4196468 140725284002176 140697138194800 140697670048386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9215] ppid=9206 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9215/stat : 9215 (java) S 9206 9206 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409468935 15508242432 7340 33554432000 4194304 4196468 140725284002176 140697137140768 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9216] ppid=9206 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9216/stat : 9216 (java) S 9206 9206 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409468935 15508242432 7340 33554432000 4194304 4196468 140725284002176 140697136087920 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9217] ppid=9206 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9217/stat : 9217 (java) S 9206 9206 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409468938 15508242432 7340 33554432000 4194304 4196468 140725284002176 140697135036240 140697670055835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9218] ppid=9206 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9218/stat : 9218 (java) R 9206 9206 25300 0 -1 1077944384 461 0 0 0 0 0 0 0 20 0 15 0 409468938 15508242432 7340 33554432000 4194304 4196468 140725284002176 140697133984624 140697670048386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9219] ppid=9206 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9219/stat : 9219 (java) R 9206 9206 25300 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 15 0 409468938 15508242432 7340 33554432000 4194304 4196468 140725284002176 140697132931824 140697649897913 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9220] ppid=9206 vsize=15144768 memory=139941974390400 CPUtime=0.02 cores=1,3,5,7
/proc/9208/task/9220/stat : 9220 (java) R 9206 9206 25300 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 409468938 15508242432 7340 33554432000 4194304 4196468 140725284002176 140697131879152 140697648661271 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9221] ppid=9206 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9221/stat : 9221 (java) S 9206 9206 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409468938 15508242432 7340 33554432000 4194304 4196468 140725284002176 140697130826464 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9222] ppid=9206 vsize=15144768 memory=139941974390400 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9222/stat : 9222 (java) R 9206 9206 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409468938 15508242432 7340 33554432000 4194304 4196468 140725284002176 140697129773744 140697670048386 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30812 KiB

[startup+0.210745 s]*
/proc/loadavg: 7.79 7.48 7.41 8/233 9222
/proc/meminfo: memFree=30113676/32770624 swapFree=66933688/67108860
[pid=9206] ppid=9203 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9206/stat : 9206 (xcsp3-exec) S 9203 9206 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409468932 115843072 363 33554432000 4194304 5098028 140728713447344 140728713445448 140572468634236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31170560 140728713450363 140728713450605 140728713450605 140728713453514 0
/proc/9206/statm: 28282 363 304 221 0 87 0
[pid=9208] ppid=9206 vsize=15144768 memory=40960 CPUtime=0.34 cores=1,3,5,7
/proc/9208/stat : 9208 (java) S 9206 9206 25300 0 -1 1077944320 9445 0 0 0 31 3 0 0 20 0 15 0 409468932 15508242432 10240 33554432000 4194304 4196468 140725284002176 140725283984720 140697670037239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
/proc/9208/statm: 3786192 10240 3279 1 0 3748377 0
[pid=9208/tid=9209] ppid=9206 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/9208/task/9209/stat : 9209 (java) R 9206 9206 25300 0 -1 4202560 6630 0 0 0 18 2 0 0 20 0 15 0 409468932 15508242432 10240 33554432000 4194304 4196468 140725284002176 140697674269968 140697654117726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9210] ppid=9206 vsize=15144768 memory=364 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9210/stat : 9210 (java) S 9206 9206 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409468933 15508242432 10240 33554432000 4194304 4196468 140725284002176 140697262021776 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9211] ppid=9206 vsize=15144768 memory=139941977563358 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9211/stat : 9211 (java) S 9206 9206 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409468933 15508242432 10240 33554432000 4194304 4196468 140725284002176 140697260968976 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9212] ppid=9206 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9212/stat : 9212 (java) S 9206 9206 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409468933 15508242432 10240 33554432000 4194304 4196468 140725284002176 140697259916176 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9213] ppid=9206 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9213/stat : 9213 (java) S 9206 9206 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409468933 15508242432 10240 33554432000 4194304 4196468 140725284002176 140697258863376 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9214] ppid=9206 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9214/stat : 9214 (java) S 9206 9206 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409468935 15508242432 10240 33554432000 4194304 4196468 140725284002176 140697138194800 140697670048386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9215] ppid=9206 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9215/stat : 9215 (java) S 9206 9206 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409468935 15508242432 10240 33554432000 4194304 4196468 140725284002176 140697137140768 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9216] ppid=9206 vsize=15144768 memory=139941974390400 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9216/stat : 9216 (java) S 9206 9206 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409468935 15508242432 10240 33554432000 4194304 4196468 140725284002176 140697136087920 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9217] ppid=9206 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9217/stat : 9217 (java) S 9206 9206 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409468938 15508242432 10240 33554432000 4194304 4196468 140725284002176 140697135036240 140697670055835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9218] ppid=9206 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/9208/task/9218/stat : 9218 (java) S 9206 9206 25300 0 -1 1077944384 711 0 0 0 3 0 0 0 20 0 15 0 409468938 15508242432 10240 33554432000 4194304 4196468 140725284002176 140697133984624 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9219] ppid=9206 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/9208/task/9219/stat : 9219 (java) S 9206 9206 25300 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 409468938 15508242432 10240 33554432000 4194304 4196468 140725284002176 140697132931824 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9220] ppid=9206 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9208/task/9220/stat : 9220 (java) S 9206 9206 25300 0 -1 1077944384 740 0 0 0 8 0 0 0 20 0 15 0 409468938 15508242432 10240 33554432000 4194304 4196468 140725284002176 140697131879024 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9221] ppid=9206 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9221/stat : 9221 (java) S 9206 9206 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409468938 15508242432 10240 33554432000 4194304 4196468 140725284002176 140697130826464 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9222] ppid=9206 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9222/stat : 9222 (java) S 9206 9206 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409468938 15508242432 10240 33554432000 4194304 4196468 140725284002176 140697129773744 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42412 KiB

[startup+0.310639 s]*
/proc/loadavg: 7.79 7.48 7.41 7/233 9222
/proc/meminfo: memFree=30106528/32770624 swapFree=66933688/67108860
[pid=9206] ppid=9203 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9206/stat : 9206 (xcsp3-exec) S 9203 9206 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409468932 115843072 363 33554432000 4194304 5098028 140728713447344 140728713445448 140572468634236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31170560 140728713450363 140728713450605 140728713450605 140728713453514 0
/proc/9206/statm: 28282 363 304 221 0 87 0
[pid=9208] ppid=9206 vsize=15149024 memory=50244 CPUtime=0.52 cores=1,3,5,7
/proc/9208/stat : 9208 (java) S 9206 9206 25300 0 -1 1077944320 10875 0 0 0 49 3 0 0 20 0 15 0 409468932 15512600576 12561 33554432000 4194304 4196468 140725284002176 140725283984720 140697670037239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
/proc/9208/statm: 3787256 12561 3364 1 0 3748377 0
[pid=9208/tid=9209] ppid=9206 vsize=15149024 memory=1398720917958146503 CPUtime=0.3 cores=1,3,5,7
/proc/9208/task/9209/stat : 9209 (java) R 9206 9206 25300 0 -1 4202560 7851 0 0 0 27 3 0 0 20 0 15 0 409468932 15512600576 12561 33554432000 4194304 4196468 140725284002176 140697674268352 140697654117726 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9210] ppid=9206 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9210/stat : 9210 (java) S 9206 9206 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409468933 15512600576 12561 33554432000 4194304 4196468 140725284002176 140697262021776 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9211] ppid=9206 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9211/stat : 9211 (java) S 9206 9206 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409468933 15512600576 12561 33554432000 4194304 4196468 140725284002176 140697260968976 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9212] ppid=9206 vsize=15149024 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9212/stat : 9212 (java) S 9206 9206 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409468933 15512600576 12561 33554432000 4194304 4196468 140725284002176 140697259916176 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9213] ppid=9206 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9213/stat : 9213 (java) S 9206 9206 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409468933 15512600576 12561 33554432000 4194304 4196468 140725284002176 140697258863376 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9214] ppid=9206 vsize=15149024 memory=9122745479247552727 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9214/stat : 9214 (java) S 9206 9206 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409468935 15512600576 12561 33554432000 4194304 4196468 140725284002176 140697138194800 140697670048386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9215] ppid=9206 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9215/stat : 9215 (java) S 9206 9206 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409468935 15512600576 12561 33554432000 4194304 4196468 140725284002176 140697137140768 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9216] ppid=9206 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9216/stat : 9216 (java) S 9206 9206 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409468935 15512600576 12561 33554432000 4194304 4196468 140725284002176 140697136087920 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9217] ppid=9206 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9217/stat : 9217 (java) S 9206 9206 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409468938 15512600576 12561 33554432000 4194304 4196468 140725284002176 140697135036240 140697670055835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9218] ppid=9206 vsize=15149024 memory=-1751206868705893467 CPUtime=0.06 cores=1,3,5,7
/proc/9208/task/9218/stat : 9218 (java) S 9206 9206 25300 0 -1 1077944384 825 0 0 0 6 0 0 0 20 0 15 0 409468938 15512600576 12561 33554432000 4194304 4196468 140725284002176 140697133984624 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9219] ppid=9206 vsize=15149024 memory=7680491646476169235 CPUtime=0.03 cores=1,3,5,7
/proc/9208/task/9219/stat : 9219 (java) S 9206 9206 25300 0 -1 1077944384 84 0 0 0 3 0 0 0 20 0 15 0 409468938 15512600576 12561 33554432000 4194304 4196468 140725284002176 140697132931824 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9220] ppid=9206 vsize=15149024 memory=7088771780547993696 CPUtime=0.12 cores=1,3,5,7
/proc/9208/task/9220/stat : 9220 (java) S 9206 9206 25300 0 -1 1077944384 831 0 0 0 12 0 0 0 20 0 15 0 409468938 15512600576 12561 33554432000 4194304 4196468 140725284002176 140697131879024 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9221] ppid=9206 vsize=15149024 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9221/stat : 9221 (java) S 9206 9206 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409468938 15512600576 12561 33554432000 4194304 4196468 140725284002176 140697130826464 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9222] ppid=9206 vsize=15149024 memory=7317634893576766894 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9222/stat : 9222 (java) S 9206 9206 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409468938 15512600576 12561 33554432000 4194304 4196468 140725284002176 140697129773744 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51696 KiB

[startup+0.701265 s]
/proc/loadavg: 7.79 7.48 7.41 8/233 9222
/proc/meminfo: memFree=30085784/32770624 swapFree=66933688/67108860
[pid=9206] ppid=9203 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9206/stat : 9206 (xcsp3-exec) S 9203 9206 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409468932 115843072 363 33554432000 4194304 5098028 140728713447344 140728713445448 140572468634236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31170560 140728713450363 140728713450605 140728713450605 140728713453514 0
/proc/9206/statm: 28282 363 304 221 0 87 0
[pid=9208] ppid=9206 vsize=15151148 memory=100052 CPUtime=1.76 cores=1,3,5,7
/proc/9208/stat : 9208 (java) S 9206 9206 25300 0 -1 1077944320 15664 0 0 0 171 5 0 0 20 0 15 0 409468932 15514775552 25013 33554432000 4194304 4196468 140725284002176 140725283984720 140697670037239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
/proc/9208/statm: 3787787 25013 3443 1 0 3748889 0
[pid=9208/tid=9209] ppid=9206 vsize=15151148 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/9208/task/9209/stat : 9209 (java) R 9206 9206 25300 0 -1 4202560 9085 0 0 0 64 4 0 0 20 0 15 0 409468932 15514775552 25013 33554432000 4194304 4196468 140725284002176 140697674275360 140697311031143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9210] ppid=9206 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9210/stat : 9210 (java) S 9206 9206 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409468933 15514775552 25013 33554432000 4194304 4196468 140725284002176 140697262021776 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9211] ppid=9206 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9211/stat : 9211 (java) S 9206 9206 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409468933 15514775552 25013 33554432000 4194304 4196468 140725284002176 140697260968976 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9212] ppid=9206 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9212/stat : 9212 (java) S 9206 9206 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409468933 15514775552 25013 33554432000 4194304 4196468 140725284002176 140697259916176 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9213] ppid=9206 vsize=15151148 memory=70 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9213/stat : 9213 (java) S 9206 9206 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409468933 15514775552 25013 33554432000 4194304 4196468 140725284002176 140697258863376 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9214] ppid=9206 vsize=15151148 memory=1 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9214/stat : 9214 (java) S 9206 9206 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409468935 15514775552 25013 33554432000 4194304 4196468 140725284002176 140697138194800 140697670048386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9215] ppid=9206 vsize=15151148 memory=14323715934760 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9215/stat : 9215 (java) S 9206 9206 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409468935 15514775552 25013 33554432000 4194304 4196468 140725284002176 140697137140768 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9216] ppid=9206 vsize=15151148 memory=2958624 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9216/stat : 9216 (java) S 9206 9206 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409468935 15514775552 25013 33554432000 4194304 4196468 140725284002176 140697136087920 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9217] ppid=9206 vsize=15151148 memory=2966641 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9217/stat : 9217 (java) S 9206 9206 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409468938 15514775552 25013 33554432000 4194304 4196468 140725284002176 140697135036240 140697670055835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9218] ppid=9206 vsize=15151148 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/9208/task/9218/stat : 9218 (java) R 9206 9206 25300 0 -1 4202560 2175 0 0 0 37 0 0 0 20 0 15 0 409468938 15514775552 25013 33554432000 4194304 4196468 140725284002176 140697133973392 140697662274366 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9219] ppid=9206 vsize=15151148 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/9208/task/9219/stat : 9219 (java) R 9206 9206 25300 0 -1 4202560 1317 0 0 0 34 0 0 0 20 0 15 0 409468938 15514775552 25013 33554432000 4194304 4196468 140725284002176 140697132917848 140697653424043 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9220] ppid=9206 vsize=15151148 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/9208/task/9220/stat : 9220 (java) R 9206 9206 25300 0 -1 4202560 1781 0 0 0 35 0 0 0 20 0 15 0 409468938 15514775552 25013 33554432000 4194304 4196468 140725284002176 140697131879024 140697654117726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9221] ppid=9206 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9221/stat : 9221 (java) S 9206 9206 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409468938 15514775552 25013 33554432000 4194304 4196468 140725284002176 140697130826464 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9222] ppid=9206 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9222/stat : 9222 (java) S 9206 9206 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409468938 15514775552 25013 33554432000 4194304 4196468 140725284002176 140697129773744 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 101504 KiB

[startup+1.50627 s]
/proc/loadavg: 7.79 7.48 7.41 8/233 9226
/proc/meminfo: memFree=29998908/32770624 swapFree=66933688/67108860
[pid=9206] ppid=9203 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9206/stat : 9206 (xcsp3-exec) S 9203 9206 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409468932 115843072 363 33554432000 4194304 5098028 140728713447344 140728713445448 140572468634236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31170560 140728713450363 140728713450605 140728713450605 140728713453514 0
/proc/9206/statm: 28282 363 304 221 0 87 0

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

/proc/9208/task/9222/stat : 9222 (java) S 9206 9206 25300 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 409468938 15787421696 95867 33554432000 4194304 4196468 140725284002176 140697129773744 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9247] ppid=9206 vsize=15417404 memory=2124 CPUtime=7.43 cores=1,3,5,7
/proc/9208/task/9247/stat : 9247 (java) R 9206 9206 25300 0 -1 4202560 194 0 0 0 743 0 0 0 20 0 19 0 409469621 15787421696 95867 33554432000 4194304 4196468 140725284002176 140697119747512 140697312877248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9248] ppid=9206 vsize=15417404 memory=6352 CPUtime=7.43 cores=1,3,5,7
/proc/9208/task/9248/stat : 9248 (java) R 9206 9206 25300 0 -1 4202560 816 0 0 0 743 0 0 0 20 0 19 0 409469621 15787421696 95867 33554432000 4194304 4196468 140725284002176 140697120801240 140697312876567 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9249] ppid=9206 vsize=15417404 memory=504 CPUtime=7.29 cores=1,3,5,7
/proc/9208/task/9249/stat : 9249 (java) R 9206 9206 25300 0 -1 4202560 227 0 0 0 729 0 0 0 20 0 19 0 409469621 15787421696 95867 33554432000 4194304 4196468 140725284002176 140697117642904 140697313326955 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9250] ppid=9206 vsize=15417404 memory=984 CPUtime=7.36 cores=1,3,5,7
/proc/9208/task/9250/stat : 9250 (java) R 9206 9206 25300 0 -1 4202560 460 0 0 0 736 0 0 0 20 0 19 0 409469621 15787421696 95867 33554432000 4194304 4196468 140725284002176 140697118697432 140697314044951 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
Current children cumulated CPU time: 55.77 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 384920 KiB

[startup+15.2013 s]
/proc/loadavg: 7.97 7.54 7.43 9/237 9271
/proc/meminfo: memFree=29498376/32770624 swapFree=66933688/67108860
[pid=9206] ppid=9203 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9206/stat : 9206 (xcsp3-exec) S 9203 9206 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409468932 115843072 363 33554432000 4194304 5098028 140728713447344 140728713445448 140572468634236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31170560 140728713450363 140728713450605 140728713450605 140728713453514 0
/proc/9206/statm: 28282 363 304 221 0 87 0
[pid=9208] ppid=9206 vsize=15417404 memory=383492 CPUtime=58.94 cores=1,3,5,7
/proc/9208/stat : 9208 (java) S 9206 9206 25300 0 -1 1077944320 41242 0 0 0 5876 18 0 0 20 0 19 0 409468932 15787421696 95873 33554432000 4194304 4196468 140725284002176 140725283984720 140697670037239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
/proc/9208/statm: 3854351 95873 3531 1 0 3815453 0
[pid=9208/tid=9209] ppid=9206 vsize=15417404 memory=15260333157648136 CPUtime=1.26 cores=1,3,5,7
/proc/9208/task/9209/stat : 9209 (java) S 9206 9206 25300 0 -1 1077944384 11395 0 0 0 121 5 0 0 20 0 19 0 409468932 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697674278016 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9210] ppid=9206 vsize=15417404 memory=6352 CPUtime=0.06 cores=1,3,5,7
/proc/9208/task/9210/stat : 9210 (java) S 9206 9206 25300 0 -1 1077944384 261 0 0 0 4 2 0 0 20 0 19 0 409468933 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697262021776 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9211] ppid=9206 vsize=15417404 memory=20364 CPUtime=0.04 cores=1,3,5,7
/proc/9208/task/9211/stat : 9211 (java) S 9206 9206 25300 0 -1 1077944384 1083 0 0 0 3 1 0 0 20 0 19 0 409468933 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697260968976 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9212] ppid=9206 vsize=15417404 memory=984 CPUtime=0.05 cores=1,3,5,7
/proc/9208/task/9212/stat : 9212 (java) S 9206 9206 25300 0 -1 1077944384 497 0 0 0 4 1 0 0 20 0 19 0 409468933 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697259916176 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9213] ppid=9206 vsize=15417404 memory=2032 CPUtime=0.05 cores=1,3,5,7
/proc/9208/task/9213/stat : 9213 (java) S 9206 9206 25300 0 -1 1077944384 523 0 0 0 4 1 0 0 20 0 19 0 409468933 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697258863376 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9214] ppid=9206 vsize=15417404 memory=1332 CPUtime=0.01 cores=1,3,5,7
/proc/9208/task/9214/stat : 9214 (java) S 9206 9206 25300 0 -1 1077944384 660 0 0 0 1 0 0 0 20 0 19 0 409468935 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697138194800 140697670048386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9215] ppid=9206 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9215/stat : 9215 (java) S 9206 9206 25300 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 409468935 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697137140832 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9216] ppid=9206 vsize=15417404 memory=383468 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9216/stat : 9216 (java) S 9206 9206 25300 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 409468935 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697136087936 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9217] ppid=9206 vsize=15417404 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9217/stat : 9217 (java) S 9206 9206 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409468938 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697135036240 140697670055835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9218] ppid=9206 vsize=15417404 memory=976 CPUtime=2.19 cores=1,3,5,7
/proc/9208/task/9218/stat : 9218 (java) S 9206 9206 25300 0 -1 1077944384 8266 0 0 0 219 0 0 0 20 0 19 0 409468938 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697133984624 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9219] ppid=9206 vsize=15417404 memory=772 CPUtime=2.2 cores=1,3,5,7
/proc/9208/task/9219/stat : 9219 (java) S 9206 9206 25300 0 -1 1077944384 7473 0 0 0 219 1 0 0 20 0 19 0 409468938 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697132931824 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9220] ppid=9206 vsize=15417404 memory=13412 CPUtime=0.79 cores=1,3,5,7
/proc/9208/task/9220/stat : 9220 (java) S 9206 9206 25300 0 -1 1077944384 6102 0 0 0 79 0 0 0 20 0 19 0 409468938 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697131879024 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9221] ppid=9206 vsize=15417404 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9221/stat : 9221 (java) S 9206 9206 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409468938 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697130826464 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9222] ppid=9206 vsize=15417404 memory=976 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9222/stat : 9222 (java) S 9206 9206 25300 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 19 0 409468938 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697129773744 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9247] ppid=9206 vsize=15417404 memory=772 CPUtime=8.21 cores=1,3,5,7
/proc/9208/task/9247/stat : 9247 (java) R 9206 9206 25300 0 -1 4202560 194 0 0 0 821 0 0 0 20 0 19 0 409469621 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697119747512 140697313326955 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9248] ppid=9206 vsize=15417404 memory=3932 CPUtime=8.22 cores=1,3,5,7
/proc/9208/task/9248/stat : 9248 (java) R 9206 9206 25300 0 -1 4202560 857 0 0 0 822 0 0 0 20 0 19 0 409469621 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697120801624 140697313784410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9249] ppid=9206 vsize=15417404 memory=2832 CPUtime=8.07 cores=1,3,5,7
/proc/9208/task/9249/stat : 9249 (java) R 9206 9206 25300 0 -1 4202560 228 0 0 0 807 0 0 0 20 0 19 0 409469621 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697117642904 140697314126626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9250] ppid=9206 vsize=15417404 memory=1548 CPUtime=8.16 cores=1,3,5,7
/proc/9208/task/9250/stat : 9250 (java) R 9206 9206 25300 0 -1 4202560 464 0 0 0 816 0 0 0 20 0 19 0 409469621 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697118697432 140697313512932 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
Current children cumulated CPU time: 58.94 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 384944 KiB

[startup+15.6013 s]
/proc/loadavg: 7.97 7.54 7.43 9/237 9271
/proc/meminfo: memFree=29498376/32770624 swapFree=66933688/67108860
[pid=9206] ppid=9203 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9206/stat : 9206 (xcsp3-exec) S 9203 9206 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409468932 115843072 363 33554432000 4194304 5098028 140728713447344 140728713445448 140572468634236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31170560 140728713450363 140728713450605 140728713450605 140728713453514 0
/proc/9206/statm: 28282 363 304 221 0 87 0
[pid=9208] ppid=9206 vsize=15417404 memory=383492 CPUtime=60.54 cores=1,3,5,7
/proc/9208/stat : 9208 (java) S 9206 9206 25300 0 -1 1077944320 41286 0 0 0 6036 18 0 0 20 0 19 0 409468932 15787421696 95873 33554432000 4194304 4196468 140725284002176 140725283984720 140697670037239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
/proc/9208/statm: 3854351 95873 3531 1 0 3815453 0
[pid=9208/tid=9209] ppid=9206 vsize=15417404 memory=984 CPUtime=1.26 cores=1,3,5,7
/proc/9208/task/9209/stat : 9209 (java) S 9206 9206 25300 0 -1 1077944384 11395 0 0 0 121 5 0 0 20 0 19 0 409468932 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697674278016 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9210] ppid=9206 vsize=15417404 memory=1564 CPUtime=0.06 cores=1,3,5,7
/proc/9208/task/9210/stat : 9210 (java) S 9206 9206 25300 0 -1 1077944384 261 0 0 0 4 2 0 0 20 0 19 0 409468933 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697262021776 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9211] ppid=9206 vsize=15417404 memory=924 CPUtime=0.04 cores=1,3,5,7
/proc/9208/task/9211/stat : 9211 (java) S 9206 9206 25300 0 -1 1077944384 1083 0 0 0 3 1 0 0 20 0 19 0 409468933 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697260968976 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9212] ppid=9206 vsize=15417404 memory=1420 CPUtime=0.05 cores=1,3,5,7
/proc/9208/task/9212/stat : 9212 (java) S 9206 9206 25300 0 -1 1077944384 497 0 0 0 4 1 0 0 20 0 19 0 409468933 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697259916176 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9213] ppid=9206 vsize=15417404 memory=8112282956445269571 CPUtime=0.05 cores=1,3,5,7
/proc/9208/task/9213/stat : 9213 (java) S 9206 9206 25300 0 -1 1077944384 523 0 0 0 4 1 0 0 20 0 19 0 409468933 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697258863376 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9214] ppid=9206 vsize=15417404 memory=2532 CPUtime=0.01 cores=1,3,5,7
/proc/9208/task/9214/stat : 9214 (java) S 9206 9206 25300 0 -1 1077944384 660 0 0 0 1 0 0 0 20 0 19 0 409468935 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697138194800 140697670048386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9215] ppid=9206 vsize=15417404 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9215/stat : 9215 (java) S 9206 9206 25300 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 409468935 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697137140832 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9216] ppid=9206 vsize=15417404 memory=808 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9216/stat : 9216 (java) S 9206 9206 25300 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 409468935 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697136087936 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9217] ppid=9206 vsize=15417404 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9217/stat : 9217 (java) S 9206 9206 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409468938 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697135036240 140697670055835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9218] ppid=9206 vsize=15417404 memory=111632 CPUtime=2.19 cores=1,3,5,7
/proc/9208/task/9218/stat : 9218 (java) S 9206 9206 25300 0 -1 1077944384 8266 0 0 0 219 0 0 0 20 0 19 0 409468938 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697133984624 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9219] ppid=9206 vsize=15417404 memory=804 CPUtime=2.2 cores=1,3,5,7
/proc/9208/task/9219/stat : 9219 (java) S 9206 9206 25300 0 -1 1077944384 7473 0 0 0 219 1 0 0 20 0 19 0 409468938 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697132931824 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9220] ppid=9206 vsize=15417404 memory=1656 CPUtime=0.79 cores=1,3,5,7
/proc/9208/task/9220/stat : 9220 (java) S 9206 9206 25300 0 -1 1077944384 6102 0 0 0 79 0 0 0 20 0 19 0 409468938 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697131879024 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9221] ppid=9206 vsize=15417404 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9221/stat : 9221 (java) S 9206 9206 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409468938 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697130826464 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9222] ppid=9206 vsize=15417404 memory=2948 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9222/stat : 9222 (java) S 9206 9206 25300 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 19 0 409468938 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697129773744 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9247] ppid=9206 vsize=15417404 memory=1448 CPUtime=8.61 cores=1,3,5,7
/proc/9208/task/9247/stat : 9247 (java) R 9206 9206 25300 0 -1 4202560 194 0 0 0 861 0 0 0 20 0 19 0 409469621 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697119747512 140697312902208 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9248] ppid=9206 vsize=15417404 memory=1405208 CPUtime=8.62 cores=1,3,5,7
/proc/9208/task/9248/stat : 9248 (java) R 9206 9206 25300 0 -1 4202560 873 0 0 0 862 0 0 0 20 0 19 0 409469621 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697120801624 140697313784076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9249] ppid=9206 vsize=15417404 memory=1408 CPUtime=8.47 cores=1,3,5,7
/proc/9208/task/9249/stat : 9249 (java) R 9206 9206 25300 0 -1 4202560 228 0 0 0 847 0 0 0 20 0 19 0 409469621 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697117642904 140697314342860 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9250] ppid=9206 vsize=15417404 memory=2816 CPUtime=8.56 cores=1,3,5,7
/proc/9208/task/9250/stat : 9250 (java) R 9206 9206 25300 0 -1 4202560 464 0 0 0 856 0 0 0 20 0 19 0 409469621 15787421696 95873 33554432000 4194304 4196468 140725284002176 140697118697432 140697314028448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
Current children cumulated CPU time: 60.54 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 384944 KiB

[startup+16.0013 s]*
/proc/loadavg: 7.97 7.54 7.43 9/237 9271
/proc/meminfo: memFree=29497880/32770624 swapFree=66933688/67108860
[pid=9206] ppid=9203 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9206/stat : 9206 (xcsp3-exec) S 9203 9206 25300 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409468932 115843072 363 33554432000 4194304 5098028 140728713447344 140728713445448 140572468634236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31170560 140728713450363 140728713450605 140728713450605 140728713453514 0
/proc/9206/statm: 28282 363 304 221 0 87 0
[pid=9208] ppid=9206 vsize=15417404 memory=383504 CPUtime=62.16 cores=1,3,5,7
/proc/9208/stat : 9208 (java) S 9206 9206 25300 0 -1 1077944320 42198 0 0 0 6197 19 0 0 20 0 19 0 409468932 15787421696 95876 33554432000 4194304 4196468 140725284002176 140725283984720 140697670037239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
/proc/9208/statm: 3854351 95876 3531 1 0 3815453 0
[pid=9208/tid=9209] ppid=9206 vsize=15417404 memory=6352 CPUtime=1.26 cores=1,3,5,7
/proc/9208/task/9209/stat : 9209 (java) S 9206 9206 25300 0 -1 1077944384 11395 0 0 0 121 5 0 0 20 0 19 0 409468932 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697674278016 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9210] ppid=9206 vsize=15417404 memory=504 CPUtime=0.06 cores=1,3,5,7
/proc/9208/task/9210/stat : 9210 (java) S 9206 9206 25300 0 -1 1077944384 261 0 0 0 4 2 0 0 20 0 19 0 409468933 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697262021776 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9211] ppid=9206 vsize=15417404 memory=4126316290023845779 CPUtime=0.04 cores=1,3,5,7
/proc/9208/task/9211/stat : 9211 (java) S 9206 9206 25300 0 -1 1077944384 1083 0 0 0 3 1 0 0 20 0 19 0 409468933 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697260968976 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9212] ppid=9206 vsize=15417404 memory=362404 CPUtime=0.05 cores=1,3,5,7
/proc/9208/task/9212/stat : 9212 (java) S 9206 9206 25300 0 -1 1077944384 497 0 0 0 4 1 0 0 20 0 19 0 409468933 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697259916176 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9213] ppid=9206 vsize=15417404 memory=976 CPUtime=0.05 cores=1,3,5,7
/proc/9208/task/9213/stat : 9213 (java) S 9206 9206 25300 0 -1 1077944384 523 0 0 0 4 1 0 0 20 0 19 0 409468933 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697258863376 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9214] ppid=9206 vsize=15417404 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/9208/task/9214/stat : 9214 (java) S 9206 9206 25300 0 -1 1077944384 660 0 0 0 1 0 0 0 20 0 19 0 409468935 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697138194800 140697670048386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9215] ppid=9206 vsize=15417404 memory=383444 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9215/stat : 9215 (java) S 9206 9206 25300 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 409468935 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697137140832 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9216] ppid=9206 vsize=15417404 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9216/stat : 9216 (java) S 9206 9206 25300 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 409468935 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697136087936 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9217] ppid=9206 vsize=15417404 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9217/stat : 9217 (java) S 9206 9206 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409468938 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697135036240 140697670055835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9218] ppid=9206 vsize=15417404 memory=1056 CPUtime=2.19 cores=1,3,5,7
/proc/9208/task/9218/stat : 9218 (java) S 9206 9206 25300 0 -1 1077944384 8427 0 0 0 219 0 0 0 20 0 19 0 409468938 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697133984624 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9219] ppid=9206 vsize=15417404 memory=744 CPUtime=2.2 cores=1,3,5,7
/proc/9208/task/9219/stat : 9219 (java) S 9206 9206 25300 0 -1 1077944384 7475 0 0 0 219 1 0 0 20 0 19 0 409468938 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697132931824 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9220] ppid=9206 vsize=15417404 memory=1452 CPUtime=0.79 cores=1,3,5,7
/proc/9208/task/9220/stat : 9220 (java) S 9206 9206 25300 0 -1 1077944384 6324 0 0 0 79 0 0 0 20 0 19 0 409468938 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697131879024 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9221] ppid=9206 vsize=15417404 memory=383448 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9221/stat : 9221 (java) S 9206 9206 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409468938 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697130826464 140697670047445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9222] ppid=9206 vsize=15417404 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/9208/task/9222/stat : 9222 (java) S 9206 9206 25300 0 -1 1077944384 161 0 0 0 0 0 0 0 20 0 19 0 409468938 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697129773744 140697670048386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9247] ppid=9206 vsize=15417404 memory=-9181546050914066336 CPUtime=9 cores=1,3,5,7
/proc/9208/task/9247/stat : 9247 (java) R 9206 9206 25300 0 -1 4202560 245 0 0 0 900 0 0 0 20 0 19 0 409469621 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697119747512 140697313326915 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9248] ppid=9206 vsize=15417404 memory=6944656425122832000 CPUtime=9.03 cores=1,3,5,7
/proc/9208/task/9248/stat : 9248 (java) R 9206 9206 25300 0 -1 4202560 1221 0 0 0 903 0 0 0 20 0 19 0 409469621 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697120801480 140697313327091 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9249] ppid=9206 vsize=15417404 memory=-8675733323038954102 CPUtime=8.88 cores=1,3,5,7
/proc/9208/task/9249/stat : 9249 (java) R 9206 9206 25300 0 -1 4202560 298 0 0 0 888 0 0 0 20 0 19 0 409469621 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697117642904 140697313710827 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
[pid=9208/tid=9250] ppid=9206 vsize=15417404 memory=7893295687695688722 CPUtime=8.97 cores=1,3,5,7
/proc/9208/task/9250/stat : 9250 (java) R 9206 9206 25300 0 -1 4202560 504 0 0 0 897 0 0 0 20 0 19 0 409469621 15787421696 95876 33554432000 4194304 4196468 140725284002176 140697118697432 140697312898483 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20041728 140725284008943 140725284009114 140725284009114 140725284011983 0
Current children cumulated CPU time: 62.16 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 384956 KiB

Child status: 0
Real time (s): 16.0483
CPU time (s): 62.3005
CPU user time (s): 62.1026
CPU system time (s): 0.197943
CPU usage (%): 388.207
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 384956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 62.1026
system time used= 0.197943
maximum resident set size= 383508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43923
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2840
involuntary context switches= 1380


# summary of solver processes directly reported to runsolver:
#   pid: 9206
#   total CPU time (s): 62.3005
#   total CPU user time (s): 62.1026
#   total CPU system time (s): 0.197943

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.111825 second user time and 0.247192 second system time

The end