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 (11963 MiB free)
memory of node 1: 16384 MiB (15584 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269383-1502745210/watcher-4269383-1502745210 -o /tmp/evaluation-result-4269383-1502745210/solver-4269383-1502745210 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502673801-14690 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 776936173 HOME/instance-4269383-1502745210.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=29020, runsolver pid=29017
[startup+0.100132 s]*
/proc/loadavg: 1.88 1.76 1.72 3/202 29027
/proc/meminfo: memFree=28204492/32770624 swapFree=67108860/67108860
[pid=29020] ppid=29017 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29020/stat : 29020 (xcsp3-exec) S 29017 29020 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62861684 9740288 345 18446744073709551615 4194304 5098028 140733840982944 140733840981048 140314722251388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38621184 140733840986489 140733840986693 140733840986693 140733840990187 0
/proc/29020/statm: 2378 345 289 221 0 87 0
[pid=29022] ppid=29020 vsize=13358712 memory=16412 CPUtime=0.01 cores=1,3,5,7
/proc/29022/stat : 29022 (java) S 29020 29020 11586 0 -1 1077944320 3388 0 0 0 1 0 0 0 20 0 6 0 62861693 13679321088 4103 18446744073709551615 4194304 4196468 140730554914736 140730554897280 139780356919031 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
/proc/29022/statm: 3339678 4103 1905 1 0 3329175 0
[pid=29022/tid=29023] ppid=29020 vsize=13358712 memory=4206989191851631162 CPUtime=0.01 cores=1,3,5,7
/proc/29022/task/29023/stat : 29023 (java) R 29020 29020 11586 0 -1 4202560 2147 0 0 0 1 0 0 0 20 0 6 0 62861693 13679321088 4103 18446744073709551615 4194304 4196468 140730554914736 139780361155152 139780342091827 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29024] ppid=29020 vsize=13358712 memory=3461491094327748233 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29024/stat : 29024 (java) S 29020 29020 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 62861694 13679321088 4103 18446744073709551615 4194304 4196468 140730554914736 139780317817232 139780356929237 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29025] ppid=29020 vsize=13358712 memory=140489698064000 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29025/stat : 29025 (java) S 29020 29020 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 62861694 13679321088 4103 18446744073709551615 4194304 4196468 140730554914736 139780316764432 139780356929237 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29026] ppid=29020 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29026/stat : 29026 (java) S 29020 29020 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 62861694 13679321088 4103 18446744073709551615 4194304 4196468 140730554914736 139780315712144 139780356929237 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29027] ppid=29020 vsize=13362824 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29027/stat : 29027 (java) S 29020 29020 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 62861694 13683531776 4103 18446744073709551615 4194304 4196468 140730554914736 139779954371088 139780356929237 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17792 KiB
[startup+0.209784 s]*
/proc/loadavg: 1.88 1.76 1.72 3/211 29036
/proc/meminfo: memFree=28194328/32770624 swapFree=67108860/67108860
[pid=29020] ppid=29017 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29020/stat : 29020 (xcsp3-exec) S 29017 29020 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62861684 9740288 345 18446744073709551615 4194304 5098028 140733840982944 140733840981048 140314722251388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38621184 140733840986489 140733840986693 140733840986693 140733840990187 0
/proc/29020/statm: 2378 345 289 221 0 87 0
[pid=29022] ppid=29020 vsize=13974352 memory=26696 CPUtime=0.1 cores=1,3,5,7
/proc/29022/stat : 29022 (java) S 29020 29020 11586 0 -1 1077944320 5127 0 0 0 9 1 0 0 20 0 15 0 62861693 14309736448 6674 18446744073709551615 4194304 4196468 140730554914736 140730554897280 139780356919031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
/proc/29022/statm: 3493588 6674 2758 1 0 3482964 0
[pid=29022/tid=29023] ppid=29020 vsize=13974352 memory=-6587186722712424807 CPUtime=0.07 cores=1,3,5,7
/proc/29022/task/29023/stat : 29023 (java) R 29020 29020 11586 0 -1 4202560 3272 0 0 0 7 0 0 0 20 0 15 0 62861693 14309736448 6674 18446744073709551615 4194304 4196468 140730554914736 139780361142672 139780342644734 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29024] ppid=29020 vsize=13974352 memory=3461491094327748233 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29024/stat : 29024 (java) S 29020 29020 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62861694 14309736448 6674 18446744073709551615 4194304 4196468 140730554914736 139780317817232 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29025] ppid=29020 vsize=13974352 memory=140489698064000 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29025/stat : 29025 (java) S 29020 29020 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62861694 14309736448 6674 18446744073709551615 4194304 4196468 140730554914736 139780316764432 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29026] ppid=29020 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29026/stat : 29026 (java) S 29020 29020 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62861694 14309736448 6674 18446744073709551615 4194304 4196468 140730554914736 139780315712144 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29027] ppid=29020 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29027/stat : 29027 (java) S 29020 29020 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62861694 14309736448 6674 18446744073709551615 4194304 4196468 140730554914736 139779954371088 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29028] ppid=29020 vsize=13974352 memory=140489698064000 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29028/stat : 29028 (java) S 29020 29020 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62861695 14309736448 6674 18446744073709551615 4194304 4196468 140730554914736 139779835386480 139780356930178 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29029] ppid=29020 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29029/stat : 29029 (java) S 29020 29020 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62861696 14309736448 6674 18446744073709551615 4194304 4196468 140730554914736 139779834332448 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29030] ppid=29020 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29030/stat : 29030 (java) S 29020 29020 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62861696 14309736448 6674 18446744073709551615 4194304 4196468 140730554914736 139779833280112 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29031] ppid=29020 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29031/stat : 29031 (java) S 29020 29020 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62861698 14309736448 6674 18446744073709551615 4194304 4196468 140730554914736 139779832228432 139780356937627 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29032] ppid=29020 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29032/stat : 29032 (java) S 29020 29020 11586 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 62861698 14309736448 6674 18446744073709551615 4194304 4196468 140730554914736 139779831175280 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29033] ppid=29020 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29033/stat : 29033 (java) S 29020 29020 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62861698 14309736448 6674 18446744073709551615 4194304 4196468 140730554914736 139779830122480 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29034] ppid=29020 vsize=13974352 memory=140489698064000 CPUtime=0.01 cores=1,3,5,7
/proc/29022/task/29034/stat : 29034 (java) S 29020 29020 11586 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 15 0 62861698 14309736448 6674 18446744073709551615 4194304 4196468 140730554914736 139779829070192 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29035] ppid=29020 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29035/stat : 29035 (java) S 29020 29020 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62861699 14309736448 6674 18446744073709551615 4194304 4196468 140730554914736 139779828017632 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29036] ppid=29020 vsize=13974352 memory=140489698064000 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29036/stat : 29036 (java) S 29020 29020 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62861703 14309736448 6740 18446744073709551615 4194304 4196468 140730554914736 139779826965424 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28076 KiB
[startup+0.310426 s]*
/proc/loadavg: 1.88 1.76 1.72 4/211 29036
/proc/meminfo: memFree=28182752/32770624 swapFree=67108860/67108860
[pid=29020] ppid=29017 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29020/stat : 29020 (xcsp3-exec) S 29017 29020 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62861684 9740288 345 18446744073709551615 4194304 5098028 140733840982944 140733840981048 140314722251388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38621184 140733840986489 140733840986693 140733840986693 140733840990187 0
/proc/29020/statm: 2378 345 289 221 0 87 0
[pid=29022] ppid=29020 vsize=13974352 memory=39164 CPUtime=0.29 cores=1,3,5,7
/proc/29022/stat : 29022 (java) S 29020 29020 11586 0 -1 1077944320 8883 0 0 0 26 3 0 0 20 0 15 0 62861693 14309736448 9791 18446744073709551615 4194304 4196468 140730554914736 140730554897280 139780356919031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
/proc/29022/statm: 3493588 9791 2985 1 0 3482964 0
[pid=29022/tid=29023] ppid=29020 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=1,3,5,7
/proc/29022/task/29023/stat : 29023 (java) R 29020 29020 11586 0 -1 4202560 6105 0 0 0 16 2 0 0 20 0 15 0 62861693 14309736448 9791 18446744073709551615 4194304 4196468 140730554914736 139780361147984 139780340999518 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29024] ppid=29020 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29024/stat : 29024 (java) S 29020 29020 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62861694 14309736448 9791 18446744073709551615 4194304 4196468 140730554914736 139780317817232 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29025] ppid=29020 vsize=13974352 memory=140489698070993 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29025/stat : 29025 (java) S 29020 29020 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62861694 14309736448 9791 18446744073709551615 4194304 4196468 140730554914736 139780316764432 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29026] ppid=29020 vsize=13974352 memory=7300988567254756453 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29026/stat : 29026 (java) S 29020 29020 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62861694 14309736448 9791 18446744073709551615 4194304 4196468 140730554914736 139780315712144 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29027] ppid=29020 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29027/stat : 29027 (java) S 29020 29020 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62861694 14309736448 9791 18446744073709551615 4194304 4196468 140730554914736 139779954371088 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29028] ppid=29020 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29028/stat : 29028 (java) S 29020 29020 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62861695 14309736448 9791 18446744073709551615 4194304 4196468 140730554914736 139779835386480 139780356930178 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29029] ppid=29020 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29029/stat : 29029 (java) S 29020 29020 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62861696 14309736448 9791 18446744073709551615 4194304 4196468 140730554914736 139779834332448 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29030] ppid=29020 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29030/stat : 29030 (java) S 29020 29020 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62861696 14309736448 9791 18446744073709551615 4194304 4196468 140730554914736 139779833280112 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29031] ppid=29020 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29031/stat : 29031 (java) S 29020 29020 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62861698 14309736448 9791 18446744073709551615 4194304 4196468 140730554914736 139779832228432 139780356937627 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29032] ppid=29020 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29022/task/29032/stat : 29032 (java) R 29020 29020 11586 0 -1 1077944384 502 0 0 0 2 0 0 0 20 0 15 0 62861698 14309736448 9791 18446744073709551615 4194304 4196468 140730554914736 139779831175280 139780356930178 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29033] ppid=29020 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29022/task/29033/stat : 29033 (java) R 29020 29020 11586 0 -1 4202560 234 0 0 0 1 0 0 0 20 0 15 0 62861698 14309736448 9791 18446744073709551615 4194304 4196468 140730554914736 139779830122480 139780334514048 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29034] ppid=29020 vsize=13974352 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/29022/task/29034/stat : 29034 (java) S 29020 29020 11586 0 -1 1077944384 739 0 0 0 6 0 0 0 20 0 15 0 62861698 14309736448 9791 18446744073709551615 4194304 4196468 140730554914736 139779829070192 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29035] ppid=29020 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29035/stat : 29035 (java) S 29020 29020 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62861699 14309736448 9791 18446744073709551615 4194304 4196468 140730554914736 139779828017632 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29036] ppid=29020 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29036/stat : 29036 (java) S 29020 29020 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62861703 14309736448 9791 18446744073709551615 4194304 4196468 140730554914736 139779826965424 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40544 KiB
[startup+0.700877 s]
/proc/loadavg: 1.88 1.76 1.72 5/211 29036
/proc/meminfo: memFree=28161764/32770624 swapFree=67108860/67108860
[pid=29020] ppid=29017 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29020/stat : 29020 (xcsp3-exec) S 29017 29020 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62861684 9740288 345 18446744073709551615 4194304 5098028 140733840982944 140733840981048 140314722251388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38621184 140733840986489 140733840986693 140733840986693 140733840990187 0
/proc/29020/statm: 2378 345 289 221 0 87 0
[pid=29022] ppid=29020 vsize=13978608 memory=117772 CPUtime=1.26 cores=1,3,5,7
/proc/29022/stat : 29022 (java) S 29020 29020 11586 0 -1 1077944320 12920 0 0 0 120 6 0 0 20 0 15 0 62861693 14314094592 29443 18446744073709551615 4194304 4196468 140730554914736 140730554897280 139780356919031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
/proc/29022/statm: 3494652 29443 3120 1 0 3482964 0
[pid=29022/tid=29023] ppid=29020 vsize=13978608 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/29022/task/29023/stat : 29023 (java) R 29020 29020 11586 0 -1 4202560 7555 0 0 0 52 4 0 0 20 0 15 0 62861693 14314094592 29443 18446744073709551615 4194304 4196468 140730554914736 139780361157200 139780356940957 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29024] ppid=29020 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29024/stat : 29024 (java) S 29020 29020 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62861694 14314094592 29443 18446744073709551615 4194304 4196468 140730554914736 139780317817232 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29025] ppid=29020 vsize=13978608 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29025/stat : 29025 (java) S 29020 29020 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62861694 14314094592 29443 18446744073709551615 4194304 4196468 140730554914736 139780316764432 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29026] ppid=29020 vsize=13978608 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29026/stat : 29026 (java) S 29020 29020 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62861694 14314094592 29443 18446744073709551615 4194304 4196468 140730554914736 139780315712144 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29027] ppid=29020 vsize=13978608 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29027/stat : 29027 (java) S 29020 29020 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62861694 14314094592 29443 18446744073709551615 4194304 4196468 140730554914736 139779954371088 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29028] ppid=29020 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29028/stat : 29028 (java) S 29020 29020 11586 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62861695 14314094592 29443 18446744073709551615 4194304 4196468 140730554914736 139779835386480 139780356930178 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29029] ppid=29020 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29029/stat : 29029 (java) S 29020 29020 11586 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62861696 14314094592 29443 18446744073709551615 4194304 4196468 140730554914736 139779834332448 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29030] ppid=29020 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29030/stat : 29030 (java) S 29020 29020 11586 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62861696 14314094592 29443 18446744073709551615 4194304 4196468 140730554914736 139779833280112 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29031] ppid=29020 vsize=13978608 memory=19265 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29031/stat : 29031 (java) S 29020 29020 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62861698 14314094592 29443 18446744073709551615 4194304 4196468 140730554914736 139779832228432 139780356937627 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29032] ppid=29020 vsize=13978608 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/29022/task/29032/stat : 29032 (java) S 29020 29020 11586 0 -1 1077944384 1687 0 0 0 28 0 0 0 20 0 15 0 62861698 14314094592 29443 18446744073709551615 4194304 4196468 140730554914736 139779831175280 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29033] ppid=29020 vsize=13978608 memory=-9174445032661854264 CPUtime=0.21 cores=1,3,5,7
/proc/29022/task/29033/stat : 29033 (java) S 29020 29020 11586 0 -1 1077944384 971 0 0 0 21 0 0 0 20 0 15 0 62861698 14314094592 29443 18446744073709551615 4194304 4196468 140730554914736 139779830122480 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29034] ppid=29020 vsize=13978608 memory=6656426216303648864 CPUtime=0.18 cores=1,3,5,7
/proc/29022/task/29034/stat : 29034 (java) S 29020 29020 11586 0 -1 1077944384 1403 0 0 0 18 0 0 0 20 0 15 0 62861698 14314094592 29443 18446744073709551615 4194304 4196468 140730554914736 139779829070192 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29035] ppid=29020 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29035/stat : 29035 (java) S 29020 29020 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62861699 14314094592 29443 18446744073709551615 4194304 4196468 140730554914736 139779828017632 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29036] ppid=29020 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29036/stat : 29036 (java) S 29020 29020 11586 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62861703 14314094592 29443 18446744073709551615 4194304 4196468 140730554914736 139779826965424 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 119152 KiB
[startup+1.51105 s]
/proc/loadavg: 1.88 1.76 1.72 4/211 29036
/proc/meminfo: memFree=27929480/32770624 swapFree=67108860/67108860
[pid=29020] ppid=29017 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29020/stat : 29020 (xcsp3-exec) S 29017 29020 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62861684 9740288 345 18446744073709551615 4194304 5098028 140733840982944 140733840981048 140314722251388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38621184 140733840986489 140733840986693 140733840986693 140733840990187 0
/proc/29020/statm: 2378 345 289 221 0 87 0
[pid=29022] ppid=29020 vsize=13978684 memory=381060 CPUtime=3.13 cores=1,3,5,7
/proc/29022/stat : 29022 (java) S 29020 29020 11586 0 -1 1077944320 14684 0 0 0 281 32 0 0 20 0 15 0 62861693 14314172416 95265 18446744073709551615 4194304 4196468 140730554914736 140730554897280 139780356919031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
/proc/29022/statm: 3494671 95265 3200 1 0 3482964 0
[pid=29022/tid=29023] ppid=29020 vsize=13978684 memory=0 CPUtime=1.19 cores=1,3,5,7
/proc/29022/task/29023/stat : 29023 (java) R 29020 29020 11586 0 -1 1077944384 7940 0 0 0 114 5 0 0 20 0 15 0 62861693 14314172416 95265 18446744073709551615 4194304 4196468 140730554914736 139780361156368 139780356929237 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29024] ppid=29020 vsize=13978684 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/29022/task/29024/stat : 29024 (java) S 29020 29020 11586 0 -1 1077944384 135 0 0 0 11 6 0 0 20 0 15 0 62861694 14314172416 95265 18446744073709551615 4194304 4196468 140730554914736 139780317817232 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29025] ppid=29020 vsize=13978684 memory=4120 CPUtime=0.17 cores=1,3,5,7
/proc/29022/task/29025/stat : 29025 (java) S 29020 29020 11586 0 -1 1077944384 132 0 0 0 11 6 0 0 20 0 15 0 62861694 14314172416 95265 18446744073709551615 4194304 4196468 140730554914736 139780316764432 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29026] ppid=29020 vsize=13978684 memory=35584 CPUtime=0.16 cores=1,3,5,7
/proc/29022/task/29026/stat : 29026 (java) S 29020 29020 11586 0 -1 1077944384 129 0 0 0 10 6 0 0 20 0 15 0 62861694 14314172416 95265 18446744073709551615 4194304 4196468 140730554914736 139780315712144 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29027] ppid=29020 vsize=13978684 memory=1380 CPUtime=0.17 cores=1,3,5,7
/proc/29022/task/29027/stat : 29027 (java) S 29020 29020 11586 0 -1 1077944384 127 0 0 0 11 6 0 0 20 0 15 0 62861694 14314172416 95265 18446744073709551615 4194304 4196468 140730554914736 139779954371088 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29028] ppid=29020 vsize=13978684 memory=366884 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29028/stat : 29028 (java) S 29020 29020 11586 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 62861695 14314172416 95265 18446744073709551615 4194304 4196468 140730554914736 139779835386480 139780356930178 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29029] ppid=29020 vsize=13978684 memory=3184097919267533187 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29029/stat : 29029 (java) S 29020 29020 11586 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 62861696 14314172416 95265 18446744073709551615 4194304 4196468 140730554914736 139779834332448 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29030] ppid=29020 vsize=13978684 memory=-7161732098441943118 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/29022/task/29030/stat : 29030 (java) S 29020 29020 11586 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 62861696 14316269568 565816 18446744073709551615 4194304 4196468 140730554914736 139779833280128 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29031] ppid=29020 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29031/stat : 29031 (java) S 29020 29020 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62861698 14316269568 565816 18446744073709551615 4194304 4196468 140730554914736 139779832228432 139780356937627 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29032] ppid=29020 vsize=13980732 memory=16240 CPUtime=3.86 cores=1,3,5,7
/proc/29022/task/29032/stat : 29032 (java) S 29020 29020 11586 0 -1 1077944384 22875 0 0 0 382 4 0 0 20 0 15 0 62861698 14316269568 565816 18446744073709551615 4194304 4196468 140730554914736 139779831175280 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29033] ppid=29020 vsize=13980732 memory=2263264 CPUtime=3.77 cores=1,3,5,7
/proc/29022/task/29033/stat : 29033 (java) S 29020 29020 11586 0 -1 1077944384 28805 0 0 0 374 3 0 0 20 0 15 0 62861698 14316269568 565816 18446744073709551615 4194304 4196468 140730554914736 139779830122480 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29034] ppid=29020 vsize=13980732 memory=1380 CPUtime=0.94 cores=1,3,5,7
/proc/29022/task/29034/stat : 29034 (java) S 29020 29020 11586 0 -1 1077944384 16446 0 0 0 91 3 0 0 20 0 15 0 62861698 14316269568 565816 18446744073709551615 4194304 4196468 140730554914736 139779829070192 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29035] ppid=29020 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29035/stat : 29035 (java) S 29020 29020 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62861699 14316269568 565816 18446744073709551615 4194304 4196468 140730554914736 139779828017632 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29036] ppid=29020 vsize=13980732 memory=4120 CPUtime=1.46 cores=1,3,5,7
/proc/29022/task/29036/stat : 29036 (java) S 29020 29020 11586 0 -1 1077944384 1870 0 0 0 69 77 0 0 20 0 15 0 62861703 14316269568 565816 18446744073709551615 4194304 4196468 140730554914736 139779826965424 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
Current children cumulated CPU time: 2360.85 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2264644 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/211 29281
/proc/meminfo: memFree=28911220/32770624 swapFree=67108860/67108860
[pid=29020] ppid=29017 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29020/stat : 29020 (xcsp3-exec) S 29017 29020 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62861684 9740288 345 18446744073709551615 4194304 5098028 140733840982944 140733840981048 140314722251388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38621184 140733840986489 140733840986693 140733840986693 140733840990187 0
/proc/29020/statm: 2378 345 289 221 0 87 0
[pid=29022] ppid=29020 vsize=13980732 memory=2271780 CPUtime=2420.88 cores=1,3,5,7
/proc/29022/stat : 29022 (java) S 29020 29020 11586 0 -1 1077944320 231338 0 0 0 241700 388 0 0 20 0 15 0 62861693 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 140730554897280 139780356919031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
/proc/29022/statm: 3495183 567945 3266 1 0 3483476 0
[pid=29022/tid=29023] ppid=29020 vsize=13980732 memory=2271780 CPUtime=2371.07 cores=1,3,5,7
/proc/29022/task/29023/stat : 29023 (java) R 29020 29020 11586 0 -1 4202560 100199 0 0 0 237080 27 0 0 20 0 15 0 62861693 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139780361155696 139780005287912 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29024] ppid=29020 vsize=13980732 memory=2271296 CPUtime=9.59 cores=1,3,5,7
/proc/29022/task/29024/stat : 29024 (java) S 29020 29020 11586 0 -1 1077944384 12783 0 0 0 890 69 0 0 20 0 15 0 62861694 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139780317817232 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29025] ppid=29020 vsize=13980732 memory=2271780 CPUtime=9.62 cores=1,3,5,7
/proc/29022/task/29025/stat : 29025 (java) S 29020 29020 11586 0 -1 1077944384 10579 0 0 0 892 70 0 0 20 0 15 0 62861694 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139780316764432 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29026] ppid=29020 vsize=13980732 memory=2271780 CPUtime=9.64 cores=1,3,5,7
/proc/29022/task/29026/stat : 29026 (java) S 29020 29020 11586 0 -1 1077944384 12782 0 0 0 893 71 0 0 20 0 15 0 62861694 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139780315712144 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29027] ppid=29020 vsize=13980732 memory=2271780 CPUtime=9.64 cores=1,3,5,7
/proc/29022/task/29027/stat : 29027 (java) S 29020 29020 11586 0 -1 1077944384 10863 0 0 0 899 65 0 0 20 0 15 0 62861694 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779954371088 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29028] ppid=29020 vsize=13980732 memory=1380 CPUtime=1.17 cores=1,3,5,7
/proc/29022/task/29028/stat : 29028 (java) S 29020 29020 11586 0 -1 1077944384 12675 0 0 0 112 5 0 0 20 0 15 0 62861695 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779835386480 139780356930178 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29029] ppid=29020 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29029/stat : 29029 (java) S 29020 29020 11586 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 62861696 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779834332512 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29030] ppid=29020 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29030/stat : 29030 (java) S 29020 29020 11586 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 62861696 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779833280128 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29031] ppid=29020 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29031/stat : 29031 (java) S 29020 29020 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62861698 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779832228432 139780356937627 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29032] ppid=29020 vsize=13980732 memory=2271780 CPUtime=3.86 cores=1,3,5,7
/proc/29022/task/29032/stat : 29032 (java) S 29020 29020 11586 0 -1 1077944384 22879 0 0 0 382 4 0 0 20 0 15 0 62861698 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779831175280 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29033] ppid=29020 vsize=13980732 memory=1380 CPUtime=3.77 cores=1,3,5,7
/proc/29022/task/29033/stat : 29033 (java) S 29020 29020 11586 0 -1 1077944384 28808 0 0 0 374 3 0 0 20 0 15 0 62861698 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779830122480 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29034] ppid=29020 vsize=13980732 memory=2267216 CPUtime=0.94 cores=1,3,5,7
/proc/29022/task/29034/stat : 29034 (java) S 29020 29020 11586 0 -1 1077944384 16459 0 0 0 91 3 0 0 20 0 15 0 62861698 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779829070192 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29035] ppid=29020 vsize=13980732 memory=2267216 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29035/stat : 29035 (java) S 29020 29020 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62861699 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779828017632 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29036] ppid=29020 vsize=13980732 memory=1380 CPUtime=1.5 cores=1,3,5,7
/proc/29022/task/29036/stat : 29036 (java) S 29020 29020 11586 0 -1 1077944384 1910 0 0 0 71 79 0 0 20 0 15 0 62861703 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779826965424 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
Current children cumulated CPU time: 2420.88 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2273160 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 1.98 3/211 29283
/proc/meminfo: memFree=28911412/32770624 swapFree=67108860/67108860
[pid=29020] ppid=29017 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29020/stat : 29020 (xcsp3-exec) S 29017 29020 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62861684 9740288 345 18446744073709551615 4194304 5098028 140733840982944 140733840981048 140314722251388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38621184 140733840986489 140733840986693 140733840986693 140733840990187 0
/proc/29020/statm: 2378 345 289 221 0 87 0
[pid=29022] ppid=29020 vsize=13980732 memory=2271780 CPUtime=2480.92 cores=1,3,5,7
/proc/29022/stat : 29022 (java) S 29020 29020 11586 0 -1 1077944320 232125 0 0 0 247702 390 0 0 20 0 15 0 62861693 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 140730554897280 139780356919031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
/proc/29022/statm: 3495183 567945 3266 1 0 3483476 0
[pid=29022/tid=29023] ppid=29020 vsize=13980732 memory=2271780 CPUtime=2431.06 cores=1,3,5,7
/proc/29022/task/29023/stat : 29023 (java) R 29020 29020 11586 0 -1 4202560 100913 0 0 0 243079 27 0 0 20 0 15 0 62861693 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139780361155888 139780005288233 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29024] ppid=29020 vsize=13980732 memory=2271780 CPUtime=9.59 cores=1,3,5,7
/proc/29022/task/29024/stat : 29024 (java) S 29020 29020 11586 0 -1 1077944384 12783 0 0 0 890 69 0 0 20 0 15 0 62861694 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139780317817232 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29025] ppid=29020 vsize=13980732 memory=1380 CPUtime=9.62 cores=1,3,5,7
/proc/29022/task/29025/stat : 29025 (java) S 29020 29020 11586 0 -1 1077944384 10579 0 0 0 892 70 0 0 20 0 15 0 62861694 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139780316764432 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29026] ppid=29020 vsize=13980732 memory=1380 CPUtime=9.64 cores=1,3,5,7
/proc/29022/task/29026/stat : 29026 (java) S 29020 29020 11586 0 -1 1077944384 12782 0 0 0 893 71 0 0 20 0 15 0 62861694 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139780315712144 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29027] ppid=29020 vsize=13980732 memory=1380 CPUtime=9.64 cores=1,3,5,7
/proc/29022/task/29027/stat : 29027 (java) S 29020 29020 11586 0 -1 1077944384 10863 0 0 0 899 65 0 0 20 0 15 0 62861694 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779954371088 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29028] ppid=29020 vsize=13980732 memory=2271780 CPUtime=1.17 cores=1,3,5,7
/proc/29022/task/29028/stat : 29028 (java) S 29020 29020 11586 0 -1 1077944384 12708 0 0 0 112 5 0 0 20 0 15 0 62861695 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779835386480 139780356930178 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29029] ppid=29020 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29029/stat : 29029 (java) S 29020 29020 11586 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 62861696 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779834332512 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29030] ppid=29020 vsize=13980732 memory=2271780 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29030/stat : 29030 (java) S 29020 29020 11586 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 62861696 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779833280128 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29031] ppid=29020 vsize=13980732 memory=2271780 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29031/stat : 29031 (java) S 29020 29020 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62861698 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779832228432 139780356937627 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29032] ppid=29020 vsize=13980732 memory=2271780 CPUtime=3.86 cores=1,3,5,7
/proc/29022/task/29032/stat : 29032 (java) S 29020 29020 11586 0 -1 1077944384 22881 0 0 0 382 4 0 0 20 0 15 0 62861698 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779831175280 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29033] ppid=29020 vsize=13980732 memory=1380 CPUtime=3.77 cores=1,3,5,7
/proc/29022/task/29033/stat : 29033 (java) S 29020 29020 11586 0 -1 1077944384 28810 0 0 0 374 3 0 0 20 0 15 0 62861698 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779830122480 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29034] ppid=29020 vsize=13980732 memory=1380 CPUtime=0.94 cores=1,3,5,7
/proc/29022/task/29034/stat : 29034 (java) S 29020 29020 11586 0 -1 1077944384 16462 0 0 0 91 3 0 0 20 0 15 0 62861698 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779829070192 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29035] ppid=29020 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29035/stat : 29035 (java) S 29020 29020 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62861699 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779828017632 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29036] ppid=29020 vsize=13980732 memory=2271780 CPUtime=1.54 cores=1,3,5,7
/proc/29022/task/29036/stat : 29036 (java) S 29020 29020 11586 0 -1 1077944384 1943 0 0 0 73 81 0 0 20 0 15 0 62861703 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779826965424 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
Current children cumulated CPU time: 2480.92 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2273160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2481.4 s]
/proc/loadavg: 2.00 2.02 1.98 3/215 29298
/proc/meminfo: memFree=28906600/32770624 swapFree=67108860/67108860
[pid=29020] ppid=29017 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29020/stat : 29020 (xcsp3-exec) S 29017 29020 11586 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 62861684 9740288 345 18446744073709551615 4194304 5098028 140733840982944 140733840981048 140314722251388 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 8 0 0 7196144 7232144 38621184 140733840986489 140733840986693 140733840986693 140733840990187 0
/proc/29020/statm: 2378 345 289 221 0 87 0
[pid=29022] ppid=29020 vsize=13980732 memory=2271780 CPUtime=2520.04 cores=1,3,5,7
/proc/29022/stat : 29022 (java) S 29020 29020 11586 0 -1 1077944320 233020 0 0 0 251612 392 0 0 20 0 15 0 62861693 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 140730554897280 139780356919031 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
/proc/29022/statm: 3495183 567945 3266 1 0 3483476 0
[pid=29022/tid=29023] ppid=29020 vsize=13980732 memory=0 CPUtime=2470.15 cores=1,3,5,7
/proc/29022/task/29023/stat : 29023 (java) R 29020 29020 11586 0 -1 4202560 101769 0 0 0 246988 27 0 0 20 0 15 0 62861693 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139780361155888 139780005350679 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29024] ppid=29020 vsize=13980732 memory=7810757312148826688 CPUtime=9.59 cores=1,3,5,7
/proc/29022/task/29024/stat : 29024 (java) S 29020 29020 11586 0 -1 1077944384 12783 0 0 0 890 69 0 0 20 0 15 0 62861694 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139780317817232 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29025] ppid=29020 vsize=13980732 memory=7800344859672537426 CPUtime=9.62 cores=1,3,5,7
/proc/29022/task/29025/stat : 29025 (java) S 29020 29020 11586 0 -1 1077944384 10579 0 0 0 892 70 0 0 20 0 15 0 62861694 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139780316764432 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29026] ppid=29020 vsize=13980732 memory=4629771062077588875 CPUtime=9.64 cores=1,3,5,7
/proc/29022/task/29026/stat : 29026 (java) S 29020 29020 11586 0 -1 1077944384 12782 0 0 0 893 71 0 0 20 0 15 0 62861694 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139780315712144 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29027] ppid=29020 vsize=13980732 memory=-8961168018402230209 CPUtime=9.64 cores=1,3,5,7
/proc/29022/task/29027/stat : 29027 (java) S 29020 29020 11586 0 -1 1077944384 10863 0 0 0 899 65 0 0 20 0 15 0 62861694 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779954371088 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29028] ppid=29020 vsize=13980732 memory=-8253362762722141311 CPUtime=1.17 cores=1,3,5,7
/proc/29022/task/29028/stat : 29028 (java) S 29020 29020 11586 0 -1 1077944384 12713 0 0 0 112 5 0 0 20 0 15 0 62861695 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779835386480 139780356930178 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29029] ppid=29020 vsize=13980732 memory=-7175204567652784766 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29029/stat : 29029 (java) S 29020 29020 11586 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 62861696 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779834332512 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29030] ppid=29020 vsize=13980732 memory=7100839861465685612 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29030/stat : 29030 (java) S 29020 29020 11586 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 15 0 62861696 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779833280128 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29031] ppid=29020 vsize=13980732 memory=3054156605268465310 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29031/stat : 29031 (java) S 29020 29020 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62861698 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779832228432 139780356937627 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29032] ppid=29020 vsize=13980732 memory=-8341965534556230502 CPUtime=3.86 cores=1,3,5,7
/proc/29022/task/29032/stat : 29032 (java) S 29020 29020 11586 0 -1 1077944384 22883 0 0 0 382 4 0 0 20 0 15 0 62861698 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779831175280 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29033] ppid=29020 vsize=13980732 memory=2168 CPUtime=3.77 cores=1,3,5,7
/proc/29022/task/29033/stat : 29033 (java) S 29020 29020 11586 0 -1 1077944384 28812 0 0 0 374 3 0 0 20 0 15 0 62861698 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779830122480 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29034] ppid=29020 vsize=13980732 memory=6155124819145943656 CPUtime=0.94 cores=1,3,5,7
/proc/29022/task/29034/stat : 29034 (java) S 29020 29020 11586 0 -1 1077944384 16465 0 0 0 91 3 0 0 20 0 15 0 62861698 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779829070192 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29035] ppid=29020 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/29022/task/29035/stat : 29035 (java) S 29020 29020 11586 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62861699 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779828017632 139780356929237 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
[pid=29022/tid=29036] ppid=29020 vsize=13980732 memory=288230621803970871 CPUtime=1.57 cores=1,3,5,7
/proc/29022/task/29036/stat : 29036 (java) S 29020 29020 11586 0 -1 1077944384 1970 0 0 0 74 83 0 0 20 0 15 0 62861703 14316269568 567945 18446744073709551615 4194304 4196468 140730554914736 139779826965424 139780356930178 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7622656 140730554917297 140730554917473 140730554917473 140730554920911 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2273160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2481.41 s]
# the end of solver process 29020 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000935 s, system=0.000935 s
[startup+2481.42 s]
# the end of solver process 29022 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.14 s, system=3.93119 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): 2481.42
CPU time (s): 2520.07
CPU user time (s): 2516.14
CPU system time (s): 3.93119
CPU usage (%): 101.558
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 3134972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.14
system time used= 3.93119
maximum resident set size= 3133608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233864
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59042
involuntary context switches= 2008
# summary of solver processes directly reported to runsolver:
# pid: 29020,29022
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.14
# total CPU system time (s): 3.93119
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7892 second user time and 23.5017 second system time
The end