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 (8549 MiB free)
memory of node 1: 16384 MiB (9558 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393400-1568347145/watcher-4393400-1568347145 -o /tmp/evaluation-result-4393400-1568347145/solver-4393400-1568347145 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568343408-4479 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1303211631 HOME/instance-4393400-1568347145.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
Current StackSize limit: 8192 KiB
solver pid=7422, runsolver pid=7419
[startup+0.101051 s]*
/proc/loadavg: 8.38 7.48 7.31 8/233 7438
/proc/meminfo: memFree=18525156/32770624 swapFree=66959216/67108860
[pid=7422] ppid=7419 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7422/stat : 7422 (xcsp3-exec) S 7419 7422 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410654695 115843072 362 33554432000 4194304 5098028 140721099264816 140721099262920 140432794407548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28991488 140721099273082 140721099273325 140721099273325 140721099276234 0
/proc/7422/statm: 28282 362 304 221 0 87 0
[pid=7424] ppid=7422 vsize=15144768 memory=29628 CPUtime=0.14 cores=1,3,5,7
/proc/7424/stat : 7424 (java) S 7422 7422 3331 0 -1 1077944320 5852 0 0 0 13 1 0 0 20 0 15 0 410654695 15508242432 7407 33554432000 4194304 4196468 140720444119152 140720444101696 140499802046199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
/proc/7424/statm: 3786192 7407 3147 1 0 3748377 0
[pid=7424/tid=7425] ppid=7422 vsize=15144768 memory=-8976644418600983157 CPUtime=0.09 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) R 7422 7422 3331 0 -1 4202560 3737 0 0 0 9 0 0 0 20 0 15 0 410654695 15508242432 7407 33554432000 4194304 4196468 140720444119152 140499806277520 140499802058134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7426] ppid=7422 vsize=15144768 memory=3472468146177770704 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7426/stat : 7426 (java) S 7422 7422 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410654696 15508242432 7407 33554432000 4194304 4196468 140720444119152 140499730087056 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7427] ppid=7422 vsize=15144768 memory=140017282619008 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7427/stat : 7427 (java) S 7422 7422 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410654696 15508242432 7407 33554432000 4194304 4196468 140720444119152 140499729034256 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7428] ppid=7422 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7428/stat : 7428 (java) S 7422 7422 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410654696 15508242432 7407 33554432000 4194304 4196468 140720444119152 140499727981456 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7429] ppid=7422 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7429/stat : 7429 (java) S 7422 7422 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410654696 15508242432 7407 33554432000 4194304 4196468 140720444119152 140499726928656 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7430] ppid=7422 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7430/stat : 7430 (java) S 7422 7422 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410654697 15508242432 7407 33554432000 4194304 4196468 140720444119152 140499270236528 140499802057346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7431] ppid=7422 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7431/stat : 7431 (java) S 7422 7422 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410654698 15508242432 7407 33554432000 4194304 4196468 140720444119152 140499269182496 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7432] ppid=7422 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7432/stat : 7432 (java) S 7422 7422 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410654698 15508242432 7407 33554432000 4194304 4196468 140720444119152 140499268129648 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7433] ppid=7422 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7433/stat : 7433 (java) S 7422 7422 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410654701 15508242432 7407 33554432000 4194304 4196468 140720444119152 140499267077968 140499802064795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7434] ppid=7422 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7434/stat : 7434 (java) S 7422 7422 3331 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 410654701 15508242432 7407 33554432000 4194304 4196468 140720444119152 140499266026352 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7435] ppid=7422 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7435/stat : 7435 (java) S 7422 7422 3331 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 410654701 15508242432 7407 33554432000 4194304 4196468 140720444119152 140499264973552 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7436] ppid=7422 vsize=15144768 memory=140017282619008 CPUtime=0.02 cores=1,3,5,7
/proc/7424/task/7436/stat : 7436 (java) R 7422 7422 3331 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 410654701 15508242432 7407 33554432000 4194304 4196468 140720444119152 140499263920752 140499781467607 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7437] ppid=7422 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7437/stat : 7437 (java) S 7422 7422 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410654701 15508242432 7407 33554432000 4194304 4196468 140720444119152 140499262868192 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7438] ppid=7422 vsize=15144768 memory=140017282619008 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7438/stat : 7438 (java) S 7422 7422 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410654701 15508242432 7407 33554432000 4194304 4196468 140720444119152 140499261815472 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31076 KiB
[startup+0.211974 s]*
/proc/loadavg: 8.38 7.48 7.31 8/233 7438
/proc/meminfo: memFree=18513712/32770624 swapFree=66959216/67108860
[pid=7422] ppid=7419 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7422/stat : 7422 (xcsp3-exec) S 7419 7422 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410654695 115843072 362 33554432000 4194304 5098028 140721099264816 140721099262920 140432794407548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28991488 140721099273082 140721099273325 140721099273325 140721099276234 0
/proc/7422/statm: 28282 362 304 221 0 87 0
[pid=7424] ppid=7422 vsize=15144768 memory=40288 CPUtime=0.34 cores=1,3,5,7
/proc/7424/stat : 7424 (java) S 7422 7422 3331 0 -1 1077944320 9307 0 0 0 32 2 0 0 20 0 15 0 410654695 15508242432 10072 33554432000 4194304 4196468 140720444119152 140720444101696 140499802046199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
/proc/7424/statm: 3786192 10072 3295 1 0 3748377 0
[pid=7424/tid=7425] ppid=7422 vsize=15144768 memory=4212167822348820889 CPUtime=0.2 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) R 7422 7422 3331 0 -1 4202560 6603 0 0 0 19 1 0 0 20 0 15 0 410654695 15508242432 10072 33554432000 4194304 4196468 140720444119152 140499806281184 140499786126686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7426] ppid=7422 vsize=15144768 memory=3472468146177770704 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7426/stat : 7426 (java) S 7422 7422 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410654696 15508242432 10072 33554432000 4194304 4196468 140720444119152 140499730087056 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7427] ppid=7422 vsize=15144768 memory=140017282619008 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7427/stat : 7427 (java) S 7422 7422 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410654696 15508242432 10072 33554432000 4194304 4196468 140720444119152 140499729034256 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7428] ppid=7422 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7428/stat : 7428 (java) S 7422 7422 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410654696 15508242432 10072 33554432000 4194304 4196468 140720444119152 140499727981456 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7429] ppid=7422 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7429/stat : 7429 (java) S 7422 7422 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410654696 15508242432 10072 33554432000 4194304 4196468 140720444119152 140499726928656 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7430] ppid=7422 vsize=15144768 memory=140017282619008 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7430/stat : 7430 (java) S 7422 7422 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410654697 15508242432 10072 33554432000 4194304 4196468 140720444119152 140499270236528 140499802057346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7431] ppid=7422 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7431/stat : 7431 (java) S 7422 7422 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410654698 15508242432 10072 33554432000 4194304 4196468 140720444119152 140499269182496 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7432] ppid=7422 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7432/stat : 7432 (java) S 7422 7422 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410654698 15508242432 10072 33554432000 4194304 4196468 140720444119152 140499268129648 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7433] ppid=7422 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7433/stat : 7433 (java) S 7422 7422 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410654701 15508242432 10072 33554432000 4194304 4196468 140720444119152 140499267077968 140499802064795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7434] ppid=7422 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/7424/task/7434/stat : 7434 (java) S 7422 7422 3331 0 -1 1077944384 472 0 0 0 2 0 0 0 20 0 15 0 410654701 15508242432 10072 33554432000 4194304 4196468 140720444119152 140499266026352 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7435] ppid=7422 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/7424/task/7435/stat : 7435 (java) S 7422 7422 3331 0 -1 1077944384 151 0 0 0 2 0 0 0 20 0 15 0 410654701 15508242432 10072 33554432000 4194304 4196468 140720444119152 140499264973552 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7436] ppid=7422 vsize=15144768 memory=140017282619008 CPUtime=0.08 cores=1,3,5,7
/proc/7424/task/7436/stat : 7436 (java) R 7422 7422 3331 0 -1 1077944384 779 0 0 0 8 0 0 0 20 0 15 0 410654701 15508242432 10072 33554432000 4194304 4196468 140720444119152 140499263920752 140499802057346 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7437] ppid=7422 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7437/stat : 7437 (java) S 7422 7422 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410654701 15508242432 10072 33554432000 4194304 4196468 140720444119152 140499262868192 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7438] ppid=7422 vsize=15144768 memory=140017282619008 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7438/stat : 7438 (java) S 7422 7422 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410654701 15508242432 10072 33554432000 4194304 4196468 140720444119152 140499261815472 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41736 KiB
[startup+0.316404 s]*
/proc/loadavg: 8.38 7.48 7.31 7/233 7438
/proc/meminfo: memFree=18505540/32770624 swapFree=66959216/67108860
[pid=7422] ppid=7419 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7422/stat : 7422 (xcsp3-exec) S 7419 7422 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410654695 115843072 362 33554432000 4194304 5098028 140721099264816 140721099262920 140432794407548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28991488 140721099273082 140721099273325 140721099273325 140721099276234 0
/proc/7422/statm: 28282 362 304 221 0 87 0
[pid=7424] ppid=7422 vsize=15149024 memory=50308 CPUtime=0.54 cores=1,3,5,7
/proc/7424/stat : 7424 (java) S 7422 7422 3331 0 -1 1077944320 10874 0 0 0 51 3 0 0 20 0 15 0 410654695 15512600576 12577 33554432000 4194304 4196468 140720444119152 140720444101696 140499802046199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
/proc/7424/statm: 3787256 12577 3371 1 0 3748377 0
[pid=7424/tid=7425] ppid=7422 vsize=15149024 memory=-8976644418600983157 CPUtime=0.3 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) R 7422 7422 3331 0 -1 4202560 7850 0 0 0 28 2 0 0 20 0 15 0 410654695 15512600576 12577 33554432000 4194304 4196468 140720444119152 140499806277312 140499786126686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7426] ppid=7422 vsize=15149024 memory=3472468146177770704 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7426/stat : 7426 (java) S 7422 7422 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410654696 15512600576 12577 33554432000 4194304 4196468 140720444119152 140499730087056 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7427] ppid=7422 vsize=15149024 memory=140017282619008 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7427/stat : 7427 (java) S 7422 7422 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410654696 15512600576 12577 33554432000 4194304 4196468 140720444119152 140499729034256 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7428] ppid=7422 vsize=15149024 memory=6 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7428/stat : 7428 (java) S 7422 7422 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410654696 15512600576 12577 33554432000 4194304 4196468 140720444119152 140499727981456 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7429] ppid=7422 vsize=15149024 memory=140017141950495 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7429/stat : 7429 (java) S 7422 7422 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410654696 15512600576 12577 33554432000 4194304 4196468 140720444119152 140499726928656 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7430] ppid=7422 vsize=15149024 memory=280034283880224 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7430/stat : 7430 (java) S 7422 7422 3331 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410654697 15512600576 12577 33554432000 4194304 4196468 140720444119152 140499270236528 140499802057346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7431] ppid=7422 vsize=15149024 memory=140017141927439 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7431/stat : 7431 (java) S 7422 7422 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410654698 15512600576 12577 33554432000 4194304 4196468 140720444119152 140499269182496 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7432] ppid=7422 vsize=15149024 memory=280034424555616 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7432/stat : 7432 (java) S 7422 7422 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410654698 15512600576 12586 33554432000 4194304 4196468 140720444119152 140499268129648 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7433] ppid=7422 vsize=15149024 memory=140017141932047 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7433/stat : 7433 (java) S 7422 7422 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410654701 15512600576 12586 33554432000 4194304 4196468 140720444119152 140499267077968 140499802064795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7434] ppid=7422 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/7424/task/7434/stat : 7434 (java) S 7422 7422 3331 0 -1 1077944384 537 0 0 0 4 0 0 0 20 0 15 0 410654701 15512600576 12586 33554432000 4194304 4196468 140720444119152 140499266026352 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7435] ppid=7422 vsize=15149024 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/7424/task/7435/stat : 7435 (java) S 7422 7422 3331 0 -1 1077944384 259 0 0 0 5 0 0 0 20 0 15 0 410654701 15512600576 12586 33554432000 4194304 4196468 140720444119152 140499264973552 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7436] ppid=7422 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7424/task/7436/stat : 7436 (java) S 7422 7422 3331 0 -1 1077944384 926 0 0 0 12 0 0 0 20 0 15 0 410654701 15512600576 12586 33554432000 4194304 4196468 140720444119152 140499263920752 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7437] ppid=7422 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7437/stat : 7437 (java) S 7422 7422 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410654701 15512600576 12586 33554432000 4194304 4196468 140720444119152 140499262868192 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7438] ppid=7422 vsize=15149024 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7438/stat : 7438 (java) S 7422 7422 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410654701 15512600576 12586 33554432000 4194304 4196468 140720444119152 140499261815472 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51756 KiB
[startup+0.702407 s]
/proc/loadavg: 8.38 7.48 7.31 8/233 7438
/proc/meminfo: memFree=18492152/32770624 swapFree=66959216/67108860
[pid=7422] ppid=7419 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7422/stat : 7422 (xcsp3-exec) S 7419 7422 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410654695 115843072 362 33554432000 4194304 5098028 140721099264816 140721099262920 140432794407548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28991488 140721099273082 140721099273325 140721099273325 140721099276234 0
/proc/7422/statm: 28282 362 304 221 0 87 0
[pid=7424] ppid=7422 vsize=15417404 memory=88196 CPUtime=1.65 cores=1,3,5,7
/proc/7424/stat : 7424 (java) S 7422 7422 3331 0 -1 1077944320 14054 0 0 0 160 5 0 0 20 0 19 0 410654695 15787421696 22049 33554432000 4194304 4196468 140720444119152 140720444101696 140499802046199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
/proc/7424/statm: 3854351 22049 3456 1 0 3815453 0
[pid=7424/tid=7425] ppid=7422 vsize=15417404 memory=4639059877604708710 CPUtime=0.61 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) S 7422 7422 3331 0 -1 1077944384 9164 0 0 0 58 3 0 0 20 0 19 0 410654695 15787421696 22049 33554432000 4194304 4196468 140720444119152 140499806286976 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7426] ppid=7422 vsize=15417404 memory=6935650355287975249 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7426/stat : 7426 (java) S 7422 7422 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410654696 15787421696 22049 33554432000 4194304 4196468 140720444119152 140499730087056 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7427] ppid=7422 vsize=15417404 memory=6935649256012475729 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7427/stat : 7427 (java) S 7422 7422 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 410654696 15787421696 22049 33554432000 4194304 4196468 140720444119152 140499729034256 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7428] ppid=7422 vsize=15417404 memory=7825734864442108491 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7428/stat : 7428 (java) S 7422 7422 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410654696 15787421696 22049 33554432000 4194304 4196468 140720444119152 140499727981456 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7429] ppid=7422 vsize=15417404 memory=7100839870140027543 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7429/stat : 7429 (java) S 7422 7422 3331 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 410654696 15787421696 22049 33554432000 4194304 4196468 140720444119152 140499726928656 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7430] ppid=7422 vsize=15417404 memory=6944613755328037012 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7430/stat : 7430 (java) S 7422 7422 3331 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 410654697 15787421696 22049 33554432000 4194304 4196468 140720444119152 140499270236528 140499802057346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7431] ppid=7422 vsize=15417404 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7431/stat : 7431 (java) S 7422 7422 3331 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 410654698 15787421696 22049 33554432000 4194304 4196468 140720444119152 140499269182496 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7432] ppid=7422 vsize=15417404 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7432/stat : 7432 (java) S 7422 7422 3331 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 410654698 15787421696 22049 33554432000 4194304 4196468 140720444119152 140499268129648 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7433] ppid=7422 vsize=15417404 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7433/stat : 7433 (java) S 7422 7422 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410654701 15787421696 22049 33554432000 4194304 4196468 140720444119152 140499267077968 140499802064795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7434] ppid=7422 vsize=15417404 memory=1660 CPUtime=0.23 cores=1,3,5,7
/proc/7424/task/7434/stat : 7434 (java) R 7422 7422 3331 0 -1 4202560 973 0 0 0 23 0 0 0 20 0 19 0 410654701 15787421696 22049 33554432000 4194304 4196468 140720444119152 140499266012920 140499786335211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7435] ppid=7422 vsize=15417404 memory=38720 CPUtime=0.23 cores=1,3,5,7
/proc/7424/task/7435/stat : 7435 (java) R 7422 7422 3331 0 -1 1077944384 688 0 0 0 23 0 0 0 20 0 19 0 410654701 15787421696 22049 33554432000 4194304 4196468 140720444119152 140499264966576 140499802056405 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7436] ppid=7422 vsize=15417404 memory=988 CPUtime=0.38 cores=1,3,5,7
/proc/7424/task/7436/stat : 7436 (java) S 7422 7422 3331 0 -1 1077944384 1759 0 0 0 38 0 0 0 20 0 19 0 410654701 15787421696 22049 33554432000 4194304 4196468 140720444119152 140499263920752 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7437] ppid=7422 vsize=15417404 memory=5793994532452520804 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7437/stat : 7437 (java) S 7422 7422 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410654701 15787421696 22049 33554432000 4194304 4196468 140720444119152 140499262868192 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7438] ppid=7422 vsize=15417404 memory=8099279071866868836 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7438/stat : 7438 (java) S 7422 7422 3331 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 410654701 15787421696 22049 33554432000 4194304 4196468 140720444119152 140499261815472 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 89644 KiB
[startup+1.50742 s]
/proc/loadavg: 8.38 7.48 7.31 12/237 7442
/proc/meminfo: memFree=18459532/32770624 swapFree=66959216/67108860
[pid=7422] ppid=7419 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7422/stat : 7422 (xcsp3-exec) S 7419 7422 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410654695 115843072 362 33554432000 4194304 5098028 140721099264816 140721099262920 140432794407548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28991488 140721099273082 140721099273325 140721099273325 140721099276234 0
/proc/7422/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/7424/stat : 7424 (java) S 7422 7422 3331 0 -1 1077944320 63050 0 0 0 207829 26 0 0 20 0 19 0 410654695 15787421696 71861 33554432000 4194304 4196468 140720444119152 140720444101696 140499802046199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
/proc/7424/statm: 3854351 71861 3521 1 0 3815453 0
[pid=7424/tid=7425] ppid=7422 vsize=15417404 memory=291548 CPUtime=0.61 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) S 7422 7422 3331 0 -1 1077944384 9164 0 0 0 58 3 0 0 20 0 19 0 410654695 15787421696 71861 33554432000 4194304 4196468 140720444119152 140499806286976 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7426] ppid=7422 vsize=15417404 memory=307944 CPUtime=0.21 cores=1,3,5,7
/proc/7424/task/7426/stat : 7426 (java) S 7422 7422 3331 0 -1 1077944384 2011 0 0 0 19 2 0 0 20 0 19 0 410654696 15787421696 71861 33554432000 4194304 4196468 140720444119152 140499730087056 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7427] ppid=7422 vsize=15417404 memory=61 CPUtime=0.22 cores=1,3,5,7
/proc/7424/task/7427/stat : 7427 (java) S 7422 7422 3331 0 -1 1077944384 2340 0 0 0 19 3 0 0 20 0 19 0 410654696 15787421696 71861 33554432000 4194304 4196468 140720444119152 140499729034256 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7428] ppid=7422 vsize=15417404 memory=291548 CPUtime=0.22 cores=1,3,5,7
/proc/7424/task/7428/stat : 7428 (java) S 7422 7422 3331 0 -1 1077944384 2875 0 0 0 20 2 0 0 20 0 19 0 410654696 15787421696 71861 33554432000 4194304 4196468 140720444119152 140499727981456 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7429] ppid=7422 vsize=15417404 memory=287444 CPUtime=0.21 cores=1,3,5,7
/proc/7424/task/7429/stat : 7429 (java) S 7422 7422 3331 0 -1 1077944384 1178 0 0 0 19 2 0 0 20 0 19 0 410654696 15787421696 71861 33554432000 4194304 4196468 140720444119152 140499726928656 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7430] ppid=7422 vsize=15417404 memory=287444 CPUtime=0.04 cores=1,3,5,7
/proc/7424/task/7430/stat : 7430 (java) S 7422 7422 3331 0 -1 1077944384 2242 0 0 0 3 1 0 0 20 0 19 0 410654697 15787421696 71861 33554432000 4194304 4196468 140720444119152 140499270236528 140499802057346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7431] ppid=7422 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7431/stat : 7431 (java) S 7422 7422 3331 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 410654698 15787421696 71861 33554432000 4194304 4196468 140720444119152 140499269182496 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7432] ppid=7422 vsize=15417404 memory=287444 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7432/stat : 7432 (java) S 7422 7422 3331 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 410654698 15787421696 71861 33554432000 4194304 4196468 140720444119152 140499268129648 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7433] ppid=7422 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7433/stat : 7433 (java) S 7422 7422 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410654701 15787421696 71861 33554432000 4194304 4196468 140720444119152 140499267077968 140499802064795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7434] ppid=7422 vsize=15417404 memory=287444 CPUtime=2.07 cores=1,3,5,7
/proc/7424/task/7434/stat : 7434 (java) S 7422 7422 3331 0 -1 1077944384 13920 0 0 0 206 1 0 0 20 0 19 0 410654701 15787421696 71861 33554432000 4194304 4196468 140720444119152 140499266026352 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7435] ppid=7422 vsize=15417404 memory=1448 CPUtime=1.91 cores=1,3,5,7
/proc/7424/task/7435/stat : 7435 (java) S 7422 7422 3331 0 -1 1077944384 12208 0 0 0 190 1 0 0 20 0 19 0 410654701 15787421696 71861 33554432000 4194304 4196468 140720444119152 140499264973552 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7436] ppid=7422 vsize=15417404 memory=1448 CPUtime=0.61 cores=1,3,5,7
/proc/7424/task/7436/stat : 7436 (java) S 7422 7422 3331 0 -1 1077944384 7574 0 0 0 61 0 0 0 20 0 19 0 410654701 15787421696 71861 33554432000 4194304 4196468 140720444119152 140499263920752 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7437] ppid=7422 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7437/stat : 7437 (java) S 7422 7422 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410654701 15787421696 71861 33554432000 4194304 4196468 140720444119152 140499262868192 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7438] ppid=7422 vsize=15417404 memory=1448 CPUtime=0.06 cores=1,3,5,7
/proc/7424/task/7438/stat : 7438 (java) S 7422 7422 3331 0 -1 1077944384 475 0 0 0 0 6 0 0 20 0 19 0 410654701 15787421696 71861 33554432000 4194304 4196468 140720444119152 140499261815472 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7439] ppid=7422 vsize=15417404 memory=3620 CPUtime=518.1 cores=1,3,5,7
/proc/7424/task/7439/stat : 7439 (java) R 7422 7422 3331 0 -1 4202560 1015 0 0 0 51807 3 0 0 20 0 19 0 410654758 15787421696 71861 33554432000 4194304 4196468 140720444119152 140498657332056 140499409788405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7440] ppid=7422 vsize=15417404 memory=1448 CPUtime=518.14 cores=1,3,5,7
/proc/7424/task/7440/stat : 7440 (java) R 7422 7422 3331 0 -1 4202560 3688 0 0 0 51813 1 0 0 20 0 19 0 410654758 15787421696 71861 33554432000 4194304 4196468 140720444119152 140498656283024 140499408705028 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7441] ppid=7422 vsize=15417404 memory=294624 CPUtime=517.32 cores=1,3,5,7
/proc/7424/task/7441/stat : 7441 (java) R 7422 7422 3331 0 -1 4202560 1099 0 0 0 51732 0 0 0 20 0 19 0 410654758 15787421696 71861 33554432000 4194304 4196468 140720444119152 140498655227328 140499409788441 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7442] ppid=7422 vsize=15417404 memory=1448 CPUtime=518.7 cores=1,3,5,7
/proc/7424/task/7442/stat : 7442 (java) R 7422 7422 3331 0 -1 4202560 1899 0 0 0 51868 2 0 0 20 0 19 0 410654758 15787421696 71861 33554432000 4194304 4196468 140720444119152 140498654175560 140499408657336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
Current children cumulated CPU time: 2078.55 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 288892 KiB
[startup+582.301 s]
/proc/loadavg: 8.48 8.26 7.83 9/237 7606
/proc/meminfo: memFree=17623184/32770624 swapFree=66959216/67108860
[pid=7422] ppid=7419 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7422/stat : 7422 (xcsp3-exec) S 7419 7422 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410654695 115843072 362 33554432000 4194304 5098028 140721099264816 140721099262920 140432794407548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28991488 140721099273082 140721099273325 140721099273325 140721099276234 0
/proc/7422/statm: 28282 362 304 221 0 87 0
[pid=7424] ppid=7422 vsize=15417404 memory=262400 CPUtime=2317.46 cores=1,3,5,7
/proc/7424/stat : 7424 (java) S 7422 7422 3331 0 -1 1077944320 64867 0 0 0 231720 26 0 0 20 0 19 0 410654695 15787421696 65600 33554432000 4194304 4196468 140720444119152 140720444101696 140499802046199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
/proc/7424/statm: 3854351 65600 3521 1 0 3815453 0
[pid=7424/tid=7425] ppid=7422 vsize=15417404 memory=272052 CPUtime=0.61 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) S 7422 7422 3331 0 -1 1077944384 9164 0 0 0 58 3 0 0 20 0 19 0 410654695 15787421696 65600 33554432000 4194304 4196468 140720444119152 140499806286976 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7426] ppid=7422 vsize=15417404 memory=268976 CPUtime=0.24 cores=1,3,5,7
/proc/7424/task/7426/stat : 7426 (java) S 7422 7422 3331 0 -1 1077944384 2064 0 0 0 22 2 0 0 20 0 19 0 410654696 15787421696 65600 33554432000 4194304 4196468 140720444119152 140499730087056 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7427] ppid=7422 vsize=15417404 memory=1448 CPUtime=0.24 cores=1,3,5,7
/proc/7424/task/7427/stat : 7427 (java) S 7422 7422 3331 0 -1 1077944384 2603 0 0 0 21 3 0 0 20 0 19 0 410654696 15787421696 65600 33554432000 4194304 4196468 140720444119152 140499729034256 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7428] ppid=7422 vsize=15417404 memory=267016 CPUtime=0.25 cores=1,3,5,7
/proc/7424/task/7428/stat : 7428 (java) S 7422 7422 3331 0 -1 1077944384 2932 0 0 0 23 2 0 0 20 0 19 0 410654696 15787421696 65600 33554432000 4194304 4196468 140720444119152 140499727981456 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7429] ppid=7422 vsize=15417404 memory=263936 CPUtime=0.24 cores=1,3,5,7
/proc/7424/task/7429/stat : 7429 (java) S 7422 7422 3331 0 -1 1077944384 1490 0 0 0 22 2 0 0 20 0 19 0 410654696 15787421696 65600 33554432000 4194304 4196468 140720444119152 140499726928656 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7430] ppid=7422 vsize=15417404 memory=1448 CPUtime=0.06 cores=1,3,5,7
/proc/7424/task/7430/stat : 7430 (java) S 7422 7422 3331 0 -1 1077944384 2498 0 0 0 4 2 0 0 20 0 19 0 410654697 15787421696 65600 33554432000 4194304 4196468 140720444119152 140499270236528 140499802057346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7431] ppid=7422 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7431/stat : 7431 (java) S 7422 7422 3331 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 410654698 15787421696 65600 33554432000 4194304 4196468 140720444119152 140499269182496 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7432] ppid=7422 vsize=15417404 memory=5184025527460 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7432/stat : 7432 (java) S 7422 7422 3331 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 410654698 15787421696 65600 33554432000 4194304 4196468 140720444119152 140499268129648 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7433] ppid=7422 vsize=15417404 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7433/stat : 7433 (java) S 7422 7422 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410654701 15787421696 65600 33554432000 4194304 4196468 140720444119152 140499267077968 140499802064795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7434] ppid=7422 vsize=15417404 memory=262400 CPUtime=2.07 cores=1,3,5,7
/proc/7424/task/7434/stat : 7434 (java) S 7422 7422 3331 0 -1 1077944384 13927 0 0 0 206 1 0 0 20 0 19 0 410654701 15787421696 65600 33554432000 4194304 4196468 140720444119152 140499266026352 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7435] ppid=7422 vsize=15417404 memory=1448 CPUtime=1.92 cores=1,3,5,7
/proc/7424/task/7435/stat : 7435 (java) S 7422 7422 3331 0 -1 1077944384 12210 0 0 0 191 1 0 0 20 0 19 0 410654701 15787421696 65600 33554432000 4194304 4196468 140720444119152 140499264973552 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7436] ppid=7422 vsize=15417404 memory=267016 CPUtime=0.63 cores=1,3,5,7
/proc/7424/task/7436/stat : 7436 (java) S 7422 7422 3331 0 -1 1077944384 7846 0 0 0 62 1 0 0 20 0 19 0 410654701 15787421696 65600 33554432000 4194304 4196468 140720444119152 140499263920752 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7437] ppid=7422 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7437/stat : 7437 (java) S 7422 7422 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410654701 15787421696 65600 33554432000 4194304 4196468 140720444119152 140499262868192 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7438] ppid=7422 vsize=15417404 memory=1448 CPUtime=0.07 cores=1,3,5,7
/proc/7424/task/7438/stat : 7438 (java) S 7422 7422 3331 0 -1 1077944384 503 0 0 0 0 7 0 0 20 0 19 0 410654701 15787421696 65600 33554432000 4194304 4196468 140720444119152 140499261815472 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7439] ppid=7422 vsize=15417404 memory=263936 CPUtime=577.46 cores=1,3,5,7
/proc/7424/task/7439/stat : 7439 (java) R 7422 7422 3331 0 -1 4202560 1089 0 0 0 57743 3 0 0 20 0 19 0 410654758 15787421696 65600 33554432000 4194304 4196468 140720444119152 140498657332056 140499407975698 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7440] ppid=7422 vsize=15417404 memory=580 CPUtime=578.02 cores=1,3,5,7
/proc/7424/task/7440/stat : 7440 (java) R 7422 7422 3331 0 -1 4202560 3890 0 0 0 57801 1 0 0 20 0 19 0 410654758 15787421696 65600 33554432000 4194304 4196468 140720444119152 140498656283024 140499407352502 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7441] ppid=7422 vsize=15417404 memory=1720 CPUtime=577.03 cores=1,3,5,7
/proc/7424/task/7441/stat : 7441 (java) R 7422 7422 3331 0 -1 4202560 1216 0 0 0 57703 0 0 0 20 0 19 0 410654758 15787421696 65600 33554432000 4194304 4196468 140720444119152 140498655227264 140499409424128 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7442] ppid=7422 vsize=15417404 memory=10604 CPUtime=578.52 cores=1,3,5,7
/proc/7424/task/7442/stat : 7442 (java) R 7422 7422 3331 0 -1 4202560 2073 0 0 0 57850 2 0 0 20 0 19 0 410654758 15787421696 65600 33554432000 4194304 4196468 140720444119152 140498654175720 140499407352554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
Current children cumulated CPU time: 2317.46 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 263848 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+633.201 s]
/proc/loadavg: 8.67 8.34 7.88 9/237 7610
/proc/meminfo: memFree=17176716/32770624 swapFree=66959216/67108860
[pid=7422] ppid=7419 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/7422/stat : 7422 (xcsp3-exec) S 7419 7422 3331 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410654695 115843072 362 33554432000 4194304 5098028 140721099264816 140721099262920 140432794407548 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28991488 140721099273082 140721099273325 140721099273325 140721099276234 0
/proc/7422/statm: 28282 362 304 221 0 87 0
[pid=7424] ppid=7422 vsize=15417404 memory=253716 CPUtime=2520.14 cores=1,3,5,7
/proc/7424/stat : 7424 (java) S 7422 7422 3331 0 -1 1077944320 65486 0 0 0 251988 26 0 0 20 0 19 0 410654695 15787421696 63429 33554432000 4194304 4196468 140720444119152 140720444101696 140499802046199 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
/proc/7424/statm: 3854351 63429 3521 1 0 3815453 0
[pid=7424/tid=7425] ppid=7422 vsize=15417404 memory=1760 CPUtime=0.61 cores=1,3,5,7
/proc/7424/task/7425/stat : 7425 (java) S 7422 7422 3331 0 -1 1077944384 9164 0 0 0 58 3 0 0 20 0 19 0 410654695 15787421696 63429 33554432000 4194304 4196468 140720444119152 140499806286976 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7426] ppid=7422 vsize=15417404 memory=824 CPUtime=0.27 cores=1,3,5,7
/proc/7424/task/7426/stat : 7426 (java) S 7422 7422 3331 0 -1 1077944384 2087 0 0 0 25 2 0 0 20 0 19 0 410654696 15787421696 63429 33554432000 4194304 4196468 140720444119152 140499730087056 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7427] ppid=7422 vsize=15417404 memory=1436 CPUtime=0.27 cores=1,3,5,7
/proc/7424/task/7427/stat : 7427 (java) S 7422 7422 3331 0 -1 1077944384 2897 0 0 0 24 3 0 0 20 0 19 0 410654696 15787421696 63429 33554432000 4194304 4196468 140720444119152 140499729034256 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7428] ppid=7422 vsize=15417404 memory=1984 CPUtime=0.27 cores=1,3,5,7
/proc/7424/task/7428/stat : 7428 (java) S 7422 7422 3331 0 -1 1077944384 2959 0 0 0 25 2 0 0 20 0 19 0 410654696 15787421696 63429 33554432000 4194304 4196468 140720444119152 140499727981456 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7429] ppid=7422 vsize=15417404 memory=2580 CPUtime=0.27 cores=1,3,5,7
/proc/7424/task/7429/stat : 7429 (java) S 7422 7422 3331 0 -1 1077944384 1537 0 0 0 25 2 0 0 20 0 19 0 410654696 15787421696 63429 33554432000 4194304 4196468 140720444119152 140499726928656 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7430] ppid=7422 vsize=15417404 memory=1760 CPUtime=0.06 cores=1,3,5,7
/proc/7424/task/7430/stat : 7430 (java) S 7422 7422 3331 0 -1 1077944384 2551 0 0 0 4 2 0 0 20 0 19 0 410654697 15787421696 63429 33554432000 4194304 4196468 140720444119152 140499270236528 140499802057346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7431] ppid=7422 vsize=15417404 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7431/stat : 7431 (java) S 7422 7422 3331 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 19 0 410654698 15787421696 63429 33554432000 4194304 4196468 140720444119152 140499269182496 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7432] ppid=7422 vsize=15417404 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7432/stat : 7432 (java) S 7422 7422 3331 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 410654698 15787421696 63429 33554432000 4194304 4196468 140720444119152 140499268129648 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7433] ppid=7422 vsize=15417404 memory=15818902244427989 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7433/stat : 7433 (java) S 7422 7422 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410654701 15787421696 63429 33554432000 4194304 4196468 140720444119152 140499267077968 140499802064795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7434] ppid=7422 vsize=15417404 memory=4100 CPUtime=2.07 cores=1,3,5,7
/proc/7424/task/7434/stat : 7434 (java) S 7422 7422 3331 0 -1 1077944384 13928 0 0 0 206 1 0 0 20 0 19 0 410654701 15787421696 63429 33554432000 4194304 4196468 140720444119152 140499266026352 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7435] ppid=7422 vsize=15417404 memory=2596 CPUtime=1.92 cores=1,3,5,7
/proc/7424/task/7435/stat : 7435 (java) S 7422 7422 3331 0 -1 1077944384 12210 0 0 0 191 1 0 0 20 0 19 0 410654701 15787421696 63429 33554432000 4194304 4196468 140720444119152 140499264973552 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7436] ppid=7422 vsize=15417404 memory=2588 CPUtime=0.63 cores=1,3,5,7
/proc/7424/task/7436/stat : 7436 (java) S 7422 7422 3331 0 -1 1077944384 7846 0 0 0 62 1 0 0 20 0 19 0 410654701 15787421696 63429 33554432000 4194304 4196468 140720444119152 140499263920752 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7437] ppid=7422 vsize=15417404 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/7424/task/7437/stat : 7437 (java) S 7422 7422 3331 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410654701 15787421696 63429 33554432000 4194304 4196468 140720444119152 140499262868192 140499802056405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7438] ppid=7422 vsize=15417404 memory=3272 CPUtime=0.08 cores=1,3,5,7
/proc/7424/task/7438/stat : 7438 (java) S 7422 7422 3331 0 -1 1077944384 505 0 0 0 0 8 0 0 20 0 19 0 410654701 15787421696 63429 33554432000 4194304 4196468 140720444119152 140499261815472 140499802057346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7439] ppid=7422 vsize=15417404 memory=1448 CPUtime=628.29 cores=1,3,5,7
/proc/7424/task/7439/stat : 7439 (java) R 7422 7422 3331 0 -1 4202560 1120 0 0 0 62826 3 0 0 20 0 19 0 410654758 15787421696 63429 33554432000 4194304 4196468 140720444119152 140498657332056 140499407352486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7440] ppid=7422 vsize=15417404 memory=253716 CPUtime=628.88 cores=1,3,5,7
/proc/7424/task/7440/stat : 7440 (java) R 7422 7422 3331 0 -1 4202560 3992 0 0 0 62887 1 0 0 20 0 19 0 410654758 15787421696 63429 33554432000 4194304 4196468 140720444119152 140498656282240 140499407352469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7441] ppid=7422 vsize=15417404 memory=1412 CPUtime=627.79 cores=1,3,5,7
/proc/7424/task/7441/stat : 7441 (java) R 7422 7422 3331 0 -1 4202560 1235 0 0 0 62779 0 0 0 20 0 19 0 410654758 15787421696 63429 33554432000 4194304 4196468 140720444119152 140498655227576 140499408655486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
[pid=7424/tid=7442] ppid=7422 vsize=15417404 memory=1448 CPUtime=628.66 cores=1,3,5,7
/proc/7424/task/7442/stat : 7442 (java) R 7422 7422 3331 0 -1 4202560 2093 0 0 0 62864 2 0 0 20 0 19 0 410654758 15787421696 63429 33554432000 4194304 4196468 140720444119152 140498654175488 140499408654792 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13176832 140720444122095 140720444122266 140720444122266 140720444125135 0
Current children cumulated CPU time: 2520.14 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 255164 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+633.234 s]
# the end of solver process 7422 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.002197 s
[startup+633.268 s]
# the end of solver process 7424 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.13 s, system=0.27273 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 633.269
CPU time (s): 2520.41
CPU user time (s): 2520.13
CPU system time (s): 0.27273
CPU usage (%): 398
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 385240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.13
system time used= 0.27273
maximum resident set size= 385840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66602
page faults= 0
swaps= 0
block input operations= 0
block output operations= 856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17717
involuntary context switches= 39459
# summary of solver processes directly reported to runsolver:
# pid: 7422,7424
# total CPU time (s): 2520.41
# total CPU user time (s): 2520.13
# total CPU system time (s): 0.27273
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.93198 second user time and 6.73174 second system time
The end