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 (5592 MiB free)
memory of node 1: 16384 MiB (7182 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306599-1534115207/watcher-4306599-1534115207 -o /tmp/evaluation-result-4306599-1534115207/solver-4306599-1534115207 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534096899-2740 --watchdog 2580 HOME/xcsp3-exec -seed 355324482 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306599-1534115207.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=6016, runsolver pid=6013
[startup+0.100124 s]*
/proc/loadavg: 2.02 1.90 1.87 3/217 6032
/proc/meminfo: memFree=13065864/32770624 swapFree=67108792/67108860
[pid=6016] ppid=6013 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6016/stat : 6016 (xcsp3-exec) S 6013 6016 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229083981 115843072 363 33554432000 4194304 5098028 140726338895232 140726338893336 140595070964348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9146368 140726338901051 140726338901252 140726338901252 140726338904010 0
/proc/6016/statm: 28282 363 305 221 0 87 0
[pid=6018] ppid=6016 vsize=14082940 memory=28544 CPUtime=0.11 cores=0,2,4,6
/proc/6018/stat : 6018 (java) S 6016 6016 2709 0 -1 1077944320 5490 0 0 0 10 1 0 0 20 0 15 0 229083982 14420930560 7136 33554432000 4194304 4196468 140729441893344 140729441875888 139902874537719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
/proc/6018/statm: 3520735 7136 3021 1 0 3483012 0
[pid=6018/tid=6019] ppid=6016 vsize=14082940 memory=-8976644418600983157 CPUtime=0.09 cores=0,2,4,6
/proc/6018/task/6019/stat : 6019 (java) R 6016 6016 2709 0 -1 4202560 3511 0 0 0 8 1 0 0 20 0 15 0 229083982 14420930560 7136 33554432000 4194304 4196468 140729441893344 139902878753872 139902860217872 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6020] ppid=6016 vsize=14082940 memory=3472468331288728784 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6020/stat : 6020 (java) S 6016 6016 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229083983 14420930560 7136 33554432000 4194304 4196468 140729441893344 139902789606288 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6021] ppid=6016 vsize=14082940 memory=140202393577088 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6021/stat : 6021 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083983 14420930560 7136 33554432000 4194304 4196468 140729441893344 139902469532432 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6022] ppid=6016 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6022/stat : 6022 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083983 14420930560 7136 33554432000 4194304 4196468 140729441893344 139902468480144 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6023] ppid=6016 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6023/stat : 6023 (java) S 6016 6016 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229083983 14420930560 7136 33554432000 4194304 4196468 140729441893344 139902467427344 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6024] ppid=6016 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6024/stat : 6024 (java) S 6016 6016 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229083984 14420930560 7136 33554432000 4194304 4196468 140729441893344 139902348757104 139902874548866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6025] ppid=6016 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6025/stat : 6025 (java) S 6016 6016 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229083985 14420930560 7136 33554432000 4194304 4196468 140729441893344 139902347703072 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6026] ppid=6016 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6026/stat : 6026 (java) S 6016 6016 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229083985 14420930560 7136 33554432000 4194304 4196468 140729441893344 139902346650736 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6027] ppid=6016 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6027/stat : 6027 (java) S 6016 6016 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229083987 14420930560 7136 33554432000 4194304 4196468 140729441893344 139902345599056 139902874556315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6028] ppid=6016 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6028/stat : 6028 (java) S 6016 6016 2709 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 229083987 14420930560 7136 33554432000 4194304 4196468 140729441893344 139902344546928 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6029] ppid=6016 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6029/stat : 6029 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083987 14420930560 7136 33554432000 4194304 4196468 140729441893344 139902343494128 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6030] ppid=6016 vsize=14082940 memory=140202393577088 CPUtime=0.01 cores=0,2,4,6
/proc/6018/task/6030/stat : 6030 (java) R 6016 6016 2709 0 -1 4202560 262 0 0 0 1 0 0 0 20 0 15 0 229083987 14420930560 7136 33554432000 4194304 4196468 140729441893344 139902342441840 139902855775280 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6031] ppid=6016 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6031/stat : 6031 (java) S 6016 6016 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229083987 14420930560 7136 33554432000 4194304 4196468 140729441893344 139902341389280 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6032] ppid=6016 vsize=14082940 memory=140202393577088 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6032/stat : 6032 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083988 14420930560 7136 33554432000 4194304 4196468 140729441893344 139902340336048 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29996 KiB
[startup+0.210611 s]*
/proc/loadavg: 2.02 1.90 1.87 4/217 6032
/proc/meminfo: memFree=13055040/32770624 swapFree=67108792/67108860
[pid=6016] ppid=6013 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6016/stat : 6016 (xcsp3-exec) S 6013 6016 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229083981 115843072 363 33554432000 4194304 5098028 140726338895232 140726338893336 140595070964348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9146368 140726338901051 140726338901252 140726338901252 140726338904010 0
/proc/6016/statm: 28282 363 305 221 0 87 0
[pid=6018] ppid=6016 vsize=14082940 memory=40356 CPUtime=0.34 cores=0,2,4,6
/proc/6018/stat : 6018 (java) S 6016 6016 2709 0 -1 1077944320 8155 0 0 0 31 3 0 0 20 0 15 0 229083982 14420930560 10089 33554432000 4194304 4196468 140729441893344 140729441875888 139902874537719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
/proc/6018/statm: 3520735 10089 3192 1 0 3483012 0
[pid=6018/tid=6019] ppid=6016 vsize=14082940 memory=4788064525053108374 CPUtime=0.2 cores=0,2,4,6
/proc/6018/task/6019/stat : 6019 (java) R 6016 6016 2709 0 -1 4202560 5364 0 0 0 18 2 0 0 20 0 15 0 229083982 14420930560 10089 33554432000 4194304 4196468 140729441893344 139902878772704 139902874559645 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6020] ppid=6016 vsize=14082940 memory=3472468331288728784 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6020/stat : 6020 (java) S 6016 6016 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229083983 14420930560 10089 33554432000 4194304 4196468 140729441893344 139902789606288 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6021] ppid=6016 vsize=14082940 memory=140202393577088 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6021/stat : 6021 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083983 14420930560 10089 33554432000 4194304 4196468 140729441893344 139902469532432 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6022] ppid=6016 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6022/stat : 6022 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083983 14420930560 10089 33554432000 4194304 4196468 140729441893344 139902468480144 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6023] ppid=6016 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6023/stat : 6023 (java) S 6016 6016 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229083983 14420930560 10089 33554432000 4194304 4196468 140729441893344 139902467427344 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6024] ppid=6016 vsize=14082940 memory=140202393577088 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6024/stat : 6024 (java) S 6016 6016 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229083984 14420930560 10089 33554432000 4194304 4196468 140729441893344 139902348757104 139902874548866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6025] ppid=6016 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6025/stat : 6025 (java) S 6016 6016 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229083985 14420930560 10089 33554432000 4194304 4196468 140729441893344 139902347703072 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6026] ppid=6016 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6026/stat : 6026 (java) S 6016 6016 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229083985 14420930560 10089 33554432000 4194304 4196468 140729441893344 139902346650736 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6027] ppid=6016 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6027/stat : 6027 (java) S 6016 6016 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229083987 14420930560 10089 33554432000 4194304 4196468 140729441893344 139902345599056 139902874556315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6028] ppid=6016 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6018/task/6028/stat : 6028 (java) S 6016 6016 2709 0 -1 1077944384 677 0 0 0 2 0 0 0 20 0 15 0 229083987 14420930560 10089 33554432000 4194304 4196468 140729441893344 139902344546928 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6029] ppid=6016 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6018/task/6029/stat : 6029 (java) S 6016 6016 2709 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 229083987 14420930560 10089 33554432000 4194304 4196468 140729441893344 139902343494128 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6030] ppid=6016 vsize=14082940 memory=140202393577088 CPUtime=0.08 cores=0,2,4,6
/proc/6018/task/6030/stat : 6030 (java) S 6016 6016 2709 0 -1 1077944384 715 0 0 0 8 0 0 0 20 0 15 0 229083987 14420930560 10089 33554432000 4194304 4196468 140729441893344 139902342441840 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6031] ppid=6016 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6031/stat : 6031 (java) S 6016 6016 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229083987 14420930560 10089 33554432000 4194304 4196468 140729441893344 139902341389280 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6032] ppid=6016 vsize=14082940 memory=140202393577088 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6032/stat : 6032 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083988 14420930560 10089 33554432000 4194304 4196468 140729441893344 139902340336048 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41808 KiB
[startup+0.310506 s]*
/proc/loadavg: 2.02 1.90 1.87 4/217 6032
/proc/meminfo: memFree=13048216/32770624 swapFree=67108792/67108860
[pid=6016] ppid=6013 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6016/stat : 6016 (xcsp3-exec) S 6013 6016 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229083981 115843072 363 33554432000 4194304 5098028 140726338895232 140726338893336 140595070964348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9146368 140726338901051 140726338901252 140726338901252 140726338904010 0
/proc/6016/statm: 28282 363 305 221 0 87 0
[pid=6018] ppid=6016 vsize=14087196 memory=47448 CPUtime=0.52 cores=0,2,4,6
/proc/6018/stat : 6018 (java) S 6016 6016 2709 0 -1 1077944320 9070 0 0 0 49 3 0 0 20 0 15 0 229083982 14425288704 11862 33554432000 4194304 4196468 140729441893344 140729441875888 139902874537719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
/proc/6018/statm: 3521799 11862 3241 1 0 3483012 0
[pid=6018/tid=6019] ppid=6016 vsize=14087196 memory=-8976644418600983157 CPUtime=0.3 cores=0,2,4,6
/proc/6018/task/6019/stat : 6019 (java) R 6016 6016 2709 0 -1 4202560 6086 0 0 0 27 3 0 0 20 0 15 0 229083982 14425288704 11862 33554432000 4194304 4196468 140729441893344 139902878771504 139902858618206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6020] ppid=6016 vsize=14087196 memory=3472468331288728784 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6020/stat : 6020 (java) S 6016 6016 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229083983 14425288704 11862 33554432000 4194304 4196468 140729441893344 139902789606288 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6021] ppid=6016 vsize=14087196 memory=140202393577088 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6021/stat : 6021 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083983 14425288704 11862 33554432000 4194304 4196468 140729441893344 139902469532432 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6022] ppid=6016 vsize=14087196 memory=10 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6022/stat : 6022 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083983 14425288704 11862 33554432000 4194304 4196468 140729441893344 139902468480144 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6023] ppid=6016 vsize=14087196 memory=140202295306271 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6023/stat : 6023 (java) S 6016 6016 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229083983 14425288704 11862 33554432000 4194304 4196468 140729441893344 139902467427344 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6024] ppid=6016 vsize=14087196 memory=280404590573312 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6024/stat : 6024 (java) S 6016 6016 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229083984 14425288704 11862 33554432000 4194304 4196468 140729441893344 139902348757104 139902874548866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6025] ppid=6016 vsize=14087196 memory=140202295283215 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6025/stat : 6025 (java) S 6016 6016 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229083985 14425288704 11862 33554432000 4194304 4196468 140729441893344 139902347703072 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6026] ppid=6016 vsize=14087196 memory=280404688869472 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6026/stat : 6026 (java) S 6016 6016 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229083985 14425288704 11862 33554432000 4194304 4196468 140729441893344 139902346650736 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6027] ppid=6016 vsize=14087196 memory=140202295287823 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6027/stat : 6027 (java) S 6016 6016 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229083987 14425288704 11862 33554432000 4194304 4196468 140729441893344 139902345599056 139902874556315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6028] ppid=6016 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/6018/task/6028/stat : 6028 (java) S 6016 6016 2709 0 -1 1077944384 779 0 0 0 5 0 0 0 20 0 15 0 229083987 14425288704 11862 33554432000 4194304 4196468 140729441893344 139902344546928 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6029] ppid=6016 vsize=14087196 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/6018/task/6029/stat : 6029 (java) S 6016 6016 2709 0 -1 1077944384 119 0 0 0 3 0 0 0 20 0 15 0 229083987 14425288704 11862 33554432000 4194304 4196468 140729441893344 139902343494128 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6030] ppid=6016 vsize=14087196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6018/task/6030/stat : 6030 (java) S 6016 6016 2709 0 -1 1077944384 807 0 0 0 13 0 0 0 20 0 15 0 229083987 14425288704 11862 33554432000 4194304 4196468 140729441893344 139902342441840 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6031] ppid=6016 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6031/stat : 6031 (java) S 6016 6016 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229083987 14425288704 11862 33554432000 4194304 4196468 140729441893344 139902341389280 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6032] ppid=6016 vsize=14087196 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6032/stat : 6032 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083988 14425288704 11862 33554432000 4194304 4196468 140729441893344 139902340336048 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48900 KiB
[startup+0.700787 s]
/proc/loadavg: 2.02 1.90 1.87 6/217 6032
/proc/meminfo: memFree=13029272/32770624 swapFree=67108792/67108860
[pid=6016] ppid=6013 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6016/stat : 6016 (xcsp3-exec) S 6013 6016 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229083981 115843072 363 33554432000 4194304 5098028 140726338895232 140726338893336 140595070964348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9146368 140726338901051 140726338901252 140726338901252 140726338904010 0
/proc/6016/statm: 28282 363 305 221 0 87 0
[pid=6018] ppid=6016 vsize=14089320 memory=80380 CPUtime=1.59 cores=0,2,4,6
/proc/6018/stat : 6018 (java) S 6016 6016 2709 0 -1 1077944320 14395 0 0 0 154 5 0 0 20 0 15 0 229083982 14427463680 20095 33554432000 4194304 4196468 140729441893344 140729441875888 139902874537719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
/proc/6018/statm: 3522330 20095 3369 1 0 3483524 0
[pid=6018/tid=6019] ppid=6016 vsize=14089320 memory=7372786582024121444 CPUtime=0.67 cores=0,2,4,6
/proc/6018/task/6019/stat : 6019 (java) R 6016 6016 2709 0 -1 4202560 7083 0 0 0 64 3 0 0 20 0 15 0 229083982 14427463680 20095 33554432000 4194304 4196468 140729441893344 139902878775872 139902473704014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6020] ppid=6016 vsize=14089320 memory=7007712420471858773 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6020/stat : 6020 (java) S 6016 6016 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229083983 14427463680 20095 33554432000 4194304 4196468 140729441893344 139902789606288 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6021] ppid=6016 vsize=14089320 memory=5859271421084456296 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6021/stat : 6021 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083983 14427463680 20095 33554432000 4194304 4196468 140729441893344 139902469532432 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6022] ppid=6016 vsize=14089320 memory=-6168368575958768251 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6022/stat : 6022 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083983 14427463680 20095 33554432000 4194304 4196468 140729441893344 139902468480144 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6023] ppid=6016 vsize=14089320 memory=8326441112149131689 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6023/stat : 6023 (java) S 6016 6016 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229083983 14427463680 20095 33554432000 4194304 4196468 140729441893344 139902467427344 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6024] ppid=6016 vsize=14089320 memory=6944656592455360569 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6024/stat : 6024 (java) S 6016 6016 2709 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229083984 14427463680 20095 33554432000 4194304 4196468 140729441893344 139902348757104 139902874548866 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6025] ppid=6016 vsize=14089320 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6025/stat : 6025 (java) S 6016 6016 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229083985 14427463680 20095 33554432000 4194304 4196468 140729441893344 139902347703072 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6026] ppid=6016 vsize=14089320 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6026/stat : 6026 (java) S 6016 6016 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229083985 14427463680 20095 33554432000 4194304 4196468 140729441893344 139902346650736 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6027] ppid=6016 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6027/stat : 6027 (java) S 6016 6016 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229083987 14427463680 20095 33554432000 4194304 4196468 140729441893344 139902345599056 139902874556315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6028] ppid=6016 vsize=14089320 memory=62296 CPUtime=0.28 cores=0,2,4,6
/proc/6018/task/6028/stat : 6028 (java) R 6016 6016 2709 0 -1 4202560 2619 0 0 0 28 0 0 0 20 0 15 0 229083987 14427463680 20095 33554432000 4194304 4196468 140729441893344 139902344527944 139902858023733 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6029] ppid=6016 vsize=14089320 memory=1220 CPUtime=0.24 cores=0,2,4,6
/proc/6018/task/6029/stat : 6029 (java) R 6016 6016 2709 0 -1 4202560 1312 0 0 0 24 0 0 0 20 0 15 0 229083987 14427463680 20095 33554432000 4194304 4196468 140729441893344 139902343494424 139902859462817 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6030] ppid=6016 vsize=14089320 memory=2380 CPUtime=0.38 cores=0,2,4,6
/proc/6018/task/6030/stat : 6030 (java) S 6016 6016 2709 0 -1 1077944384 2072 0 0 0 38 0 0 0 20 0 15 0 229083987 14427463680 20095 33554432000 4194304 4196468 140729441893344 139902342441840 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6031] ppid=6016 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6031/stat : 6031 (java) S 6016 6016 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229083987 14427463680 20095 33554432000 4194304 4196468 140729441893344 139902341389280 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6032] ppid=6016 vsize=14089320 memory=7595156207412209490 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6032/stat : 6032 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083988 14427463680 20095 33554432000 4194304 4196468 140729441893344 139902340336048 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 81832 KiB
[startup+1.50079 s]
/proc/loadavg: 2.02 1.90 1.87 5/217 6032
/proc/meminfo: memFree=12996208/32770624 swapFree=67108792/67108860
[pid=6016] ppid=6013 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6016/stat : 6016 (xcsp3-exec) S 6013 6016 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229083981 115843072 363 33554432000 4194304 5098028 140726338895232 140726338893336 140595070964348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9146368 140726338901051 140726338901252 140726338901252 140726338904010 0
/proc/6016/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/6018/task/6025/stat : 6025 (java) S 6016 6016 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229083985 14427463680 25248 33554432000 4194304 4196468 140729441893344 139902347703072 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6026] ppid=6016 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6026/stat : 6026 (java) S 6016 6016 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229083985 14427463680 25248 33554432000 4194304 4196468 140729441893344 139902346650736 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6027] ppid=6016 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6027/stat : 6027 (java) S 6016 6016 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229083987 14427463680 25248 33554432000 4194304 4196468 140729441893344 139902345599056 139902874556315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6028] ppid=6016 vsize=14089320 memory=0 CPUtime=1.08 cores=0,2,4,6
/proc/6018/task/6028/stat : 6028 (java) R 6016 6016 2709 0 -1 4202560 8745 0 0 0 107 1 0 0 20 0 15 0 229083987 14427463680 25248 33554432000 4194304 4196468 140729441893344 139902344539416 139902858069257 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6029] ppid=6016 vsize=14089320 memory=0 CPUtime=1.03 cores=0,2,4,6
/proc/6018/task/6029/stat : 6029 (java) R 6016 6016 2709 0 -1 4202560 8117 0 0 0 103 0 0 0 20 0 15 0 229083987 14427463680 25248 33554432000 4194304 4196468 140729441893344 139902343479624 139902859457508 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6030] ppid=6016 vsize=14089320 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/6018/task/6030/stat : 6030 (java) S 6016 6016 2709 0 -1 1077944384 2842 0 0 0 45 0 0 0 20 0 15 0 229083987 14427463680 25248 33554432000 4194304 4196468 140729441893344 139902342441840 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6031] ppid=6016 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6031/stat : 6031 (java) S 6016 6016 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229083987 14427463680 25248 33554432000 4194304 4196468 140729441893344 139902341389280 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6032] ppid=6016 vsize=14089320 memory=33 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6032/stat : 6032 (java) S 6016 6016 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229083988 14427463680 25248 33554432000 4194304 4196468 140729441893344 139902340336048 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
Current children cumulated CPU time: 4.05 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 102444 KiB
[startup+3.11034 s]
/proc/loadavg: 2.02 1.90 1.87 5/217 6032
/proc/meminfo: memFree=12968144/32770624 swapFree=67108792/67108860
[pid=6016] ppid=6013 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6016/stat : 6016 (xcsp3-exec) S 6013 6016 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229083981 115843072 363 33554432000 4194304 5098028 140726338895232 140726338893336 140595070964348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9146368 140726338901051 140726338901252 140726338901252 140726338904010 0
/proc/6016/statm: 28282 363 305 221 0 87 0
[pid=6018] ppid=6016 vsize=14089320 memory=127560 CPUtime=8.9 cores=0,2,4,6
/proc/6018/stat : 6018 (java) S 6016 6016 2709 0 -1 1077944320 38740 0 0 0 882 8 0 0 20 0 15 0 229083982 14427463680 31890 33554432000 4194304 4196468 140729441893344 140729441875888 139902874537719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
/proc/6018/statm: 3522330 31890 3378 1 0 3483524 0
[pid=6018/tid=6019] ppid=6016 vsize=14089320 memory=127536 CPUtime=3.08 cores=0,2,4,6
/proc/6018/task/6019/stat : 6019 (java) R 6016 6016 2709 0 -1 4202560 8049 0 0 0 304 4 0 0 20 0 15 0 229083982 14427463680 31890 33554432000 4194304 4196468 140729441893344 139902878774728 139902473117800 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6020] ppid=6016 vsize=14089320 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6020/stat : 6020 (java) S 6016 6016 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229083983 14427463680 31890 33554432000 4194304 4196468 140729441893344 139902789606288 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6021] ppid=6016 vsize=14089320 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6021/stat : 6021 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083983 14427463680 31890 33554432000 4194304 4196468 140729441893344 139902469532432 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6022] ppid=6016 vsize=14089320 memory=112260 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6022/stat : 6022 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083983 14427463680 31890 33554432000 4194304 4196468 140729441893344 139902468480144 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6023] ppid=6016 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6023/stat : 6023 (java) S 6016 6016 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229083983 14427463680 31890 33554432000 4194304 4196468 140729441893344 139902467427344 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6024] ppid=6016 vsize=14089320 memory=280404590654944 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6024/stat : 6024 (java) S 6016 6016 2709 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 229083984 14427463680 31890 33554432000 4194304 4196468 140729441893344 139902348757104 139902874548866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6025] ppid=6016 vsize=14089320 memory=10803 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6025/stat : 6025 (java) S 6016 6016 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229083985 14427463680 31890 33554432000 4194304 4196468 140729441893344 139902347703072 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6026] ppid=6016 vsize=14089320 memory=25392 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6026/stat : 6026 (java) S 6016 6016 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229083985 14427463680 31890 33554432000 4194304 4196468 140729441893344 139902346650736 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6027] ppid=6016 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6027/stat : 6027 (java) S 6016 6016 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229083987 14427463680 31890 33554432000 4194304 4196468 140729441893344 139902345599056 139902874556315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6028] ppid=6016 vsize=14089320 memory=0 CPUtime=2.69 cores=0,2,4,6
/proc/6018/task/6028/stat : 6028 (java) R 6016 6016 2709 0 -1 4202560 15320 0 0 0 267 2 0 0 20 0 15 0 229083987 14427463680 31890 33554432000 4194304 4196468 140729441893344 139902344533152 139902859652933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6029] ppid=6016 vsize=14089320 memory=55 CPUtime=2.64 cores=0,2,4,6
/proc/6018/task/6029/stat : 6029 (java) R 6016 6016 2709 0 -1 4202560 10977 0 0 0 263 1 0 0 20 0 15 0 229083987 14427463680 31890 33554432000 4194304 4196468 140729441893344 139902343476544 139902858095146 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6030] ppid=6016 vsize=14089320 memory=6943526294502006880 CPUtime=0.46 cores=0,2,4,6
/proc/6018/task/6030/stat : 6030 (java) S 6016 6016 2709 0 -1 1077944384 3034 0 0 0 46 0 0 0 20 0 15 0 229083987 14427463680 31890 33554432000 4194304 4196468 140729441893344 139902342441840 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6031] ppid=6016 vsize=14089320 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6031/stat : 6031 (java) S 6016 6016 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229083987 14427463680 31890 33554432000 4194304 4196468 140729441893344 139902341389280 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6032] ppid=6016 vsize=14089320 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6032/stat : 6032 (java) S 6016 6016 2709 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 229083988 14427463680 31890 33554432000 4194304 4196468 140729441893344 139902340336048 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
Current children cumulated CPU time: 8.9 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 129012 KiB
[startup+4.03321 s]
# the end of solver process 6016 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.7306 s, system=0.102527 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20098 s]
/proc/loadavg: 2.02 1.90 1.87 5/217 6032
/proc/meminfo: memFree=12968144/32770624 swapFree=67108792/67108860
[pid=6016] ppid=6013 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6016/stat : 6016 (xcsp3-exec) S 6013 6016 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229083981 115843072 363 33554432000 4194304 5098028 140726338895232 140726338893336 140595070964348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9146368 140726338901051 140726338901252 140726338901252 140726338904010 0
/proc/6016/statm: 28282 363 305 221 0 87 0
[pid=6018] ppid=6016 vsize=14089320 memory=127660 CPUtime=9.17 cores=0,2,4,6
/proc/6018/stat : 6018 (java) S 6016 6016 2709 0 -1 1077944320 48111 0 0 0 909 8 0 0 20 0 15 0 229083982 14427463680 31915 33554432000 4194304 4196468 140729441893344 140729441875888 139902874537719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
/proc/6018/statm: 3522330 31915 3379 1 0 3483524 0
[pid=6018/tid=6019] ppid=6016 vsize=14089320 memory=6656426216303648864 CPUtime=3.17 cores=0,2,4,6
/proc/6018/task/6019/stat : 6019 (java) R 6016 6016 2709 0 -1 4202560 8249 0 0 0 313 4 0 0 20 0 15 0 229083982 14427463680 31915 33554432000 4194304 4196468 140729441893344 139902878776864 139902859923095 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6020] ppid=6016 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6020/stat : 6020 (java) S 6016 6016 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229083983 14427463680 31915 33554432000 4194304 4196468 140729441893344 139902789606288 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6021] ppid=6016 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6021/stat : 6021 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083983 14427463680 31953 33554432000 4194304 4196468 140729441893344 139902469532432 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6022] ppid=6016 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6022/stat : 6022 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083983 14427463680 31953 33554432000 4194304 4196468 140729441893344 139902468480144 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6023] ppid=6016 vsize=14089320 memory=5782692679075529345 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6023/stat : 6023 (java) S 6016 6016 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229083983 14427463680 31953 33554432000 4194304 4196468 140729441893344 139902467427344 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6024] ppid=6016 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6024/stat : 6024 (java) S 6016 6016 2709 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 229083984 14427463680 31953 33554432000 4194304 4196468 140729441893344 139902348757104 139902874548866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6025] ppid=6016 vsize=14089320 memory=297237773746962458 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6025/stat : 6025 (java) S 6016 6016 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229083985 14427463680 31953 33554432000 4194304 4196468 140729441893344 139902347703072 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6026] ppid=6016 vsize=14089320 memory=303993194746741051 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6026/stat : 6026 (java) S 6016 6016 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229083985 14427463680 31953 33554432000 4194304 4196468 140729441893344 139902346650736 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6027] ppid=6016 vsize=14089320 memory=14976667764394579 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6027/stat : 6027 (java) S 6016 6016 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229083987 14427463680 31953 33554432000 4194304 4196468 140729441893344 139902345599056 139902874556315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6028] ppid=6016 vsize=14089320 memory=7014751519734060899 CPUtime=2.78 cores=0,2,4,6
/proc/6018/task/6028/stat : 6028 (java) R 6016 6016 2709 0 -1 4202560 20027 0 0 0 276 2 0 0 20 0 15 0 229083987 14427463680 31953 33554432000 4194304 4196468 140729441893344 139902344533152 139902856082680 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6029] ppid=6016 vsize=14089320 memory=0 CPUtime=2.73 cores=0,2,4,6
/proc/6018/task/6029/stat : 6029 (java) R 6016 6016 2709 0 -1 4202560 15598 0 0 0 272 1 0 0 20 0 15 0 229083987 14427463680 31953 33554432000 4194304 4196468 140729441893344 139902343476544 139902852560643 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6030] ppid=6016 vsize=14089320 memory=0 CPUtime=0.46 cores=0,2,4,6
/proc/6018/task/6030/stat : 6030 (java) S 6016 6016 2709 0 -1 1077944384 3034 0 0 0 46 0 0 0 20 0 15 0 229083987 14427463680 31953 33554432000 4194304 4196468 140729441893344 139902342441840 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6031] ppid=6016 vsize=14089320 memory=140202295376432 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6031/stat : 6031 (java) S 6016 6016 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229083987 14427463680 31953 33554432000 4194304 4196468 140729441893344 139902341389280 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6032] ppid=6016 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6032/stat : 6032 (java) S 6016 6016 2709 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 229083988 14427463680 31953 33554432000 4194304 4196468 140729441893344 139902340336048 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
Current children cumulated CPU time: 9.17 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 129112 KiB
[startup+3.60076 s]
/proc/loadavg: 2.02 1.90 1.87 5/217 6032
/proc/meminfo: memFree=12968144/32770624 swapFree=67108792/67108860
[pid=6016] ppid=6013 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6016/stat : 6016 (xcsp3-exec) S 6013 6016 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229083981 115843072 363 33554432000 4194304 5098028 140726338895232 140726338893336 140595070964348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9146368 140726338901051 140726338901252 140726338901252 140726338904010 0
/proc/6016/statm: 28282 363 305 221 0 87 0
[pid=6018] ppid=6016 vsize=14089320 memory=128168 CPUtime=10.38 cores=0,2,4,6
/proc/6018/stat : 6018 (java) S 6016 6016 2709 0 -1 1077944320 51170 0 0 0 1029 9 0 0 20 0 15 0 229083982 14427463680 32042 33554432000 4194304 4196468 140729441893344 140729441875888 139902874537719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
/proc/6018/statm: 3522330 32042 3380 1 0 3483524 0
[pid=6018/tid=6019] ppid=6016 vsize=14089320 memory=0 CPUtime=3.57 cores=0,2,4,6
/proc/6018/task/6019/stat : 6019 (java) R 6016 6016 2709 0 -1 4202560 8336 0 0 0 353 4 0 0 20 0 15 0 229083982 14427463680 32042 33554432000 4194304 4196468 140729441893344 139902878776864 139902474743819 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6020] ppid=6016 vsize=14089320 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6020/stat : 6020 (java) S 6016 6016 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229083983 14427463680 32042 33554432000 4194304 4196468 140729441893344 139902789606288 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6021] ppid=6016 vsize=14089320 memory=-6800859132029471843 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6021/stat : 6021 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083983 14427463680 32042 33554432000 4194304 4196468 140729441893344 139902469532432 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6022] ppid=6016 vsize=14089320 memory=3686873879456487577 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6022/stat : 6022 (java) S 6016 6016 2709 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229083983 14427463680 32042 33554432000 4194304 4196468 140729441893344 139902468480144 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6023] ppid=6016 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6023/stat : 6023 (java) S 6016 6016 2709 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229083983 14427463680 32042 33554432000 4194304 4196468 140729441893344 139902467427344 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6024] ppid=6016 vsize=14089320 memory=3892 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6024/stat : 6024 (java) S 6016 6016 2709 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 229083984 14427463680 32042 33554432000 4194304 4196468 140729441893344 139902348757104 139902874548866 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6025] ppid=6016 vsize=14089320 memory=62296 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6025/stat : 6025 (java) S 6016 6016 2709 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229083985 14427463680 32042 33554432000 4194304 4196468 140729441893344 139902347703072 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6026] ppid=6016 vsize=14089320 memory=1220 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6026/stat : 6026 (java) S 6016 6016 2709 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229083985 14427463680 32042 33554432000 4194304 4196468 140729441893344 139902346650736 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6027] ppid=6016 vsize=14089320 memory=2380 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6027/stat : 6027 (java) S 6016 6016 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229083987 14427463680 32042 33554432000 4194304 4196468 140729441893344 139902345599056 139902874556315 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6028] ppid=6016 vsize=14089320 memory=1752 CPUtime=3.18 cores=0,2,4,6
/proc/6018/task/6028/stat : 6028 (java) R 6016 6016 2709 0 -1 4202560 21337 0 0 0 316 2 0 0 20 0 15 0 229083987 14427463680 32042 33554432000 4194304 4196468 140729441893344 139902344533152 139902854230834 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6029] ppid=6016 vsize=14089320 memory=1620 CPUtime=3.13 cores=0,2,4,6
/proc/6018/task/6029/stat : 6029 (java) R 6016 6016 2709 0 -1 4202560 17008 0 0 0 312 1 0 0 20 0 15 0 229083987 14427463680 32042 33554432000 4194304 4196468 140729441893344 139902343481568 139902856060668 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6030] ppid=6016 vsize=14089320 memory=4744 CPUtime=0.47 cores=0,2,4,6
/proc/6018/task/6030/stat : 6030 (java) S 6016 6016 2709 0 -1 1077944384 3114 0 0 0 47 0 0 0 20 0 15 0 229083987 14427463680 32042 33554432000 4194304 4196468 140729441893344 139902342441840 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6031] ppid=6016 vsize=14089320 memory=3888 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6031/stat : 6031 (java) S 6016 6016 2709 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229083987 14427463680 32042 33554432000 4194304 4196468 140729441893344 139902341389280 139902874547925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
[pid=6018/tid=6032] ppid=6016 vsize=14089320 memory=8564 CPUtime=0 cores=0,2,4,6
/proc/6018/task/6032/stat : 6032 (java) S 6016 6016 2709 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 229083988 14427463680 32042 33554432000 4194304 4196468 140729441893344 139902340336048 139902874548866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8208384 140729441899654 140729441899825 140729441899825 140729441902543 0
Current children cumulated CPU time: 10.38 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 129620 KiB
[startup+4.00026 s]*
/proc/loadavg: 2.18 1.94 1.89 2/204 6032
/proc/meminfo: memFree=13078764/32770624 swapFree=67108792/67108860
[pid=6016] ppid=6013 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6016/stat : 6016 (xcsp3-exec) S 6013 6016 2709 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229083981 115843072 363 33554432000 4194304 5098028 140726338895232 140726338893336 140595070964348 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9146368 140726338901051 140726338901252 140726338901252 140726338904010 0
/proc/6016/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 0
Real time (s): 4.03329
CPU time (s): 10.8331
CPU user time (s): 10.7306
CPU system time (s): 0.102527
CPU usage (%): 268.593
Max. virtual memory (cumulated for all children) (KiB): 14205548
Max. memory (cumulated for all children) (KiB): 129660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7306
system time used= 0.102527
maximum resident set size= 130920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52339
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2144
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 6016
# total CPU time (s): 10.8331
# total CPU user time (s): 10.7306
# total CPU system time (s): 0.102527
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046651 second user time and 0.088079 second system time
The end