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-4254202-1501615511/watcher-4254202-1501615511 -o /tmp/evaluation-result-4254202-1501615511/solver-4254202-1501615511 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5184 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2084345328 HOME/instance-4254202-1501615511.xml
pid=8623
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: 1.97 2.03 1.95 2/195 8626
/proc/meminfo: memFree=31463856/32770624 swapFree=0/182640
[pid=8626] ppid=8623 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8626/stat : 8626 (runsolver) D 8623 8626 5123 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10168031 24240128 108 18446744073709551615 4194304 4338465 140720325779408 140720325777048 140523334279895 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 10510336 140720325787741 140720325788230 140720325788230 140720325791690 0
/proc/8626/statm: 5918 108 54 36 0 2156 0
[startup+0.100157 s]
/proc/loadavg: 1.97 2.03 1.95 2/195 8626
/proc/meminfo: memFree=31463856/32770624 swapFree=0/182640
[pid=8626] ppid=8623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8626/stat : 8626 (xcsp3-exec) S 8623 8626 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10168031 9740288 345 18446744073709551615 4194304 5098028 140726190208048 140726190206152 140266134418044 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38764544 140726190215579 140726190215783 140726190215783 140726190219243 0
/proc/8626/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200321 s]
/proc/loadavg: 1.97 2.03 1.95 2/195 8626
/proc/meminfo: memFree=31463856/32770624 swapFree=0/182640
[pid=8626] ppid=8623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8626/stat : 8626 (xcsp3-exec) S 8623 8626 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10168031 9740288 345 18446744073709551615 4194304 5098028 140726190208048 140726190206152 140266134418044 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38764544 140726190215579 140726190215783 140726190215783 140726190219243 0
/proc/8626/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300218 s]
/proc/loadavg: 1.97 2.03 1.95 2/195 8626
/proc/meminfo: memFree=31463856/32770624 swapFree=0/182640
[pid=8626] ppid=8623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8626/stat : 8626 (xcsp3-exec) S 8623 8626 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10168031 9740288 345 18446744073709551615 4194304 5098028 140726190208048 140726190206152 140266134418044 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38764544 140726190215579 140726190215783 140726190215783 140726190219243 0
/proc/8626/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700395 s]
/proc/loadavg: 1.97 2.03 1.95 2/195 8626
/proc/meminfo: memFree=31463856/32770624 swapFree=0/182640
[pid=8626] ppid=8623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8626/stat : 8626 (xcsp3-exec) S 8623 8626 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10168031 9740288 345 18446744073709551615 4194304 5098028 140726190208048 140726190206152 140266134418044 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38764544 140726190215579 140726190215783 140726190215783 140726190219243 0
/proc/8626/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5014 s]
/proc/loadavg: 1.97 2.03 1.95 5/211 8643
/proc/meminfo: memFree=31363464/32770624 swapFree=0/182648
[pid=8626] ppid=8623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8626/stat : 8626 (xcsp3-exec) S 8623 8626 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10168031 9740288 345 18446744073709551615 4194304 5098028 140726190208048 140726190206152 140266134418044 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38764544 140726190215579 140726190215783 140726190215783 140726190219243 0
/proc/8626/statm: 2378 345 289 221 0 87 0
[pid=8629] ppid=8626 vsize=13980732 CPUtime=3.4 cores=1,3,5,7
/proc/8629/stat : 8629 (java) S 8626 8626 5123 0 -1 1077944320 30730 0 0 0 333 7 0 0 20 0 15 0 10168036 14316269568 32075 18446744073709551615 4194304 4196468 140727279974000 140727279956544 140146854346487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
/proc/8629/statm: 3495183 32075 3174 1 0 3483484 0
[pid=8629/tid=8630] ppid=8626 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/8629/task/8630/stat : 8630 (java) R 8626 8626 5123 0 -1 4202560 9943 0 0 0 132 4 0 0 20 0 15 0 10168036 14316269568 32075 18446744073709551615 4194304 4196468 140727279974000 140146858582432 140146481835662 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8631] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8631/stat : 8631 (java) S 8626 8626 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10168037 14316269568 32075 18446744073709551615 4194304 4196468 140727279974000 140146454829584 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8632] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8632/stat : 8632 (java) S 8626 8626 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10168037 14316269568 32075 18446744073709551615 4194304 4196468 140727279974000 140146453777040 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8633] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8633/stat : 8633 (java) S 8626 8626 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10168037 14316269568 32075 18446744073709551615 4194304 4196468 140727279974000 140146452723984 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8634] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8634/stat : 8634 (java) S 8626 8626 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10168037 14316269568 32075 18446744073709551615 4194304 4196468 140727279974000 140146451671440 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8635] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8635/stat : 8635 (java) S 8626 8626 5123 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 10168038 14316269568 32075 18446744073709551615 4194304 4196468 140727279974000 140146400119536 140146854357634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8636] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8636/stat : 8636 (java) S 8626 8626 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10168038 14316269568 32075 18446744073709551615 4194304 4196468 140727279974000 140146399065760 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8637] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8637/stat : 8637 (java) S 8626 8626 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10168039 14316269568 32075 18446744073709551615 4194304 4196468 140727279974000 140146398012656 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8638] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8638/stat : 8638 (java) S 8626 8626 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10168041 14316269568 32075 18446744073709551615 4194304 4196468 140727279974000 140146396961232 140146854365083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8639] ppid=8626 vsize=13980732 CPUtime=0.81 cores=1,3,5,7
/proc/8629/task/8639/stat : 8639 (java) R 8626 8626 5123 0 -1 4202560 9329 0 0 0 80 1 0 0 20 0 15 0 10168041 14316269568 32075 18446744073709551615 4194304 4196468 140727279974000 140146395894880 140146835891164 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8640] ppid=8626 vsize=13980732 CPUtime=0.82 cores=1,3,5,7
/proc/8629/task/8640/stat : 8640 (java) R 8626 8626 5123 0 -1 4202560 6131 0 0 0 82 0 0 0 20 0 15 0 10168041 14316269568 32075 18446744073709551615 4194304 4196468 140727279974000 140146394855792 140146834063623 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8641] ppid=8626 vsize=13980732 CPUtime=0.37 cores=1,3,5,7
/proc/8629/task/8641/stat : 8641 (java) S 8626 8626 5123 0 -1 1077944384 4008 0 0 0 37 0 0 0 20 0 15 0 10168041 14316269568 32075 18446744073709551615 4194304 4196468 140727279974000 140146192148464 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8642] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8642/stat : 8642 (java) S 8626 8626 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10168041 14316269568 32075 18446744073709551615 4194304 4196468 140727279974000 140146191096160 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8643] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8643/stat : 8643 (java) S 8626 8626 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10168049 14316269568 32075 18446744073709551615 4194304 4196468 140727279974000 140146190044208 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 13990244
[startup+3.10068 s]
/proc/loadavg: 1.97 2.03 1.95 4/211 8643
/proc/meminfo: memFree=31343704/32770624 swapFree=0/182648
[pid=8626] ppid=8623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8626/stat : 8626 (xcsp3-exec) S 8623 8626 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10168031 9740288 345 18446744073709551615 4194304 5098028 140726190208048 140726190206152 140266134418044 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38764544 140726190215579 140726190215783 140726190215783 140726190219243 0
/proc/8626/statm: 2378 345 289 221 0 87 0
[pid=8629] ppid=8626 vsize=13980732 CPUtime=7.14 cores=1,3,5,7
/proc/8629/stat : 8629 (java) S 8626 8626 5123 0 -1 1077944320 34432 0 0 0 706 8 0 0 20 0 15 0 10168036 14316269568 35536 18446744073709551615 4194304 4196468 140727279974000 140727279956544 140146854346487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
/proc/8629/statm: 3495183 35536 3192 1 0 3483484 0
[pid=8629/tid=8630] ppid=8626 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/8629/task/8630/stat : 8630 (java) R 8626 8626 5123 0 -1 4202560 10283 0 0 0 291 4 0 0 20 0 15 0 10168036 14316269568 35536 18446744073709551615 4194304 4196468 140727279974000 140146858582304 140146482727255 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8631] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8631/stat : 8631 (java) S 8626 8626 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10168037 14316269568 35536 18446744073709551615 4194304 4196468 140727279974000 140146454829584 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8632] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8632/stat : 8632 (java) S 8626 8626 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10168037 14316269568 35536 18446744073709551615 4194304 4196468 140727279974000 140146453777040 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8633] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8633/stat : 8633 (java) S 8626 8626 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10168037 14316269568 35536 18446744073709551615 4194304 4196468 140727279974000 140146452723984 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8634] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8634/stat : 8634 (java) S 8626 8626 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10168037 14316269568 35536 18446744073709551615 4194304 4196468 140727279974000 140146451671440 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8635] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8635/stat : 8635 (java) S 8626 8626 5123 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 15 0 10168038 14316269568 35536 18446744073709551615 4194304 4196468 140727279974000 140146400119536 140146854357634 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8636] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8636/stat : 8636 (java) S 8626 8626 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10168038 14316269568 35536 18446744073709551615 4194304 4196468 140727279974000 140146399065760 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8637] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8637/stat : 8637 (java) S 8626 8626 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10168039 14316269568 35536 18446744073709551615 4194304 4196468 140727279974000 140146398012656 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8638] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8638/stat : 8638 (java) S 8626 8626 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10168041 14316269568 35536 18446744073709551615 4194304 4196468 140727279974000 140146396961232 140146854365083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8639] ppid=8626 vsize=13980732 CPUtime=1.92 cores=1,3,5,7
/proc/8629/task/8639/stat : 8639 (java) S 8626 8626 5123 0 -1 1077944384 10854 0 0 0 191 1 0 0 20 0 15 0 10168041 14316269568 35536 18446744073709551615 4194304 4196468 140727279974000 140146395908336 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8640] ppid=8626 vsize=13980732 CPUtime=1.78 cores=1,3,5,7
/proc/8629/task/8640/stat : 8640 (java) R 8626 8626 5123 0 -1 4202560 7619 0 0 0 177 1 0 0 20 0 15 0 10168041 14316269568 35536 18446744073709551615 4194304 4196468 140727279974000 140146394845648 140146840360808 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8641] ppid=8626 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/8629/task/8641/stat : 8641 (java) S 8626 8626 5123 0 -1 1077944384 4327 0 0 0 45 1 0 0 20 0 15 0 10168041 14316269568 35536 18446744073709551615 4194304 4196468 140727279974000 140146192148464 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8642] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8642/stat : 8642 (java) S 8626 8626 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10168041 14316269568 35536 18446744073709551615 4194304 4196468 140727279974000 140146191096160 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8643] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8643/stat : 8643 (java) S 8626 8626 5123 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 10168049 14316269568 35536 18446744073709551615 4194304 4196468 140727279974000 140146190044208 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 13990244
[startup+6.30067 s]
/proc/loadavg: 1.90 2.01 1.95 3/211 8643
/proc/meminfo: memFree=31279560/32770624 swapFree=0/182656
[pid=8626] ppid=8623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8626/stat : 8626 (xcsp3-exec) S 8623 8626 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10168031 9740288 345 18446744073709551615 4194304 5098028 140726190208048 140726190206152 140266134418044 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38764544 140726190215579 140726190215783 140726190215783 140726190219243 0
/proc/8626/statm: 2378 345 289 221 0 87 0
[pid=8629] ppid=8626 vsize=13980732 CPUtime=10.82 cores=1,3,5,7
/proc/8629/stat : 8629 (java) S 8626 8626 5123 0 -1 1077944320 41420 0 0 0 1070 12 0 0 20 0 15 0 10168036 14316269568 59857 18446744073709551615 4194304 4196468 140727279974000 140727279956544 140146854346487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
/proc/8629/statm: 3495183 59857 3216 1 0 3483484 0
[pid=8629/tid=8630] ppid=8626 vsize=13980732 CPUtime=6.14 cores=1,3,5,7
/proc/8629/task/8630/stat : 8630 (java) R 8626 8626 5123 0 -1 4202560 11250 0 0 0 608 6 0 0 20 0 15 0 10168036 14316269568 59857 18446744073709551615 4194304 4196468 140727279974000 140146858584608 140146481110156 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8631] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8631/stat : 8631 (java) S 8626 8626 5123 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 10168037 14316269568 59857 18446744073709551615 4194304 4196468 140727279974000 140146454829584 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8632] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8632/stat : 8632 (java) S 8626 8626 5123 0 -1 1077944384 629 0 0 0 0 0 0 0 20 0 15 0 10168037 14316269568 59857 18446744073709551615 4194304 4196468 140727279974000 140146453777040 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8633] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8633/stat : 8633 (java) S 8626 8626 5123 0 -1 1077944384 199 0 0 0 0 0 0 0 20 0 15 0 10168037 14316269568 59857 18446744073709551615 4194304 4196468 140727279974000 140146452723984 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8634] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8634/stat : 8634 (java) S 8626 8626 5123 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10168037 14316269568 59857 18446744073709551615 4194304 4196468 140727279974000 140146451671440 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8635] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8635/stat : 8635 (java) S 8626 8626 5123 0 -1 1077944384 465 0 0 0 0 0 0 0 20 0 15 0 10168038 14316269568 59857 18446744073709551615 4194304 4196468 140727279974000 140146400119536 140146854357634 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8636] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8636/stat : 8636 (java) S 8626 8626 5123 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10168038 14316269568 59857 18446744073709551615 4194304 4196468 140727279974000 140146399065760 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8637] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8637/stat : 8637 (java) S 8626 8626 5123 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10168039 14316269568 59857 18446744073709551615 4194304 4196468 140727279974000 140146398012656 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8638] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8638/stat : 8638 (java) S 8626 8626 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10168041 14316269568 59857 18446744073709551615 4194304 4196468 140727279974000 140146396961232 140146854365083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8639] ppid=8626 vsize=13980732 CPUtime=2.13 cores=1,3,5,7
/proc/8629/task/8639/stat : 8639 (java) S 8626 8626 5123 0 -1 1077944384 12666 0 0 0 212 1 0 0 20 0 15 0 10168041 14316269568 59857 18446744073709551615 4194304 4196468 140727279974000 140146395908336 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8640] ppid=8626 vsize=13980732 CPUtime=1.96 cores=1,3,5,7
/proc/8629/task/8640/stat : 8640 (java) S 8626 8626 5123 0 -1 1077944384 7883 0 0 0 195 1 0 0 20 0 15 0 10168041 14316269568 59857 18446744073709551615 4194304 4196468 140727279974000 140146394855792 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8641] ppid=8626 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/8629/task/8641/stat : 8641 (java) S 8626 8626 5123 0 -1 1077944384 5586 0 0 0 50 1 0 0 20 0 15 0 10168041 14316269568 59857 18446744073709551615 4194304 4196468 140727279974000 140146192148464 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8642] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8642/stat : 8642 (java) S 8626 8626 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10168041 14316269568 59857 18446744073709551615 4194304 4196468 140727279974000 140146191096160 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8643] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8643/stat : 8643 (java) S 8626 8626 5123 0 -1 1077944384 1287 0 0 0 0 0 0 0 20 0 15 0 10168049 14316269568 59857 18446744073709551615 4194304 4196468 140727279974000 140146190044208 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
Current children cumulated CPU time (s) 10.82
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 1.90 2.01 1.95 3/211 8643
/proc/meminfo: memFree=31246296/32770624 swapFree=0/182664
[pid=8626] ppid=8623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8626/stat : 8626 (xcsp3-exec) S 8623 8626 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10168031 9740288 345 18446744073709551615 4194304 5098028 140726190208048 140726190206152 140266134418044 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38764544 140726190215579 140726190215783 140726190215783 140726190219243 0
/proc/8626/statm: 2378 345 289 221 0 87 0
[pid=8629] ppid=8626 vsize=13980732 CPUtime=17.76 cores=1,3,5,7
/proc/8629/stat : 8629 (java) S 8626 8626 5123 0 -1 1077944320 47192 0 0 0 1764 12 0 0 20 0 15 0 10168036 14316269568 59962 18446744073709551615 4194304 4196468 140727279974000 140727279956544 140146854346487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
/proc/8629/statm: 3495183 59962 3221 1 0 3483484 0
[pid=8629/tid=8630] ppid=8626 vsize=13980732 CPUtime=12.54 cores=1,3,5,7
/proc/8629/task/8630/stat : 8630 (java) R 8626 8626 5123 0 -1 4202560 11521 0 0 0 1248 6 0 0 20 0 15 0 10168036 14316269568 59962 18446744073709551615 4194304 4196468 140727279974000 140146858583752 140146478504979 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8631] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8631/stat : 8631 (java) S 8626 8626 5123 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 10168037 14316269568 59962 18446744073709551615 4194304 4196468 140727279974000 140146454829584 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8632] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8632/stat : 8632 (java) S 8626 8626 5123 0 -1 1077944384 629 0 0 0 0 0 0 0 20 0 15 0 10168037 14316269568 59962 18446744073709551615 4194304 4196468 140727279974000 140146453777040 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
################
# More data... #
################
[pid=8629/tid=8636] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8636/stat : 8636 (java) S 8626 8626 5123 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10168038 14316269568 61125 18446744073709551615 4194304 4196468 140727279974000 140146399065760 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8637] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8637/stat : 8637 (java) S 8626 8626 5123 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10168039 14316269568 61125 18446744073709551615 4194304 4196468 140727279974000 140146398012656 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8638] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8638/stat : 8638 (java) S 8626 8626 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10168041 14316269568 61125 18446744073709551615 4194304 4196468 140727279974000 140146396961232 140146854365083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8639] ppid=8626 vsize=13980732 CPUtime=2.67 cores=1,3,5,7
/proc/8629/task/8639/stat : 8639 (java) S 8626 8626 5123 0 -1 1077944384 18718 0 0 0 266 1 0 0 20 0 15 0 10168041 14316269568 61125 18446744073709551615 4194304 4196468 140727279974000 140146395908336 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8640] ppid=8626 vsize=13980732 CPUtime=2.44 cores=1,3,5,7
/proc/8629/task/8640/stat : 8640 (java) S 8626 8626 5123 0 -1 1077944384 14276 0 0 0 243 1 0 0 20 0 15 0 10168041 14316269568 61125 18446744073709551615 4194304 4196468 140727279974000 140146394855792 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8641] ppid=8626 vsize=13980732 CPUtime=0.56 cores=1,3,5,7
/proc/8629/task/8641/stat : 8641 (java) S 8626 8626 5123 0 -1 1077944384 7891 0 0 0 55 1 0 0 20 0 15 0 10168041 14316269568 61125 18446744073709551615 4194304 4196468 140727279974000 140146192148464 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8642] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8642/stat : 8642 (java) S 8626 8626 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10168041 14316269568 61125 18446744073709551615 4194304 4196468 140727279974000 140146191096160 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8643] ppid=8626 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/8629/task/8643/stat : 8643 (java) S 8626 8626 5123 0 -1 1077944384 1548 0 0 0 0 1 0 0 20 0 15 0 10168049 14316269568 61125 18446744073709551615 4194304 4196468 140727279974000 140146190044208 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
Current children cumulated CPU time (s) 108.06
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.69 1.90 1.92 3/211 8647
/proc/meminfo: memFree=31505540/32770624 swapFree=0/182736
[pid=8626] ppid=8623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8626/stat : 8626 (xcsp3-exec) S 8623 8626 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10168031 9740288 345 18446744073709551615 4194304 5098028 140726190208048 140726190206152 140266134418044 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38764544 140726190215579 140726190215783 140726190215783 140726190219243 0
/proc/8626/statm: 2378 345 289 221 0 87 0
[pid=8629] ppid=8626 vsize=13980732 CPUtime=168.11 cores=1,3,5,7
/proc/8629/stat : 8629 (java) S 8626 8626 5123 0 -1 1077944320 66266 0 0 0 16789 22 0 0 20 0 15 0 10168036 14316269568 51262 18446744073709551615 4194304 4196468 140727279974000 140727279956544 140146854346487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
/proc/8629/statm: 3495183 51262 3230 1 0 3483484 0
[pid=8629/tid=8630] ppid=8626 vsize=13980732 CPUtime=162.05 cores=1,3,5,7
/proc/8629/task/8630/stat : 8630 (java) R 8626 8626 5123 0 -1 4202560 15105 0 0 0 16199 6 0 0 20 0 15 0 10168036 14316269568 51262 18446744073709551615 4194304 4196468 140727279974000 140146858582992 140146483452431 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8631] ppid=8626 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/8629/task/8631/stat : 8631 (java) S 8626 8626 5123 0 -1 1077944384 1255 0 0 0 4 2 0 0 20 0 15 0 10168037 14316269568 51262 18446744073709551615 4194304 4196468 140727279974000 140146454829584 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8632] ppid=8626 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/8629/task/8632/stat : 8632 (java) S 8626 8626 5123 0 -1 1077944384 1150 0 0 0 4 1 0 0 20 0 15 0 10168037 14316269568 51262 18446744073709551615 4194304 4196468 140727279974000 140146453777040 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8633] ppid=8626 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/8629/task/8633/stat : 8633 (java) S 8626 8626 5123 0 -1 1077944384 1238 0 0 0 4 2 0 0 20 0 15 0 10168037 14316269568 51262 18446744073709551615 4194304 4196468 140727279974000 140146452723984 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8634] ppid=8626 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/8629/task/8634/stat : 8634 (java) S 8626 8626 5123 0 -1 1077944384 692 0 0 0 4 1 0 0 20 0 15 0 10168037 14316269568 51262 18446744073709551615 4194304 4196468 140727279974000 140146451671440 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8635] ppid=8626 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8629/task/8635/stat : 8635 (java) S 8626 8626 5123 0 -1 1077944384 1506 0 0 0 2 1 0 0 20 0 15 0 10168038 14316269568 51262 18446744073709551615 4194304 4196468 140727279974000 140146400119536 140146854357634 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8636] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8636/stat : 8636 (java) S 8626 8626 5123 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10168038 14316269568 51262 18446744073709551615 4194304 4196468 140727279974000 140146399065760 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8637] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8637/stat : 8637 (java) S 8626 8626 5123 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10168039 14316269568 51262 18446744073709551615 4194304 4196468 140727279974000 140146398012656 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8638] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8638/stat : 8638 (java) S 8626 8626 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10168041 14316269568 51262 18446744073709551615 4194304 4196468 140727279974000 140146396961232 140146854365083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8639] ppid=8626 vsize=13980732 CPUtime=2.68 cores=1,3,5,7
/proc/8629/task/8639/stat : 8639 (java) S 8626 8626 5123 0 -1 1077944384 18780 0 0 0 266 2 0 0 20 0 15 0 10168041 14316269568 51262 18446744073709551615 4194304 4196468 140727279974000 140146395908336 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8640] ppid=8626 vsize=13980732 CPUtime=2.45 cores=1,3,5,7
/proc/8629/task/8640/stat : 8640 (java) S 8626 8626 5123 0 -1 1077944384 14853 0 0 0 244 1 0 0 20 0 15 0 10168041 14316269568 51262 18446744073709551615 4194304 4196468 140727279974000 140146394855792 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8641] ppid=8626 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/8629/task/8641/stat : 8641 (java) S 8626 8626 5123 0 -1 1077944384 8749 0 0 0 56 1 0 0 20 0 15 0 10168041 14316269568 51262 18446744073709551615 4194304 4196468 140727279974000 140146192148464 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8642] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8642/stat : 8642 (java) S 8626 8626 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10168041 14316269568 51262 18446744073709551615 4194304 4196468 140727279974000 140146191096160 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8643] ppid=8626 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/8629/task/8643/stat : 8643 (java) S 8626 8626 5123 0 -1 1077944384 1578 0 0 0 1 2 0 0 20 0 15 0 10168049 14316269568 51262 18446744073709551615 4194304 4196468 140727279974000 140146190044208 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
Current children cumulated CPU time (s) 168.11
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.70 1.84 1.90 3/211 8727
/proc/meminfo: memFree=31611424/32770624 swapFree=0/182836
[pid=8626] ppid=8623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8626/stat : 8626 (xcsp3-exec) S 8623 8626 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10168031 9740288 345 18446744073709551615 4194304 5098028 140726190208048 140726190206152 140266134418044 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38764544 140726190215579 140726190215783 140726190215783 140726190219243 0
/proc/8626/statm: 2378 345 289 221 0 87 0
[pid=8629] ppid=8626 vsize=13980732 CPUtime=228.27 cores=1,3,5,7
/proc/8629/stat : 8629 (java) S 8626 8626 5123 0 -1 1077944320 71549 0 0 0 22804 23 0 0 20 0 15 0 10168036 14316269568 44602 18446744073709551615 4194304 4196468 140727279974000 140727279956544 140146854346487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
/proc/8629/statm: 3495183 44602 3230 1 0 3483484 0
[pid=8629/tid=8630] ppid=8626 vsize=13980732 CPUtime=222.04 cores=1,3,5,7
/proc/8629/task/8630/stat : 8630 (java) R 8626 8626 5123 0 -1 4202560 15812 0 0 0 22198 6 0 0 20 0 15 0 10168036 14316269568 44602 18446744073709551615 4194304 4196468 140727279974000 140146858586128 140146482047221 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8631] ppid=8626 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/8629/task/8631/stat : 8631 (java) S 8626 8626 5123 0 -1 1077944384 1323 0 0 0 4 2 0 0 20 0 15 0 10168037 14316269568 44602 18446744073709551615 4194304 4196468 140727279974000 140146454829584 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8632] ppid=8626 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/8629/task/8632/stat : 8632 (java) S 8626 8626 5123 0 -1 1077944384 1511 0 0 0 4 1 0 0 20 0 15 0 10168037 14316269568 44602 18446744073709551615 4194304 4196468 140727279974000 140146453777040 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8633] ppid=8626 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/8629/task/8633/stat : 8633 (java) S 8626 8626 5123 0 -1 1077944384 1270 0 0 0 4 2 0 0 20 0 15 0 10168037 14316269568 44602 18446744073709551615 4194304 4196468 140727279974000 140146452723984 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8634] ppid=8626 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/8629/task/8634/stat : 8634 (java) S 8626 8626 5123 0 -1 1077944384 705 0 0 0 5 1 0 0 20 0 15 0 10168037 14316269568 44602 18446744073709551615 4194304 4196468 140727279974000 140146451671440 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8635] ppid=8626 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/8629/task/8635/stat : 8635 (java) S 8626 8626 5123 0 -1 1077944384 1735 0 0 0 3 1 0 0 20 0 15 0 10168038 14316269568 44602 18446744073709551615 4194304 4196468 140727279974000 140146400119536 140146854357634 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8636] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8636/stat : 8636 (java) S 8626 8626 5123 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10168038 14316269568 44602 18446744073709551615 4194304 4196468 140727279974000 140146399065760 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8637] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8637/stat : 8637 (java) S 8626 8626 5123 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10168039 14316269568 44602 18446744073709551615 4194304 4196468 140727279974000 140146398012656 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8638] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8638/stat : 8638 (java) S 8626 8626 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10168041 14316269568 44602 18446744073709551615 4194304 4196468 140727279974000 140146396961232 140146854365083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8639] ppid=8626 vsize=13980732 CPUtime=2.73 cores=1,3,5,7
/proc/8629/task/8639/stat : 8639 (java) S 8626 8626 5123 0 -1 1077944384 20497 0 0 0 271 2 0 0 20 0 15 0 10168041 14316269568 44602 18446744073709551615 4194304 4196468 140727279974000 140146395908336 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8640] ppid=8626 vsize=13980732 CPUtime=2.52 cores=1,3,5,7
/proc/8629/task/8640/stat : 8640 (java) S 8626 8626 5123 0 -1 1077944384 16334 0 0 0 250 2 0 0 20 0 15 0 10168041 14316269568 44602 18446744073709551615 4194304 4196468 140727279974000 140146394855792 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8641] ppid=8626 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/8629/task/8641/stat : 8641 (java) S 8626 8626 5123 0 -1 1077944384 9402 0 0 0 56 1 0 0 20 0 15 0 10168041 14316269568 44602 18446744073709551615 4194304 4196468 140727279974000 140146192148464 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8642] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8642/stat : 8642 (java) S 8626 8626 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10168041 14316269568 44602 18446744073709551615 4194304 4196468 140727279974000 140146191096160 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8643] ppid=8626 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/8629/task/8643/stat : 8643 (java) S 8626 8626 5123 0 -1 1077944384 1600 0 0 0 1 3 0 0 20 0 15 0 10168049 14316269568 44602 18446744073709551615 4194304 4196468 140727279974000 140146190044208 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
Current children cumulated CPU time (s) 228.27
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.68 1.83 1.90 3/211 8727
/proc/meminfo: memFree=31613184/32770624 swapFree=0/182848
[pid=8626] ppid=8623 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/8626/stat : 8626 (xcsp3-exec) S 8623 8626 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10168031 9740288 345 18446744073709551615 4194304 5098028 140726190208048 140726190206152 140266134418044 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 5 0 0 7196144 7232144 38764544 140726190215579 140726190215783 140726190215783 140726190219243 0
/proc/8626/statm: 2378 345 289 221 0 87 0
[pid=8629] ppid=8626 vsize=13980732 CPUtime=246 cores=1,3,5,7
/proc/8629/stat : 8629 (java) S 8626 8626 5123 0 -1 1077944320 72722 0 0 0 24577 23 0 0 20 0 15 0 10168036 14316269568 43708 18446744073709551615 4194304 4196468 140727279974000 140727279956544 140146854346487 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
/proc/8629/statm: 3495183 43708 3231 1 0 3483484 0
[pid=8629/tid=8630] ppid=8626 vsize=13980732 CPUtime=239.73 cores=1,3,5,7
/proc/8629/task/8630/stat : 8630 (java) R 8626 8626 5123 0 -1 4202560 15835 0 0 0 23967 6 0 0 20 0 15 0 10168036 14316269568 43708 18446744073709551615 4194304 4196468 140727279974000 140146858585888 140146481843967 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8631] ppid=8626 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/8629/task/8631/stat : 8631 (java) S 8626 8626 5123 0 -1 1077944384 1323 0 0 0 5 2 0 0 20 0 15 0 10168037 14316269568 43708 18446744073709551615 4194304 4196468 140727279974000 140146454829584 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8632] ppid=8626 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/8629/task/8632/stat : 8632 (java) S 8626 8626 5123 0 -1 1077944384 1511 0 0 0 5 1 0 0 20 0 15 0 10168037 14316269568 43708 18446744073709551615 4194304 4196468 140727279974000 140146453777040 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8633] ppid=8626 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/8629/task/8633/stat : 8633 (java) S 8626 8626 5123 0 -1 1077944384 1270 0 0 0 4 2 0 0 20 0 15 0 10168037 14316269568 43708 18446744073709551615 4194304 4196468 140727279974000 140146452723984 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8634] ppid=8626 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/8629/task/8634/stat : 8634 (java) S 8626 8626 5123 0 -1 1077944384 706 0 0 0 5 1 0 0 20 0 15 0 10168037 14316269568 43708 18446744073709551615 4194304 4196468 140727279974000 140146451671440 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8635] ppid=8626 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/8629/task/8635/stat : 8635 (java) S 8626 8626 5123 0 -1 1077944384 1735 0 0 0 3 1 0 0 20 0 15 0 10168038 14316269568 43708 18446744073709551615 4194304 4196468 140727279974000 140146400119536 140146854357634 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8636] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8636/stat : 8636 (java) S 8626 8626 5123 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 10168038 14316269568 43708 18446744073709551615 4194304 4196468 140727279974000 140146399065760 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8637] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8637/stat : 8637 (java) S 8626 8626 5123 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10168039 14316269568 43708 18446744073709551615 4194304 4196468 140727279974000 140146398012656 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8638] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8638/stat : 8638 (java) S 8626 8626 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10168041 14316269568 43708 18446744073709551615 4194304 4196468 140727279974000 140146396961232 140146854365083 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8639] ppid=8626 vsize=13980732 CPUtime=2.73 cores=1,3,5,7
/proc/8629/task/8639/stat : 8639 (java) S 8626 8626 5123 0 -1 1077944384 20497 0 0 0 271 2 0 0 20 0 15 0 10168041 14316269568 43708 18446744073709551615 4194304 4196468 140727279974000 140146395908336 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8640] ppid=8626 vsize=13980732 CPUtime=2.54 cores=1,3,5,7
/proc/8629/task/8640/stat : 8640 (java) S 8626 8626 5123 0 -1 1077944384 17358 0 0 0 252 2 0 0 20 0 15 0 10168041 14316269568 43708 18446744073709551615 4194304 4196468 140727279974000 140146394855792 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8641] ppid=8626 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/8629/task/8641/stat : 8641 (java) S 8626 8626 5123 0 -1 1077944384 9525 0 0 0 57 1 0 0 20 0 15 0 10168041 14316269568 43708 18446744073709551615 4194304 4196468 140727279974000 140146192148464 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8642] ppid=8626 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/8629/task/8642/stat : 8642 (java) S 8626 8626 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10168041 14316269568 43708 18446744073709551615 4194304 4196468 140727279974000 140146191096160 140146854356693 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
[pid=8629/tid=8643] ppid=8626 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/8629/task/8643/stat : 8643 (java) S 8626 8626 5123 0 -1 1077944384 1602 0 0 0 2 3 0 0 20 0 15 0 10168049 14316269568 43708 18446744073709551615 4194304 4196468 140727279974000 140146190044208 140146854357634 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140727279976916 140727279977091 140727279977091 140727279980495 0
Current children cumulated CPU time (s) 246
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 8629 sig 9
??? kill 8626 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 8626 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=965
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=965
# CPU time returned by wait4() is 0.00193
# while last known CPU time is 246
#
# 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): 246
CPU user time (s): 245.77
CPU system time (s): 0.23
CPU usage (%): 102.496
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000965
system time used= 0.000965
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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 0.985043 second user time and 1.39905 second system time
The end