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 (7475 MiB free)
memory of node 1: 16384 MiB (15682 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398836-1568694035/watcher-4398836-1568694035 -o /tmp/evaluation-result-4398836-1568694035/solver-4398836-1568694035 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21538 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1546094119 HOME/instance-4398836-1568694035.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=22365, runsolver pid=22362
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 7.85 6.94 4.11 7/233 22381
/proc/meminfo: memFree=23695520/32770624 swapFree=66976952/67108860
[pid=22365] ppid=22362 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22365/stat : 22365 (xcsp3-exec) S 22362 22365 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445666121 115843072 363 33554432000 4194304 5098028 140731829139200 140731829137304 139886958305916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32460800 140731829142394 140731829142637 140731829142637 140731829145546 0
/proc/22365/statm: 28282 363 304 221 0 87 0
[pid=22367] ppid=22365 vsize=15144776 memory=30396 CPUtime=0.12 cores=1,3,5,7
/proc/22367/stat : 22367 (java) S 22365 22365 21506 0 -1 1077944320 5517 0 0 0 12 0 0 0 20 0 15 0 445666121 15508250624 7599 33554432000 4194304 4196468 140728573934992 140728573917536 139665191071479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
/proc/22367/statm: 3786194 7599 3151 1 0 3748377 0
[pid=22367/tid=22368] ppid=22365 vsize=15144776 memory=7682489639022458387 CPUtime=0.09 cores=1,3,5,7
/proc/22367/task/22368/stat : 22368 (java) R 22365 22365 21506 0 -1 4202560 3405 0 0 0 9 0 0 0 20 0 15 0 445666122 15508250624 7599 33554432000 4194304 4196468 140728573934992 139665195304752 139665175115109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22369] ppid=22365 vsize=15144776 memory=3472468617635706064 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22369/stat : 22369 (java) S 22365 22365 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445666122 15508250624 7599 33554432000 4194304 4196468 140728573934992 139664783419664 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22370] ppid=22365 vsize=15144776 memory=140488740554368 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22370/stat : 22370 (java) S 22365 22365 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445666122 15508250624 7599 33554432000 4194304 4196468 140728573934992 139664782367120 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22371] ppid=22365 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22371/stat : 22371 (java) S 22365 22365 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445666123 15508250624 7599 33554432000 4194304 4196468 140728573934992 139664781314576 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22372] ppid=22365 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22372/stat : 22372 (java) S 22365 22365 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445666123 15508250624 7599 33554432000 4194304 4196468 140728573934992 139664780262032 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22373] ppid=22365 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22373/stat : 22373 (java) S 22365 22365 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445666124 15508250624 7599 33554432000 4194304 4196468 140728573934992 139664659663344 139665191082626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22374] ppid=22365 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22374/stat : 22374 (java) S 22365 22365 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445666124 15508250624 7599 33554432000 4194304 4196468 140728573934992 139664658609568 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22375] ppid=22365 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22375/stat : 22375 (java) S 22365 22365 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445666125 15508250624 7599 33554432000 4194304 4196468 140728573934992 139664657556976 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22376] ppid=22365 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22376/stat : 22376 (java) S 22365 22365 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445666127 15508250624 7599 33554432000 4194304 4196468 140728573934992 139664656505552 139665191090075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22377] ppid=22365 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22377/stat : 22377 (java) R 22365 22365 21506 0 -1 4202560 449 0 0 0 0 0 0 0 20 0 15 0 445666127 15508250624 7599 33554432000 4194304 4196468 140728573934992 139664655443792 139665171484784 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22378] ppid=22365 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22378/stat : 22378 (java) R 22365 22365 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445666127 15508250624 7599 33554432000 4194304 4196468 140728573934992 139664654399696 139665191081685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22379] ppid=22365 vsize=15144776 memory=140488740554368 CPUtime=0.02 cores=1,3,5,7
/proc/22367/task/22379/stat : 22379 (java) R 22365 22365 21506 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 15 0 445666127 15508250624 7599 33554432000 4194304 4196468 140728573934992 139664653347056 139665191092826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22380] ppid=22365 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22380/stat : 22380 (java) S 22365 22365 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445666127 15508250624 7599 33554432000 4194304 4196468 140728573934992 139664652294752 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22381] ppid=22365 vsize=15144776 memory=140488740554368 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22381/stat : 22381 (java) S 22365 22365 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445666127 15508250624 7599 33554432000 4194304 4196468 140728573934992 139664651242288 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31848 KiB
[startup+0.214488 s]*
/proc/loadavg: 7.85 6.94 4.11 6/233 22381
/proc/meminfo: memFree=23683284/32770624 swapFree=66976952/67108860
[pid=22365] ppid=22362 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22365/stat : 22365 (xcsp3-exec) S 22362 22365 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445666121 115843072 363 33554432000 4194304 5098028 140731829139200 140731829137304 139886958305916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32460800 140731829142394 140731829142637 140731829142637 140731829145546 0
/proc/22365/statm: 28282 363 304 221 0 87 0
[pid=22367] ppid=22365 vsize=15144776 memory=41252 CPUtime=0.35 cores=1,3,5,7
/proc/22367/stat : 22367 (java) S 22365 22365 21506 0 -1 1077944320 9040 0 0 0 32 3 0 0 20 0 15 0 445666121 15508250624 10313 33554432000 4194304 4196468 140728573934992 140728573917536 139665191071479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
/proc/22367/statm: 3786194 10313 3298 1 0 3748377 0
[pid=22367/tid=22368] ppid=22365 vsize=15144776 memory=7682489639022458387 CPUtime=0.2 cores=1,3,5,7
/proc/22367/task/22368/stat : 22368 (java) R 22365 22365 21506 0 -1 4202560 6234 0 0 0 18 2 0 0 20 0 15 0 445666122 15508250624 10313 33554432000 4194304 4196468 140728573934992 139665195306464 139665191083414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22369] ppid=22365 vsize=15144776 memory=3472468617635706064 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22369/stat : 22369 (java) S 22365 22365 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445666122 15508250624 10313 33554432000 4194304 4196468 140728573934992 139664783419664 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22370] ppid=22365 vsize=15144776 memory=140488740554368 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22370/stat : 22370 (java) S 22365 22365 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445666122 15508250624 10313 33554432000 4194304 4196468 140728573934992 139664782367120 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22371] ppid=22365 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22371/stat : 22371 (java) S 22365 22365 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445666123 15508250624 10313 33554432000 4194304 4196468 140728573934992 139664781314576 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22372] ppid=22365 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22372/stat : 22372 (java) S 22365 22365 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445666123 15508250624 10313 33554432000 4194304 4196468 140728573934992 139664780262032 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22373] ppid=22365 vsize=15144776 memory=140488740554368 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22373/stat : 22373 (java) S 22365 22365 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445666124 15508250624 10313 33554432000 4194304 4196468 140728573934992 139664659663344 139665191082626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22374] ppid=22365 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22374/stat : 22374 (java) S 22365 22365 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445666124 15508250624 10313 33554432000 4194304 4196468 140728573934992 139664658609568 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22375] ppid=22365 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22375/stat : 22375 (java) S 22365 22365 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445666125 15508250624 10313 33554432000 4194304 4196468 140728573934992 139664657556976 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22376] ppid=22365 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22376/stat : 22376 (java) S 22365 22365 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445666127 15508250624 10313 33554432000 4194304 4196468 140728573934992 139664656505552 139665191090075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22377] ppid=22365 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22367/task/22377/stat : 22377 (java) S 22365 22365 21506 0 -1 1077944384 671 0 0 0 3 0 0 0 20 0 15 0 445666127 15508250624 10313 33554432000 4194304 4196468 140728573934992 139664655452144 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22378] ppid=22365 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/22367/task/22378/stat : 22378 (java) S 22365 22365 21506 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 15 0 445666127 15508250624 10313 33554432000 4194304 4196468 140728573934992 139664654399600 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22379] ppid=22365 vsize=15144776 memory=140488740554368 CPUtime=0.08 cores=1,3,5,7
/proc/22367/task/22379/stat : 22379 (java) S 22365 22365 21506 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 15 0 445666127 15508250624 10313 33554432000 4194304 4196468 140728573934992 139664653347056 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22380] ppid=22365 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22380/stat : 22380 (java) S 22365 22365 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445666127 15508250624 10313 33554432000 4194304 4196468 140728573934992 139664652294752 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22381] ppid=22365 vsize=15144776 memory=140488740554368 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22381/stat : 22381 (java) S 22365 22365 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445666127 15508250624 10313 33554432000 4194304 4196468 140728573934992 139664651242288 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42704 KiB
[startup+0.310452 s]*
/proc/loadavg: 7.85 6.94 4.11 8/233 22381
/proc/meminfo: memFree=23676748/32770624 swapFree=66976952/67108860
[pid=22365] ppid=22362 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22365/stat : 22365 (xcsp3-exec) S 22362 22365 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445666121 115843072 363 33554432000 4194304 5098028 140731829139200 140731829137304 139886958305916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32460800 140731829142394 140731829142637 140731829142637 140731829145546 0
/proc/22365/statm: 28282 363 304 221 0 87 0
[pid=22367] ppid=22365 vsize=15149032 memory=50100 CPUtime=0.54 cores=1,3,5,7
/proc/22367/stat : 22367 (java) S 22365 22365 21506 0 -1 1077944320 10360 0 0 0 50 4 0 0 20 0 15 0 445666121 15512608768 12525 33554432000 4194304 4196468 140728573934992 140728573917536 139665191071479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
/proc/22367/statm: 3787258 12525 3367 1 0 3748377 0
[pid=22367/tid=22368] ppid=22365 vsize=15149032 memory=-8439527450518781933 CPUtime=0.3 cores=1,3,5,7
/proc/22367/task/22368/stat : 22368 (java) R 22365 22365 21506 0 -1 4202560 7356 0 0 0 27 3 0 0 20 0 15 0 445666122 15512608768 12525 33554432000 4194304 4196468 140728573934992 139665195302592 139665175151966 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22369] ppid=22365 vsize=15149032 memory=3472468617635706064 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22369/stat : 22369 (java) S 22365 22365 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445666122 15512608768 12525 33554432000 4194304 4196468 140728573934992 139664783419664 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22370] ppid=22365 vsize=15149032 memory=280977322244480 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22370/stat : 22370 (java) S 22365 22365 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445666122 15512608768 12525 33554432000 4194304 4196468 140728573934992 139664782367120 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22371] ppid=22365 vsize=15149032 memory=280977163412512 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22371/stat : 22371 (java) S 22365 22365 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445666123 15512608768 12525 33554432000 4194304 4196468 140728573934992 139664781314576 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22372] ppid=22365 vsize=15149032 memory=140488581690127 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22372/stat : 22372 (java) S 22365 22365 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445666123 15512608768 12525 33554432000 4194304 4196468 140728573934992 139664780262032 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22373] ppid=22365 vsize=15149032 memory=280977322251392 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22373/stat : 22373 (java) S 22365 22365 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445666124 15512608768 12525 33554432000 4194304 4196468 140728573934992 139664659663344 139665191082626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22374] ppid=22365 vsize=15149032 memory=140488581694735 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22374/stat : 22374 (java) S 22365 22365 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445666124 15512608768 12525 33554432000 4194304 4196468 140728573934992 139664658609568 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22375] ppid=22365 vsize=15149032 memory=140488581718578 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22375/stat : 22375 (java) S 22365 22365 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445666125 15512608768 12525 33554432000 4194304 4196468 140728573934992 139664657556976 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22376] ppid=22365 vsize=15149032 memory=140488581720904 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22376/stat : 22376 (java) S 22365 22365 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445666127 15512608768 12525 33554432000 4194304 4196468 140728573934992 139664656505552 139665191090075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22377] ppid=22365 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/22367/task/22377/stat : 22377 (java) R 22365 22365 21506 0 -1 4202560 762 0 0 0 5 0 0 0 20 0 15 0 445666127 15512608768 12525 33554432000 4194304 4196468 140728573934992 139664655452144 139665172592703 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22378] ppid=22365 vsize=15149032 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/22367/task/22378/stat : 22378 (java) S 22365 22365 21506 0 -1 1077944384 96 0 0 0 3 0 0 0 20 0 15 0 445666127 15512608768 12525 33554432000 4194304 4196468 140728573934992 139664654399600 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22379] ppid=22365 vsize=15149032 memory=140488740554368 CPUtime=0.12 cores=1,3,5,7
/proc/22367/task/22379/stat : 22379 (java) S 22365 22365 21506 0 -1 1077944384 842 0 0 0 12 0 0 0 20 0 15 0 445666127 15512608768 12525 33554432000 4194304 4196468 140728573934992 139664653347056 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22380] ppid=22365 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22380/stat : 22380 (java) S 22365 22365 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445666127 15512608768 12525 33554432000 4194304 4196468 140728573934992 139664652294752 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22381] ppid=22365 vsize=15149032 memory=140488740555820 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22381/stat : 22381 (java) S 22365 22365 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445666127 15512608768 12525 33554432000 4194304 4196468 140728573934992 139664651242288 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51552 KiB
[startup+0.701444 s]
/proc/loadavg: 7.85 6.94 4.11 8/233 22381
/proc/meminfo: memFree=23656688/32770624 swapFree=66976952/67108860
[pid=22365] ppid=22362 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22365/stat : 22365 (xcsp3-exec) S 22362 22365 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445666121 115843072 363 33554432000 4194304 5098028 140731829139200 140731829137304 139886958305916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32460800 140731829142394 140731829142637 140731829142637 140731829145546 0
/proc/22365/statm: 28282 363 304 221 0 87 0
[pid=22367] ppid=22365 vsize=15151156 memory=100468 CPUtime=1.77 cores=1,3,5,7
/proc/22367/stat : 22367 (java) S 22365 22365 21506 0 -1 1077944320 14569 0 0 0 172 5 0 0 20 0 15 0 445666121 15514783744 25117 33554432000 4194304 4196468 140728573934992 140728573917536 139665191071479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
/proc/22367/statm: 3787789 25117 3452 1 0 3748889 0
[pid=22367/tid=22368] ppid=22365 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/22367/task/22368/stat : 22368 (java) R 22365 22365 21506 0 -1 4202560 8426 0 0 0 64 4 0 0 20 0 15 0 445666122 15514783744 25117 33554432000 4194304 4196468 140728573934992 139665195310216 139664831794088 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22369] ppid=22365 vsize=15151156 memory=128 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22369/stat : 22369 (java) S 22365 22365 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445666122 15514783744 25117 33554432000 4194304 4196468 140728573934992 139664783419664 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22370] ppid=22365 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22370/stat : 22370 (java) S 22365 22365 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445666122 15514783744 25117 33554432000 4194304 4196468 140728573934992 139664782367120 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22371] ppid=22365 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22371/stat : 22371 (java) S 22365 22365 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445666123 15514783744 25117 33554432000 4194304 4196468 140728573934992 139664781314576 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22372] ppid=22365 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22372/stat : 22372 (java) S 22365 22365 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445666123 15514783744 25117 33554432000 4194304 4196468 140728573934992 139664780262032 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22373] ppid=22365 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22373/stat : 22373 (java) S 22365 22365 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445666124 15514783744 25117 33554432000 4194304 4196468 140728573934992 139664659663344 139665191082626 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22374] ppid=22365 vsize=15151156 memory=756 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22374/stat : 22374 (java) S 22365 22365 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445666124 15514783744 25117 33554432000 4194304 4196468 140728573934992 139664658609568 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22375] ppid=22365 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22375/stat : 22375 (java) S 22365 22365 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445666125 15514783744 25117 33554432000 4194304 4196468 140728573934992 139664657556976 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22376] ppid=22365 vsize=15151156 memory=7872 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22376/stat : 22376 (java) S 22365 22365 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445666127 15514783744 25117 33554432000 4194304 4196468 140728573934992 139664656505552 139665191090075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22377] ppid=22365 vsize=15151156 memory=1164 CPUtime=0.34 cores=1,3,5,7
/proc/22367/task/22377/stat : 22377 (java) R 22365 22365 21506 0 -1 4202560 1732 0 0 0 34 0 0 0 20 0 15 0 445666127 15514783744 25117 33554432000 4194304 4196468 140728573934992 139664655441136 139665170309900 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22378] ppid=22365 vsize=15151156 memory=9448 CPUtime=0.31 cores=1,3,5,7
/proc/22367/task/22378/stat : 22378 (java) R 22365 22365 21506 0 -1 4202560 983 0 0 0 31 0 0 0 20 0 15 0 445666127 15514783744 25117 33554432000 4194304 4196468 140728573934992 139664654387952 139665171707412 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22379] ppid=22365 vsize=15151156 memory=14008 CPUtime=0.41 cores=1,3,5,7
/proc/22367/task/22379/stat : 22379 (java) R 22365 22365 21506 0 -1 4202560 2124 0 0 0 41 0 0 0 20 0 15 0 445666127 15514783744 25117 33554432000 4194304 4196468 140728573934992 139664653347056 139665184171326 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22380] ppid=22365 vsize=15151156 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22380/stat : 22380 (java) S 22365 22365 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445666127 15514783744 25117 33554432000 4194304 4196468 140728573934992 139664652294752 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22381] ppid=22365 vsize=15151156 memory=11976 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22381/stat : 22381 (java) S 22365 22365 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445666127 15514783744 25117 33554432000 4194304 4196468 140728573934992 139664651242288 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 101920 KiB
[startup+1.50144 s]
/proc/loadavg: 7.85 6.94 4.11 14/237 22385
/proc/meminfo: memFree=23564032/32770624 swapFree=66976952/67108860
[pid=22365] ppid=22362 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22365/stat : 22365 (xcsp3-exec) S 22362 22365 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445666121 115843072 363 33554432000 4194304 5098028 140731829139200 140731829137304 139886958305916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32460800 140731829142394 140731829142637 140731829142637 140731829145546 0
/proc/22365/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/22367/task/22381/stat : 22381 (java) S 22365 22365 21506 0 -1 1077944384 557 0 0 0 0 0 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664651242288 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22382] ppid=22365 vsize=15417412 memory=302646073945601668 CPUtime=33.73 cores=1,3,5,7
/proc/22367/task/22382/stat : 22382 (java) R 22365 22365 21506 0 -1 4202560 285 0 0 0 3373 0 0 0 20 0 19 0 445666207 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664642022336 139664834315757 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22383] ppid=22365 vsize=15417412 memory=288230574492221466 CPUtime=33.27 cores=1,3,5,7
/proc/22367/task/22383/stat : 22383 (java) R 22365 22365 21506 0 -1 4202560 1310 0 0 0 3326 1 0 0 20 0 19 0 445666207 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664640973952 139664834314862 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22384] ppid=22365 vsize=15417412 memory=288230617509003574 CPUtime=33.82 cores=1,3,5,7
/proc/22367/task/22384/stat : 22384 (java) R 22365 22365 21506 0 -1 4202560 277 0 0 0 3382 0 0 0 20 0 19 0 445666207 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664639918568 139664834315593 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22385] ppid=22365 vsize=15417412 memory=15252640887999028 CPUtime=33.33 cores=1,3,5,7
/proc/22367/task/22385/stat : 22385 (java) R 22365 22365 21506 0 -1 4202560 1338 0 0 0 3333 0 0 0 20 0 19 0 445666207 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664638864936 139664835396972 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
Current children cumulated CPU time: 138.94 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 213588 KiB
[startup+36.8014 s]
/proc/loadavg: 8.03 7.09 4.27 11/237 22395
/proc/meminfo: memFree=23512204/32770624 swapFree=66976964/67108860
[pid=22365] ppid=22362 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22365/stat : 22365 (xcsp3-exec) S 22362 22365 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445666121 115843072 363 33554432000 4194304 5098028 140731829139200 140731829137304 139886958305916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32460800 140731829142394 140731829142637 140731829142637 140731829145546 0
/proc/22365/statm: 28282 363 304 221 0 87 0
[pid=22367] ppid=22365 vsize=15417412 memory=212136 CPUtime=145.32 cores=1,3,5,7
/proc/22367/stat : 22367 (java) S 22365 22365 21506 0 -1 1077944320 37581 0 0 0 14519 13 0 0 20 0 19 0 445666121 15787429888 53034 33554432000 4194304 4196468 140728573934992 140728573917536 139665191071479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
/proc/22367/statm: 3854353 53034 3514 1 0 3815453 0
[pid=22367/tid=22368] ppid=22365 vsize=15417412 memory=4088 CPUtime=0.82 cores=1,3,5,7
/proc/22367/task/22368/stat : 22368 (java) S 22365 22365 21506 0 -1 1077944384 8502 0 0 0 78 4 0 0 20 0 19 0 445666122 15787429888 53034 33554432000 4194304 4196468 140728573934992 139665195312256 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22369] ppid=22365 vsize=15417412 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/22367/task/22369/stat : 22369 (java) S 22365 22365 21506 0 -1 1077944384 1258 0 0 0 2 0 0 0 20 0 19 0 445666122 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664783419664 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22370] ppid=22365 vsize=15417412 memory=6656426216303648864 CPUtime=0.02 cores=1,3,5,7
/proc/22367/task/22370/stat : 22370 (java) S 22365 22365 21506 0 -1 1077944384 1208 0 0 0 2 0 0 0 20 0 19 0 445666122 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664782367120 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22371] ppid=22365 vsize=15417412 memory=4639950512826379884 CPUtime=0.02 cores=1,3,5,7
/proc/22367/task/22371/stat : 22371 (java) S 22365 22365 21506 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 19 0 445666123 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664781314576 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22372] ppid=22365 vsize=15417412 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22367/task/22372/stat : 22372 (java) S 22365 22365 21506 0 -1 1077944384 1894 0 0 0 2 0 0 0 20 0 19 0 445666123 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664780262032 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22373] ppid=22365 vsize=15417412 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22367/task/22373/stat : 22373 (java) S 22365 22365 21506 0 -1 1077944384 1129 0 0 0 1 0 0 0 20 0 19 0 445666124 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664659663344 139665191082626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22374] ppid=22365 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22374/stat : 22374 (java) S 22365 22365 21506 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 445666124 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664658609632 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22375] ppid=22365 vsize=15417412 memory=8330969454845486047 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22375/stat : 22375 (java) S 22365 22365 21506 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 19 0 445666125 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664657556992 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22376] ppid=22365 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22376/stat : 22376 (java) S 22365 22365 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664656505552 139665191090075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22377] ppid=22365 vsize=15417412 memory=203928 CPUtime=1.4 cores=1,3,5,7
/proc/22367/task/22377/stat : 22377 (java) S 22365 22365 21506 0 -1 1077944384 5628 0 0 0 140 0 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664655452144 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22378] ppid=22365 vsize=15417412 memory=2672 CPUtime=1.67 cores=1,3,5,7
/proc/22367/task/22378/stat : 22378 (java) S 22365 22365 21506 0 -1 1077944384 6794 0 0 0 167 0 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664654399600 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22379] ppid=22365 vsize=15417412 memory=1408 CPUtime=0.67 cores=1,3,5,7
/proc/22367/task/22379/stat : 22379 (java) S 22365 22365 21506 0 -1 1077944384 5494 0 0 0 66 1 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664653347056 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22380] ppid=22365 vsize=15417412 memory=3440 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22380/stat : 22380 (java) S 22365 22365 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664652294752 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22381] ppid=22365 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22381/stat : 22381 (java) S 22365 22365 21506 0 -1 1077944384 557 0 0 0 0 0 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664651242288 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22382] ppid=22365 vsize=15417412 memory=3784 CPUtime=35.32 cores=1,3,5,7
/proc/22367/task/22382/stat : 22382 (java) R 22365 22365 21506 0 -1 4202560 287 0 0 0 3532 0 0 0 20 0 19 0 445666207 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664642022336 139664835396934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22383] ppid=22365 vsize=15417412 memory=1440 CPUtime=34.87 cores=1,3,5,7
/proc/22367/task/22383/stat : 22383 (java) R 22365 22365 21506 0 -1 4202560 1315 0 0 0 3486 1 0 0 20 0 19 0 445666207 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664640973952 139664834317723 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22384] ppid=22365 vsize=15417412 memory=904 CPUtime=35.4 cores=1,3,5,7
/proc/22367/task/22384/stat : 22384 (java) R 22365 22365 21506 0 -1 4202560 277 0 0 0 3540 0 0 0 20 0 19 0 445666207 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664639918568 139664834313991 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22385] ppid=22365 vsize=15417412 memory=1984 CPUtime=34.93 cores=1,3,5,7
/proc/22367/task/22385/stat : 22385 (java) R 22365 22365 21506 0 -1 4202560 1339 0 0 0 3493 0 0 0 20 0 19 0 445666207 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664638864936 139664834193211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
Current children cumulated CPU time: 145.32 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 213588 KiB
[startup+37.2014 s]
/proc/loadavg: 8.03 7.09 4.27 9/237 22395
/proc/meminfo: memFree=23512304/32770624 swapFree=66976964/67108860
[pid=22365] ppid=22362 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22365/stat : 22365 (xcsp3-exec) S 22362 22365 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445666121 115843072 363 33554432000 4194304 5098028 140731829139200 140731829137304 139886958305916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32460800 140731829142394 140731829142637 140731829142637 140731829145546 0
/proc/22365/statm: 28282 363 304 221 0 87 0
[pid=22367] ppid=22365 vsize=15417412 memory=212136 CPUtime=146.9 cores=1,3,5,7
/proc/22367/stat : 22367 (java) S 22365 22365 21506 0 -1 1077944320 37581 0 0 0 14677 13 0 0 20 0 19 0 445666121 15787429888 53034 33554432000 4194304 4196468 140728573934992 140728573917536 139665191071479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
/proc/22367/statm: 3854353 53034 3514 1 0 3815453 0
[pid=22367/tid=22368] ppid=22365 vsize=15417412 memory=303430223234596890 CPUtime=0.82 cores=1,3,5,7
/proc/22367/task/22368/stat : 22368 (java) S 22365 22365 21506 0 -1 1077944384 8502 0 0 0 78 4 0 0 20 0 19 0 445666122 15787429888 53034 33554432000 4194304 4196468 140728573934992 139665195312256 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22369] ppid=22365 vsize=15417412 memory=288230617509003574 CPUtime=0.02 cores=1,3,5,7
/proc/22367/task/22369/stat : 22369 (java) S 22365 22365 21506 0 -1 1077944384 1258 0 0 0 2 0 0 0 20 0 19 0 445666122 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664783419664 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22370] ppid=22365 vsize=15417412 memory=15252640887999028 CPUtime=0.02 cores=1,3,5,7
/proc/22367/task/22370/stat : 22370 (java) S 22365 22365 21506 0 -1 1077944384 1208 0 0 0 2 0 0 0 20 0 19 0 445666122 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664782367120 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22371] ppid=22365 vsize=15417412 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22367/task/22371/stat : 22371 (java) S 22365 22365 21506 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 19 0 445666123 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664781314576 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22372] ppid=22365 vsize=15417412 memory=1 CPUtime=0.02 cores=1,3,5,7
/proc/22367/task/22372/stat : 22372 (java) S 22365 22365 21506 0 -1 1077944384 1894 0 0 0 2 0 0 0 20 0 19 0 445666123 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664780262032 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22373] ppid=22365 vsize=15417412 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22367/task/22373/stat : 22373 (java) S 22365 22365 21506 0 -1 1077944384 1129 0 0 0 1 0 0 0 20 0 19 0 445666124 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664659663344 139665191082626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22374] ppid=22365 vsize=15417412 memory=2424 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22374/stat : 22374 (java) S 22365 22365 21506 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 445666124 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664658609632 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22375] ppid=22365 vsize=15417412 memory=719 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22375/stat : 22375 (java) S 22365 22365 21506 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 19 0 445666125 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664657556992 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22376] ppid=22365 vsize=15417412 memory=3 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22376/stat : 22376 (java) S 22365 22365 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664656505552 139665191090075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22377] ppid=22365 vsize=15417412 memory=1196 CPUtime=1.4 cores=1,3,5,7
/proc/22367/task/22377/stat : 22377 (java) S 22365 22365 21506 0 -1 1077944384 5628 0 0 0 140 0 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664655452144 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22378] ppid=22365 vsize=15417412 memory=247 CPUtime=1.67 cores=1,3,5,7
/proc/22367/task/22378/stat : 22378 (java) S 22365 22365 21506 0 -1 1077944384 6794 0 0 0 167 0 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664654399600 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22379] ppid=22365 vsize=15417412 memory=1452 CPUtime=0.67 cores=1,3,5,7
/proc/22367/task/22379/stat : 22379 (java) S 22365 22365 21506 0 -1 1077944384 5494 0 0 0 66 1 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664653347056 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22380] ppid=22365 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22380/stat : 22380 (java) S 22365 22365 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664652294752 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22381] ppid=22365 vsize=15417412 memory=591942380201536771 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22381/stat : 22381 (java) S 22365 22365 21506 0 -1 1077944384 557 0 0 0 0 0 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664651242288 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22382] ppid=22365 vsize=15417412 memory=1452 CPUtime=35.72 cores=1,3,5,7
/proc/22367/task/22382/stat : 22382 (java) R 22365 22365 21506 0 -1 4202560 287 0 0 0 3572 0 0 0 20 0 19 0 445666207 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664642022336 139664834314762 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22383] ppid=22365 vsize=15417412 memory=212136 CPUtime=35.27 cores=1,3,5,7
/proc/22367/task/22383/stat : 22383 (java) R 22365 22365 21506 0 -1 4202560 1315 0 0 0 3526 1 0 0 20 0 19 0 445666207 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664640973952 139664834313895 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22384] ppid=22365 vsize=15417412 memory=4137282578176515228 CPUtime=35.78 cores=1,3,5,7
/proc/22367/task/22384/stat : 22384 (java) R 22365 22365 21506 0 -1 4202560 277 0 0 0 3578 0 0 0 20 0 19 0 445666207 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664639918568 139664834193097 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22385] ppid=22365 vsize=15417412 memory=-8990767739044873632 CPUtime=35.33 cores=1,3,5,7
/proc/22367/task/22385/stat : 22385 (java) R 22365 22365 21506 0 -1 4202560 1339 0 0 0 3533 0 0 0 20 0 19 0 445666207 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664638864936 139664834192945 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
Current children cumulated CPU time: 146.9 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 213588 KiB
[startup+37.6014 s]
/proc/loadavg: 8.03 7.09 4.27 9/237 22395
/proc/meminfo: memFree=23512304/32770624 swapFree=66976964/67108860
[pid=22365] ppid=22362 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22365/stat : 22365 (xcsp3-exec) S 22362 22365 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445666121 115843072 363 33554432000 4194304 5098028 140731829139200 140731829137304 139886958305916 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32460800 140731829142394 140731829142637 140731829142637 140731829145546 0
/proc/22365/statm: 28282 363 304 221 0 87 0
[pid=22367] ppid=22365 vsize=15417412 memory=212136 CPUtime=148.49 cores=1,3,5,7
/proc/22367/stat : 22367 (java) S 22365 22365 21506 0 -1 1077944320 37582 0 0 0 14836 13 0 0 20 0 19 0 445666121 15787429888 53034 33554432000 4194304 4196468 140728573934992 140728573917536 139665191071479 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
/proc/22367/statm: 3854353 53034 3514 1 0 3815453 0
[pid=22367/tid=22368] ppid=22365 vsize=15417412 memory=2004 CPUtime=0.82 cores=1,3,5,7
/proc/22367/task/22368/stat : 22368 (java) S 22365 22365 21506 0 -1 1077944384 8502 0 0 0 78 4 0 0 20 0 19 0 445666122 15787429888 53034 33554432000 4194304 4196468 140728573934992 139665195312256 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22369] ppid=22365 vsize=15417412 memory=984 CPUtime=0.02 cores=1,3,5,7
/proc/22367/task/22369/stat : 22369 (java) S 22365 22365 21506 0 -1 1077944384 1258 0 0 0 2 0 0 0 20 0 19 0 445666122 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664783419664 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22370] ppid=22365 vsize=15417412 memory=212136 CPUtime=0.02 cores=1,3,5,7
/proc/22367/task/22370/stat : 22370 (java) S 22365 22365 21506 0 -1 1077944384 1208 0 0 0 2 0 0 0 20 0 19 0 445666122 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664782367120 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22371] ppid=22365 vsize=15417412 memory=203928 CPUtime=0.02 cores=1,3,5,7
/proc/22367/task/22371/stat : 22371 (java) S 22365 22365 21506 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 19 0 445666123 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664781314576 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22372] ppid=22365 vsize=15417412 memory=203928 CPUtime=0.02 cores=1,3,5,7
/proc/22367/task/22372/stat : 22372 (java) S 22365 22365 21506 0 -1 1077944384 1894 0 0 0 2 0 0 0 20 0 19 0 445666123 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664780262032 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22373] ppid=22365 vsize=15417412 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/22367/task/22373/stat : 22373 (java) S 22365 22365 21506 0 -1 1077944384 1129 0 0 0 1 0 0 0 20 0 19 0 445666124 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664659663344 139665191082626 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22374] ppid=22365 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22374/stat : 22374 (java) S 22365 22365 21506 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 19 0 445666124 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664658609632 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22375] ppid=22365 vsize=15417412 memory=212136 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22375/stat : 22375 (java) S 22365 22365 21506 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 19 0 445666125 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664657556992 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22376] ppid=22365 vsize=15417412 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22376/stat : 22376 (java) S 22365 22365 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664656505552 139665191090075 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22377] ppid=22365 vsize=15417412 memory=780 CPUtime=1.4 cores=1,3,5,7
/proc/22367/task/22377/stat : 22377 (java) S 22365 22365 21506 0 -1 1077944384 5628 0 0 0 140 0 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664655452144 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22378] ppid=22365 vsize=15417412 memory=4088 CPUtime=1.67 cores=1,3,5,7
/proc/22367/task/22378/stat : 22378 (java) S 22365 22365 21506 0 -1 1077944384 6794 0 0 0 167 0 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664654399600 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22379] ppid=22365 vsize=15417412 memory=1580 CPUtime=0.67 cores=1,3,5,7
/proc/22367/task/22379/stat : 22379 (java) S 22365 22365 21506 0 -1 1077944384 5494 0 0 0 66 1 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664653347056 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22380] ppid=22365 vsize=15417412 memory=1028 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22380/stat : 22380 (java) S 22365 22365 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664652294752 139665191081685 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22381] ppid=22365 vsize=15417412 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/22367/task/22381/stat : 22381 (java) S 22365 22365 21506 0 -1 1077944384 557 0 0 0 0 0 0 0 20 0 19 0 445666127 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664651242288 139665191082626 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22382] ppid=22365 vsize=15417412 memory=2828 CPUtime=36.12 cores=1,3,5,7
/proc/22367/task/22382/stat : 22382 (java) R 22365 22365 21506 0 -1 4202560 287 0 0 0 3612 0 0 0 20 0 19 0 445666207 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664642022336 139664834193224 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22383] ppid=22365 vsize=15417412 memory=756 CPUtime=35.67 cores=1,3,5,7
/proc/22367/task/22383/stat : 22383 (java) R 22365 22365 21506 0 -1 4202560 1316 0 0 0 3566 1 0 0 20 0 19 0 445666207 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664640973952 139664834315971 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22384] ppid=22365 vsize=15417412 memory=1984 CPUtime=36.18 cores=1,3,5,7
/proc/22367/task/22384/stat : 22384 (java) R 22365 22365 21506 0 -1 4202560 277 0 0 0 3618 0 0 0 20 0 19 0 445666207 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664639918568 139664834193102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
[pid=22367/tid=22385] ppid=22365 vsize=15417412 memory=2528 CPUtime=35.73 cores=1,3,5,7
/proc/22367/task/22385/stat : 22385 (java) R 22365 22365 21506 0 -1 4202560 1339 0 0 0 3573 0 0 0 20 0 19 0 445666207 15787429888 53034 33554432000 4194304 4196468 140728573934992 139664638864936 139664834192933 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140728573936623 140728573936794 140728573936794 140728573939663 0
Current children cumulated CPU time: 148.49 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 213588 KiB
Child status: 0
Real time (s): 37.6864
CPU time (s): 148.828
CPU user time (s): 148.69
CPU system time (s): 0.138785
CPU usage (%): 394.913
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 214636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 148.69
system time used= 0.138785
maximum resident set size= 214184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39061
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2984
involuntary context switches= 2901
# summary of solver processes directly reported to runsolver:
# pid: 22365
# total CPU time (s): 148.828
# total CPU user time (s): 148.69
# total CPU system time (s): 0.138785
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.255192 second user time and 0.440836 second system time
The end