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 (13013 MiB free)
  memory of node 1: 16384 MiB (12972 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283251-1503216298/watcher-4283251-1503216298 -o /tmp/evaluation-result-4283251-1503216298/solver-4283251-1503216298 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node113-1503215438-13001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 582261756 HOME/instance-4283251-1503216298.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=13020, runsolver pid=13017

[startup+0.10091 s]*
/proc/loadavg: 1.96 1.88 1.85 3/212 13056
/proc/meminfo: memFree=26575620/32770624 swapFree=67108860/67108860
[pid=13020] ppid=13017 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13020/stat : 13020 (xcsp3-exec) S 13017 13020 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154717293 9740288 346 33554432000 4194304 5098028 140724212091984 140724212090088 139839120159356 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35192832 140724212098159 140724212098363 140724212098363 140724212101099 0
/proc/13020/statm: 2378 346 289 221 0 87 0
[pid=13022] ppid=13020 vsize=13978596 memory=28128 CPUtime=0.12 cores=0,2,4,6
/proc/13022/stat : 13022 (java) S 13020 13020 8036 0 -1 1077944320 5320 0 0 0 11 1 0 0 20 0 15 0 154717294 14314082304 7032 33554432000 4194304 4196468 140720684784064 140720684766608 140250553282295 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
/proc/13022/statm: 3494649 7032 2902 1 0 3482966 0
[pid=13022/tid=13023] ppid=13020 vsize=13978596 memory=5852833034408854944 CPUtime=0.08 cores=0,2,4,6
/proc/13022/task/13023/stat : 13023 (java) R 13020 13020 8036 0 -1 4202560 3322 0 0 0 8 0 0 0 20 0 15 0 154717294 14314082304 7032 33554432000 4194304 4196468 140720684784064 140250557513984 140250160664480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13025] ppid=13020 vsize=13978596 memory=3472468755877721296 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13025/stat : 13025 (java) S 13020 13020 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154717295 14314082304 7032 33554432000 4194304 4196468 140720684784064 140250483370384 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13026] ppid=13020 vsize=13978596 memory=140626982569600 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13026/stat : 13026 (java) S 13020 13020 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154717295 14314082304 7032 33554432000 4194304 4196468 140720684784064 140250482317584 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13027] ppid=13020 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13027/stat : 13027 (java) S 13020 13020 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154717295 14314082304 7098 33554432000 4194304 4196468 140720684784064 140250481265296 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13028] ppid=13020 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13028/stat : 13028 (java) S 13020 13020 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154717295 14314082304 7098 33554432000 4194304 4196468 140720684784064 140250145536528 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13029] ppid=13020 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13029/stat : 13029 (java) S 13020 13020 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154717296 14314082304 7098 33554432000 4194304 4196468 140720684784064 140249465322096 140250553293442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13030] ppid=13020 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13030/stat : 13030 (java) S 13020 13020 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154717297 14314082304 7098 33554432000 4194304 4196468 140720684784064 140249464268064 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13031] ppid=13020 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13031/stat : 13031 (java) S 13020 13020 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154717297 14314082304 7098 33554432000 4194304 4196468 140720684784064 140249463215728 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13043] ppid=13020 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13043/stat : 13043 (java) S 13020 13020 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154717299 14314082304 7098 33554432000 4194304 4196468 140720684784064 140249462164048 140250553300891 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13044] ppid=13020 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13044/stat : 13044 (java) S 13020 13020 8036 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 154717299 14314082304 7098 33554432000 4194304 4196468 140720684784064 140249461110896 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13045] ppid=13020 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13045/stat : 13045 (java) S 13020 13020 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154717299 14314082304 7098 33554432000 4194304 4196468 140720684784064 140249460058096 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13046] ppid=13020 vsize=13978596 memory=140626982569600 CPUtime=0.01 cores=0,2,4,6
/proc/13022/task/13046/stat : 13046 (java) R 13020 13020 8036 0 -1 4202560 340 0 0 0 1 0 0 0 20 0 15 0 154717299 14314082304 7098 33554432000 4194304 4196468 140720684784064 140249459005808 140250532214542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13048] ppid=13020 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13048/stat : 13048 (java) S 13020 13020 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154717299 14314082304 7098 33554432000 4194304 4196468 140720684784064 140249457953248 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13049] ppid=13020 vsize=13978596 memory=140626982569600 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13049/stat : 13049 (java) S 13020 13020 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154717300 14314082304 7098 33554432000 4194304 4196468 140720684784064 140249456901040 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29512 KiB

