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 (14890 MiB free)
memory of node 1: 16384 MiB (15346 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393064-1568351753/watcher-4393064-1568351753 -o /tmp/evaluation-result-4393064-1568351753/solver-4393064-1568351753 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568346919-22074 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 197727224 HOME/instance-4393064-1568351753.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24313, runsolver pid=24310
Current StackSize limit: 8192 KiB
[startup+0.103832 s]*
/proc/loadavg: 8.21 8.37 8.06 8/233 24329
/proc/meminfo: memFree=30945252/32770624 swapFree=66940760/67108860
[pid=24313] ppid=24310 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24313/stat : 24313 (xcsp3-exec) S 24310 24313 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411413988 115843072 363 33554432000 4194304 5098028 140726518057984 140726518056088 139663131103868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39911424 140726518063995 140726518064237 140726518064237 140726518067146 0
/proc/24313/statm: 28282 363 304 221 0 87 0
[pid=24315] ppid=24313 vsize=15144768 memory=30324 CPUtime=0.14 cores=1,3,5,7
/proc/24315/stat : 24315 (java) S 24313 24313 22042 0 -1 1077944320 5539 0 0 0 13 1 0 0 20 0 15 0 411413989 15508242432 7581 33554432000 4194304 4196468 140721565591856 140721565574400 140133011644151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
/proc/24315/statm: 3786192 7581 3155 1 0 3748377 0
[pid=24315/tid=24316] ppid=24313 vsize=15144768 memory=8514701219881255588 CPUtime=0.09 cores=1,3,5,7
/proc/24315/task/24316/stat : 24316 (java) R 24313 24313 22042 0 -1 4202560 3401 0 0 0 9 0 0 0 20 0 15 0 411413989 15508242432 7581 33554432000 4194304 4196468 140721565591856 140133015873792 140132648684548 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24317] ppid=24313 vsize=15144768 memory=3472467933602370768 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24317/stat : 24317 (java) S 24313 24313 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411413990 15508242432 7581 33554432000 4194304 4196468 140721565591856 140132603632400 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24318] ppid=24313 vsize=15144768 memory=139804707219072 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24318/stat : 24318 (java) S 24313 24313 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411413990 15508242432 7581 33554432000 4194304 4196468 140721565591856 140132602579856 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24319] ppid=24313 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24319/stat : 24319 (java) S 24313 24313 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411413990 15508242432 7581 33554432000 4194304 4196468 140721565591856 140132601527312 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24320] ppid=24313 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24320/stat : 24320 (java) S 24313 24313 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411413990 15508242432 7581 33554432000 4194304 4196468 140721565591856 140132600474768 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24321] ppid=24313 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24321/stat : 24321 (java) S 24313 24313 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411413991 15508242432 7581 33554432000 4194304 4196468 140721565591856 140132345649136 140133011655298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24322] ppid=24313 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24322/stat : 24322 (java) S 24313 24313 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411413991 15508242432 7581 33554432000 4194304 4196468 140721565591856 140132344595360 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24323] ppid=24313 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24323/stat : 24323 (java) S 24313 24313 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411413992 15508242432 7581 33554432000 4194304 4196468 140721565591856 140132343542768 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24324] ppid=24313 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24324/stat : 24324 (java) S 24313 24313 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411413994 15508242432 7581 33554432000 4194304 4196468 140721565591856 140132342491344 140133011662747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24325] ppid=24313 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24325/stat : 24325 (java) S 24313 24313 22042 0 -1 1077944384 331 0 0 0 0 0 0 0 20 0 15 0 411413994 15508242432 7581 33554432000 4194304 4196468 140721565591856 140132341438960 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24326] ppid=24313 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24326/stat : 24326 (java) S 24313 24313 22042 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 411413994 15508242432 7581 33554432000 4194304 4196468 140721565591856 140132340386416 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24327] ppid=24313 vsize=15144768 memory=139804707219072 CPUtime=0.02 cores=1,3,5,7
/proc/24315/task/24327/stat : 24327 (java) R 24313 24313 22042 0 -1 4202560 373 0 0 0 2 0 0 0 20 0 15 0 411413994 15508242432 7581 33554432000 4194304 4196468 140721565591856 140132339333872 140133011656086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24328] ppid=24313 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24328/stat : 24328 (java) S 24313 24313 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411413994 15508242432 7581 33554432000 4194304 4196468 140721565591856 140132338281568 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24329] ppid=24313 vsize=15144768 memory=139804707219072 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24329/stat : 24329 (java) S 24313 24313 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411413994 15508242432 7581 33554432000 4194304 4196468 140721565591856 140132337228080 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31776 KiB
[startup+0.210661 s]*
/proc/loadavg: 8.21 8.37 8.06 6/233 24329
/proc/meminfo: memFree=30932880/32770624 swapFree=66940760/67108860
[pid=24313] ppid=24310 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24313/stat : 24313 (xcsp3-exec) S 24310 24313 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411413988 115843072 363 33554432000 4194304 5098028 140726518057984 140726518056088 139663131103868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39911424 140726518063995 140726518064237 140726518064237 140726518067146 0
/proc/24313/statm: 28282 363 304 221 0 87 0
[pid=24315] ppid=24313 vsize=15144768 memory=41140 CPUtime=0.34 cores=1,3,5,7
/proc/24315/stat : 24315 (java) S 24313 24313 22042 0 -1 1077944320 9062 0 0 0 31 3 0 0 20 0 15 0 411413989 15508242432 10285 33554432000 4194304 4196468 140721565591856 140721565574400 140133011644151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
/proc/24315/statm: 3786192 10285 3284 1 0 3748377 0
[pid=24315/tid=24316] ppid=24313 vsize=15144768 memory=5855082630903857826 CPUtime=0.2 cores=1,3,5,7
/proc/24315/task/24316/stat : 24316 (java) R 24313 24313 22042 0 -1 4202560 6207 0 0 0 18 2 0 0 20 0 15 0 411413989 15508242432 10285 33554432000 4194304 4196468 140721565591856 140133015879136 140133011665981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24317] ppid=24313 vsize=15144768 memory=3472467933602370768 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24317/stat : 24317 (java) S 24313 24313 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411413990 15508242432 10285 33554432000 4194304 4196468 140721565591856 140132603632400 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24318] ppid=24313 vsize=15144768 memory=139804707219072 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24318/stat : 24318 (java) S 24313 24313 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411413990 15508242432 10285 33554432000 4194304 4196468 140721565591856 140132602579856 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24319] ppid=24313 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24319/stat : 24319 (java) S 24313 24313 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411413990 15508242432 10285 33554432000 4194304 4196468 140721565591856 140132601527312 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24320] ppid=24313 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24320/stat : 24320 (java) S 24313 24313 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411413990 15508242432 10285 33554432000 4194304 4196468 140721565591856 140132600474768 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24321] ppid=24313 vsize=15144768 memory=139804707219072 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24321/stat : 24321 (java) S 24313 24313 22042 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411413991 15508242432 10285 33554432000 4194304 4196468 140721565591856 140132345649136 140133011655298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24322] ppid=24313 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24322/stat : 24322 (java) S 24313 24313 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411413991 15508242432 10285 33554432000 4194304 4196468 140721565591856 140132344595360 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24323] ppid=24313 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24323/stat : 24323 (java) S 24313 24313 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411413992 15508242432 10285 33554432000 4194304 4196468 140721565591856 140132343542768 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24324] ppid=24313 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24324/stat : 24324 (java) S 24313 24313 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411413994 15508242432 10285 33554432000 4194304 4196468 140721565591856 140132342491344 140133011662747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24325] ppid=24313 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/24315/task/24325/stat : 24325 (java) S 24313 24313 22042 0 -1 1077944384 592 0 0 0 2 0 0 0 20 0 15 0 411413994 15508242432 10285 33554432000 4194304 4196468 140721565591856 140132341438960 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24326] ppid=24313 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/24315/task/24326/stat : 24326 (java) S 24313 24313 22042 0 -1 1077944384 236 0 0 0 2 0 0 0 20 0 15 0 411413994 15508242432 10285 33554432000 4194304 4196468 140721565591856 140132340386416 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24327] ppid=24313 vsize=15144768 memory=139804707219072 CPUtime=0.08 cores=1,3,5,7
/proc/24315/task/24327/stat : 24327 (java) S 24313 24313 22042 0 -1 1077944384 722 0 0 0 8 0 0 0 20 0 15 0 411413994 15508242432 10285 33554432000 4194304 4196468 140721565591856 140132339333872 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24328] ppid=24313 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24328/stat : 24328 (java) S 24313 24313 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411413994 15508242432 10285 33554432000 4194304 4196468 140721565591856 140132338281568 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24329] ppid=24313 vsize=15144768 memory=139804707219072 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24329/stat : 24329 (java) S 24313 24313 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411413994 15508242432 10285 33554432000 4194304 4196468 140721565591856 140132337228080 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42592 KiB
[startup+0.312286 s]*
/proc/loadavg: 8.21 8.37 8.06 7/233 24329
/proc/meminfo: memFree=30926084/32770624 swapFree=66940760/67108860
[pid=24313] ppid=24310 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24313/stat : 24313 (xcsp3-exec) S 24310 24313 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411413988 115843072 363 33554432000 4194304 5098028 140726518057984 140726518056088 139663131103868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39911424 140726518063995 140726518064237 140726518064237 140726518067146 0
/proc/24313/statm: 28282 363 304 221 0 87 0
[pid=24315] ppid=24313 vsize=15149024 memory=50288 CPUtime=0.53 cores=1,3,5,7
/proc/24315/stat : 24315 (java) S 24313 24313 22042 0 -1 1077944320 10441 0 0 0 50 3 0 0 20 0 15 0 411413989 15512600576 12572 33554432000 4194304 4196468 140721565591856 140721565574400 140133011644151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
/proc/24315/statm: 3787256 12572 3341 1 0 3748377 0
[pid=24315/tid=24316] ppid=24313 vsize=15149024 memory=8514701219880992413 CPUtime=0.3 cores=1,3,5,7
/proc/24315/task/24316/stat : 24316 (java) R 24313 24313 22042 0 -1 4202560 7401 0 0 0 28 2 0 0 20 0 15 0 411413989 15512600576 12572 33554432000 4194304 4196468 140721565591856 140133015879696 140132995724638 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24317] ppid=24313 vsize=15149024 memory=3472467933602370768 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24317/stat : 24317 (java) S 24313 24313 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411413990 15512600576 12572 33554432000 4194304 4196468 140721565591856 140132603632400 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24318] ppid=24313 vsize=15149024 memory=139804707219072 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24318/stat : 24318 (java) S 24313 24313 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411413990 15512600576 12572 33554432000 4194304 4196468 140721565591856 140132602579856 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24319] ppid=24313 vsize=15149024 memory=2 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24319/stat : 24319 (java) S 24313 24313 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411413990 15512600576 12572 33554432000 4194304 4196468 140721565591856 140132601527312 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24320] ppid=24313 vsize=15149024 memory=139804608178207 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24320/stat : 24320 (java) S 24313 24313 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411413990 15512600576 12572 33554432000 4194304 4196468 140721565591856 140132600474768 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24321] ppid=24313 vsize=15149024 memory=279609216317184 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24321/stat : 24321 (java) S 24313 24313 22042 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 411413991 15512600576 12572 33554432000 4194304 4196468 140721565591856 140132345649136 140133011655298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24322] ppid=24313 vsize=15149024 memory=139804608155151 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24322/stat : 24322 (java) S 24313 24313 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411413991 15512600576 12572 33554432000 4194304 4196468 140721565591856 140132344595360 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24323] ppid=24313 vsize=15149024 memory=279609315383392 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24323/stat : 24323 (java) S 24313 24313 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411413992 15512600576 12572 33554432000 4194304 4196468 140721565591856 140132343542768 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24324] ppid=24313 vsize=15149024 memory=139804608159759 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24324/stat : 24324 (java) S 24313 24313 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411413994 15512600576 12572 33554432000 4194304 4196468 140721565591856 140132342491344 140133011662747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24325] ppid=24313 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/24315/task/24325/stat : 24325 (java) S 24313 24313 22042 0 -1 1077944384 714 0 0 0 5 0 0 0 20 0 15 0 411413994 15512600576 12572 33554432000 4194304 4196468 140721565591856 140132341438960 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24326] ppid=24313 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/24315/task/24326/stat : 24326 (java) S 24313 24313 22042 0 -1 1077944384 245 0 0 0 4 0 0 0 20 0 15 0 411413994 15512600576 12572 33554432000 4194304 4196468 140721565591856 140132340386416 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24327] ppid=24313 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24315/task/24327/stat : 24327 (java) S 24313 24313 22042 0 -1 1077944384 776 0 0 0 12 0 0 0 20 0 15 0 411413994 15512600576 12572 33554432000 4194304 4196468 140721565591856 140132339333872 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24328] ppid=24313 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24328/stat : 24328 (java) S 24313 24313 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411413994 15512600576 12572 33554432000 4194304 4196468 140721565591856 140132338281568 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24329] ppid=24313 vsize=15149024 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24329/stat : 24329 (java) S 24313 24313 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411413994 15512600576 12572 33554432000 4194304 4196468 140721565591856 140132337228080 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51740 KiB
[startup+0.70077 s]
/proc/loadavg: 8.21 8.37 8.06 10/233 24329
/proc/meminfo: memFree=30906544/32770624 swapFree=66940760/67108860
[pid=24313] ppid=24310 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24313/stat : 24313 (xcsp3-exec) S 24310 24313 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411413988 115843072 363 33554432000 4194304 5098028 140726518057984 140726518056088 139663131103868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39911424 140726518063995 140726518064237 140726518064237 140726518067146 0
/proc/24313/statm: 28282 363 304 221 0 87 0
[pid=24315] ppid=24313 vsize=15417404 memory=91448 CPUtime=1.74 cores=1,3,5,7
/proc/24315/stat : 24315 (java) S 24313 24313 22042 0 -1 1077944320 14152 0 0 0 169 5 0 0 20 0 19 0 411413989 15787421696 22862 33554432000 4194304 4196468 140721565591856 140721565574400 140133011644151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
/proc/24315/statm: 3854351 22862 3449 1 0 3815453 0
[pid=24315/tid=24316] ppid=24313 vsize=15417404 memory=1088 CPUtime=0.55 cores=1,3,5,7
/proc/24315/task/24316/stat : 24316 (java) S 24313 24313 22042 0 -1 1077944384 8635 0 0 0 52 3 0 0 20 0 19 0 411413989 15787421696 22862 33554432000 4194304 4196468 140721565591856 140133015884928 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24317] ppid=24313 vsize=15417404 memory=988 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24317/stat : 24317 (java) S 24313 24313 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411413990 15787421696 22862 33554432000 4194304 4196468 140721565591856 140132603632400 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24318] ppid=24313 vsize=15417404 memory=780 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24318/stat : 24318 (java) S 24313 24313 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411413990 15787421696 22862 33554432000 4194304 4196468 140721565591856 140132602579856 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24319] ppid=24313 vsize=15417404 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24319/stat : 24319 (java) S 24313 24313 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411413990 15787421696 22862 33554432000 4194304 4196468 140721565591856 140132601527312 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24320] ppid=24313 vsize=15417404 memory=624 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24320/stat : 24320 (java) S 24313 24313 22042 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 411413990 15787421696 22862 33554432000 4194304 4196468 140721565591856 140132600474768 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24321] ppid=24313 vsize=15417404 memory=4004 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24321/stat : 24321 (java) S 24313 24313 22042 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 411413991 15787421696 22862 33554432000 4194304 4196468 140721565591856 140132345649136 140133011655298 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24322] ppid=24313 vsize=15417404 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24322/stat : 24322 (java) S 24313 24313 22042 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 411413991 15787421696 22862 33554432000 4194304 4196468 140721565591856 140132344595360 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24323] ppid=24313 vsize=15417404 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24323/stat : 24323 (java) S 24313 24313 22042 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 411413992 15787421696 22862 33554432000 4194304 4196468 140721565591856 140132343542768 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24324] ppid=24313 vsize=15417404 memory=38316 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24324/stat : 24324 (java) S 24313 24313 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411413994 15787421696 22862 33554432000 4194304 4196468 140721565591856 140132342491344 140133011662747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24325] ppid=24313 vsize=15417404 memory=1988 CPUtime=0.31 cores=1,3,5,7
/proc/24315/task/24325/stat : 24325 (java) R 24313 24313 22042 0 -1 4202560 1401 0 0 0 31 0 0 0 20 0 19 0 411413994 15787421696 22862 33554432000 4194304 4196468 140721565591856 140132341439088 140132996035489 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24326] ppid=24313 vsize=15417404 memory=988 CPUtime=0.25 cores=1,3,5,7
/proc/24315/task/24326/stat : 24326 (java) R 24313 24313 22042 0 -1 4202560 938 0 0 0 25 0 0 0 20 0 19 0 411413994 15787421696 22862 33554432000 4194304 4196468 140721565591856 140132340374864 140132995032192 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24327] ppid=24313 vsize=15417404 memory=1428 CPUtime=0.35 cores=1,3,5,7
/proc/24315/task/24327/stat : 24327 (java) R 24313 24313 22042 0 -1 1077944384 1721 0 0 0 34 1 0 0 20 0 19 0 411413994 15787421696 22862 33554432000 4194304 4196468 140721565591856 140132339334000 140133011654357 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24328] ppid=24313 vsize=15417404 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24328/stat : 24328 (java) S 24313 24313 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411413994 15787421696 22862 33554432000 4194304 4196468 140721565591856 140132338281568 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24329] ppid=24313 vsize=15417404 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24329/stat : 24329 (java) S 24313 24313 22042 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 411413994 15787421696 22862 33554432000 4194304 4196468 140721565591856 140132337228080 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 92900 KiB
[startup+1.50088 s]
/proc/loadavg: 8.21 8.37 8.06 12/237 24333
/proc/meminfo: memFree=30876956/32770624 swapFree=66940760/67108860
[pid=24313] ppid=24310 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24313/stat : 24313 (xcsp3-exec) S 24310 24313 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411413988 115843072 363 33554432000 4194304 5098028 140726518057984 140726518056088 139663131103868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39911424 140726518063995 140726518064237 140726518064237 140726518067146 0
/proc/24313/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/24315/task/24329/stat : 24329 (java) S 24313 24313 22042 0 -1 1077944384 726 0 0 0 2 2 0 0 20 0 19 0 411413994 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132337228080 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24330] ppid=24313 vsize=15417404 memory=4004 CPUtime=196.62 cores=1,3,5,7
/proc/24315/task/24330/stat : 24330 (java) R 24313 24313 22042 0 -1 4202560 687 0 0 0 19662 0 0 0 20 0 19 0 411414046 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132328254232 140132653692282 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24331] ppid=24313 vsize=15417404 memory=2832 CPUtime=195.35 cores=1,3,5,7
/proc/24315/task/24331/stat : 24331 (java) R 24313 24313 22042 0 -1 4202560 2568 0 0 0 19534 1 0 0 20 0 19 0 411414046 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132327202808 140132653692107 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24332] ppid=24313 vsize=15417404 memory=6791534058613427641 CPUtime=196.08 cores=1,3,5,7
/proc/24315/task/24332/stat : 24332 (java) R 24313 24313 22042 0 -1 4202560 701 0 0 0 19608 0 0 0 20 0 19 0 411414046 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132326150016 140132653702154 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24333] ppid=24313 vsize=15417404 memory=38316 CPUtime=195.83 cores=1,3,5,7
/proc/24315/task/24333/stat : 24333 (java) R 24313 24313 22042 0 -1 4202560 1898 0 0 0 19583 0 0 0 20 0 19 0 411414047 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132325100256 140132653775179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
Current children cumulated CPU time: 788.64 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 205400 KiB
[startup+200.001 s]*
/proc/loadavg: 9.14 8.59 8.19 9/237 24429
/proc/meminfo: memFree=30687128/32770624 swapFree=66940760/67108860
[pid=24313] ppid=24310 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24313/stat : 24313 (xcsp3-exec) S 24310 24313 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411413988 115843072 363 33554432000 4194304 5098028 140726518057984 140726518056088 139663131103868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39911424 140726518063995 140726518064237 140726518064237 140726518067146 0
/proc/24313/statm: 28282 363 304 221 0 87 0
[pid=24315] ppid=24313 vsize=15417404 memory=203948 CPUtime=795.04 cores=1,3,5,7
/proc/24315/stat : 24315 (java) S 24313 24313 22042 0 -1 1077944320 47523 0 0 0 79490 14 0 0 20 0 19 0 411413989 15787421696 50987 33554432000 4194304 4196468 140721565591856 140721565574400 140133011644151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
/proc/24315/statm: 3854351 50987 3528 1 0 3815453 0
[pid=24315/tid=24316] ppid=24313 vsize=15417404 memory=6791534058613427641 CPUtime=0.55 cores=1,3,5,7
/proc/24315/task/24316/stat : 24316 (java) S 24313 24313 22042 0 -1 1077944384 8635 0 0 0 52 3 0 0 20 0 19 0 411413989 15787421696 50987 33554432000 4194304 4196468 140721565591856 140133015884928 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24317] ppid=24313 vsize=15417404 memory=-7003737579269690708 CPUtime=0.06 cores=1,3,5,7
/proc/24315/task/24317/stat : 24317 (java) S 24313 24313 22042 0 -1 1077944384 1013 0 0 0 5 1 0 0 20 0 19 0 411413990 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132603632400 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24318] ppid=24313 vsize=15417404 memory=4100 CPUtime=0.07 cores=1,3,5,7
/proc/24315/task/24318/stat : 24318 (java) S 24313 24313 22042 0 -1 1077944384 2070 0 0 0 6 1 0 0 20 0 19 0 411413990 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132602579856 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24319] ppid=24313 vsize=15417404 memory=1412 CPUtime=0.06 cores=1,3,5,7
/proc/24315/task/24319/stat : 24319 (java) S 24313 24313 22042 0 -1 1077944384 1428 0 0 0 5 1 0 0 20 0 19 0 411413990 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132601527312 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24320] ppid=24313 vsize=15417404 memory=3200 CPUtime=0.06 cores=1,3,5,7
/proc/24315/task/24320/stat : 24320 (java) S 24313 24313 22042 0 -1 1077944384 2114 0 0 0 5 1 0 0 20 0 19 0 411413990 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132600474768 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24321] ppid=24313 vsize=15417404 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/24315/task/24321/stat : 24321 (java) S 24313 24313 22042 0 -1 1077944384 1728 0 0 0 2 0 0 0 20 0 19 0 411413991 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132345649136 140133011655298 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24322] ppid=24313 vsize=15417404 memory=203948 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24322/stat : 24322 (java) S 24313 24313 22042 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 411413991 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132344595424 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24323] ppid=24313 vsize=15417404 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24323/stat : 24323 (java) S 24313 24313 22042 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 19 0 411413992 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132343542784 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24324] ppid=24313 vsize=15417404 memory=3036 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24324/stat : 24324 (java) S 24313 24313 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411413994 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132342491344 140133011662747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24325] ppid=24313 vsize=15417404 memory=1448 CPUtime=1.74 cores=1,3,5,7
/proc/24315/task/24325/stat : 24325 (java) S 24313 24313 22042 0 -1 1077944384 11262 0 0 0 173 1 0 0 20 0 19 0 411413994 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132341438960 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24326] ppid=24313 vsize=15417404 memory=6791534058613427641 CPUtime=1.47 cores=1,3,5,7
/proc/24315/task/24326/stat : 24326 (java) S 24313 24313 22042 0 -1 1077944384 5531 0 0 0 147 0 0 0 20 0 19 0 411413994 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132340386416 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24327] ppid=24313 vsize=15417404 memory=1532 CPUtime=0.56 cores=1,3,5,7
/proc/24315/task/24327/stat : 24327 (java) S 24313 24313 22042 0 -1 1077944384 5731 0 0 0 55 1 0 0 20 0 19 0 411413994 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132339333872 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24328] ppid=24313 vsize=15417404 memory=1088 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24328/stat : 24328 (java) S 24313 24313 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411413994 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132338281568 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24329] ppid=24313 vsize=15417404 memory=988 CPUtime=0.04 cores=1,3,5,7
/proc/24315/task/24329/stat : 24329 (java) S 24313 24313 22042 0 -1 1077944384 726 0 0 0 2 2 0 0 20 0 19 0 411413994 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132337228080 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24330] ppid=24313 vsize=15417404 memory=780 CPUtime=198.23 cores=1,3,5,7
/proc/24315/task/24330/stat : 24330 (java) R 24313 24313 22042 0 -1 4202560 689 0 0 0 19823 0 0 0 20 0 19 0 411414046 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132328254232 140132653774040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24331] ppid=24313 vsize=15417404 memory=5972 CPUtime=196.93 cores=1,3,5,7
/proc/24315/task/24331/stat : 24331 (java) R 24313 24313 22042 0 -1 4202560 2572 0 0 0 19692 1 0 0 20 0 19 0 411414046 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132327202808 140132653617049 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24332] ppid=24313 vsize=15417404 memory=624 CPUtime=197.69 cores=1,3,5,7
/proc/24315/task/24332/stat : 24332 (java) R 24313 24313 22042 0 -1 4202560 703 0 0 0 19769 0 0 0 20 0 19 0 411414046 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132326150016 140132655111982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24333] ppid=24313 vsize=15417404 memory=4004 CPUtime=197.44 cores=1,3,5,7
/proc/24315/task/24333/stat : 24333 (java) R 24313 24313 22042 0 -1 4202560 1901 0 0 0 19744 0 0 0 20 0 19 0 411414047 15787421696 50987 33554432000 4194304 4196468 140721565591856 140132325100256 140132653664237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
Current children cumulated CPU time: 795.04 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 205400 KiB
[startup+200.401 s]
/proc/loadavg: 9.14 8.59 8.19 9/237 24429
/proc/meminfo: memFree=30687128/32770624 swapFree=66940760/67108860
[pid=24313] ppid=24310 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24313/stat : 24313 (xcsp3-exec) S 24310 24313 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411413988 115843072 363 33554432000 4194304 5098028 140726518057984 140726518056088 139663131103868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39911424 140726518063995 140726518064237 140726518064237 140726518067146 0
/proc/24313/statm: 28282 363 304 221 0 87 0
[pid=24315] ppid=24313 vsize=15417404 memory=200356 CPUtime=796.6 cores=1,3,5,7
/proc/24315/stat : 24315 (java) S 24313 24313 22042 0 -1 1077944320 47525 0 0 0 79646 14 0 0 20 0 19 0 411413989 15787421696 50089 33554432000 4194304 4196468 140721565591856 140721565574400 140133011644151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
/proc/24315/statm: 3854351 50089 3528 1 0 3815453 0
[pid=24315/tid=24316] ppid=24313 vsize=15417404 memory=203948 CPUtime=0.55 cores=1,3,5,7
/proc/24315/task/24316/stat : 24316 (java) S 24313 24313 22042 0 -1 1077944384 8635 0 0 0 52 3 0 0 20 0 19 0 411413989 15787421696 50089 33554432000 4194304 4196468 140721565591856 140133015884928 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24317] ppid=24313 vsize=15417404 memory=532 CPUtime=0.07 cores=1,3,5,7
/proc/24315/task/24317/stat : 24317 (java) S 24313 24313 22042 0 -1 1077944384 1013 0 0 0 6 1 0 0 20 0 19 0 411413990 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132603632400 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24318] ppid=24313 vsize=15417404 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/24315/task/24318/stat : 24318 (java) S 24313 24313 22042 0 -1 1077944384 2071 0 0 0 6 1 0 0 20 0 19 0 411413990 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132602579856 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24319] ppid=24313 vsize=15417404 memory=1720 CPUtime=0.06 cores=1,3,5,7
/proc/24315/task/24319/stat : 24319 (java) S 24313 24313 22042 0 -1 1077944384 1428 0 0 0 5 1 0 0 20 0 19 0 411413990 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132601527312 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24320] ppid=24313 vsize=15417404 memory=1976 CPUtime=0.06 cores=1,3,5,7
/proc/24315/task/24320/stat : 24320 (java) S 24313 24313 22042 0 -1 1077944384 2114 0 0 0 5 1 0 0 20 0 19 0 411413990 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132600474768 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24321] ppid=24313 vsize=15417404 memory=2432 CPUtime=0.02 cores=1,3,5,7
/proc/24315/task/24321/stat : 24321 (java) S 24313 24313 22042 0 -1 1077944384 1728 0 0 0 2 0 0 0 20 0 19 0 411413991 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132345649136 140133011655298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24322] ppid=24313 vsize=15417404 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24322/stat : 24322 (java) S 24313 24313 22042 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 411413991 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132344595424 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24323] ppid=24313 vsize=15417404 memory=800 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24323/stat : 24323 (java) S 24313 24313 22042 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 19 0 411413992 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132343542784 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24324] ppid=24313 vsize=15417404 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24324/stat : 24324 (java) S 24313 24313 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411413994 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132342491344 140133011662747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24325] ppid=24313 vsize=15417404 memory=111628 CPUtime=1.74 cores=1,3,5,7
/proc/24315/task/24325/stat : 24325 (java) S 24313 24313 22042 0 -1 1077944384 11262 0 0 0 173 1 0 0 20 0 19 0 411413994 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132341438960 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24326] ppid=24313 vsize=15417404 memory=800 CPUtime=1.47 cores=1,3,5,7
/proc/24315/task/24326/stat : 24326 (java) S 24313 24313 22042 0 -1 1077944384 5531 0 0 0 147 0 0 0 20 0 19 0 411413994 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132340386416 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24327] ppid=24313 vsize=15417404 memory=1804 CPUtime=0.56 cores=1,3,5,7
/proc/24315/task/24327/stat : 24327 (java) S 24313 24313 22042 0 -1 1077944384 5731 0 0 0 55 1 0 0 20 0 19 0 411413994 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132339333872 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24328] ppid=24313 vsize=15417404 memory=920 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24328/stat : 24328 (java) S 24313 24313 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411413994 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132338281568 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24329] ppid=24313 vsize=15417404 memory=3848 CPUtime=0.04 cores=1,3,5,7
/proc/24315/task/24329/stat : 24329 (java) S 24313 24313 22042 0 -1 1077944384 726 0 0 0 2 2 0 0 20 0 19 0 411413994 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132337228080 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24330] ppid=24313 vsize=15417404 memory=2596 CPUtime=198.62 cores=1,3,5,7
/proc/24315/task/24330/stat : 24330 (java) R 24313 24313 22042 0 -1 4202560 689 0 0 0 19862 0 0 0 20 0 19 0 411414046 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132328254216 140132653661831 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24331] ppid=24313 vsize=15417404 memory=2648 CPUtime=197.31 cores=1,3,5,7
/proc/24315/task/24331/stat : 24331 (java) R 24313 24313 22042 0 -1 4202560 2573 0 0 0 19730 1 0 0 20 0 19 0 411414046 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132327205488 140132653701951 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24332] ppid=24313 vsize=15417404 memory=4100 CPUtime=198.08 cores=1,3,5,7
/proc/24315/task/24332/stat : 24332 (java) R 24313 24313 22042 0 -1 4202560 703 0 0 0 19808 0 0 0 20 0 19 0 411414046 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132326150112 140132653721315 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24333] ppid=24313 vsize=15417404 memory=1412 CPUtime=197.83 cores=1,3,5,7
/proc/24315/task/24333/stat : 24333 (java) R 24313 24313 22042 0 -1 4202560 1901 0 0 0 19783 0 0 0 20 0 19 0 411414047 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132325097688 140132653442720 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
Current children cumulated CPU time: 796.6 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 201808 KiB
[startup+200.601 s]
/proc/loadavg: 9.14 8.59 8.19 9/237 24429
/proc/meminfo: memFree=30687128/32770624 swapFree=66940760/67108860
[pid=24313] ppid=24310 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/24313/stat : 24313 (xcsp3-exec) S 24310 24313 22042 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411413988 115843072 363 33554432000 4194304 5098028 140726518057984 140726518056088 139663131103868 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39911424 140726518063995 140726518064237 140726518064237 140726518067146 0
/proc/24313/statm: 28282 363 304 221 0 87 0
[pid=24315] ppid=24313 vsize=15417404 memory=200356 CPUtime=797.4 cores=1,3,5,7
/proc/24315/stat : 24315 (java) S 24313 24313 22042 0 -1 1077944320 47525 0 0 0 79726 14 0 0 20 0 19 0 411413989 15787421696 50089 33554432000 4194304 4196468 140721565591856 140721565574400 140133011644151 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
/proc/24315/statm: 3854351 50089 3528 1 0 3815453 0
[pid=24315/tid=24316] ppid=24313 vsize=15417404 memory=7090190184908089939 CPUtime=0.55 cores=1,3,5,7
/proc/24315/task/24316/stat : 24316 (java) S 24313 24313 22042 0 -1 1077944384 8635 0 0 0 52 3 0 0 20 0 19 0 411413989 15787421696 50089 33554432000 4194304 4196468 140721565591856 140133015884928 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24317] ppid=24313 vsize=15417404 memory=7882543322115500399 CPUtime=0.07 cores=1,3,5,7
/proc/24315/task/24317/stat : 24317 (java) S 24313 24313 22042 0 -1 1077944384 1013 0 0 0 6 1 0 0 20 0 19 0 411413990 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132603632400 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24318] ppid=24313 vsize=15417404 memory=7235710566141946944 CPUtime=0.07 cores=1,3,5,7
/proc/24315/task/24318/stat : 24318 (java) S 24313 24313 22042 0 -1 1077944384 2071 0 0 0 6 1 0 0 20 0 19 0 411413990 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132602579856 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24319] ppid=24313 vsize=15417404 memory=7235710566141946944 CPUtime=0.06 cores=1,3,5,7
/proc/24315/task/24319/stat : 24319 (java) S 24313 24313 22042 0 -1 1077944384 1428 0 0 0 5 1 0 0 20 0 19 0 411413990 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132601527312 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24320] ppid=24313 vsize=15417404 memory=-8813974798734826869 CPUtime=0.06 cores=1,3,5,7
/proc/24315/task/24320/stat : 24320 (java) S 24313 24313 22042 0 -1 1077944384 2114 0 0 0 5 1 0 0 20 0 19 0 411413990 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132600474768 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24321] ppid=24313 vsize=15417404 memory=7444845369981100902 CPUtime=0.02 cores=1,3,5,7
/proc/24315/task/24321/stat : 24321 (java) S 24313 24313 22042 0 -1 1077944384 1728 0 0 0 2 0 0 0 20 0 19 0 411413991 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132345649136 140133011655298 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24322] ppid=24313 vsize=15417404 memory=6372148627622093929 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24322/stat : 24322 (java) S 24313 24313 22042 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 411413991 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132344595424 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24323] ppid=24313 vsize=15417404 memory=7661560189902021484 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24323/stat : 24323 (java) S 24313 24313 22042 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 19 0 411413992 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132343542784 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24324] ppid=24313 vsize=15417404 memory=800 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24324/stat : 24324 (java) S 24313 24313 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411413994 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132342491344 140133011662747 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24325] ppid=24313 vsize=15417404 memory=1764 CPUtime=1.74 cores=1,3,5,7
/proc/24315/task/24325/stat : 24325 (java) S 24313 24313 22042 0 -1 1077944384 11262 0 0 0 173 1 0 0 20 0 19 0 411413994 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132341438960 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24326] ppid=24313 vsize=15417404 memory=111628 CPUtime=1.47 cores=1,3,5,7
/proc/24315/task/24326/stat : 24326 (java) S 24313 24313 22042 0 -1 1077944384 5531 0 0 0 147 0 0 0 20 0 19 0 411413994 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132340386416 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24327] ppid=24313 vsize=15417404 memory=800 CPUtime=0.56 cores=1,3,5,7
/proc/24315/task/24327/stat : 24327 (java) S 24313 24313 22042 0 -1 1077944384 5731 0 0 0 55 1 0 0 20 0 19 0 411413994 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132339333872 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24328] ppid=24313 vsize=15417404 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/24315/task/24328/stat : 24328 (java) S 24313 24313 22042 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411413994 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132338281568 140133011654357 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24329] ppid=24313 vsize=15417404 memory=920 CPUtime=0.04 cores=1,3,5,7
/proc/24315/task/24329/stat : 24329 (java) S 24313 24313 22042 0 -1 1077944384 726 0 0 0 2 2 0 0 20 0 19 0 411413994 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132337228080 140133011655298 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24330] ppid=24313 vsize=15417404 memory=1988 CPUtime=198.82 cores=1,3,5,7
/proc/24315/task/24330/stat : 24330 (java) R 24313 24313 22042 0 -1 4202560 689 0 0 0 19882 0 0 0 20 0 19 0 411414046 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132328254216 140132653419445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24331] ppid=24313 vsize=15417404 memory=988 CPUtime=197.51 cores=1,3,5,7
/proc/24315/task/24331/stat : 24331 (java) R 24313 24313 22042 0 -1 4202560 2573 0 0 0 19750 1 0 0 20 0 19 0 411414046 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132327205488 140132653544173 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24332] ppid=24313 vsize=15417404 memory=1428 CPUtime=198.28 cores=1,3,5,7
/proc/24315/task/24332/stat : 24332 (java) R 24313 24313 22042 0 -1 4202560 703 0 0 0 19828 0 0 0 20 0 19 0 411414046 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132326150112 140132653719996 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
[pid=24315/tid=24333] ppid=24313 vsize=15417404 memory=1772 CPUtime=198.03 cores=1,3,5,7
/proc/24315/task/24333/stat : 24333 (java) R 24313 24313 22042 0 -1 4202560 1901 0 0 0 19803 0 0 0 20 0 19 0 411414047 15787421696 50089 33554432000 4194304 4196468 140721565591856 140132325097688 140132653777838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32411648 140721565598703 140721565598874 140721565598874 140721565601743 0
Current children cumulated CPU time: 797.4 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 201808 KiB
Child status: 0
Real time (s): 200.628
CPU time (s): 797.455
CPU user time (s): 797.3
CPU system time (s): 0.154853
CPU usage (%): 397.48
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 225872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 797.3
system time used= 0.154853
maximum resident set size= 225448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48848
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7059
involuntary context switches= 15236
# summary of solver processes directly reported to runsolver:
# pid: 24313
# total CPU time (s): 797.455
# total CPU user time (s): 797.3
# total CPU system time (s): 0.154853
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.29594 second user time and 2.30351 second system time
The end