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 (15390 MiB free)
memory of node 1: 16384 MiB (15344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270146-1502620825/watcher-4270146-1502620825 -o /tmp/evaluation-result-4270146-1502620825/solver-4270146-1502620825 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502619962-4171 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1598837471 HOME/instance-4270146-1502620825.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=4445, runsolver pid=4442
Current StackSize limit: 8192 KiB
[startup+0.100162 s]*
/proc/loadavg: 1.32 1.08 1.13 3/218 4461
/proc/meminfo: memFree=31456004/32770624 swapFree=67108860/67108860
[pid=4445] ppid=4442 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4445/stat : 4445 (xcsp3-exec) S 4442 4445 29331 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95170217 9740288 345 33554432000 4194304 5098028 140726271036576 140726271034680 139941917713020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15745024 140726271038580 140726271038784 140726271038784 140726271041515 0
/proc/4445/statm: 2378 345 289 221 0 87 0
[pid=4447] ppid=4445 vsize=13978596 memory=28116 CPUtime=0.12 cores=0,2,4,6
/proc/4447/stat : 4447 (java) S 4445 4445 29331 0 -1 1077944320 5318 0 0 0 11 1 0 0 20 0 15 0 95170218 14314082304 6964 33554432000 4194304 4196468 140728718077712 140728718060256 139867739037431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
/proc/4447/statm: 3494649 7029 2900 1 0 3482966 0
[pid=4447/tid=4448] ppid=4445 vsize=13978596 memory=-8412658762350172019 CPUtime=0.09 cores=0,2,4,6
/proc/4447/task/4448/stat : 4448 (java) R 4445 4445 29331 0 -1 4202560 3328 0 0 0 8 1 0 0 20 0 15 0 95170218 14314082304 7029 33554432000 4194304 4196468 140728718077712 139867743269680 139867720622237 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4449] ppid=4445 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4449/stat : 4449 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170219 14314082304 7029 33554432000 4194304 4196468 140728718077712 139867691657488 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4450] ppid=4445 vsize=13978596 memory=140489752102528 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4450/stat : 4450 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170219 14314082304 7029 33554432000 4194304 4196468 140728718077712 139867334044048 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4451] ppid=4445 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4451/stat : 4451 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170219 14314082304 7029 33554432000 4194304 4196468 140728718077712 139867332991504 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4452] ppid=4445 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4452/stat : 4452 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170219 14314082304 7029 33554432000 4194304 4196468 140728718077712 139867331938960 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4453] ppid=4445 vsize=13978596 memory=140489752102528 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4453/stat : 4453 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170220 14314082304 7029 33554432000 4194304 4196468 140728718077712 139866718566896 139867739048578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4454] ppid=4445 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4454/stat : 4454 (java) S 4445 4445 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95170221 14314082304 7029 33554432000 4194304 4196468 140728718077712 139866717513120 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4455] ppid=4445 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4455/stat : 4455 (java) S 4445 4445 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95170221 14314082304 7095 33554432000 4194304 4196468 140728718077712 139866716460528 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4456] ppid=4445 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4456/stat : 4456 (java) S 4445 4445 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95170223 14314082304 7095 33554432000 4194304 4196468 140728718077712 139866715409104 139867739056027 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4457] ppid=4445 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4457/stat : 4457 (java) S 4445 4445 29331 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 95170223 14314082304 7095 33554432000 4194304 4196468 140728718077712 139866714355696 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4458] ppid=4445 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4458/stat : 4458 (java) S 4445 4445 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95170223 14314082304 7095 33554432000 4194304 4196468 140728718077712 139866713303152 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4459] ppid=4445 vsize=13978596 memory=140489752102528 CPUtime=0.01 cores=0,2,4,6
/proc/4447/task/4459/stat : 4459 (java) R 4445 4445 29331 0 -1 4202560 335 0 0 0 1 0 0 0 20 0 15 0 95170223 14314082304 7095 33554432000 4194304 4196468 140728718077712 139866712250608 139867718436095 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4460] ppid=4445 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4460/stat : 4460 (java) S 4445 4445 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95170223 14314082304 7095 33554432000 4194304 4196468 140728718077712 139866711198304 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4461] ppid=4445 vsize=13978596 memory=140489752102528 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4461/stat : 4461 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170224 14314082304 7095 33554432000 4194304 4196468 140728718077712 139866710145840 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29496 KiB
[startup+0.210767 s]*
/proc/loadavg: 1.32 1.08 1.13 3/218 4461
/proc/meminfo: memFree=31444344/32770624 swapFree=67108860/67108860
[pid=4445] ppid=4442 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4445/stat : 4445 (xcsp3-exec) S 4442 4445 29331 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95170217 9740288 345 33554432000 4194304 5098028 140726271036576 140726271034680 139941917713020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15745024 140726271038580 140726271038784 140726271038784 140726271041515 0
/proc/4445/statm: 2378 345 289 221 0 87 0
[pid=4447] ppid=4445 vsize=13982852 memory=40580 CPUtime=0.34 cores=0,2,4,6
/proc/4447/stat : 4447 (java) S 4445 4445 29331 0 -1 1077944320 8193 0 0 0 31 3 0 0 20 0 15 0 95170218 14318440448 10145 33554432000 4194304 4196468 140728718077712 140728718060256 139867739037431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
/proc/4447/statm: 3495713 10145 3062 1 0 3482966 0
[pid=4447/tid=4448] ppid=4445 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/4447/task/4448/stat : 4448 (java) D 4445 4445 29331 0 -1 1077944384 5360 0 0 0 18 2 0 0 20 0 15 0 95170218 14318440448 10145 33554432000 4194304 4196468 140728718077712 139867743247504 139867731716653 0 4 0 16800975 18446744072101580324 0 0 -1 2 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4449] ppid=4445 vsize=13982884 memory=9403 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4449/stat : 4449 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170219 14318473216 10145 33554432000 4194304 4196468 140728718077712 139867691657488 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4450] ppid=4445 vsize=13982884 memory=4049919359400042183 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4450/stat : 4450 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170219 14318473216 10145 33554432000 4194304 4196468 140728718077712 139867334044048 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4451] ppid=4445 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4451/stat : 4451 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170219 14318440448 10145 33554432000 4194304 4196468 140728718077712 139867332991504 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4452] ppid=4445 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4452/stat : 4452 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170219 14318440448 10145 33554432000 4194304 4196468 140728718077712 139867331938960 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4453] ppid=4445 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4453/stat : 4453 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170220 14318440448 10145 33554432000 4194304 4196468 140728718077712 139866718566896 139867739048578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4454] ppid=4445 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4454/stat : 4454 (java) S 4445 4445 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95170221 14318440448 10145 33554432000 4194304 4196468 140728718077712 139866717513120 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4455] ppid=4445 vsize=13982852 memory=140489752102528 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4455/stat : 4455 (java) S 4445 4445 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95170221 14318440448 10145 33554432000 4194304 4196468 140728718077712 139866716460528 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4456] ppid=4445 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4456/stat : 4456 (java) S 4445 4445 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95170223 14318440448 10145 33554432000 4194304 4196468 140728718077712 139866715409104 139867739056027 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4457] ppid=4445 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4447/task/4457/stat : 4457 (java) S 4445 4445 29331 0 -1 1077944384 552 0 0 0 2 0 0 0 20 0 15 0 95170223 14318440448 10145 33554432000 4194304 4196468 140728718077712 139866714355696 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4458] ppid=4445 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4447/task/4458/stat : 4458 (java) S 4445 4445 29331 0 -1 1077944384 291 0 0 0 2 0 0 0 20 0 15 0 95170223 14318440448 10145 33554432000 4194304 4196468 140728718077712 139866713303152 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4459] ppid=4445 vsize=13982852 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/4447/task/4459/stat : 4459 (java) R 4445 4445 29331 0 -1 4202560 758 0 0 0 7 0 0 0 20 0 15 0 95170223 14318440448 10145 33554432000 4194304 4196468 140728718077712 139866712250608 139867739058778 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4460] ppid=4445 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4460/stat : 4460 (java) S 4445 4445 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95170223 14318440448 10145 33554432000 4194304 4196468 140728718077712 139866711198304 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4461] ppid=4445 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4461/stat : 4461 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170224 14318440448 10145 33554432000 4194304 4196468 140728718077712 139866710145840 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41960 KiB
[startup+0.310957 s]*
/proc/loadavg: 1.32 1.08 1.13 4/218 4461
/proc/meminfo: memFree=31437520/32770624 swapFree=67108860/67108860
[pid=4445] ppid=4442 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4445/stat : 4445 (xcsp3-exec) S 4442 4445 29331 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95170217 9740288 345 33554432000 4194304 5098028 140726271036576 140726271034680 139941917713020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15745024 140726271038580 140726271038784 140726271038784 140726271041515 0
/proc/4445/statm: 2378 345 289 221 0 87 0
[pid=4447] ppid=4445 vsize=13982928 memory=47524 CPUtime=0.5 cores=0,2,4,6
/proc/4447/stat : 4447 (java) S 4445 4445 29331 0 -1 1077944320 9121 0 0 0 47 3 0 0 20 0 15 0 95170218 14318518272 11881 33554432000 4194304 4196468 140728718077712 140728718060256 139867739037431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
/proc/4447/statm: 3495732 11881 3097 1 0 3482966 0
[pid=4447/tid=4448] ppid=4445 vsize=13982928 memory=-7246141791699957949 CPUtime=0.29 cores=0,2,4,6
/proc/4447/task/4448/stat : 4448 (java) R 4445 4445 29331 0 -1 4202560 6052 0 0 0 27 2 0 0 20 0 15 0 95170218 14318518272 11946 33554432000 4194304 4196468 140728718077712 139867743269792 139867739059357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4449] ppid=4445 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4449/stat : 4449 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170219 14318518272 11946 33554432000 4194304 4196468 140728718077712 139867691657488 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4450] ppid=4445 vsize=13982928 memory=280979310847632 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4450/stat : 4450 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170219 14318518272 11946 33554432000 4194304 4196468 140728718077712 139867334044048 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4451] ppid=4445 vsize=13982928 memory=280979310854544 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4451/stat : 4451 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170219 14318518272 11946 33554432000 4194304 4196468 140728718077712 139867332991504 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4452] ppid=4445 vsize=13982928 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4452/stat : 4452 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170219 14318518272 11946 33554432000 4194304 4196468 140728718077712 139867331938960 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4453] ppid=4445 vsize=13982928 memory=280979407536704 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4453/stat : 4453 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170220 14318518272 11946 33554432000 4194304 4196468 140728718077712 139866718566896 139867739048578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4454] ppid=4445 vsize=13982928 memory=140489655320711 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4454/stat : 4454 (java) S 4445 4445 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95170221 14318518272 11946 33554432000 4194304 4196468 140728718077712 139866717513120 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4455] ppid=4445 vsize=13982928 memory=280979310782632 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4455/stat : 4455 (java) S 4445 4445 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95170221 14318518272 11946 33554432000 4194304 4196468 140728718077712 139866716460528 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4456] ppid=4445 vsize=13982928 memory=280979310782952 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4456/stat : 4456 (java) S 4445 4445 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95170223 14318518272 11946 33554432000 4194304 4196468 140728718077712 139866715409104 139867739056027 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4457] ppid=4445 vsize=13982928 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4447/task/4457/stat : 4457 (java) S 4445 4445 29331 0 -1 1077944384 641 0 0 0 4 0 0 0 20 0 15 0 95170223 14318518272 11946 33554432000 4194304 4196468 140728718077712 139866714355696 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4458] ppid=4445 vsize=13982928 memory=140489655445711 CPUtime=0.03 cores=0,2,4,6
/proc/4447/task/4458/stat : 4458 (java) S 4445 4445 29331 0 -1 1077944384 293 0 0 0 3 0 0 0 20 0 15 0 95170223 14318518272 11946 33554432000 4194304 4196468 140728718077712 139866713303152 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4459] ppid=4445 vsize=13982928 memory=140489752102528 CPUtime=0.11 cores=0,2,4,6
/proc/4447/task/4459/stat : 4459 (java) R 4445 4445 29331 0 -1 4202560 854 0 0 0 11 0 0 0 20 0 15 0 95170223 14318518272 11946 33554432000 4194304 4196468 140728718077712 139866712250608 139867724733186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4460] ppid=4445 vsize=13982928 memory=140489655474063 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4460/stat : 4460 (java) S 4445 4445 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95170223 14318518272 11946 33554432000 4194304 4196468 140728718077712 139866711198304 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4461] ppid=4445 vsize=13982928 memory=140489752102528 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4461/stat : 4461 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170224 14318518272 11946 33554432000 4194304 4196468 140728718077712 139866710145840 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 48904 KiB
[startup+0.700787 s]
/proc/loadavg: 1.32 1.08 1.13 7/218 4461
/proc/meminfo: memFree=31423392/32770624 swapFree=67108860/67108860
[pid=4445] ppid=4442 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4445/stat : 4445 (xcsp3-exec) S 4442 4445 29331 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95170217 9740288 345 33554432000 4194304 5098028 140726271036576 140726271034680 139941917713020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15745024 140726271038580 140726271038784 140726271038784 140726271041515 0
/proc/4445/statm: 2378 345 289 221 0 87 0
[pid=4447] ppid=4445 vsize=13984976 memory=73908 CPUtime=1.62 cores=0,2,4,6
/proc/4447/stat : 4447 (java) S 4445 4445 29331 0 -1 1077944320 13717 0 0 0 156 6 0 0 20 0 15 0 95170218 14320615424 18477 33554432000 4194304 4196468 140728718077712 140728718060256 139867739037431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
/proc/4447/statm: 3496244 18477 3203 1 0 3483478 0
[pid=4447/tid=4448] ppid=4445 vsize=13984976 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/4447/task/4448/stat : 4448 (java) R 4445 4445 29331 0 -1 4202560 6629 0 0 0 64 3 0 0 20 0 15 0 95170218 14320615424 18477 33554432000 4194304 4196468 140728718077712 139867743268688 139867374922756 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4449] ppid=4445 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4449/stat : 4449 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 18477 33554432000 4194304 4196468 140728718077712 139867691657488 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4450] ppid=4445 vsize=13984976 memory=1928 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4450/stat : 4450 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 18477 33554432000 4194304 4196468 140728718077712 139867334044048 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4451] ppid=4445 vsize=13984976 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4451/stat : 4451 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 18477 33554432000 4194304 4196468 140728718077712 139867332991504 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4452] ppid=4445 vsize=13984976 memory=8564 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4452/stat : 4452 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 18477 33554432000 4194304 4196468 140728718077712 139867331938960 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4453] ppid=4445 vsize=13984976 memory=5664 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4453/stat : 4453 (java) S 4445 4445 29331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95170220 14320615424 18477 33554432000 4194304 4196468 140728718077712 139866718566896 139867739048578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4454] ppid=4445 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4454/stat : 4454 (java) S 4445 4445 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95170221 14320615424 18477 33554432000 4194304 4196468 140728718077712 139866717513120 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4455] ppid=4445 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4455/stat : 4455 (java) S 4445 4445 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95170221 14320615424 18477 33554432000 4194304 4196468 140728718077712 139866716460528 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4456] ppid=4445 vsize=13984976 memory=10928 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4456/stat : 4456 (java) S 4445 4445 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95170223 14320615424 18477 33554432000 4194304 4196468 140728718077712 139866715409104 139867739056027 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4457] ppid=4445 vsize=13984976 memory=796 CPUtime=0.31 cores=0,2,4,6
/proc/4447/task/4457/stat : 4457 (java) R 4445 4445 29331 0 -1 4202560 2633 0 0 0 31 0 0 0 20 0 15 0 95170223 14320615424 18477 33554432000 4194304 4196468 140728718077712 139866714348328 139867720216967 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4458] ppid=4445 vsize=13984976 memory=1424 CPUtime=0.29 cores=0,2,4,6
/proc/4447/task/4458/stat : 4458 (java) R 4445 4445 29331 0 -1 4202560 1499 0 0 0 29 0 0 0 20 0 15 0 95170223 14320615424 18477 33554432000 4194304 4196468 140728718077712 139866713288616 139867731326885 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4459] ppid=4445 vsize=13984976 memory=15872 CPUtime=0.3 cores=0,2,4,6
/proc/4447/task/4459/stat : 4459 (java) S 4445 4445 29331 0 -1 1077944384 1649 0 0 0 29 1 0 0 20 0 15 0 95170223 14320615424 18477 33554432000 4194304 4196468 140728718077712 139866712250608 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4460] ppid=4445 vsize=13984976 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4460/stat : 4460 (java) S 4445 4445 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95170223 14320615424 18477 33554432000 4194304 4196468 140728718077712 139866711198304 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4461] ppid=4445 vsize=13984976 memory=16340 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4461/stat : 4461 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170224 14320615424 18477 33554432000 4194304 4196468 140728718077712 139866710145840 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 75288 KiB
[startup+1.5008 s]
/proc/loadavg: 1.32 1.08 1.13 3/218 4461
/proc/meminfo: memFree=31404356/32770624 swapFree=67108860/67108860
[pid=4445] ppid=4442 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4445/stat : 4445 (xcsp3-exec) S 4442 4445 29331 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95170217 9740288 345 33554432000 4194304 5098028 140726271036576 140726271034680 139941917713020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15745024 140726271038580 140726271038784 140726271038784 140726271041515 0
/proc/4445/statm: 2378 345 289 221 0 87 0
################
# More data... #
################
/proc/4445/stat : 4445 (xcsp3-exec) S 4442 4445 29331 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95170217 9740288 345 33554432000 4194304 5098028 140726271036576 140726271034680 139941917713020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15745024 140726271038580 140726271038784 140726271038784 140726271041515 0
/proc/4445/statm: 2378 345 289 221 0 87 0
[pid=4447] ppid=4445 vsize=13984976 memory=114456 CPUtime=16 cores=0,2,4,6
/proc/4447/stat : 4447 (java) S 4445 4445 29331 0 -1 1077944320 28609 0 0 0 1592 8 0 0 20 0 15 0 95170218 14320615424 28614 33554432000 4194304 4196468 140728718077712 140728718060256 139867739037431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
/proc/4447/statm: 3496244 28614 3222 1 0 3483478 0
[pid=4447/tid=4448] ppid=4445 vsize=13984976 memory=102088 CPUtime=13.57 cores=0,2,4,6
/proc/4447/task/4448/stat : 4448 (java) R 4445 4445 29331 0 -1 4202560 8386 0 0 0 1353 4 0 0 20 0 15 0 95170218 14320615424 28614 33554432000 4194304 4196468 140728718077712 139867743273792 139867375028151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4449] ppid=4445 vsize=13984976 memory=-8061396808828109718 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4449/stat : 4449 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 28614 33554432000 4194304 4196468 140728718077712 139867691657488 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4450] ppid=4445 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4450/stat : 4450 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 28614 33554432000 4194304 4196468 140728718077712 139867334044048 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4451] ppid=4445 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4451/stat : 4451 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 28614 33554432000 4194304 4196468 140728718077712 139867332991504 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4452] ppid=4445 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4452/stat : 4452 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 28614 33554432000 4194304 4196468 140728718077712 139867331938960 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4453] ppid=4445 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4453/stat : 4453 (java) S 4445 4445 29331 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 15 0 95170220 14320615424 28614 33554432000 4194304 4196468 140728718077712 139866718566896 139867739048578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4454] ppid=4445 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4454/stat : 4454 (java) S 4445 4445 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95170221 14320615424 28614 33554432000 4194304 4196468 140728718077712 139866717513120 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4455] ppid=4445 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4455/stat : 4455 (java) S 4445 4445 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95170221 14320615424 28614 33554432000 4194304 4196468 140728718077712 139866716460528 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4456] ppid=4445 vsize=13984976 memory=85 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4456/stat : 4456 (java) S 4445 4445 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95170223 14320615424 28614 33554432000 4194304 4196468 140728718077712 139866715409104 139867739056027 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4457] ppid=4445 vsize=13984976 memory=101 CPUtime=0.93 cores=0,2,4,6
/proc/4447/task/4457/stat : 4457 (java) S 4445 4445 29331 0 -1 1077944384 7441 0 0 0 92 1 0 0 20 0 15 0 95170223 14320615424 28614 33554432000 4194304 4196468 140728718077712 139866714355696 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4458] ppid=4445 vsize=13984976 memory=38 CPUtime=1.07 cores=0,2,4,6
/proc/4447/task/4458/stat : 4458 (java) S 4445 4445 29331 0 -1 1077944384 6939 0 0 0 106 1 0 0 20 0 15 0 95170223 14320615424 28614 33554432000 4194304 4196468 140728718077712 139866713303152 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4459] ppid=4445 vsize=13984976 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/4447/task/4459/stat : 4459 (java) S 4445 4445 29331 0 -1 1077944384 3716 0 0 0 38 1 0 0 20 0 15 0 95170223 14320615424 28614 33554432000 4194304 4196468 140728718077712 139866712250608 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4460] ppid=4445 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4460/stat : 4460 (java) S 4445 4445 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95170223 14320615424 28614 33554432000 4194304 4196468 140728718077712 139866711198304 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4461] ppid=4445 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4461/stat : 4461 (java) S 4445 4445 29331 0 -1 1077944384 492 0 0 0 0 0 0 0 20 0 15 0 95170224 14320615424 28614 33554432000 4194304 4196468 140728718077712 139866710145840 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
Current children cumulated CPU time: 16 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 115836 KiB
[startup+14.0006 s]*
/proc/loadavg: 1.47 1.13 1.14 4/218 4461
/proc/meminfo: memFree=31360572/32770624 swapFree=67108860/67108860
[pid=4445] ppid=4442 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4445/stat : 4445 (xcsp3-exec) S 4442 4445 29331 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95170217 9740288 345 33554432000 4194304 5098028 140726271036576 140726271034680 139941917713020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15745024 140726271038580 140726271038784 140726271038784 140726271041515 0
/proc/4445/statm: 2378 345 289 221 0 87 0
[pid=4447] ppid=4445 vsize=13984976 memory=116504 CPUtime=16.4 cores=0,2,4,6
/proc/4447/stat : 4447 (java) S 4445 4445 29331 0 -1 1077944320 28635 0 0 0 1632 8 0 0 20 0 15 0 95170218 14320615424 29126 33554432000 4194304 4196468 140728718077712 140728718060256 139867739037431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
/proc/4447/statm: 3496244 29126 3222 1 0 3483478 0
[pid=4447/tid=4448] ppid=4445 vsize=13984976 memory=6935054825532540783 CPUtime=13.98 cores=0,2,4,6
/proc/4447/task/4448/stat : 4448 (java) R 4445 4445 29331 0 -1 4202560 8410 0 0 0 1394 4 0 0 20 0 15 0 95170218 14320615424 29126 33554432000 4194304 4196468 140728718077712 139867743275880 139867375267454 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4449] ppid=4445 vsize=13984976 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4449/stat : 4449 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 29126 33554432000 4194304 4196468 140728718077712 139867691657488 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4450] ppid=4445 vsize=13984976 memory=2372 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4450/stat : 4450 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 29126 33554432000 4194304 4196468 140728718077712 139867334044048 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4451] ppid=4445 vsize=13984976 memory=6442213867783416415 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4451/stat : 4451 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 29126 33554432000 4194304 4196468 140728718077712 139867332991504 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4452] ppid=4445 vsize=13984976 memory=6152568428807023199 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4452/stat : 4452 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 29126 33554432000 4194304 4196468 140728718077712 139867331938960 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4453] ppid=4445 vsize=13984976 memory=6442213867783416415 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4453/stat : 4453 (java) S 4445 4445 29331 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 15 0 95170220 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866718566896 139867739048578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4454] ppid=4445 vsize=13984976 memory=6442213867783416415 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4454/stat : 4454 (java) S 4445 4445 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95170221 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866717513120 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4455] ppid=4445 vsize=13984976 memory=6442213867783416415 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4455/stat : 4455 (java) S 4445 4445 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95170221 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866716460528 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4456] ppid=4445 vsize=13984976 memory=6442213867783416415 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4456/stat : 4456 (java) S 4445 4445 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95170223 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866715409104 139867739056027 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4457] ppid=4445 vsize=13984976 memory=6442213867783416415 CPUtime=0.93 cores=0,2,4,6
/proc/4447/task/4457/stat : 4457 (java) S 4445 4445 29331 0 -1 1077944384 7441 0 0 0 92 1 0 0 20 0 15 0 95170223 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866714355696 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4458] ppid=4445 vsize=13984976 memory=6442213867783416415 CPUtime=1.07 cores=0,2,4,6
/proc/4447/task/4458/stat : 4458 (java) S 4445 4445 29331 0 -1 1077944384 6939 0 0 0 106 1 0 0 20 0 15 0 95170223 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866713303152 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4459] ppid=4445 vsize=13984976 memory=6442213867783416415 CPUtime=0.39 cores=0,2,4,6
/proc/4447/task/4459/stat : 4459 (java) S 4445 4445 29331 0 -1 1077944384 3718 0 0 0 38 1 0 0 20 0 15 0 95170223 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866712250608 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4460] ppid=4445 vsize=13984976 memory=6442213867783416415 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4460/stat : 4460 (java) S 4445 4445 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95170223 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866711198304 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4461] ppid=4445 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4461/stat : 4461 (java) S 4445 4445 29331 0 -1 1077944384 492 0 0 0 0 0 0 0 20 0 15 0 95170224 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866710145840 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
Current children cumulated CPU time: 16.4 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 117884 KiB
[startup+14.2006 s]
/proc/loadavg: 1.47 1.13 1.14 4/218 4461
/proc/meminfo: memFree=31360572/32770624 swapFree=67108860/67108860
[pid=4445] ppid=4442 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4445/stat : 4445 (xcsp3-exec) S 4442 4445 29331 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95170217 9740288 345 33554432000 4194304 5098028 140726271036576 140726271034680 139941917713020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15745024 140726271038580 140726271038784 140726271038784 140726271041515 0
/proc/4445/statm: 2378 345 289 221 0 87 0
[pid=4447] ppid=4445 vsize=13984976 memory=116504 CPUtime=16.6 cores=0,2,4,6
/proc/4447/stat : 4447 (java) S 4445 4445 29331 0 -1 1077944320 28635 0 0 0 1652 8 0 0 20 0 15 0 95170218 14320615424 29126 33554432000 4194304 4196468 140728718077712 140728718060256 139867739037431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
/proc/4447/statm: 3496244 29126 3222 1 0 3483478 0
[pid=4447/tid=4448] ppid=4445 vsize=13984976 memory=14974468757917589 CPUtime=14.17 cores=0,2,4,6
/proc/4447/task/4448/stat : 4448 (java) R 4445 4445 29331 0 -1 4202560 8410 0 0 0 1413 4 0 0 20 0 15 0 95170218 14320615424 29126 33554432000 4194304 4196468 140728718077712 139867743275880 139867375267320 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4449] ppid=4445 vsize=13984976 memory=5865469479800824941 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4449/stat : 4449 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 29126 33554432000 4194304 4196468 140728718077712 139867691657488 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4450] ppid=4445 vsize=13984976 memory=7740368759279936617 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4450/stat : 4450 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 29126 33554432000 4194304 4196468 140728718077712 139867334044048 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4451] ppid=4445 vsize=13984976 memory=7667497561383256160 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4451/stat : 4451 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 29126 33554432000 4194304 4196468 140728718077712 139867332991504 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4452] ppid=4445 vsize=13984976 memory=7379542050135699264 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4452/stat : 4452 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 29126 33554432000 4194304 4196468 140728718077712 139867331938960 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4453] ppid=4445 vsize=13984976 memory=4642761959813965932 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4453/stat : 4453 (java) S 4445 4445 29331 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 15 0 95170220 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866718566896 139867739048578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4454] ppid=4445 vsize=13984976 memory=4641074187873313646 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4454/stat : 4454 (java) S 4445 4445 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95170221 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866717513120 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4455] ppid=4445 vsize=13984976 memory=7445690864542443880 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4455/stat : 4455 (java) S 4445 4445 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95170221 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866716460528 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4456] ppid=4445 vsize=13984976 memory=7595133216400696678 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4456/stat : 4456 (java) S 4445 4445 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95170223 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866715409104 139867739056027 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4457] ppid=4445 vsize=13984976 memory=7232890293113415765 CPUtime=0.93 cores=0,2,4,6
/proc/4447/task/4457/stat : 4457 (java) S 4445 4445 29331 0 -1 1077944384 7441 0 0 0 92 1 0 0 20 0 15 0 95170223 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866714355696 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4458] ppid=4445 vsize=13984976 memory=8241984518347580262 CPUtime=1.07 cores=0,2,4,6
/proc/4447/task/4458/stat : 4458 (java) S 4445 4445 29331 0 -1 1077944384 6939 0 0 0 106 1 0 0 20 0 15 0 95170223 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866713303152 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4459] ppid=4445 vsize=13984976 memory=6152550823385261415 CPUtime=0.39 cores=0,2,4,6
/proc/4447/task/4459/stat : 4459 (java) S 4445 4445 29331 0 -1 1077944384 3718 0 0 0 38 1 0 0 20 0 15 0 95170223 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866712250608 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4460] ppid=4445 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4460/stat : 4460 (java) S 4445 4445 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95170223 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866711198304 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4461] ppid=4445 vsize=13984976 memory=6442213867783416415 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4461/stat : 4461 (java) S 4445 4445 29331 0 -1 1077944384 492 0 0 0 0 0 0 0 20 0 15 0 95170224 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866710145840 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
Current children cumulated CPU time: 16.6 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 117884 KiB
[startup+14.3007 s]
/proc/loadavg: 1.47 1.13 1.14 4/218 4461
/proc/meminfo: memFree=31360572/32770624 swapFree=67108860/67108860
[pid=4445] ppid=4442 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4445/stat : 4445 (xcsp3-exec) S 4442 4445 29331 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 95170217 9740288 345 33554432000 4194304 5098028 140726271036576 140726271034680 139941917713020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 15745024 140726271038580 140726271038784 140726271038784 140726271041515 0
/proc/4445/statm: 2378 345 289 221 0 87 0
[pid=4447] ppid=4445 vsize=13984976 memory=116504 CPUtime=16.7 cores=0,2,4,6
/proc/4447/stat : 4447 (java) S 4445 4445 29331 0 -1 1077944320 28650 0 0 0 1662 8 0 0 20 0 15 0 95170218 14320615424 29126 33554432000 4194304 4196468 140728718077712 140728718060256 139867739037431 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
/proc/4447/statm: 3496244 29126 3222 1 0 3483478 0
[pid=4447/tid=4448] ppid=4445 vsize=13984976 memory=112408 CPUtime=14.27 cores=0,2,4,6
/proc/4447/task/4448/stat : 4448 (java) R 4445 4445 29331 0 -1 4202560 8410 0 0 0 1423 4 0 0 20 0 15 0 95170218 14320615424 29126 33554432000 4194304 4196468 140728718077712 139867743275880 139867375218689 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4449] ppid=4445 vsize=13984976 memory=10928 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4449/stat : 4449 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 29126 33554432000 4194304 4196468 140728718077712 139867691657488 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4450] ppid=4445 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4450/stat : 4450 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 29126 33554432000 4194304 4196468 140728718077712 139867334044048 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4451] ppid=4445 vsize=13984976 memory=108284 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4451/stat : 4451 (java) S 4445 4445 29331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 29126 33554432000 4194304 4196468 140728718077712 139867332991504 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4452] ppid=4445 vsize=13984976 memory=280979310865472 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4452/stat : 4452 (java) S 4445 4445 29331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95170219 14320615424 29126 33554432000 4194304 4196468 140728718077712 139867331938960 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4453] ppid=4445 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4453/stat : 4453 (java) S 4445 4445 29331 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 15 0 95170220 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866718566896 139867739048578 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4454] ppid=4445 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4454/stat : 4454 (java) S 4445 4445 29331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95170221 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866717513120 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4455] ppid=4445 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4455/stat : 4455 (java) S 4445 4445 29331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95170221 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866716460528 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4456] ppid=4445 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4456/stat : 4456 (java) S 4445 4445 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95170223 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866715409104 139867739056027 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4457] ppid=4445 vsize=13984976 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/4447/task/4457/stat : 4457 (java) S 4445 4445 29331 0 -1 1077944384 7441 0 0 0 92 1 0 0 20 0 15 0 95170223 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866714355696 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4458] ppid=4445 vsize=13984976 memory=33 CPUtime=1.07 cores=0,2,4,6
/proc/4447/task/4458/stat : 4458 (java) S 4445 4445 29331 0 -1 1077944384 6939 0 0 0 106 1 0 0 20 0 15 0 95170223 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866713303152 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4459] ppid=4445 vsize=13984976 memory=0 CPUtime=0.39 cores=0,2,4,6
/proc/4447/task/4459/stat : 4459 (java) S 4445 4445 29331 0 -1 1077944384 3733 0 0 0 38 1 0 0 20 0 15 0 95170223 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866712250608 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4460] ppid=4445 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4460/stat : 4460 (java) S 4445 4445 29331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95170223 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866711198304 139867739047637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
[pid=4447/tid=4461] ppid=4445 vsize=13984976 memory=280979311134768 CPUtime=0 cores=0,2,4,6
/proc/4447/task/4461/stat : 4461 (java) S 4445 4445 29331 0 -1 1077944384 492 0 0 0 0 0 0 0 20 0 15 0 95170224 14320615424 29126 33554432000 4194304 4196468 140728718077712 139866710145840 139867739048578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6893568 140728718083229 140728718083404 140728718083404 140728718086095 0
Current children cumulated CPU time: 16.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 117884 KiB
Child status: 0
Real time (s): 14.3803
CPU time (s): 16.787
CPU user time (s): 16.6983
CPU system time (s): 0.088718
CPU usage (%): 116.736
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 117884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.6983
system time used= 0.088718
maximum resident set size= 118908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29992
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= 2430
involuntary context switches= 34
# summary of solver processes directly reported to runsolver:
# pid: 4445
# total CPU time (s): 16.787
# total CPU user time (s): 16.6983
# total CPU system time (s): 0.088718
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.114609 second user time and 0.167762 second system time
The end