[startup+0.21081 s]*
/proc/loadavg: 1.96 1.88 1.85 4/218 13062
/proc/meminfo: memFree=26548928/32770624 swapFree=67108860/67108860
[pid=13020] ppid=13017 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13020/stat : 13020 (xcsp3-exec) S 13017 13020 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154717293 9740288 346 33554432000 4194304 5098028 140724212091984 140724212090088 139839120159356 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35192832 140724212098159 140724212098363 140724212098363 140724212101099 0
/proc/13020/statm: 2378 346 289 221 0 87 0
[pid=13022] ppid=13020 vsize=13982852 memory=40592 CPUtime=0.34 cores=0,2,4,6
/proc/13022/stat : 13022 (java) S 13020 13020 8036 0 -1 1077944320 8168 0 0 0 32 2 0 0 20 0 15 0 154717294 14318440448 10148 33554432000 4194304 4196468 140720684784064 140720684766608 140250553282295 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
/proc/13022/statm: 3495713 10148 3075 1 0 3482966 0
[pid=13022/tid=13023] ppid=13020 vsize=13982852 memory=5854516365118769568 CPUtime=0.19 cores=0,2,4,6
/proc/13022/task/13023/stat : 13023 (java) D 13020 13020 8036 0 -1 1077944384 5293 0 0 0 18 1 0 0 20 0 15 0 154717294 14318440448 10148 33554432000 4194304 4196468 140720684784064 140250557493088 140250545961517 0 4 0 16800975 18446744072101629476 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13025] ppid=13020 vsize=13982852 memory=3472468755877721296 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13025/stat : 13025 (java) S 13020 13020 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154717295 14318440448 10148 33554432000 4194304 4196468 140720684784064 140250483370384 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13026] ppid=13020 vsize=13982852 memory=140626982569600 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13026/stat : 13026 (java) S 13020 13020 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154717295 14318440448 10148 33554432000 4194304 4196468 140720684784064 140250482317584 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13027] ppid=13020 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13027/stat : 13027 (java) S 13020 13020 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154717295 14318440448 10148 33554432000 4194304 4196468 140720684784064 140250481265296 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13028] ppid=13020 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13028/stat : 13028 (java) S 13020 13020 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154717295 14318440448 10148 33554432000 4194304 4196468 140720684784064 140250145536528 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13029] ppid=13020 vsize=13982884 memory=140626982569600 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13029/stat : 13029 (java) S 13020 13020 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154717296 14318473216 10148 33554432000 4194304 4196468 140720684784064 140249465322096 140250553293442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13030] ppid=13020 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13030/stat : 13030 (java) S 13020 13020 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154717297 14318473216 10148 33554432000 4194304 4196468 140720684784064 140249464268064 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13031] ppid=13020 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13031/stat : 13031 (java) S 13020 13020 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154717297 14318440448 10148 33554432000 4194304 4196468 140720684784064 140249463215728 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13043] ppid=13020 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13043/stat : 13043 (java) S 13020 13020 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154717299 14318440448 10148 33554432000 4194304 4196468 140720684784064 140249462164048 140250553300891 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13044] ppid=13020 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13022/task/13044/stat : 13044 (java) S 13020 13020 8036 0 -1 1077944384 670 0 0 0 2 0 0 0 20 0 15 0 154717299 14318440448 10148 33554432000 4194304 4196468 140720684784064 140249461110896 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13045] ppid=13020 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/13022/task/13045/stat : 13045 (java) S 13020 13020 8036 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 15 0 154717299 14318440448 10148 33554432000 4194304 4196468 140720684784064 140249460058096 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13046] ppid=13020 vsize=13982852 memory=140626982569600 CPUtime=0.08 cores=0,2,4,6
/proc/13022/task/13046/stat : 13046 (java) S 13020 13020 8036 0 -1 1077944384 770 0 0 0 8 0 0 0 20 0 15 0 154717299 14318440448 10148 33554432000 4194304 4196468 140720684784064 140249459005808 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13048] ppid=13020 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13048/stat : 13048 (java) S 13020 13020 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154717299 14318440448 10148 33554432000 4194304 4196468 140720684784064 140249457953248 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13049] ppid=13020 vsize=13982852 memory=140626982569600 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13049/stat : 13049 (java) S 13020 13020 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154717300 14318440448 10148 33554432000 4194304 4196468 140720684784064 140249456901040 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41976 KiB

