runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4253989-1501613603/watcher-4253989-1501613603 -o /tmp/evaluation-result-4253989-1501613603/solver-4253989-1501613603 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501610528-5289 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 796240225 HOME/instance-4253989-1501613603.xml
pid=7018
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.99 1.77 2/198 7021
/proc/meminfo: memFree=31871208/32770624 swapFree=0/181228
[pid=7021] ppid=7018 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/7021/stat : 7021 (runsolver) D 7018 7021 5228 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9175621 24240128 107 18446744073709551615 4194304 4338465 140729001280368 140729001278008 139831196349143 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 18976768 140729001283678 140729001284166 140729001284166 140729001287626 0
/proc/7021/statm: 5918 107 54 36 0 2156 0
[startup+0.100162 s]
/proc/loadavg: 2.00 1.99 1.77 2/198 7021
/proc/meminfo: memFree=31871208/32770624 swapFree=0/181228
[pid=7021] ppid=7018 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7021/stat : 7021 (xcsp3-exec) S 7018 7021 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9175621 9740288 345 18446744073709551615 4194304 5098028 140727412479520 140727412477624 140405251695228 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21979136 140727412482460 140727412482663 140727412482663 140727412486123 0
/proc/7021/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200224 s]
/proc/loadavg: 2.00 1.99 1.77 2/198 7021
/proc/meminfo: memFree=31871208/32770624 swapFree=0/181228
[pid=7021] ppid=7018 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7021/stat : 7021 (xcsp3-exec) S 7018 7021 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9175621 9740288 345 18446744073709551615 4194304 5098028 140727412479520 140727412477624 140405251695228 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21979136 140727412482460 140727412482663 140727412482663 140727412486123 0
/proc/7021/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300307 s]
/proc/loadavg: 2.00 1.99 1.77 2/198 7021
/proc/meminfo: memFree=31871208/32770624 swapFree=0/181228
[pid=7021] ppid=7018 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7021/stat : 7021 (xcsp3-exec) S 7018 7021 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9175621 9740288 345 18446744073709551615 4194304 5098028 140727412479520 140727412477624 140405251695228 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21979136 140727412482460 140727412482663 140727412482663 140727412486123 0
/proc/7021/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700907 s]
/proc/loadavg: 2.00 1.99 1.77 2/198 7021
/proc/meminfo: memFree=31871208/32770624 swapFree=0/181228
[pid=7021] ppid=7018 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7021/stat : 7021 (xcsp3-exec) S 7018 7021 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9175621 9740288 345 18446744073709551615 4194304 5098028 140727412479520 140727412477624 140405251695228 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21979136 140727412482460 140727412482663 140727412482663 140727412486123 0
/proc/7021/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5007 s]
/proc/loadavg: 2.00 1.99 1.77 5/214 7037
/proc/meminfo: memFree=31711512/32770624 swapFree=0/181244
[pid=7021] ppid=7018 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7021/stat : 7021 (xcsp3-exec) S 7018 7021 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9175621 9740288 345 18446744073709551615 4194304 5098028 140727412479520 140727412477624 140405251695228 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21979136 140727412482460 140727412482663 140727412482663 140727412486123 0
/proc/7021/statm: 2378 345 289 221 0 87 0
[pid=7023] ppid=7021 vsize=13980732 CPUtime=3.91 cores=1,3,5,7
/proc/7023/stat : 7023 (java) S 7021 7021 5228 0 -1 1077944320 23077 0 0 0 383 8 0 0 20 0 15 0 9175628 14316269568 46983 18446744073709551615 4194304 4196468 140720611950816 140720611933360 140185105297143 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
/proc/7023/statm: 3495183 46983 3182 1 0 3483484 0
[pid=7023/tid=7024] ppid=7021 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/7023/task/7024/stat : 7024 (java) R 7021 7021 5228 0 -1 4202560 10018 0 0 0 132 5 0 0 20 0 15 0 9175628 14316269568 46983 18446744073709551615 4194304 4196468 140720611950816 140185109535200 140184734981273 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7025] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7025/stat : 7025 (java) S 7021 7021 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9175629 14316269568 46983 18446744073709551615 4194304 4196468 140720611950816 140185062263056 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7026] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7026/stat : 7026 (java) S 7021 7021 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9175629 14316269568 46983 18446744073709551615 4194304 4196468 140720611950816 140185061210512 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7027] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7027/stat : 7027 (java) S 7021 7021 5228 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9175629 14316269568 46983 18446744073709551615 4194304 4196468 140720611950816 140185060157968 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7028] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7028/stat : 7028 (java) S 7021 7021 5228 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9175629 14316269568 46983 18446744073709551615 4194304 4196468 140720611950816 140185059105424 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7029] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7029/stat : 7029 (java) S 7021 7021 5228 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 46983 18446744073709551615 4194304 4196468 140720611950816 140184651065840 140185105308290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7030] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7030/stat : 7030 (java) S 7021 7021 5228 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 46983 18446744073709551615 4194304 4196468 140720611950816 140184650012064 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7031] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7031/stat : 7031 (java) S 7021 7021 5228 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 46983 18446744073709551615 4194304 4196468 140720611950816 140184648959472 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7032] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7032/stat : 7032 (java) S 7021 7021 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9175634 14316269568 46983 18446744073709551615 4194304 4196468 140720611950816 140184647908048 140185105315739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7033] ppid=7021 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/7023/task/7033/stat : 7033 (java) R 7021 7021 5228 0 -1 4202560 4131 0 0 0 97 0 0 0 20 0 15 0 9175634 14316269568 46983 18446744073709551615 4194304 4196468 140720611950816 140184646854640 140185088853963 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7034] ppid=7021 vsize=13980732 CPUtime=1 cores=1,3,5,7
/proc/7023/task/7034/stat : 7034 (java) R 7021 7021 5228 0 -1 4202560 4091 0 0 0 99 1 0 0 20 0 15 0 9175634 14316269568 46983 18446744073709551615 4194304 4196468 140720611950816 140184578418800 140185088853776 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7035] ppid=7021 vsize=13980732 CPUtime=0.55 cores=1,3,5,7
/proc/7023/task/7035/stat : 7035 (java) S 7021 7021 5228 0 -1 1077944384 3495 0 0 0 54 1 0 0 20 0 15 0 9175634 14316269568 46983 18446744073709551615 4194304 4196468 140720611950816 140184577366256 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7036] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7036/stat : 7036 (java) S 7021 7021 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9175634 14316269568 46983 18446744073709551615 4194304 4196468 140720611950816 140184576313952 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7037] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7037/stat : 7037 (java) S 7021 7021 5228 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 9175637 14316269568 46983 18446744073709551615 4194304 4196468 140720611950816 140184575261488 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 13990244
[startup+3.10091 s]
/proc/loadavg: 1.92 1.97 1.77 3/215 7038
/proc/meminfo: memFree=31655752/32770624 swapFree=0/181244
[pid=7021] ppid=7018 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7021/stat : 7021 (xcsp3-exec) S 7018 7021 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9175621 9740288 345 18446744073709551615 4194304 5098028 140727412479520 140727412477624 140405251695228 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21979136 140727412482460 140727412482663 140727412482663 140727412486123 0
/proc/7021/statm: 2378 345 289 221 0 87 0
[pid=7023] ppid=7021 vsize=13980732 CPUtime=6.14 cores=1,3,5,7
/proc/7023/stat : 7023 (java) S 7021 7021 5228 0 -1 1077944320 25143 0 0 0 602 12 0 0 20 0 15 0 9175628 14316269568 56940 18446744073709551615 4194304 4196468 140720611950816 140720611933360 140185105297143 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
/proc/7023/statm: 3495183 56940 3200 1 0 3483484 0
[pid=7023/tid=7024] ppid=7021 vsize=13980732 CPUtime=2.93 cores=1,3,5,7
/proc/7023/task/7024/stat : 7024 (java) R 7021 7021 5228 0 -1 4202560 10087 0 0 0 288 5 0 0 20 0 15 0 9175628 14316269568 56940 18446744073709551615 4194304 4196468 140720611950816 140185109532736 140184735258176 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7025] ppid=7021 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7023/task/7025/stat : 7025 (java) S 7021 7021 5228 0 -1 1077944384 227 0 0 0 3 0 0 0 20 0 15 0 9175629 14316269568 56940 18446744073709551615 4194304 4196468 140720611950816 140185062263056 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7026] ppid=7021 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7023/task/7026/stat : 7026 (java) S 7021 7021 5228 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 15 0 9175629 14316269568 56940 18446744073709551615 4194304 4196468 140720611950816 140185061210512 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7027] ppid=7021 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7023/task/7027/stat : 7027 (java) S 7021 7021 5228 0 -1 1077944384 56 0 0 0 3 0 0 0 20 0 15 0 9175629 14316269568 56940 18446744073709551615 4194304 4196468 140720611950816 140185060157968 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7028] ppid=7021 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7023/task/7028/stat : 7028 (java) S 7021 7021 5228 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 15 0 9175629 14316269568 56940 18446744073709551615 4194304 4196468 140720611950816 140185059105424 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7029] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7029/stat : 7029 (java) S 7021 7021 5228 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 56940 18446744073709551615 4194304 4196468 140720611950816 140184651065840 140185105308290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7030] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7030/stat : 7030 (java) S 7021 7021 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 56940 18446744073709551615 4194304 4196468 140720611950816 140184650012064 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7031] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7031/stat : 7031 (java) S 7021 7021 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 56940 18446744073709551615 4194304 4196468 140720611950816 140184648959472 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7032] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7032/stat : 7032 (java) S 7021 7021 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9175634 14316269568 56940 18446744073709551615 4194304 4196468 140720611950816 140184647908048 140185105315739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7033] ppid=7021 vsize=13980732 CPUtime=1.23 cores=1,3,5,7
/proc/7023/task/7033/stat : 7033 (java) S 7021 7021 5228 0 -1 1077944384 4249 0 0 0 123 0 0 0 20 0 15 0 9175634 14316269568 56940 18446744073709551615 4194304 4196468 140720611950816 140184646854640 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7034] ppid=7021 vsize=13980732 CPUtime=1.21 cores=1,3,5,7
/proc/7023/task/7034/stat : 7034 (java) R 7021 7021 5228 0 -1 4202560 4424 0 0 0 120 1 0 0 20 0 15 0 9175634 14316269568 56940 18446744073709551615 4194304 4196468 140720611950816 140184578419096 140185088707936 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7035] ppid=7021 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/7023/task/7035/stat : 7035 (java) S 7021 7021 5228 0 -1 1077944384 4064 0 0 0 57 1 0 0 20 0 15 0 9175634 14316269568 56940 18446744073709551615 4194304 4196468 140720611950816 140184577366256 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7036] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7036/stat : 7036 (java) S 7021 7021 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9175634 14316269568 56940 18446744073709551615 4194304 4196468 140720611950816 140184576313952 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7037] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7037/stat : 7037 (java) S 7021 7021 5228 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 9175637 14316269568 56940 18446744073709551615 4194304 4196468 140720611950816 140184575261488 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 13990244
[startup+6.30077 s]
/proc/loadavg: 1.92 1.97 1.77 3/215 7038
/proc/meminfo: memFree=31648920/32770624 swapFree=0/181256
[pid=7021] ppid=7018 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7021/stat : 7021 (xcsp3-exec) S 7018 7021 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9175621 9740288 345 18446744073709551615 4194304 5098028 140727412479520 140727412477624 140405251695228 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21979136 140727412482460 140727412482663 140727412482663 140727412486123 0
/proc/7021/statm: 2378 345 289 221 0 87 0
[pid=7023] ppid=7021 vsize=13980732 CPUtime=9.61 cores=1,3,5,7
/proc/7023/stat : 7023 (java) S 7021 7021 5228 0 -1 1077944320 25326 0 0 0 949 12 0 0 20 0 15 0 9175628 14316269568 56975 18446744073709551615 4194304 4196468 140720611950816 140720611933360 140185105297143 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
/proc/7023/statm: 3495183 56975 3200 1 0 3483484 0
[pid=7023/tid=7024] ppid=7021 vsize=13980732 CPUtime=6.12 cores=1,3,5,7
/proc/7023/task/7024/stat : 7024 (java) R 7021 7021 5228 0 -1 4202560 10107 0 0 0 607 5 0 0 20 0 15 0 9175628 14316269568 56975 18446744073709551615 4194304 4196468 140720611950816 140185109532816 140184735902146 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7025] ppid=7021 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7023/task/7025/stat : 7025 (java) S 7021 7021 5228 0 -1 1077944384 227 0 0 0 3 0 0 0 20 0 15 0 9175629 14316269568 56975 18446744073709551615 4194304 4196468 140720611950816 140185062263056 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7026] ppid=7021 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7023/task/7026/stat : 7026 (java) S 7021 7021 5228 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 15 0 9175629 14316269568 56975 18446744073709551615 4194304 4196468 140720611950816 140185061210512 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7027] ppid=7021 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7023/task/7027/stat : 7027 (java) S 7021 7021 5228 0 -1 1077944384 56 0 0 0 3 0 0 0 20 0 15 0 9175629 14316269568 56975 18446744073709551615 4194304 4196468 140720611950816 140185060157968 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7028] ppid=7021 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7023/task/7028/stat : 7028 (java) S 7021 7021 5228 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 15 0 9175629 14316269568 56975 18446744073709551615 4194304 4196468 140720611950816 140185059105424 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7029] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7029/stat : 7029 (java) S 7021 7021 5228 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 56975 18446744073709551615 4194304 4196468 140720611950816 140184651065840 140185105308290 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7030] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7030/stat : 7030 (java) S 7021 7021 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 56975 18446744073709551615 4194304 4196468 140720611950816 140184650012064 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7031] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7031/stat : 7031 (java) S 7021 7021 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 56975 18446744073709551615 4194304 4196468 140720611950816 140184648959472 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7032] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7032/stat : 7032 (java) S 7021 7021 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9175634 14316269568 56975 18446744073709551615 4194304 4196468 140720611950816 140184647908048 140185105315739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7033] ppid=7021 vsize=13980732 CPUtime=1.38 cores=1,3,5,7
/proc/7023/task/7033/stat : 7033 (java) S 7021 7021 5228 0 -1 1077944384 4330 0 0 0 138 0 0 0 20 0 15 0 9175634 14316269568 56975 18446744073709551615 4194304 4196468 140720611950816 140184646854640 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7034] ppid=7021 vsize=13980732 CPUtime=1.32 cores=1,3,5,7
/proc/7023/task/7034/stat : 7034 (java) S 7021 7021 5228 0 -1 1077944384 4485 0 0 0 131 1 0 0 20 0 15 0 9175634 14316269568 56975 18446744073709551615 4194304 4196468 140720611950816 140184578418800 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7035] ppid=7021 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/7023/task/7035/stat : 7035 (java) S 7021 7021 5228 0 -1 1077944384 4065 0 0 0 58 1 0 0 20 0 15 0 9175634 14316269568 56975 18446744073709551615 4194304 4196468 140720611950816 140184577366256 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7036] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7036/stat : 7036 (java) S 7021 7021 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9175634 14316269568 56975 18446744073709551615 4194304 4196468 140720611950816 140184576313952 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7037] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7037/stat : 7037 (java) S 7021 7021 5228 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 9175637 14316269568 56975 18446744073709551615 4194304 4196468 140720611950816 140184575261488 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
Current children cumulated CPU time (s) 9.61
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.92 1.97 1.77 3/215 7038
/proc/meminfo: memFree=31639992/32770624 swapFree=0/181264
[pid=7021] ppid=7018 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7021/stat : 7021 (xcsp3-exec) S 7018 7021 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9175621 9740288 345 18446744073709551615 4194304 5098028 140727412479520 140727412477624 140405251695228 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21979136 140727412482460 140727412482663 140727412482663 140727412486123 0
/proc/7021/statm: 2378 345 289 221 0 87 0
[pid=7023] ppid=7021 vsize=13980732 CPUtime=16.28 cores=1,3,5,7
/proc/7023/stat : 7023 (java) S 7021 7021 5228 0 -1 1077944320 30247 0 0 0 1616 12 0 0 20 0 15 0 9175628 14316269568 57046 18446744073709551615 4194304 4196468 140720611950816 140720611933360 140185105297143 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
/proc/7023/statm: 3495183 57046 3200 1 0 3483484 0
[pid=7023/tid=7024] ppid=7021 vsize=13980732 CPUtime=12.52 cores=1,3,5,7
/proc/7023/task/7024/stat : 7024 (java) R 7021 7021 5228 0 -1 4202560 10611 0 0 0 1247 5 0 0 20 0 15 0 9175628 14316269568 57046 18446744073709551615 4194304 4196468 140720611950816 140185109533544 140184735042901 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7025] ppid=7021 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7023/task/7025/stat : 7025 (java) S 7021 7021 5228 0 -1 1077944384 227 0 0 0 3 0 0 0 20 0 15 0 9175629 14316269568 57046 18446744073709551615 4194304 4196468 140720611950816 140185062263056 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7026] ppid=7021 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7023/task/7026/stat : 7026 (java) S 7021 7021 5228 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 15 0 9175629 14316269568 57046 18446744073709551615 4194304 4196468 140720611950816 140185061210512 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
################
# More data... #
################
[pid=7023/tid=7030] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7030/stat : 7030 (java) S 7021 7021 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 57578 18446744073709551615 4194304 4196468 140720611950816 140184650012064 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7031] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7031/stat : 7031 (java) S 7021 7021 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 57578 18446744073709551615 4194304 4196468 140720611950816 140184648959472 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7032] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7032/stat : 7032 (java) S 7021 7021 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9175634 14316269568 57578 18446744073709551615 4194304 4196468 140720611950816 140184647908048 140185105315739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7033] ppid=7021 vsize=13980732 CPUtime=1.76 cores=1,3,5,7
/proc/7023/task/7033/stat : 7033 (java) S 7021 7021 5228 0 -1 1077944384 8059 0 0 0 176 0 0 0 20 0 15 0 9175634 14316269568 57578 18446744073709551615 4194304 4196468 140720611950816 140184646854640 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7034] ppid=7021 vsize=13980732 CPUtime=2.15 cores=1,3,5,7
/proc/7023/task/7034/stat : 7034 (java) S 7021 7021 5228 0 -1 1077944384 13435 0 0 0 213 2 0 0 20 0 15 0 9175634 14316269568 57578 18446744073709551615 4194304 4196468 140720611950816 140184578418800 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7035] ppid=7021 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/7023/task/7035/stat : 7035 (java) S 7021 7021 5228 0 -1 1077944384 8393 0 0 0 67 2 0 0 20 0 15 0 9175634 14316269568 57578 18446744073709551615 4194304 4196468 140720611950816 140184577366256 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7036] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7036/stat : 7036 (java) S 7021 7021 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9175634 14316269568 57578 18446744073709551615 4194304 4196468 140720611950816 140184576313952 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7037] ppid=7021 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/7023/task/7037/stat : 7037 (java) S 7021 7021 5228 0 -1 1077944384 222 0 0 0 3 3 0 0 20 0 15 0 9175637 14316269568 57578 18446744073709551615 4194304 4196468 140720611950816 140184575261488 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
Current children cumulated CPU time (s) 107
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.80 3/216 7050
/proc/meminfo: memFree=31545700/32770624 swapFree=0/181336
[pid=7021] ppid=7018 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7021/stat : 7021 (xcsp3-exec) S 7018 7021 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9175621 9740288 345 18446744073709551615 4194304 5098028 140727412479520 140727412477624 140405251695228 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21979136 140727412482460 140727412482663 140727412482663 140727412486123 0
/proc/7021/statm: 2378 345 289 221 0 87 0
[pid=7023] ppid=7021 vsize=13980732 CPUtime=167.1 cores=1,3,5,7
/proc/7023/stat : 7023 (java) S 7021 7021 5228 0 -1 1077944320 48100 0 0 0 16691 19 0 0 20 0 15 0 9175628 14316269568 57606 18446744073709551615 4194304 4196468 140720611950816 140720611933360 140185105297143 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
/proc/7023/statm: 3495183 57606 3210 1 0 3483484 0
[pid=7023/tid=7024] ppid=7021 vsize=13980732 CPUtime=162.12 cores=1,3,5,7
/proc/7023/task/7024/stat : 7024 (java) R 7021 7021 5228 0 -1 4202560 13404 0 0 0 16206 6 0 0 20 0 15 0 9175628 14316269568 57606 18446744073709551615 4194304 4196468 140720611950816 140185109533696 140184735071596 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7025] ppid=7021 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7023/task/7025/stat : 7025 (java) S 7021 7021 5228 0 -1 1077944384 227 0 0 0 3 0 0 0 20 0 15 0 9175629 14316269568 57606 18446744073709551615 4194304 4196468 140720611950816 140185062263056 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7026] ppid=7021 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7023/task/7026/stat : 7026 (java) S 7021 7021 5228 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 15 0 9175629 14316269568 57606 18446744073709551615 4194304 4196468 140720611950816 140185061210512 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7027] ppid=7021 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7023/task/7027/stat : 7027 (java) S 7021 7021 5228 0 -1 1077944384 56 0 0 0 3 0 0 0 20 0 15 0 9175629 14316269568 57606 18446744073709551615 4194304 4196468 140720611950816 140185060157968 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7028] ppid=7021 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7023/task/7028/stat : 7028 (java) S 7021 7021 5228 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 15 0 9175629 14316269568 57606 18446744073709551615 4194304 4196468 140720611950816 140185059105424 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7029] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7029/stat : 7029 (java) S 7021 7021 5228 0 -1 1077944384 429 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 57606 18446744073709551615 4194304 4196468 140720611950816 140184651065840 140185105308290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7030] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7030/stat : 7030 (java) S 7021 7021 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 57606 18446744073709551615 4194304 4196468 140720611950816 140184650012064 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7031] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7031/stat : 7031 (java) S 7021 7021 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 57606 18446744073709551615 4194304 4196468 140720611950816 140184648959472 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7032] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7032/stat : 7032 (java) S 7021 7021 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9175634 14316269568 57606 18446744073709551615 4194304 4196468 140720611950816 140184647908048 140185105315739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7033] ppid=7021 vsize=13980732 CPUtime=1.81 cores=1,3,5,7
/proc/7023/task/7033/stat : 7033 (java) S 7021 7021 5228 0 -1 1077944384 8645 0 0 0 181 0 0 0 20 0 15 0 9175634 14316269568 57606 18446744073709551615 4194304 4196468 140720611950816 140184646854640 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7034] ppid=7021 vsize=13980732 CPUtime=2.17 cores=1,3,5,7
/proc/7023/task/7034/stat : 7034 (java) S 7021 7021 5228 0 -1 1077944384 13767 0 0 0 215 2 0 0 20 0 15 0 9175634 14316269568 57606 18446744073709551615 4194304 4196468 140720611950816 140184578418800 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7035] ppid=7021 vsize=13980732 CPUtime=0.7 cores=1,3,5,7
/proc/7023/task/7035/stat : 7035 (java) S 7021 7021 5228 0 -1 1077944384 9561 0 0 0 68 2 0 0 20 0 15 0 9175634 14316269568 57606 18446744073709551615 4194304 4196468 140720611950816 140184577366256 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7036] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7036/stat : 7036 (java) S 7021 7021 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9175634 14316269568 57606 18446744073709551615 4194304 4196468 140720611950816 140184576313952 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7037] ppid=7021 vsize=13980732 CPUtime=0.09 cores=1,3,5,7
/proc/7023/task/7037/stat : 7037 (java) S 7021 7021 5228 0 -1 1077944384 225 0 0 0 4 5 0 0 20 0 15 0 9175637 14316269568 57606 18446744073709551615 4194304 4196468 140720611950816 140184575261488 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
Current children cumulated CPU time (s) 167.1
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.04 2.00 1.82 3/216 7130
/proc/meminfo: memFree=31553100/32770624 swapFree=0/181428
[pid=7021] ppid=7018 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7021/stat : 7021 (xcsp3-exec) S 7018 7021 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9175621 9740288 345 18446744073709551615 4194304 5098028 140727412479520 140727412477624 140405251695228 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21979136 140727412482460 140727412482663 140727412482663 140727412486123 0
/proc/7021/statm: 2378 345 289 221 0 87 0
[pid=7023] ppid=7021 vsize=13980732 CPUtime=227.45 cores=1,3,5,7
/proc/7023/stat : 7023 (java) S 7021 7021 5228 0 -1 1077944320 52487 0 0 0 22723 22 0 0 20 0 15 0 9175628 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140720611933360 140185105297143 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
/proc/7023/statm: 3495183 57622 3213 1 0 3483484 0
[pid=7023/tid=7024] ppid=7021 vsize=13980732 CPUtime=222.12 cores=1,3,5,7
/proc/7023/task/7024/stat : 7024 (java) R 7021 7021 5228 0 -1 4202560 13929 0 0 0 22206 6 0 0 20 0 15 0 9175628 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140185109535176 140184730557036 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7025] ppid=7021 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7023/task/7025/stat : 7025 (java) S 7021 7021 5228 0 -1 1077944384 227 0 0 0 3 0 0 0 20 0 15 0 9175629 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140185062263056 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7026] ppid=7021 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7023/task/7026/stat : 7026 (java) S 7021 7021 5228 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 15 0 9175629 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140185061210512 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7027] ppid=7021 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7023/task/7027/stat : 7027 (java) S 7021 7021 5228 0 -1 1077944384 56 0 0 0 3 0 0 0 20 0 15 0 9175629 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140185060157968 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7028] ppid=7021 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7023/task/7028/stat : 7028 (java) S 7021 7021 5228 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 15 0 9175629 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140185059105424 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7029] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7029/stat : 7029 (java) S 7021 7021 5228 0 -1 1077944384 469 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184651065840 140185105308290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7030] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7030/stat : 7030 (java) S 7021 7021 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184650012064 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7031] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7031/stat : 7031 (java) S 7021 7021 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184648959472 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7032] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7032/stat : 7032 (java) S 7021 7021 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9175634 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184647908048 140185105315739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7033] ppid=7021 vsize=13980732 CPUtime=1.94 cores=1,3,5,7
/proc/7023/task/7033/stat : 7033 (java) S 7021 7021 5228 0 -1 1077944384 9122 0 0 0 193 1 0 0 20 0 15 0 9175634 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184646854640 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7034] ppid=7021 vsize=13980732 CPUtime=2.32 cores=1,3,5,7
/proc/7023/task/7034/stat : 7034 (java) S 7021 7021 5228 0 -1 1077944384 16552 0 0 0 230 2 0 0 20 0 15 0 9175634 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184578418800 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7035] ppid=7021 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/7023/task/7035/stat : 7035 (java) S 7021 7021 5228 0 -1 1077944384 10073 0 0 0 69 2 0 0 20 0 15 0 9175634 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184577366256 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7036] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7036/stat : 7036 (java) S 7021 7021 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9175634 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184576313952 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7037] ppid=7021 vsize=13980732 CPUtime=0.14 cores=1,3,5,7
/proc/7023/task/7037/stat : 7037 (java) S 7021 7021 5228 0 -1 1077944384 273 0 0 0 6 8 0 0 20 0 15 0 9175637 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184575261488 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
Current children cumulated CPU time (s) 227.45
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.03 2.00 1.82 3/216 7130
/proc/meminfo: memFree=31553100/32770624 swapFree=0/181436
[pid=7021] ppid=7018 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/7021/stat : 7021 (xcsp3-exec) S 7018 7021 5228 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9175621 9740288 345 18446744073709551615 4194304 5098028 140727412479520 140727412477624 140405251695228 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 7 0 0 7196144 7232144 21979136 140727412482460 140727412482663 140727412482663 140727412486123 0
/proc/7021/statm: 2378 345 289 221 0 87 0
[pid=7023] ppid=7021 vsize=13980732 CPUtime=245.17 cores=1,3,5,7
/proc/7023/stat : 7023 (java) S 7021 7021 5228 0 -1 1077944320 52499 0 0 0 24494 23 0 0 20 0 15 0 9175628 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140720611933360 140185105297143 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
/proc/7023/statm: 3495183 57622 3213 1 0 3483484 0
[pid=7023/tid=7024] ppid=7021 vsize=13980732 CPUtime=239.82 cores=1,3,5,7
/proc/7023/task/7024/stat : 7024 (java) R 7021 7021 5228 0 -1 4202560 13941 0 0 0 23976 6 0 0 20 0 15 0 9175628 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140185109534824 140184735112567 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7025] ppid=7021 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7023/task/7025/stat : 7025 (java) S 7021 7021 5228 0 -1 1077944384 227 0 0 0 3 0 0 0 20 0 15 0 9175629 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140185062263056 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7026] ppid=7021 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7023/task/7026/stat : 7026 (java) S 7021 7021 5228 0 -1 1077944384 46 0 0 0 2 0 0 0 20 0 15 0 9175629 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140185061210512 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7027] ppid=7021 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/7023/task/7027/stat : 7027 (java) S 7021 7021 5228 0 -1 1077944384 56 0 0 0 3 0 0 0 20 0 15 0 9175629 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140185060157968 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7028] ppid=7021 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/7023/task/7028/stat : 7028 (java) S 7021 7021 5228 0 -1 1077944384 398 0 0 0 2 0 0 0 20 0 15 0 9175629 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140185059105424 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7029] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7029/stat : 7029 (java) S 7021 7021 5228 0 -1 1077944384 469 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184651065840 140185105308290 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7030] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7030/stat : 7030 (java) S 7021 7021 5228 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184650012064 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7031] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7031/stat : 7031 (java) S 7021 7021 5228 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9175631 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184648959472 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7032] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7032/stat : 7032 (java) S 7021 7021 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9175634 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184647908048 140185105315739 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7033] ppid=7021 vsize=13980732 CPUtime=1.95 cores=1,3,5,7
/proc/7023/task/7033/stat : 7033 (java) S 7021 7021 5228 0 -1 1077944384 9122 0 0 0 194 1 0 0 20 0 15 0 9175634 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184646854640 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7034] ppid=7021 vsize=13980732 CPUtime=2.32 cores=1,3,5,7
/proc/7023/task/7034/stat : 7034 (java) S 7021 7021 5228 0 -1 1077944384 16552 0 0 0 230 2 0 0 20 0 15 0 9175634 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184578418800 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7035] ppid=7021 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/7023/task/7035/stat : 7035 (java) S 7021 7021 5228 0 -1 1077944384 10073 0 0 0 69 2 0 0 20 0 15 0 9175634 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184577366256 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7036] ppid=7021 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/7023/task/7036/stat : 7036 (java) S 7021 7021 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9175634 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184576313952 140185105307349 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
[pid=7023/tid=7037] ppid=7021 vsize=13980732 CPUtime=0.15 cores=1,3,5,7
/proc/7023/task/7037/stat : 7037 (java) S 7021 7021 5228 0 -1 1077944384 273 0 0 0 6 9 0 0 20 0 15 0 9175637 14316269568 57622 18446744073709551615 4194304 4196468 140720611950816 140184575261488 140185105308290 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36769792 140720611955156 140720611955331 140720611955331 140720611958735 0
Current children cumulated CPU time (s) 245.17
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7023 sig 9
??? kill 7021 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7021 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1855
# CPU time returned by wait4() is 0.001855
# while last known CPU time is 245.17
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 245.17
CPU user time (s): 244.94
CPU system time (s): 0.23
CPU usage (%): 102.15
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001855
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.02083 second user time and 1.71655 second system time
The end