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 (11096 MiB free)
memory of node 1: 16384 MiB (13708 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393306-1568320044/watcher-4393306-1568320044 -o /tmp/evaluation-result-4393306-1568320044/solver-4393306-1568320044 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568312851-11622 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1752689006 HOME/instance-4393306-1568320044.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19505, runsolver pid=19502
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 8.84 8.72 8.20 7/234 19521
/proc/meminfo: memFree=25382584/32770624 swapFree=66952812/67108860
[pid=19505] ppid=19502 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19505/stat : 19505 (xcsp3-exec) S 19502 19505 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407946350 115843072 363 33554432000 4194304 5098028 140734646855264 140734646853368 140577444356732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34672640 140734646858618 140734646858861 140734646858861 140734646861770 0
/proc/19505/statm: 28282 363 304 221 0 87 0
[pid=19507] ppid=19505 vsize=15144768 memory=30796 CPUtime=0.13 cores=0,2,4,6
/proc/19507/stat : 19507 (java) S 19505 19505 11591 0 -1 1077944320 5672 0 0 0 12 1 0 0 20 0 15 0 407946351 15508242432 7699 33554432000 4194304 4196468 140735739961184 140735739943728 140157000134391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
/proc/19507/statm: 3786192 7699 3119 1 0 3748377 0
[pid=19507/tid=19508] ppid=19505 vsize=15144768 memory=7100839861464564850 CPUtime=0.09 cores=0,2,4,6
/proc/19507/task/19508/stat : 19508 (java) R 19505 19505 11591 0 -1 4202560 3573 0 0 0 9 0 0 0 20 0 15 0 407946351 15508242432 7765 33554432000 4194304 4196468 140735739961184 140157004370736 140156992371518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19509] ppid=19505 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19509/stat : 19509 (java) S 19505 19505 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407946352 15508242432 7765 33554432000 4194304 4196468 140735739961184 140156936370960 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19510] ppid=19505 vsize=15144768 memory=140550328022656 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19510/stat : 19510 (java) S 19505 19505 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946352 15508242432 7765 33554432000 4194304 4196468 140735739961184 140156935318416 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19511] ppid=19505 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19511/stat : 19511 (java) S 19505 19505 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946352 15508242432 7765 33554432000 4194304 4196468 140735739961184 140156934265872 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19512] ppid=19505 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19512/stat : 19512 (java) S 19505 19505 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407946352 15508242432 7765 33554432000 4194304 4196468 140735739961184 140156933213328 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19513] ppid=19505 vsize=15144768 memory=140550328022656 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19513/stat : 19513 (java) S 19505 19505 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407946353 15508242432 7765 33554432000 4194304 4196468 140735739961184 140156535904240 140157000145538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19514] ppid=19505 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19514/stat : 19514 (java) S 19505 19505 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407946353 15508242432 7765 33554432000 4194304 4196468 140735739961184 140156534850464 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19515] ppid=19505 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19515/stat : 19515 (java) S 19505 19505 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407946354 15508242432 7765 33554432000 4194304 4196468 140735739961184 140156533797872 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19516] ppid=19505 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19516/stat : 19516 (java) S 19505 19505 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407946356 15508242432 7765 33554432000 4194304 4196468 140735739961184 140156532746448 140157000152987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19517] ppid=19505 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19517/stat : 19517 (java) R 19505 19505 11591 0 -1 4202560 332 0 0 0 0 0 0 0 20 0 15 0 407946356 15508242432 7765 33554432000 4194304 4196468 140735739961184 140156531693248 140156983570129 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19518] ppid=19505 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19518/stat : 19518 (java) R 19505 19505 11591 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 407946356 15508242432 7765 33554432000 4194304 4196468 140735739961184 140156530641616 140157000144597 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19519] ppid=19505 vsize=15144768 memory=140550328022656 CPUtime=0.02 cores=0,2,4,6
/proc/19507/task/19519/stat : 19519 (java) R 19505 19505 11591 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 407946356 15508242432 7765 33554432000 4194304 4196468 140735739961184 140156529588976 140157000146326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19520] ppid=19505 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19520/stat : 19520 (java) S 19505 19505 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407946356 15508242432 7765 33554432000 4194304 4196468 140735739961184 140156528536672 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19521] ppid=19505 vsize=15144768 memory=140550328022656 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19521/stat : 19521 (java) S 19505 19505 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946357 15508242432 7765 33554432000 4194304 4196468 140735739961184 140155865262384 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 32248 KiB
[startup+0.210788 s]*
/proc/loadavg: 8.84 8.72 8.20 7/234 19521
/proc/meminfo: memFree=25369564/32770624 swapFree=66952812/67108860
[pid=19505] ppid=19502 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19505/stat : 19505 (xcsp3-exec) S 19502 19505 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407946350 115843072 363 33554432000 4194304 5098028 140734646855264 140734646853368 140577444356732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34672640 140734646858618 140734646858861 140734646858861 140734646861770 0
/proc/19505/statm: 28282 363 304 221 0 87 0
[pid=19507] ppid=19505 vsize=15144768 memory=42620 CPUtime=0.35 cores=0,2,4,6
/proc/19507/stat : 19507 (java) S 19505 19505 11591 0 -1 1077944320 9330 0 0 0 32 3 0 0 20 0 15 0 407946351 15508242432 10655 33554432000 4194304 4196468 140735739961184 140735739943728 140157000134391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
/proc/19507/statm: 3786192 10655 3304 1 0 3748377 0
[pid=19507/tid=19508] ppid=19505 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/19507/task/19508/stat : 19508 (java) R 19505 19505 11591 0 -1 4202560 6585 0 0 0 18 1 0 0 20 0 15 0 407946351 15508242432 10655 33554432000 4194304 4196468 140735739961184 140157004365632 140156984214878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19509] ppid=19505 vsize=15144768 memory=13655 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19509/stat : 19509 (java) S 19505 19505 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407946352 15508242432 10655 33554432000 4194304 4196468 140735739961184 140156936370960 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19510] ppid=19505 vsize=15144768 memory=140550328040177 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19510/stat : 19510 (java) S 19505 19505 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946352 15508242432 10655 33554432000 4194304 4196468 140735739961184 140156935318416 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19511] ppid=19505 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19511/stat : 19511 (java) S 19505 19505 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946352 15508242432 10655 33554432000 4194304 4196468 140735739961184 140156934265872 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19512] ppid=19505 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19512/stat : 19512 (java) S 19505 19505 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407946352 15508242432 10655 33554432000 4194304 4196468 140735739961184 140156933213328 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19513] ppid=19505 vsize=15144768 memory=140550328022656 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19513/stat : 19513 (java) S 19505 19505 11591 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407946353 15508242432 10655 33554432000 4194304 4196468 140735739961184 140156535904240 140157000145538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19514] ppid=19505 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19514/stat : 19514 (java) S 19505 19505 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407946353 15508242432 10655 33554432000 4194304 4196468 140735739961184 140156534850464 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19515] ppid=19505 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19515/stat : 19515 (java) S 19505 19505 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407946354 15508242432 10655 33554432000 4194304 4196468 140735739961184 140156533797872 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19516] ppid=19505 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19516/stat : 19516 (java) S 19505 19505 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407946356 15508242432 10655 33554432000 4194304 4196468 140735739961184 140156532746448 140157000152987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19517] ppid=19505 vsize=15144768 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/19507/task/19517/stat : 19517 (java) S 19505 19505 11591 0 -1 1077944384 401 0 0 0 1 0 0 0 20 0 15 0 407946356 15508242432 10655 33554432000 4194304 4196468 140735739961184 140156531694064 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19518] ppid=19505 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/19507/task/19518/stat : 19518 (java) S 19505 19505 11591 0 -1 1077944384 227 0 0 0 3 0 0 0 20 0 15 0 407946356 15508242432 10655 33554432000 4194304 4196468 140735739961184 140156530641520 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19519] ppid=19505 vsize=15144768 memory=140550328022656 CPUtime=0.08 cores=0,2,4,6
/proc/19507/task/19519/stat : 19519 (java) S 19505 19505 11591 0 -1 1077944384 809 0 0 0 8 0 0 0 20 0 15 0 407946356 15508242432 10655 33554432000 4194304 4196468 140735739961184 140156529588976 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19520] ppid=19505 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19520/stat : 19520 (java) S 19505 19505 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407946356 15508242432 10655 33554432000 4194304 4196468 140735739961184 140156528536672 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19521] ppid=19505 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19521/stat : 19521 (java) S 19505 19505 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946357 15508242432 10655 33554432000 4194304 4196468 140735739961184 140155865262384 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 44072 KiB
[startup+0.317594 s]*
/proc/loadavg: 8.84 8.72 8.20 8/234 19521
/proc/meminfo: memFree=25362428/32770624 swapFree=66952812/67108860
[pid=19505] ppid=19502 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19505/stat : 19505 (xcsp3-exec) S 19502 19505 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407946350 115843072 363 33554432000 4194304 5098028 140734646855264 140734646853368 140577444356732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34672640 140734646858618 140734646858861 140734646858861 140734646861770 0
/proc/19505/statm: 28282 363 304 221 0 87 0
[pid=19507] ppid=19505 vsize=15149024 memory=52492 CPUtime=0.54 cores=0,2,4,6
/proc/19507/stat : 19507 (java) S 19505 19505 11591 0 -1 1077944320 10924 0 0 0 50 4 0 0 20 0 15 0 407946351 15512600576 13123 33554432000 4194304 4196468 140735739961184 140735739943728 140157000134391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
/proc/19507/statm: 3787256 13123 3364 1 0 3748377 0
[pid=19507/tid=19508] ppid=19505 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/19507/task/19508/stat : 19508 (java) R 19505 19505 11591 0 -1 4202560 7849 0 0 0 28 2 0 0 20 0 15 0 407946351 15512600576 13123 33554432000 4194304 4196468 140735739961184 140157004368176 140156984214878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19509] ppid=19505 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19509/stat : 19509 (java) S 19505 19505 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407946352 15512600576 13123 33554432000 4194304 4196468 140735739961184 140156936370960 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19510] ppid=19505 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19510/stat : 19510 (java) S 19505 19505 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946352 15512600576 13123 33554432000 4194304 4196468 140735739961184 140156935318416 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19511] ppid=19505 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19511/stat : 19511 (java) S 19505 19505 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946352 15512600576 13123 33554432000 4194304 4196468 140735739961184 140156934265872 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19512] ppid=19505 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19512/stat : 19512 (java) S 19505 19505 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407946352 15512600576 13123 33554432000 4194304 4196468 140735739961184 140156933213328 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19513] ppid=19505 vsize=15149024 memory=-7305852742256935071 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19513/stat : 19513 (java) S 19505 19505 11591 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407946353 15512600576 13123 33554432000 4194304 4196468 140735739961184 140156535904240 140157000145538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19514] ppid=19505 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19514/stat : 19514 (java) S 19505 19505 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407946353 15512600576 13123 33554432000 4194304 4196468 140735739961184 140156534850464 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19515] ppid=19505 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19515/stat : 19515 (java) S 19505 19505 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407946354 15512600576 13123 33554432000 4194304 4196468 140735739961184 140156533797872 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19516] ppid=19505 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19516/stat : 19516 (java) S 19505 19505 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407946356 15512600576 13123 33554432000 4194304 4196468 140735739961184 140156532746448 140157000152987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19517] ppid=19505 vsize=15149024 memory=7827413994055111515 CPUtime=0.03 cores=0,2,4,6
/proc/19507/task/19517/stat : 19517 (java) R 19505 19505 11591 0 -1 4202560 430 0 0 0 3 0 0 0 20 0 15 0 407946356 15512600576 13123 33554432000 4194304 4196468 140735739961184 140156531694064 140157000145538 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19518] ppid=19505 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/19507/task/19518/stat : 19518 (java) S 19505 19505 11591 0 -1 1077944384 363 0 0 0 5 0 0 0 20 0 15 0 407946356 15512600576 13123 33554432000 4194304 4196468 140735739961184 140156530641520 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19519] ppid=19505 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/19507/task/19519/stat : 19519 (java) R 19505 19505 11591 0 -1 4202560 977 0 0 0 12 0 0 0 20 0 15 0 407946356 15512600576 13123 33554432000 4194304 4196468 140735739961184 140156529588976 140157000146326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19520] ppid=19505 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19520/stat : 19520 (java) S 19505 19505 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407946356 15512600576 13123 33554432000 4194304 4196468 140735739961184 140156528536672 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19521] ppid=19505 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19521/stat : 19521 (java) S 19505 19505 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946357 15512600576 13123 33554432000 4194304 4196468 140735739961184 140155865262384 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 53944 KiB
[startup+0.700793 s]
/proc/loadavg: 8.84 8.72 8.20 11/234 19521
/proc/meminfo: memFree=25345744/32770624 swapFree=66952812/67108860
[pid=19505] ppid=19502 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19505/stat : 19505 (xcsp3-exec) S 19502 19505 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407946350 115843072 363 33554432000 4194304 5098028 140734646855264 140734646853368 140577444356732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34672640 140734646858618 140734646858861 140734646858861 140734646861770 0
/proc/19505/statm: 28282 363 304 221 0 87 0
[pid=19507] ppid=19505 vsize=15151148 memory=98616 CPUtime=1.66 cores=0,2,4,6
/proc/19507/stat : 19507 (java) S 19505 19505 11591 0 -1 1077944320 18431 0 0 0 160 6 0 0 20 0 15 0 407946351 15514775552 24654 33554432000 4194304 4196468 140735739961184 140735739943728 140157000134391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
/proc/19507/statm: 3787787 24654 3452 1 0 3748889 0
[pid=19507/tid=19508] ppid=19505 vsize=15151148 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/19507/task/19508/stat : 19508 (java) R 19505 19505 11591 0 -1 4202560 9223 0 0 0 64 3 0 0 20 0 15 0 407946351 15514775552 24654 33554432000 4194304 4196468 140735739961184 140157004371768 140156614214146 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19509] ppid=19505 vsize=15151148 memory=38044 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19509/stat : 19509 (java) S 19505 19505 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407946352 15514775552 24654 33554432000 4194304 4196468 140735739961184 140156936370960 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19510] ppid=19505 vsize=15151148 memory=992 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19510/stat : 19510 (java) S 19505 19505 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946352 15514775552 24654 33554432000 4194304 4196468 140735739961184 140156935318416 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19511] ppid=19505 vsize=15151148 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19511/stat : 19511 (java) S 19505 19505 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946352 15514775552 24654 33554432000 4194304 4196468 140735739961184 140156934265872 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19512] ppid=19505 vsize=15151148 memory=1324 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19512/stat : 19512 (java) S 19505 19505 11591 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407946352 15514775552 24654 33554432000 4194304 4196468 140735739961184 140156933213328 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19513] ppid=19505 vsize=15151148 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19513/stat : 19513 (java) S 19505 19505 11591 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407946353 15514775552 24654 33554432000 4194304 4196468 140735739961184 140156535904240 140157000145538 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19514] ppid=19505 vsize=15151148 memory=752 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19514/stat : 19514 (java) S 19505 19505 11591 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407946353 15514775552 24654 33554432000 4194304 4196468 140735739961184 140156534850464 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19515] ppid=19505 vsize=15151148 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19515/stat : 19515 (java) S 19505 19505 11591 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407946354 15514775552 24654 33554432000 4194304 4196468 140735739961184 140156533797872 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19516] ppid=19505 vsize=15151148 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19516/stat : 19516 (java) S 19505 19505 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407946356 15514775552 24654 33554432000 4194304 4196468 140735739961184 140156532746448 140157000152987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19517] ppid=19505 vsize=15151148 memory=944 CPUtime=0.3 cores=0,2,4,6
/proc/19507/task/19517/stat : 19517 (java) R 19505 19505 11591 0 -1 4202560 1870 0 0 0 30 0 0 0 20 0 15 0 407946356 15514775552 24654 33554432000 4194304 4196468 140735739961184 140156531682080 140156992423840 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19518] ppid=19505 vsize=15151148 memory=4004 CPUtime=0.32 cores=0,2,4,6
/proc/19507/task/19518/stat : 19518 (java) R 19505 19505 11591 0 -1 4202560 3567 0 0 0 32 0 0 0 20 0 15 0 407946356 15514775552 24654 33554432000 4194304 4196468 140735739961184 140156530625992 140156981678544 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19519] ppid=19505 vsize=15151148 memory=780 CPUtime=0.32 cores=0,2,4,6
/proc/19507/task/19519/stat : 19519 (java) S 19505 19505 11591 0 -1 1077944384 2462 0 0 0 32 0 0 0 20 0 15 0 407946356 15514775552 24654 33554432000 4194304 4196468 140735739961184 140156529588976 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19520] ppid=19505 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19520/stat : 19520 (java) S 19505 19505 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407946356 15514775552 24654 33554432000 4194304 4196468 140735739961184 140156528536672 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19521] ppid=19505 vsize=15151148 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19521/stat : 19521 (java) S 19505 19505 11591 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407946357 15514775552 24654 33554432000 4194304 4196468 140735739961184 140155865262384 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 100068 KiB
[startup+1.50159 s]
/proc/loadavg: 8.84 8.72 8.20 7/234 19521
/proc/meminfo: memFree=25281256/32770624 swapFree=66952812/67108860
[pid=19505] ppid=19502 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19505/stat : 19505 (xcsp3-exec) S 19502 19505 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407946350 115843072 363 33554432000 4194304 5098028 140734646855264 140734646853368 140577444356732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34672640 140734646858618 140734646858861 140734646858861 140734646861770 0
/proc/19505/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/19507/task/19521/stat : 19521 (java) S 19505 19505 11591 0 -1 1077944384 342 0 0 0 1 1 0 0 20 0 19 0 407946357 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155865262384 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19619] ppid=19505 vsize=15420480 memory=111636 CPUtime=0.66 cores=0,2,4,6
/proc/19507/task/19619/stat : 19619 (java) R 19505 19505 11591 0 -1 4202560 53 0 0 0 66 0 0 0 20 0 19 0 407949643 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155545258600 140156619157508 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19620] ppid=19505 vsize=15420480 memory=804 CPUtime=0.65 cores=0,2,4,6
/proc/19507/task/19620/stat : 19620 (java) R 19505 19505 11591 0 -1 4202560 36 0 0 0 65 0 0 0 20 0 19 0 407949643 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155548420128 140156617237100 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19621] ppid=19505 vsize=15420480 memory=1804 CPUtime=0.65 cores=0,2,4,6
/proc/19507/task/19621/stat : 19621 (java) R 19505 19505 11591 0 -1 4202560 102 0 0 0 65 0 0 0 20 0 19 0 407949643 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155546312568 140156617253625 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19622] ppid=19505 vsize=15420480 memory=1452 CPUtime=0.66 cores=0,2,4,6
/proc/19507/task/19622/stat : 19622 (java) R 19505 19505 11591 0 -1 4202560 34 0 0 0 66 0 0 0 20 0 19 0 407949643 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155542113088 140156620675425 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
Current children cumulated CPU time: 113.81 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 260200 KiB
[startup+34.4008 s]
/proc/loadavg: 8.42 8.66 8.20 6/233 19622
/proc/meminfo: memFree=20670256/32770624 swapFree=66952812/67108860
[pid=19505] ppid=19502 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19505/stat : 19505 (xcsp3-exec) S 19502 19505 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407946350 115843072 363 33554432000 4194304 5098028 140734646855264 140734646853368 140577444356732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34672640 140734646858618 140734646858861 140734646858861 140734646861770 0
/proc/19505/statm: 28282 363 304 221 0 87 0
[pid=19507] ppid=19505 vsize=15420480 memory=258748 CPUtime=114.8 cores=0,2,4,6
/proc/19507/stat : 19507 (java) S 19505 19505 11591 0 -1 1077944320 56663 0 0 0 11459 21 0 0 20 0 19 0 407946351 15790571520 64687 33554432000 4194304 4196468 140735739961184 140735739943728 140157000134391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
/proc/19507/statm: 3855120 64687 3534 1 0 3816222 0
[pid=19507/tid=19508] ppid=19505 vsize=15420480 memory=6791534058613427641 CPUtime=1.15 cores=0,2,4,6
/proc/19507/task/19508/stat : 19508 (java) S 19505 19505 11591 0 -1 1077944384 10442 0 0 0 110 5 0 0 20 0 19 0 407946351 15790571520 64687 33554432000 4194304 4196468 140735739961184 140157004375168 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19509] ppid=19505 vsize=15420480 memory=4420 CPUtime=0.04 cores=0,2,4,6
/proc/19507/task/19509/stat : 19509 (java) S 19505 19505 11591 0 -1 1077944384 320 0 0 0 3 1 0 0 20 0 19 0 407946352 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156936370960 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19510] ppid=19505 vsize=15420480 memory=6628 CPUtime=0.03 cores=0,2,4,6
/proc/19507/task/19510/stat : 19510 (java) S 19505 19505 11591 0 -1 1077944384 839 0 0 0 3 0 0 0 20 0 19 0 407946352 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156935318416 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19511] ppid=19505 vsize=15420480 memory=8836 CPUtime=0.03 cores=0,2,4,6
/proc/19507/task/19511/stat : 19511 (java) S 19505 19505 11591 0 -1 1077944384 466 0 0 0 2 1 0 0 20 0 19 0 407946352 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156934265872 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19512] ppid=19505 vsize=15420480 memory=11044 CPUtime=0.04 cores=0,2,4,6
/proc/19507/task/19512/stat : 19512 (java) S 19505 19505 11591 0 -1 1077944384 1649 0 0 0 3 1 0 0 20 0 19 0 407946352 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156933213328 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19513] ppid=19505 vsize=15420480 memory=13252 CPUtime=0.02 cores=0,2,4,6
/proc/19507/task/19513/stat : 19513 (java) S 19505 19505 11591 0 -1 1077944384 964 0 0 0 1 1 0 0 20 0 19 0 407946353 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156535904240 140157000145538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19514] ppid=19505 vsize=15420480 memory=15460 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19514/stat : 19514 (java) S 19505 19505 11591 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 407946353 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156534850528 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19515] ppid=19505 vsize=15420480 memory=256400 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19515/stat : 19515 (java) S 19505 19505 11591 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 19 0 407946354 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156533797888 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19516] ppid=19505 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19516/stat : 19516 (java) S 19505 19505 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407946356 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156532746448 140157000152987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19517] ppid=19505 vsize=15420480 memory=7811044310603950144 CPUtime=3.17 cores=0,2,4,6
/proc/19507/task/19517/stat : 19517 (java) S 19505 19505 11591 0 -1 1077944384 11365 0 0 0 316 1 0 0 20 0 19 0 407946356 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156531694064 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19518] ppid=19505 vsize=15420480 memory=140550328021521 CPUtime=3.28 cores=0,2,4,6
/proc/19507/task/19518/stat : 19518 (java) S 19505 19505 11591 0 -1 1077944384 14216 0 0 0 327 1 0 0 20 0 19 0 407946356 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156530641520 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19519] ppid=19505 vsize=15420480 memory=-8383301583103171989 CPUtime=0.9 cores=0,2,4,6
/proc/19507/task/19519/stat : 19519 (java) S 19505 19505 11591 0 -1 1077944384 9400 0 0 0 89 1 0 0 20 0 19 0 407946356 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156529588976 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19520] ppid=19505 vsize=15420480 memory=8514726395714825875 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19520/stat : 19520 (java) S 19505 19505 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407946356 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156528536672 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19521] ppid=19505 vsize=15420480 memory=6944656592452807320 CPUtime=0.02 cores=0,2,4,6
/proc/19507/task/19521/stat : 19521 (java) S 19505 19505 11591 0 -1 1077944384 342 0 0 0 1 1 0 0 20 0 19 0 407946357 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155865262384 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19619] ppid=19505 vsize=15420480 memory=8292088559825428625 CPUtime=0.72 cores=0,2,4,6
/proc/19507/task/19619/stat : 19619 (java) S 19505 19505 11591 0 -1 1077944384 53 0 0 0 72 0 0 0 20 0 19 0 407949643 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155545263552 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19620] ppid=19505 vsize=15420480 memory=6933690305039933585 CPUtime=0.72 cores=0,2,4,6
/proc/19507/task/19620/stat : 19620 (java) S 19505 19505 11591 0 -1 1077944384 39 0 0 0 72 0 0 0 20 0 19 0 407949643 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155548423120 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19621] ppid=19505 vsize=15420480 memory=8901 CPUtime=0.71 cores=0,2,4,6
/proc/19507/task/19621/stat : 19621 (java) S 19505 19505 11591 0 -1 1077944384 111 0 0 0 71 0 0 0 20 0 19 0 407949643 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155546317904 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19622] ppid=19505 vsize=15420480 memory=3473455227061285942 CPUtime=1.45 cores=0,2,4,6
/proc/19507/task/19622/stat : 19622 (java) R 19505 19505 11591 0 -1 4202560 34 0 0 0 145 0 0 0 20 0 19 0 407949643 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155542113088 140156620675851 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
Current children cumulated CPU time: 114.8 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 260200 KiB
[startup+34.8008 s]
/proc/loadavg: 8.42 8.66 8.20 6/233 19622
/proc/meminfo: memFree=20670256/32770624 swapFree=66952812/67108860
[pid=19505] ppid=19502 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19505/stat : 19505 (xcsp3-exec) S 19502 19505 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407946350 115843072 363 33554432000 4194304 5098028 140734646855264 140734646853368 140577444356732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34672640 140734646858618 140734646858861 140734646858861 140734646861770 0
/proc/19505/statm: 28282 363 304 221 0 87 0
[pid=19507] ppid=19505 vsize=15420480 memory=258748 CPUtime=115.2 cores=0,2,4,6
/proc/19507/stat : 19507 (java) S 19505 19505 11591 0 -1 1077944320 56663 0 0 0 11499 21 0 0 20 0 19 0 407946351 15790571520 64687 33554432000 4194304 4196468 140735739961184 140735739943728 140157000134391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
/proc/19507/statm: 3855120 64687 3534 1 0 3816222 0
[pid=19507/tid=19508] ppid=19505 vsize=15420480 memory=14135532779211192 CPUtime=1.15 cores=0,2,4,6
/proc/19507/task/19508/stat : 19508 (java) S 19505 19505 11591 0 -1 1077944384 10442 0 0 0 110 5 0 0 20 0 19 0 407946351 15790571520 64687 33554432000 4194304 4196468 140735739961184 140157004375168 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19509] ppid=19505 vsize=15420480 memory=500 CPUtime=0.04 cores=0,2,4,6
/proc/19507/task/19509/stat : 19509 (java) S 19505 19505 11591 0 -1 1077944384 320 0 0 0 3 1 0 0 20 0 19 0 407946352 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156936370960 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19510] ppid=19505 vsize=15420480 memory=1556 CPUtime=0.03 cores=0,2,4,6
/proc/19507/task/19510/stat : 19510 (java) S 19505 19505 11591 0 -1 1077944384 839 0 0 0 3 0 0 0 20 0 19 0 407946352 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156935318416 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19511] ppid=19505 vsize=15420480 memory=924 CPUtime=0.03 cores=0,2,4,6
/proc/19507/task/19511/stat : 19511 (java) S 19505 19505 11591 0 -1 1077944384 466 0 0 0 2 1 0 0 20 0 19 0 407946352 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156934265872 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19512] ppid=19505 vsize=15420480 memory=1712 CPUtime=0.04 cores=0,2,4,6
/proc/19507/task/19512/stat : 19512 (java) S 19505 19505 11591 0 -1 1077944384 1649 0 0 0 3 1 0 0 20 0 19 0 407946352 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156933213328 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19513] ppid=19505 vsize=15420480 memory=812 CPUtime=0.02 cores=0,2,4,6
/proc/19507/task/19513/stat : 19513 (java) S 19505 19505 11591 0 -1 1077944384 964 0 0 0 1 1 0 0 20 0 19 0 407946353 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156535904240 140157000145538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19514] ppid=19505 vsize=15420480 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19514/stat : 19514 (java) S 19505 19505 11591 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 407946353 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156534850528 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19515] ppid=19505 vsize=15420480 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19515/stat : 19515 (java) S 19505 19505 11591 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 19 0 407946354 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156533797888 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19516] ppid=19505 vsize=15420480 memory=2492 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19516/stat : 19516 (java) S 19505 19505 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407946356 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156532746448 140157000152987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19517] ppid=19505 vsize=15420480 memory=1764 CPUtime=3.17 cores=0,2,4,6
/proc/19507/task/19517/stat : 19517 (java) S 19505 19505 11591 0 -1 1077944384 11365 0 0 0 316 1 0 0 20 0 19 0 407946356 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156531694064 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19518] ppid=19505 vsize=15420480 memory=111636 CPUtime=3.28 cores=0,2,4,6
/proc/19507/task/19518/stat : 19518 (java) S 19505 19505 11591 0 -1 1077944384 14216 0 0 0 327 1 0 0 20 0 19 0 407946356 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156530641520 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19519] ppid=19505 vsize=15420480 memory=804 CPUtime=0.9 cores=0,2,4,6
/proc/19507/task/19519/stat : 19519 (java) S 19505 19505 11591 0 -1 1077944384 9400 0 0 0 89 1 0 0 20 0 19 0 407946356 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156529588976 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19520] ppid=19505 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19520/stat : 19520 (java) S 19505 19505 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407946356 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156528536672 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19521] ppid=19505 vsize=15420480 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19507/task/19521/stat : 19521 (java) S 19505 19505 11591 0 -1 1077944384 342 0 0 0 1 1 0 0 20 0 19 0 407946357 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155865262384 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19619] ppid=19505 vsize=15420480 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/19507/task/19619/stat : 19619 (java) S 19505 19505 11591 0 -1 1077944384 53 0 0 0 72 0 0 0 20 0 19 0 407949643 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155545263552 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19620] ppid=19505 vsize=15420480 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/19507/task/19620/stat : 19620 (java) S 19505 19505 11591 0 -1 1077944384 39 0 0 0 72 0 0 0 20 0 19 0 407949643 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155548423120 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19621] ppid=19505 vsize=15420480 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/19507/task/19621/stat : 19621 (java) S 19505 19505 11591 0 -1 1077944384 111 0 0 0 71 0 0 0 20 0 19 0 407949643 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155546317904 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19622] ppid=19505 vsize=15420480 memory=0 CPUtime=1.85 cores=0,2,4,6
/proc/19507/task/19622/stat : 19622 (java) R 19505 19505 11591 0 -1 4202560 34 0 0 0 185 0 0 0 20 0 19 0 407949643 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155542113088 140156620675961 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
Current children cumulated CPU time: 115.2 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 260200 KiB
[startup+35.0008 s]*
/proc/loadavg: 8.42 8.66 8.20 6/233 19622
/proc/meminfo: memFree=20306336/32770624 swapFree=66952812/67108860
[pid=19505] ppid=19502 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19505/stat : 19505 (xcsp3-exec) S 19502 19505 11591 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407946350 115843072 363 33554432000 4194304 5098028 140734646855264 140734646853368 140577444356732 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34672640 140734646858618 140734646858861 140734646858861 140734646861770 0
/proc/19505/statm: 28282 363 304 221 0 87 0
[pid=19507] ppid=19505 vsize=15420480 memory=258748 CPUtime=115.41 cores=0,2,4,6
/proc/19507/stat : 19507 (java) S 19505 19505 11591 0 -1 1077944320 56665 0 0 0 11520 21 0 0 20 0 19 0 407946351 15790571520 64687 33554432000 4194304 4196468 140735739961184 140735739943728 140157000134391 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
/proc/19507/statm: 3855120 64687 3534 1 0 3816222 0
[pid=19507/tid=19508] ppid=19505 vsize=15420480 memory=8317482817917895235 CPUtime=1.15 cores=0,2,4,6
/proc/19507/task/19508/stat : 19508 (java) S 19505 19505 11591 0 -1 1077944384 10442 0 0 0 110 5 0 0 20 0 19 0 407946351 15790571520 64687 33554432000 4194304 4196468 140735739961184 140157004375168 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19509] ppid=19505 vsize=15420480 memory=4126316290023845779 CPUtime=0.04 cores=0,2,4,6
/proc/19507/task/19509/stat : 19509 (java) S 19505 19505 11591 0 -1 1077944384 320 0 0 0 3 1 0 0 20 0 19 0 407946352 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156936370960 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19510] ppid=19505 vsize=15420480 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/19507/task/19510/stat : 19510 (java) S 19505 19505 11591 0 -1 1077944384 839 0 0 0 3 0 0 0 20 0 19 0 407946352 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156935318416 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19511] ppid=19505 vsize=15420480 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19507/task/19511/stat : 19511 (java) S 19505 19505 11591 0 -1 1077944384 466 0 0 0 2 1 0 0 20 0 19 0 407946352 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156934265872 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19512] ppid=19505 vsize=15420480 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/19507/task/19512/stat : 19512 (java) S 19505 19505 11591 0 -1 1077944384 1649 0 0 0 3 1 0 0 20 0 19 0 407946352 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156933213328 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19513] ppid=19505 vsize=15420480 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19507/task/19513/stat : 19513 (java) S 19505 19505 11591 0 -1 1077944384 964 0 0 0 1 1 0 0 20 0 19 0 407946353 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156535904240 140157000145538 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19514] ppid=19505 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19514/stat : 19514 (java) S 19505 19505 11591 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 407946353 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156534850528 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19515] ppid=19505 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19515/stat : 19515 (java) S 19505 19505 11591 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 19 0 407946354 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156533797888 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19516] ppid=19505 vsize=15420480 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19516/stat : 19516 (java) S 19505 19505 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407946356 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156532746448 140157000152987 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19517] ppid=19505 vsize=15420480 memory=0 CPUtime=3.17 cores=0,2,4,6
/proc/19507/task/19517/stat : 19517 (java) S 19505 19505 11591 0 -1 1077944384 11365 0 0 0 316 1 0 0 20 0 19 0 407946356 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156531694064 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 39 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19518] ppid=19505 vsize=15420480 memory=-1 CPUtime=3.28 cores=0,2,4,6
/proc/19507/task/19518/stat : 19518 (java) S 19505 19505 11591 0 -1 1077944384 14216 0 0 0 327 1 0 0 20 0 19 0 407946356 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156530641520 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19519] ppid=19505 vsize=15420480 memory=-1 CPUtime=0.9 cores=0,2,4,6
/proc/19507/task/19519/stat : 19519 (java) S 19505 19505 11591 0 -1 1077944384 9400 0 0 0 89 1 0 0 20 0 19 0 407946356 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156529588976 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 44 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19520] ppid=19505 vsize=15420480 memory=140550328022656 CPUtime=0 cores=0,2,4,6
/proc/19507/task/19520/stat : 19520 (java) S 19505 19505 11591 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407946356 15790571520 64687 33554432000 4194304 4196468 140735739961184 140156528536672 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19521] ppid=19505 vsize=15420480 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/19507/task/19521/stat : 19521 (java) S 19505 19505 11591 0 -1 1077944384 344 0 0 0 1 1 0 0 20 0 19 0 407946357 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155865262384 140157000145538 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 43 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19619] ppid=19505 vsize=15420480 memory=140550328022656 CPUtime=0.72 cores=0,2,4,6
/proc/19507/task/19619/stat : 19619 (java) S 19505 19505 11591 0 -1 1077944384 53 0 0 0 72 0 0 0 20 0 19 0 407949643 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155545263552 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19620] ppid=19505 vsize=15420480 memory=-1 CPUtime=0.72 cores=0,2,4,6
/proc/19507/task/19620/stat : 19620 (java) S 19505 19505 11591 0 -1 1077944384 39 0 0 0 72 0 0 0 20 0 19 0 407949643 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155548423120 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19621] ppid=19505 vsize=15420480 memory=140550328022656 CPUtime=0.71 cores=0,2,4,6
/proc/19507/task/19621/stat : 19621 (java) S 19505 19505 11591 0 -1 1077944384 111 0 0 0 71 0 0 0 20 0 19 0 407949643 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155546317904 140157000144597 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
[pid=19507/tid=19622] ppid=19505 vsize=15420480 memory=0 CPUtime=2.06 cores=0,2,4,6
/proc/19507/task/19622/stat : 19622 (java) R 19505 19505 11591 0 -1 4202560 34 0 0 0 206 0 0 0 20 0 19 0 407949643 15790571520 64687 33554432000 4194304 4196468 140735739961184 140155542113088 140156620675535 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31236096 140735739966447 140735739966618 140735739966618 140735739969487 0
Current children cumulated CPU time: 115.41 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 260200 KiB
Child status: 0
Real time (s): 35.038
CPU time (s): 115.453
CPU user time (s): 115.229
CPU system time (s): 0.223772
CPU usage (%): 329.509
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 260200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 115.229
system time used= 0.223772
maximum resident set size= 258816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57661
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4055
involuntary context switches= 2655
# summary of solver processes directly reported to runsolver:
# pid: 19505
# total CPU time (s): 115.453
# total CPU user time (s): 115.229
# total CPU system time (s): 0.223772
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.260667 second user time and 0.414629 second system time
The end