[startup+0.31802 s]*
/proc/loadavg: 1.96 1.88 1.85 4/218 13062
/proc/meminfo: memFree=26536024/32770624 swapFree=67108860/67108860
[pid=13020] ppid=13017 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13020/stat : 13020 (xcsp3-exec) S 13017 13020 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154717293 9740288 346 33554432000 4194304 5098028 140724212091984 140724212090088 139839120159356 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35192832 140724212098159 140724212098363 140724212098363 140724212101099 0
/proc/13020/statm: 2378 346 289 221 0 87 0
[pid=13022] ppid=13020 vsize=13982852 memory=48252 CPUtime=0.54 cores=0,2,4,6
/proc/13022/stat : 13022 (java) S 13020 13020 8036 0 -1 1077944320 9273 0 0 0 51 3 0 0 20 0 15 0 154717294 14318440448 12063 33554432000 4194304 4196468 140720684784064 140720684766608 140250553282295 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
/proc/13022/statm: 3495713 12063 3117 1 0 3482966 0
[pid=13022/tid=13023] ppid=13020 vsize=13982852 memory=7680777497619635099 CPUtime=0.3 cores=0,2,4,6
/proc/13022/task/13023/stat : 13023 (java) R 13020 13020 8036 0 -1 4202560 5928 0 0 0 28 2 0 0 20 0 15 0 154717294 14318440448 12063 33554432000 4194304 4196468 140720684784064 140250557508192 140250537362782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13025] ppid=13020 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13025/stat : 13025 (java) S 13020 13020 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154717295 14318440448 12063 33554432000 4194304 4196468 140720684784064 140250483370384 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13026] ppid=13020 vsize=13982852 memory=140626825979935 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13026/stat : 13026 (java) S 13020 13020 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154717295 14318440448 12063 33554432000 4194304 4196468 140720684784064 140250482317584 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13027] ppid=13020 vsize=13982852 memory=281253651925280 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13027/stat : 13027 (java) S 13020 13020 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154717295 14318440448 12063 33554432000 4194304 4196468 140720684784064 140250481265296 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13028] ppid=13020 vsize=13982852 memory=140626825943055 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13028/stat : 13028 (java) S 13020 13020 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154717295 14318440448 12063 33554432000 4194304 4196468 140720684784064 140250145536528 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13029] ppid=13020 vsize=13982852 memory=281253808519552 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13029/stat : 13029 (java) S 13020 13020 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154717296 14318440448 12063 33554432000 4194304 4196468 140720684784064 140249465322096 140250553293442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13030] ppid=13020 vsize=13982852 memory=140626825947663 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13030/stat : 13030 (java) S 13020 13020 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154717297 14318440448 12063 33554432000 4194304 4196468 140720684784064 140249464268064 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13031] ppid=13020 vsize=13982852 memory=140626825958030 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13031/stat : 13031 (java) S 13020 13020 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154717297 14318440448 12063 33554432000 4194304 4196468 140720684784064 140249463215728 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13043] ppid=13020 vsize=13982852 memory=140626825960335 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13043/stat : 13043 (java) S 13020 13020 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154717299 14318440448 12063 33554432000 4194304 4196468 140720684784064 140249462164048 140250553300891 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13044] ppid=13020 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/13022/task/13044/stat : 13044 (java) R 13020 13020 8036 0 -1 4202560 720 0 0 0 4 0 0 0 20 0 15 0 154717299 14318440448 12063 33554432000 4194304 4196468 140720684784064 140249461110896 140250534461224 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13045] ppid=13020 vsize=13982852 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/13022/task/13045/stat : 13045 (java) R 13020 13020 8036 0 -1 1077944384 366 0 0 0 4 0 0 0 20 0 15 0 154717299 14318440448 12063 33554432000 4194304 4196468 140720684784064 140249460058096 140250553293442 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13046] ppid=13020 vsize=13982852 memory=140626982569600 CPUtime=0.13 cores=0,2,4,6
/proc/13022/task/13046/stat : 13046 (java) R 13020 13020 8036 0 -1 4202560 956 0 0 0 13 0 0 0 20 0 15 0 154717299 14318440448 12063 33554432000 4194304 4196468 140720684784064 140249459005808 140250553294230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13048] ppid=13020 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13048/stat : 13048 (java) S 13020 13020 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154717299 14318440448 12063 33554432000 4194304 4196468 140720684784064 140249457953248 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13049] ppid=13020 vsize=13982852 memory=140626982570984 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13049/stat : 13049 (java) S 13020 13020 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154717300 14318440448 12063 33554432000 4194304 4196468 140720684784064 140249456901040 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49636 KiB

[startup+0.700804 s]
/proc/loadavg: 1.96 1.88 1.85 8/218 13062
/proc/meminfo: memFree=26481704/32770624 swapFree=67108860/67108860
[pid=13020] ppid=13017 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13020/stat : 13020 (xcsp3-exec) S 13017 13020 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154717293 9740288 346 33554432000 4194304 5098028 140724212091984 140724212090088 139839120159356 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35192832 140724212098159 140724212098363 140724212098363 140724212101099 0
/proc/13020/statm: 2378 346 289 221 0 87 0
[pid=13022] ppid=13020 vsize=13984976 memory=93816 CPUtime=1.74 cores=0,2,4,6
/proc/13022/stat : 13022 (java) S 13020 13020 8036 0 -1 1077944320 15031 0 0 0 170 4 0 0 20 0 15 0 154717294 14320615424 23454 33554432000 4194304 4196468 140720684784064 140720684766608 140250553282295 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
/proc/13022/statm: 3496244 23454 3205 1 0 3483478 0
[pid=13022/tid=13023] ppid=13020 vsize=13984976 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/13022/task/13023/stat : 13023 (java) R 13020 13020 8036 0 -1 4202560 6632 0 0 0 64 2 0 0 20 0 15 0 154717294 14320615424 23454 33554432000 4194304 4196468 140720684784064 140250557519312 140250160712717 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13025] ppid=13020 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13025/stat : 13025 (java) S 13020 13020 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154717295 14320615424 23454 33554432000 4194304 4196468 140720684784064 140250483370384 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13026] ppid=13020 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13026/stat : 13026 (java) S 13020 13020 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154717295 14320615424 23454 33554432000 4194304 4196468 140720684784064 140250482317584 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13027] ppid=13020 vsize=13984976 memory=1 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13027/stat : 13027 (java) S 13020 13020 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154717295 14320615424 23454 33554432000 4194304 4196468 140720684784064 140250481265296 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13028] ppid=13020 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13028/stat : 13028 (java) S 13020 13020 8036 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154717295 14320615424 23454 33554432000 4194304 4196468 140720684784064 140250145536528 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13029] ppid=13020 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13029/stat : 13029 (java) S 13020 13020 8036 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154717296 14320615424 23454 33554432000 4194304 4196468 140720684784064 140249465322096 140250553293442 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13030] ppid=13020 vsize=13984976 memory=18 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13030/stat : 13030 (java) S 13020 13020 8036 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154717297 14320615424 23454 33554432000 4194304 4196468 140720684784064 140249464268064 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13031] ppid=13020 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13031/stat : 13031 (java) S 13020 13020 8036 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154717297 14320615424 23454 33554432000 4194304 4196468 140720684784064 140249463215728 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13043] ppid=13020 vsize=13984976 memory=7526486018442737720 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13043/stat : 13043 (java) S 13020 13020 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154717299 14320615424 23454 33554432000 4194304 4196468 140720684784064 140249462164048 140250553300891 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13044] ppid=13020 vsize=13984976 memory=5787520706771309926 CPUtime=0.36 cores=0,2,4,6
/proc/13022/task/13044/stat : 13044 (java) R 13020 13020 8036 0 -1 4202560 2603 0 0 0 36 0 0 0 20 0 15 0 154717299 14320615424 23454 33554432000 4194304 4196468 140720684784064 140249461096360 140250534655814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13045] ppid=13020 vsize=13984976 memory=6011581402601046114 CPUtime=0.34 cores=0,2,4,6
/proc/13022/task/13045/stat : 13045 (java) R 13020 13020 8036 0 -1 4202560 2299 0 0 0 34 0 0 0 20 0 15 0 154717299 14320615424 23454 33554432000 4194304 4196468 140720684784064 140249460050048 140250545571744 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13046] ppid=13020 vsize=13984976 memory=2867664571609120 CPUtime=0.34 cores=0,2,4,6
/proc/13022/task/13046/stat : 13046 (java) S 13020 13020 8036 0 -1 1077944384 2205 0 0 0 34 0 0 0 20 0 15 0 154717299 14320615424 23454 33554432000 4194304 4196468 140720684784064 140249459005808 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13048] ppid=13020 vsize=13984976 memory=2448 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13048/stat : 13048 (java) S 13020 13020 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154717299 14320615424 23454 33554432000 4194304 4196468 140720684784064 140249457953248 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13049] ppid=13020 vsize=13984976 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13049/stat : 13049 (java) S 13020 13020 8036 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154717300 14320615424 23454 33554432000 4194304 4196468 140720684784064 140249456901040 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 95200 KiB

[startup+1.50081 s]
/proc/loadavg: 1.96 1.88 1.85 8/218 13062
/proc/meminfo: memFree=26307288/32770624 swapFree=67108860/67108860
[pid=13020] ppid=13017 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13020/stat : 13020 (xcsp3-exec) S 13017 13020 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154717293 9740288 346 33554432000 4194304 5098028 140724212091984 140724212090088 139839120159356 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35192832 140724212098159 140724212098363 140724212098363 140724212101099 0
/proc/13020/statm: 2378 346 289 221 0 87 0

################
# More data... #
################

/proc/13022/task/13031/stat : 13031 (java) S 13020 13020 8036 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154717297 14320615424 316480 33554432000 4194304 4196468 140720684784064 140249463215744 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13043] ppid=13020 vsize=13984976 memory=164 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13043/stat : 13043 (java) S 13020 13020 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154717299 14320615424 316480 33554432000 4194304 4196468 140720684784064 140249462164048 140250553300891 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13044] ppid=13020 vsize=13984976 memory=3547483262724565353 CPUtime=6.26 cores=0,2,4,6
/proc/13022/task/13044/stat : 13044 (java) S 13020 13020 8036 0 -1 1077944384 39637 0 0 0 622 4 0 0 20 0 15 0 154717299 14320615424 316480 33554432000 4194304 4196468 140720684784064 140249461110896 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13045] ppid=13020 vsize=13984976 memory=1276692 CPUtime=5.78 cores=0,2,4,6
/proc/13022/task/13045/stat : 13045 (java) S 13020 13020 8036 0 -1 1077944384 39818 0 0 0 574 4 0 0 20 0 15 0 154717299 14320615424 316480 33554432000 4194304 4196468 140720684784064 140249460058096 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13046] ppid=13020 vsize=13984976 memory=1384 CPUtime=0.81 cores=0,2,4,6
/proc/13022/task/13046/stat : 13046 (java) S 13020 13020 8036 0 -1 1077944384 12288 0 0 0 79 2 0 0 20 0 15 0 154717299 14320615424 316480 33554432000 4194304 4196468 140720684784064 140249459005808 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 25 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13048] ppid=13020 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13048/stat : 13048 (java) S 13020 13020 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154717299 14320615424 316480 33554432000 4194304 4196468 140720684784064 140249457953248 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13049] ppid=13020 vsize=13984976 memory=1265920 CPUtime=1.35 cores=0,2,4,6
/proc/13022/task/13049/stat : 13049 (java) S 13020 13020 8036 0 -1 1077944384 1261 0 0 0 69 66 0 0 20 0 15 0 154717300 14320615424 316480 33554432000 4194304 4196468 140720684784064 140249456901040 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
Current children cumulated CPU time: 2448.72 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1267304 KiB

[startup+2442.3 s]
/proc/loadavg: 1.92 1.86 1.88 3/218 13163
/proc/meminfo: memFree=24881440/32770624 swapFree=67108860/67108860
[pid=13020] ppid=13017 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13020/stat : 13020 (xcsp3-exec) S 13017 13020 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154717293 9740288 346 33554432000 4194304 5098028 140724212091984 140724212090088 139839120159356 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35192832 140724212098159 140724212098363 140724212098363 140724212101099 0
/proc/13020/statm: 2378 346 289 221 0 87 0
[pid=13022] ppid=13020 vsize=13984976 memory=1326160 CPUtime=2511.49 cores=0,2,4,6
/proc/13022/stat : 13022 (java) S 13020 13020 8036 0 -1 1077944320 313917 0 0 0 250626 523 0 0 20 0 15 0 154717294 14320615424 331540 33554432000 4194304 4196468 140720684784064 140720684766608 140250553282295 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
/proc/13022/statm: 3496244 331540 3278 1 0 3483478 0
[pid=13022/tid=13023] ppid=13020 vsize=13984976 memory=1326160 CPUtime=2422.58 cores=0,2,4,6
/proc/13022/task/13023/stat : 13023 (java) R 13020 13020 8036 0 -1 4202560 107499 0 0 0 242213 45 0 0 20 0 15 0 154717294 14320615424 331540 33554432000 4194304 4196468 140720684784064 140250557521552 140250166637727 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13025] ppid=13020 vsize=13984976 memory=1384 CPUtime=18.46 cores=0,2,4,6
/proc/13022/task/13025/stat : 13025 (java) S 13020 13020 8036 0 -1 1077944384 18490 0 0 0 1745 101 0 0 20 0 15 0 154717295 14320615424 331540 33554432000 4194304 4196468 140720684784064 140250483370384 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13026] ppid=13020 vsize=13984976 memory=1273812 CPUtime=18.44 cores=0,2,4,6
/proc/13022/task/13026/stat : 13026 (java) S 13020 13020 8036 0 -1 1077944384 19965 0 0 0 1744 100 0 0 20 0 15 0 154717295 14320615424 331540 33554432000 4194304 4196468 140720684784064 140250482317584 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13027] ppid=13020 vsize=13984976 memory=1384 CPUtime=18.6 cores=0,2,4,6
/proc/13022/task/13027/stat : 13027 (java) S 13020 13020 8036 0 -1 1077944384 22042 0 0 0 1757 103 0 0 20 0 15 0 154717295 14320615424 331540 33554432000 4194304 4196468 140720684784064 140250481265296 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13028] ppid=13020 vsize=13984976 memory=1384 CPUtime=18.48 cores=0,2,4,6
/proc/13022/task/13028/stat : 13028 (java) S 13020 13020 8036 0 -1 1077944384 19779 0 0 0 1747 101 0 0 20 0 15 0 154717295 14320615424 331540 33554432000 4194304 4196468 140720684784064 140250145536528 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13029] ppid=13020 vsize=13984976 memory=1384 CPUtime=0.6 cores=0,2,4,6
/proc/13022/task/13029/stat : 13029 (java) S 13020 13020 8036 0 -1 1077944384 31756 0 0 0 51 9 0 0 20 0 15 0 154717296 14320615424 331540 33554432000 4194304 4196468 140720684784064 140249465322096 140250553293442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13030] ppid=13020 vsize=13984976 memory=1257412 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13030/stat : 13030 (java) S 13020 13020 8036 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154717297 14320615424 331540 33554432000 4194304 4196468 140720684784064 140249464268128 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13031] ppid=13020 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13031/stat : 13031 (java) S 13020 13020 8036 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154717297 14320615424 331540 33554432000 4194304 4196468 140720684784064 140249463215744 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13043] ppid=13020 vsize=13984976 memory=1312724 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13043/stat : 13043 (java) S 13020 13020 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154717299 14320615424 331540 33554432000 4194304 4196468 140720684784064 140249462164048 140250553300891 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13044] ppid=13020 vsize=13984976 memory=1384 CPUtime=6.26 cores=0,2,4,6
/proc/13022/task/13044/stat : 13044 (java) S 13020 13020 8036 0 -1 1077944384 39639 0 0 0 622 4 0 0 20 0 15 0 154717299 14320615424 331540 33554432000 4194304 4196468 140720684784064 140249461110896 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13045] ppid=13020 vsize=13984976 memory=1384 CPUtime=5.78 cores=0,2,4,6
/proc/13022/task/13045/stat : 13045 (java) S 13020 13020 8036 0 -1 1077944384 39821 0 0 0 574 4 0 0 20 0 15 0 154717299 14320615424 331540 33554432000 4194304 4196468 140720684784064 140249460058096 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13046] ppid=13020 vsize=13984976 memory=1326160 CPUtime=0.81 cores=0,2,4,6
/proc/13022/task/13046/stat : 13046 (java) S 13020 13020 8036 0 -1 1077944384 12290 0 0 0 79 2 0 0 20 0 15 0 154717299 14320615424 331540 33554432000 4194304 4196468 140720684784064 140249459005808 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13048] ppid=13020 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13048/stat : 13048 (java) S 13020 13020 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154717299 14320615424 331540 33554432000 4194304 4196468 140720684784064 140249457953248 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13049] ppid=13020 vsize=13984976 memory=1312724 CPUtime=1.38 cores=0,2,4,6
/proc/13022/task/13049/stat : 13049 (java) S 13020 13020 8036 0 -1 1077944384 1290 0 0 0 70 68 0 0 20 0 15 0 154717300 14320615424 331540 33554432000 4194304 4196468 140720684784064 140249456901040 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
Current children cumulated CPU time: 2511.49 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1327544 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2450.7 s]
/proc/loadavg: 1.93 1.86 1.88 3/218 13163
/proc/meminfo: memFree=24877640/32770624 swapFree=67108860/67108860
[pid=13020] ppid=13017 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13020/stat : 13020 (xcsp3-exec) S 13017 13020 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154717293 9740288 346 33554432000 4194304 5098028 140724212091984 140724212090088 139839120159356 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35192832 140724212098159 140724212098363 140724212098363 140724212101099 0
/proc/13020/statm: 2378 346 289 221 0 87 0
[pid=13022] ppid=13020 vsize=13984976 memory=1329720 CPUtime=2520.03 cores=0,2,4,6
/proc/13022/stat : 13022 (java) S 13020 13020 8036 0 -1 1077944320 314501 0 0 0 251478 525 0 0 20 0 15 0 154717294 14320615424 332430 33554432000 4194304 4196468 140720684784064 140720684766608 140250553282295 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
/proc/13022/statm: 3496244 332430 3278 1 0 3483478 0
[pid=13022/tid=13023] ppid=13020 vsize=13984976 memory=1326160 CPUtime=2430.93 cores=0,2,4,6
/proc/13022/task/13023/stat : 13023 (java) R 13020 13020 8036 0 -1 4202560 107800 0 0 0 243048 45 0 0 20 0 15 0 154717294 14320615424 332430 33554432000 4194304 4196468 140720684784064 140250557521968 140250167354284 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13025] ppid=13020 vsize=13984976 memory=1329720 CPUtime=18.5 cores=0,2,4,6
/proc/13022/task/13025/stat : 13025 (java) S 13020 13020 8036 0 -1 1077944384 18579 0 0 0 1749 101 0 0 20 0 15 0 154717295 14320615424 332430 33554432000 4194304 4196468 140720684784064 140250483370384 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13026] ppid=13020 vsize=13984976 memory=1329720 CPUtime=18.49 cores=0,2,4,6
/proc/13022/task/13026/stat : 13026 (java) S 13020 13020 8036 0 -1 1077944384 20005 0 0 0 1748 101 0 0 20 0 15 0 154717295 14320615424 332430 33554432000 4194304 4196468 140720684784064 140250482317584 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13027] ppid=13020 vsize=13984976 memory=1329720 CPUtime=18.63 cores=0,2,4,6
/proc/13022/task/13027/stat : 13027 (java) S 13020 13020 8036 0 -1 1077944384 22120 0 0 0 1760 103 0 0 20 0 15 0 154717295 14320615424 332430 33554432000 4194304 4196468 140720684784064 140250481265296 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13028] ppid=13020 vsize=13984976 memory=1384 CPUtime=18.53 cores=0,2,4,6
/proc/13022/task/13028/stat : 13028 (java) S 13020 13020 8036 0 -1 1077944384 19851 0 0 0 1751 102 0 0 20 0 15 0 154717295 14320615424 332430 33554432000 4194304 4196468 140720684784064 140250145536528 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13029] ppid=13020 vsize=13984976 memory=1273812 CPUtime=0.6 cores=0,2,4,6
/proc/13022/task/13029/stat : 13029 (java) S 13020 13020 8036 0 -1 1077944384 31758 0 0 0 51 9 0 0 20 0 15 0 154717296 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249465322096 140250553293442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13030] ppid=13020 vsize=13984976 memory=2448 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13030/stat : 13030 (java) S 13020 13020 8036 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154717297 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249464268128 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13031] ppid=13020 vsize=13984976 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13031/stat : 13031 (java) S 13020 13020 8036 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154717297 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249463215744 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13043] ppid=13020 vsize=13984976 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13043/stat : 13043 (java) S 13020 13020 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154717299 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249462164048 140250553300891 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13044] ppid=13020 vsize=13984976 memory=1384 CPUtime=6.26 cores=0,2,4,6
/proc/13022/task/13044/stat : 13044 (java) S 13020 13020 8036 0 -1 1077944384 39639 0 0 0 622 4 0 0 20 0 15 0 154717299 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249461110896 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13045] ppid=13020 vsize=13984976 memory=1398720917958146503 CPUtime=5.78 cores=0,2,4,6
/proc/13022/task/13045/stat : 13045 (java) S 13020 13020 8036 0 -1 1077944384 39821 0 0 0 574 4 0 0 20 0 15 0 154717299 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249460058096 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13046] ppid=13020 vsize=13984976 memory=-7003737579269690708 CPUtime=0.81 cores=0,2,4,6
/proc/13022/task/13046/stat : 13046 (java) S 13020 13020 8036 0 -1 1077944384 12290 0 0 0 79 2 0 0 20 0 15 0 154717299 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249459005808 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13048] ppid=13020 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13048/stat : 13048 (java) S 13020 13020 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154717299 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249457953248 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13049] ppid=13020 vsize=13984976 memory=1384 CPUtime=1.38 cores=0,2,4,6
/proc/13022/task/13049/stat : 13049 (java) S 13020 13020 8036 0 -1 1077944384 1292 0 0 0 70 68 0 0 20 0 15 0 154717300 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249456901040 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1331104 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2450.71 s]
# the end of solver process 13020 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001019 s, system=0.001019 s

[startup+2450.72 s]
# the end of solver process 13022 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2514.79 s, system=5.26241 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

[startup+2450.7 s]
/proc/loadavg: 1.93 1.86 1.88 3/218 13163
/proc/meminfo: memFree=24877640/32770624 swapFree=67108860/67108860
[pid=13020] ppid=13017 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/13020/stat : 13020 (xcsp3-exec) S 13017 13020 8036 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154717293 9740288 346 33554432000 4194304 5098028 140724212091984 140724212090088 139839120159356 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 35192832 140724212098159 140724212098363 140724212098363 140724212101099 0
/proc/13020/statm: 2378 346 289 221 0 87 0
[pid=13022] ppid=13020 vsize=13984976 memory=1329720 CPUtime=2520.03 cores=0,2,4,6
/proc/13022/stat : 13022 (java) S 13020 13020 8036 0 -1 1077944320 314501 0 0 0 251478 525 0 0 20 0 15 0 154717294 14320615424 332430 33554432000 4194304 4196468 140720684784064 140720684766608 140250553282295 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
/proc/13022/statm: 3496244 332430 3278 1 0 3483478 0
[pid=13022/tid=13023] ppid=13020 vsize=13984976 memory=1326160 CPUtime=2430.93 cores=0,2,4,6
/proc/13022/task/13023/stat : 13023 (java) R 13020 13020 8036 0 -1 4202560 107800 0 0 0 243048 45 0 0 20 0 15 0 154717294 14320615424 332430 33554432000 4194304 4196468 140720684784064 140250557521968 140250167354284 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13025] ppid=13020 vsize=13984976 memory=1329720 CPUtime=18.5 cores=0,2,4,6
/proc/13022/task/13025/stat : 13025 (java) S 13020 13020 8036 0 -1 1077944384 18579 0 0 0 1749 101 0 0 20 0 15 0 154717295 14320615424 332430 33554432000 4194304 4196468 140720684784064 140250483370384 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13026] ppid=13020 vsize=13984976 memory=1329720 CPUtime=18.49 cores=0,2,4,6
/proc/13022/task/13026/stat : 13026 (java) S 13020 13020 8036 0 -1 1077944384 20005 0 0 0 1748 101 0 0 20 0 15 0 154717295 14320615424 332430 33554432000 4194304 4196468 140720684784064 140250482317584 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13027] ppid=13020 vsize=13984976 memory=1329720 CPUtime=18.63 cores=0,2,4,6
/proc/13022/task/13027/stat : 13027 (java) S 13020 13020 8036 0 -1 1077944384 22120 0 0 0 1760 103 0 0 20 0 15 0 154717295 14320615424 332430 33554432000 4194304 4196468 140720684784064 140250481265296 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13028] ppid=13020 vsize=13984976 memory=1384 CPUtime=18.53 cores=0,2,4,6
/proc/13022/task/13028/stat : 13028 (java) S 13020 13020 8036 0 -1 1077944384 19851 0 0 0 1751 102 0 0 20 0 15 0 154717295 14320615424 332430 33554432000 4194304 4196468 140720684784064 140250145536528 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13029] ppid=13020 vsize=13984976 memory=1273812 CPUtime=0.6 cores=0,2,4,6
/proc/13022/task/13029/stat : 13029 (java) S 13020 13020 8036 0 -1 1077944384 31758 0 0 0 51 9 0 0 20 0 15 0 154717296 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249465322096 140250553293442 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13030] ppid=13020 vsize=13984976 memory=2448 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13030/stat : 13030 (java) S 13020 13020 8036 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154717297 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249464268128 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13031] ppid=13020 vsize=13984976 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13031/stat : 13031 (java) S 13020 13020 8036 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 154717297 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249463215744 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13043] ppid=13020 vsize=13984976 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13043/stat : 13043 (java) S 13020 13020 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154717299 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249462164048 140250553300891 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13044] ppid=13020 vsize=13984976 memory=1384 CPUtime=6.26 cores=0,2,4,6
/proc/13022/task/13044/stat : 13044 (java) S 13020 13020 8036 0 -1 1077944384 39639 0 0 0 622 4 0 0 20 0 15 0 154717299 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249461110896 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13045] ppid=13020 vsize=13984976 memory=1398720917958146503 CPUtime=5.78 cores=0,2,4,6
/proc/13022/task/13045/stat : 13045 (java) S 13020 13020 8036 0 -1 1077944384 39821 0 0 0 574 4 0 0 20 0 15 0 154717299 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249460058096 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13046] ppid=13020 vsize=13984976 memory=-7003737579269690708 CPUtime=0.81 cores=0,2,4,6
/proc/13022/task/13046/stat : 13046 (java) S 13020 13020 8036 0 -1 1077944384 12290 0 0 0 79 2 0 0 20 0 15 0 154717299 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249459005808 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 25 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13048] ppid=13020 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/13022/task/13048/stat : 13048 (java) S 13020 13020 8036 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154717299 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249457953248 140250553292501 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
[pid=13022/tid=13049] ppid=13020 vsize=13984976 memory=1384 CPUtime=1.38 cores=0,2,4,6
/proc/13022/task/13049/stat : 13049 (java) S 13020 13020 8036 0 -1 1077944384 1292 0 0 0 70 68 0 0 20 0 15 0 154717300 14320615424 332430 33554432000 4194304 4196468 140720684784064 140249456901040 140250553293442 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 26 0 0 6293624 6294260 28766208 140720684790935 140720684791111 140720684791111 140720684793807 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1331104 KiB

Child status: 143
Real time (s): 2450.72
CPU time (s): 2520.06
CPU user time (s): 2514.79
CPU system time (s): 5.26241
CPU usage (%): 102.829
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 3351756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.79
system time used= 5.26241
maximum resident set size= 3350372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 315270
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60237
involuntary context switches= 4686


# summary of solver processes directly reported to runsolver:
#   pid: 13020,13022
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2514.79
#   total CPU system time (s): 5.26241

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5476 second user time and 24.4756 second system time

The end