runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14112 MiB free)
memory of node 1: 16384 MiB (15426 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283871-1503200529/watcher-4283871-1503200529 -o /tmp/evaluation-result-4283871-1503200529/solver-4283871-1503200529 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1966902832 HOME/instance-4283871-1503200529.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16914, runsolver pid=16911
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 1.96 1.83 1.81 2/196 16915
/proc/meminfo: memFree=30247820/32770624 swapFree=67108860/67108860
[pid=16914] ppid=16911 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/16914/stat : 16914 (runsolver) D 16911 16914 28892 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 122245904 34791424 113 18446744073709551615 4194304 4346622 140722686900560 140722686897192 140340920963799 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 12914688 140722686902327 140722686902820 140722686902820 140722686906314 0
/proc/16914/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.209135 s]*
/proc/loadavg: 1.96 1.83 1.81 2/210 16929
/proc/meminfo: memFree=30236036/32770624 swapFree=67108860/67108860
[pid=16914] ppid=16911 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16914/stat : 16914 (xcsp3-exec) S 16911 16914 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122245904 9740288 345 18446744073709551615 4194304 5098028 140727438366160 140727438364264 140139738919548 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 26980352 140727438373240 140727438373445 140727438373445 140727438376939 0
/proc/16914/statm: 2378 345 289 221 0 87 0
[pid=16916] ppid=16914 vsize=13907304 memory=22032 CPUtime=0.05 cores=1,3,5,7
/proc/16916/stat : 16916 (java) S 16914 16914 28892 0 -1 1077944320 4960 0 0 0 4 1 0 0 20 0 14 0 122245915 14241079296 5508 18446744073709551615 4194304 4196468 140730803549584 140730803532128 139836785684215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
/proc/16916/statm: 3476826 5508 2548 1 0 3466323 0
[pid=16916/tid=16917] ppid=16914 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/16916/task/16917/stat : 16917 (java) D 16914 16914 28892 0 -1 4202560 3133 0 0 0 4 0 0 0 20 0 14 0 122245916 14241079296 5508 18446744073709551615 4194304 4196468 140730803549584 139836789921696 139836785706237 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16918] ppid=16914 vsize=13907304 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16918/stat : 16918 (java) S 16914 16914 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 122245916 14241079296 5508 18446744073709551615 4194304 4196468 140730803549584 139836386265744 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16919] ppid=16914 vsize=13907304 memory=140340925086324 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16919/stat : 16919 (java) S 16914 16914 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 122245916 14241079296 5508 18446744073709551615 4194304 4196468 140730803549584 139836385212944 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16920] ppid=16914 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16920/stat : 16920 (java) S 16914 16914 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 122245916 14241079296 5508 18446744073709551615 4194304 4196468 140730803549584 139836384160144 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16921] ppid=16914 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16921/stat : 16921 (java) S 16914 16914 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 122245916 14241079296 5508 18446744073709551615 4194304 4196468 140730803549584 139836383107344 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16922] ppid=16914 vsize=13907304 memory=140340923913856 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16922/stat : 16922 (java) S 16914 16914 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 122245918 14241079296 5508 18446744073709551615 4194304 4196468 140730803549584 139836264205168 139836785695362 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16923] ppid=16914 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16923/stat : 16923 (java) S 16914 16914 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 122245918 14241079296 5508 18446744073709551615 4194304 4196468 140730803549584 139836263151136 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16924] ppid=16914 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16924/stat : 16924 (java) S 16914 16914 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 122245919 14241079296 5508 18446744073709551615 4194304 4196468 140730803549584 139836262098288 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16925] ppid=16914 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16925/stat : 16925 (java) S 16914 16914 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122245921 14241079296 5508 18446744073709551615 4194304 4196468 140730803549584 139836261046608 139836785702811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16926] ppid=16914 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16926/stat : 16926 (java) S 16914 16914 28892 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 14 0 122245921 14241079296 5508 18446744073709551615 4194304 4196468 140730803549584 139836259993968 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16927] ppid=16914 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16927/stat : 16927 (java) S 16914 16914 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122245921 14241079296 5508 18446744073709551615 4194304 4196468 140730803549584 139836258941168 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16928] ppid=16914 vsize=13907304 memory=140340923913856 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16928/stat : 16928 (java) S 16914 16914 28892 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 14 0 122245921 14241079296 5508 18446744073709551615 4194304 4196468 140730803549584 139836257888368 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16929] ppid=16914 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16929/stat : 16929 (java) S 16914 16914 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 122245921 14241079296 5508 18446744073709551615 4194304 4196468 140730803549584 139836256835808 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23412 KiB
[startup+0.317014 s]*
/proc/loadavg: 1.96 1.83 1.81 3/211 16930
/proc/meminfo: memFree=30228312/32770624 swapFree=67108860/67108860
[pid=16914] ppid=16911 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16914/stat : 16914 (xcsp3-exec) S 16911 16914 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122245904 9740288 345 18446744073709551615 4194304 5098028 140727438366160 140727438364264 140139738919548 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 26980352 140727438373240 140727438373445 140727438373445 140727438376939 0
/proc/16914/statm: 2378 345 289 221 0 87 0
[pid=16916] ppid=16914 vsize=13974352 memory=31616 CPUtime=0.23 cores=1,3,5,7
/proc/16916/stat : 16916 (java) S 16914 16914 28892 0 -1 1077944320 6340 0 0 0 21 2 0 0 20 0 15 0 122245915 14309736448 7904 18446744073709551615 4194304 4196468 140730803549584 140730803532128 139836785684215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
/proc/16916/statm: 3493588 7904 2972 1 0 3482964 0
[pid=16916/tid=16917] ppid=16914 vsize=13974352 memory=-7677926825137650786 CPUtime=0.14 cores=1,3,5,7
/proc/16916/task/16917/stat : 16917 (java) R 16914 16914 28892 0 -1 4202560 3674 0 0 0 13 1 0 0 20 0 15 0 122245916 14309736448 7904 18446744073709551615 4194304 4196468 140730803549584 139836789919760 139836771752208 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16918] ppid=16914 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16918/stat : 16918 (java) S 16914 16914 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122245916 14309736448 7904 18446744073709551615 4194304 4196468 140730803549584 139836386265744 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16919] ppid=16914 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16919/stat : 16919 (java) S 16914 16914 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122245916 14309736448 7904 18446744073709551615 4194304 4196468 140730803549584 139836385212944 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16920] ppid=16914 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16920/stat : 16920 (java) S 16914 16914 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122245916 14309736448 8416 18446744073709551615 4194304 4196468 140730803549584 139836384160144 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16921] ppid=16914 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16921/stat : 16921 (java) S 16914 16914 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122245916 14309736448 8416 18446744073709551615 4194304 4196468 140730803549584 139836383107344 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16922] ppid=16914 vsize=13974352 memory=140340923913856 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16922/stat : 16922 (java) S 16914 16914 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122245918 14309736448 8416 18446744073709551615 4194304 4196468 140730803549584 139836264205168 139836785695362 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16923] ppid=16914 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16923/stat : 16923 (java) S 16914 16914 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122245918 14309736448 8416 18446744073709551615 4194304 4196468 140730803549584 139836263151136 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16924] ppid=16914 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16924/stat : 16924 (java) S 16914 16914 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122245919 14309736448 8416 18446744073709551615 4194304 4196468 140730803549584 139836262098288 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16925] ppid=16914 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16925/stat : 16925 (java) S 16914 16914 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122245921 14309736448 8416 18446744073709551615 4194304 4196468 140730803549584 139836261046608 139836785702811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16926] ppid=16914 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16926/stat : 16926 (java) S 16914 16914 28892 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 122245921 14309736448 8416 18446744073709551615 4194304 4196468 140730803549584 139836259993968 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16927] ppid=16914 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16916/task/16927/stat : 16927 (java) S 16914 16914 28892 0 -1 1077944384 229 0 0 0 1 0 0 0 20 0 15 0 122245921 14309736448 8416 18446744073709551615 4194304 4196468 140730803549584 139836258941168 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16928] ppid=16914 vsize=13974352 memory=140340923913856 CPUtime=0.05 cores=1,3,5,7
/proc/16916/task/16928/stat : 16928 (java) R 16914 16914 28892 0 -1 4202560 704 0 0 0 5 0 0 0 20 0 15 0 122245921 14309736448 8416 18446744073709551615 4194304 4196468 140730803549584 139836257888368 139836777921342 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16929] ppid=16914 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16929/stat : 16929 (java) S 16914 16914 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122245921 14309736448 8416 18446744073709551615 4194304 4196468 140730803549584 139836256835808 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16930] ppid=16914 vsize=13974352 memory=140340923913856 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16930/stat : 16930 (java) S 16914 16914 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122245928 14309736448 8416 18446744073709551615 4194304 4196468 140730803549584 139836255784112 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32996 KiB
[startup+0.701419 s]
/proc/loadavg: 1.97 1.83 1.81 5/211 16930
/proc/meminfo: memFree=30210044/32770624 swapFree=67108860/67108860
[pid=16914] ppid=16911 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16914/stat : 16914 (xcsp3-exec) S 16911 16914 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122245904 9740288 345 18446744073709551615 4194304 5098028 140727438366160 140727438364264 140139738919548 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 26980352 140727438373240 140727438373445 140727438373445 140727438376939 0
/proc/16914/statm: 2378 345 289 221 0 87 0
[pid=16916] ppid=16914 vsize=13978684 memory=78052 CPUtime=1.25 cores=1,3,5,7
/proc/16916/stat : 16916 (java) S 16914 16914 28892 0 -1 1077944320 13196 0 0 0 120 5 0 0 20 0 15 0 122245915 14314172416 19513 18446744073709551615 4194304 4196468 140730803549584 140730803532128 139836785684215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
/proc/16916/statm: 3494671 19513 3161 1 0 3482964 0
[pid=16916/tid=16917] ppid=16914 vsize=13978684 memory=7372786582024121444 CPUtime=0.51 cores=1,3,5,7
/proc/16916/task/16917/stat : 16917 (java) R 16914 16914 28892 0 -1 4202560 7927 0 0 0 48 3 0 0 20 0 15 0 122245916 14314172416 19513 18446744073709551615 4194304 4196468 140730803549584 139836789918712 139836430703464 0 4 1 16800974 0 0 0 -1 7 0 0 6 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16918] ppid=16914 vsize=13978684 memory=7373916858537504097 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16918/stat : 16918 (java) S 16914 16914 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122245916 14314172416 19513 18446744073709551615 4194304 4196468 140730803549584 139836386265744 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16919] ppid=16914 vsize=13978684 memory=6935649255759568960 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16919/stat : 16919 (java) S 16914 16914 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122245916 14314172416 19513 18446744073709551615 4194304 4196468 140730803549584 139836385212944 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16920] ppid=16914 vsize=13978684 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16920/stat : 16920 (java) S 16914 16914 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122245916 14314172416 19513 18446744073709551615 4194304 4196468 140730803549584 139836384160144 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16921] ppid=16914 vsize=13978684 memory=-7887927021948682183 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16921/stat : 16921 (java) S 16914 16914 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122245916 14314172416 19513 18446744073709551615 4194304 4196468 140730803549584 139836383107344 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16922] ppid=16914 vsize=13978684 memory=4137282616176187523 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16922/stat : 16922 (java) S 16914 16914 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122245918 14314172416 19513 18446744073709551615 4194304 4196468 140730803549584 139836264205168 139836785695362 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16923] ppid=16914 vsize=13978684 memory=-6586667735541663136 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16923/stat : 16923 (java) S 16914 16914 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122245918 14314172416 19513 18446744073709551615 4194304 4196468 140730803549584 139836263151136 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16924] ppid=16914 vsize=13978684 memory=-7595718148655178334 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16924/stat : 16924 (java) S 16914 16914 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122245919 14314172416 19513 18446744073709551615 4194304 4196468 140730803549584 139836262098288 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16925] ppid=16914 vsize=13978684 memory=-9178176116494409632 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16925/stat : 16925 (java) S 16914 16914 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122245921 14314172416 19513 18446744073709551615 4194304 4196468 140730803549584 139836261046608 139836785702811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16926] ppid=16914 vsize=13978684 memory=-7965959121690140575 CPUtime=0.22 cores=1,3,5,7
/proc/16916/task/16926/stat : 16926 (java) R 16914 16914 28892 0 -1 4202560 1540 0 0 0 22 0 0 0 20 0 15 0 122245921 14314172416 19513 18446744073709551615 4194304 4196468 140730803549584 139836259978048 139836769973216 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16927] ppid=16914 vsize=13978684 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/16916/task/16927/stat : 16927 (java) R 16914 16914 28892 0 -1 4202560 876 0 0 0 21 0 0 0 20 0 15 0 122245921 14314172416 19513 18446744073709551615 4194304 4196468 140730803549584 139836258929840 139836769587248 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16928] ppid=16914 vsize=13978684 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/16916/task/16928/stat : 16928 (java) S 16914 16914 28892 0 -1 1077944384 1546 0 0 0 27 0 0 0 20 0 15 0 122245921 14314172416 19513 18446744073709551615 4194304 4196468 140730803549584 139836257888368 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16929] ppid=16914 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16929/stat : 16929 (java) S 16914 16914 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122245921 14314172416 19513 18446744073709551615 4194304 4196468 140730803549584 139836256835808 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16930] ppid=16914 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16930/stat : 16930 (java) S 16914 16914 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122245928 14314172416 19513 18446744073709551615 4194304 4196468 140730803549584 139836255784112 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 79432 KiB
[startup+1.5007 s]
/proc/loadavg: 1.97 1.83 1.81 3/211 16930
/proc/meminfo: memFree=30153144/32770624 swapFree=67108860/67108860
[pid=16914] ppid=16911 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16914/stat : 16914 (xcsp3-exec) S 16911 16914 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122245904 9740288 345 18446744073709551615 4194304 5098028 140727438366160 140727438364264 140139738919548 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 26980352 140727438373240 140727438373445 140727438373445 140727438376939 0
/proc/16914/statm: 2378 345 289 221 0 87 0
[pid=16916] ppid=16914 vsize=13978684 memory=109640 CPUtime=2.49 cores=1,3,5,7
/proc/16916/stat : 16916 (java) S 16914 16914 28892 0 -1 1077944320 14455 0 0 0 243 6 0 0 20 0 15 0 122245915 14314172416 27410 18446744073709551615 4194304 4196468 140730803549584 140730803532128 139836785684215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
/proc/16916/statm: 3494671 27410 3177 1 0 3482964 0
[pid=16916/tid=16917] ppid=16914 vsize=13978684 memory=25918 CPUtime=1.3 cores=1,3,5,7
/proc/16916/task/16917/stat : 16917 (java) R 16914 16914 28892 0 -1 4202560 8234 0 0 0 127 3 0 0 20 0 15 0 122245916 14314172416 27410 18446744073709551615 4194304 4196468 140730803549584 139836789920504 139836770765056 0 4 1 16800974 0 0 0 -1 3 0 0 6 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16918] ppid=16914 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16918/stat : 16918 (java) S 16914 16914 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122245916 14314172416 27410 18446744073709551615 4194304 4196468 140730803549584 139836386265744 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16919] ppid=16914 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16919/stat : 16919 (java) S 16914 16914 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122245916 14314172416 27410 18446744073709551615 4194304 4196468 140730803549584 139836385212944 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16920] ppid=16914 vsize=13978684 memory=4955585388230777962 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16920/stat : 16920 (java) S 16914 16914 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122245916 14314172416 27410 18446744073709551615 4194304 4196468 140730803549584 139836384160144 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16921] ppid=16914 vsize=13978684 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16921/stat : 16921 (java) S 16914 16914 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122245916 14314172416 27410 18446744073709551615 4194304 4196468 140730803549584 139836383107344 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16922] ppid=16914 vsize=13978684 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16922/stat : 16922 (java) S 16914 16914 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122245918 14314172416 27410 18446744073709551615 4194304 4196468 140730803549584 139836264205168 139836785695362 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16923] ppid=16914 vsize=13978684 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16923/stat : 16923 (java) S 16914 16914 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122245918 14314172416 27410 18446744073709551615 4194304 4196468 140730803549584 139836263151136 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16924] ppid=16914 vsize=13978684 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16924/stat : 16924 (java) S 16914 16914 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122245919 14314172416 27410 18446744073709551615 4194304 4196468 140730803549584 139836262098288 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16925] ppid=16914 vsize=13978684 memory=65428 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16925/stat : 16925 (java) S 16914 16914 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122245921 14314172416 27410 18446744073709551615 4194304 4196468 140730803549584 139836261046608 139836785702811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16926] ppid=16914 vsize=13978684 memory=1296 CPUtime=0.41 cores=1,3,5,7
/proc/16916/task/16926/stat : 16926 (java) S 16914 16914 28892 0 -1 1077944384 1751 0 0 0 41 0 0 0 20 0 15 0 122245921 14314172416 27410 18446744073709551615 4194304 4196468 140730803549584 139836259993968 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16927] ppid=16914 vsize=13978684 memory=2420 CPUtime=0.39 cores=1,3,5,7
/proc/16916/task/16927/stat : 16927 (java) S 16914 16914 28892 0 -1 1077944384 1312 0 0 0 39 0 0 0 20 0 15 0 122245921 14314172416 27410 18446744073709551615 4194304 4196468 140730803549584 139836258941168 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16928] ppid=16914 vsize=13978684 memory=1732 CPUtime=0.35 cores=1,3,5,7
/proc/16916/task/16928/stat : 16928 (java) S 16914 16914 28892 0 -1 1077944384 1827 0 0 0 34 1 0 0 20 0 15 0 122245921 14314172416 27410 18446744073709551615 4194304 4196468 140730803549584 139836257888368 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16929] ppid=16914 vsize=13978684 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16929/stat : 16929 (java) S 16914 16914 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122245921 14314172416 27410 18446744073709551615 4194304 4196468 140730803549584 139836256835808 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16930] ppid=16914 vsize=13978684 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16930/stat : 16930 (java) S 16914 16914 28892 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 122245928 14314172416 27410 18446744073709551615 4194304 4196468 140730803549584 139836255784112 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
Current children cumulated CPU time: 2.49 s
Current children cumulated vsize: 13988196 KiB
################
# More data... #
################
/proc/16916/task/16918/stat : 16918 (java) S 16914 16914 28892 0 -1 1077944384 226 0 0 0 10 5 0 0 20 0 15 0 122245916 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836386265744 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16919] ppid=16914 vsize=13980732 memory=9130442918640188549 CPUtime=0.15 cores=1,3,5,7
/proc/16916/task/16919/stat : 16919 (java) S 16914 16914 28892 0 -1 1077944384 359 0 0 0 10 5 0 0 20 0 15 0 122245916 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836385212944 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16920] ppid=16914 vsize=13980732 memory=-3258418265892434876 CPUtime=0.15 cores=1,3,5,7
/proc/16916/task/16920/stat : 16920 (java) S 16914 16914 28892 0 -1 1077944384 283 0 0 0 10 5 0 0 20 0 15 0 122245916 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836384160144 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16921] ppid=16914 vsize=13980732 memory=-3039135443232236825 CPUtime=0.15 cores=1,3,5,7
/proc/16916/task/16921/stat : 16921 (java) S 16914 16914 28892 0 -1 1077944384 197 0 0 0 10 5 0 0 20 0 15 0 122245916 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836383107344 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16922] ppid=16914 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16922/stat : 16922 (java) S 16914 16914 28892 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 122245918 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836264205168 139836785695362 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16923] ppid=16914 vsize=13980732 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16923/stat : 16923 (java) S 16914 16914 28892 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 122245918 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836263151136 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16924] ppid=16914 vsize=13980732 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16924/stat : 16924 (java) S 16914 16914 28892 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 122245919 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836262098288 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16925] ppid=16914 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16925/stat : 16925 (java) S 16914 16914 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122245921 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836261046608 139836785702811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16926] ppid=16914 vsize=13980732 memory=4028 CPUtime=0.58 cores=1,3,5,7
/proc/16916/task/16926/stat : 16926 (java) S 16914 16914 28892 0 -1 1077944384 2487 0 0 0 57 1 0 0 20 0 15 0 122245921 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836259993968 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16927] ppid=16914 vsize=13980732 memory=65428 CPUtime=0.56 cores=1,3,5,7
/proc/16916/task/16927/stat : 16927 (java) S 16914 16914 28892 0 -1 1077944384 2058 0 0 0 56 0 0 0 20 0 15 0 122245921 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836258941168 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16928] ppid=16914 vsize=13980732 memory=1296 CPUtime=0.43 cores=1,3,5,7
/proc/16916/task/16928/stat : 16928 (java) S 16914 16914 28892 0 -1 1077944384 2749 0 0 0 42 1 0 0 20 0 15 0 122245921 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836257888368 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16929] ppid=16914 vsize=13980732 memory=2420 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16929/stat : 16929 (java) S 16914 16914 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122245921 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836256835808 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16930] ppid=16914 vsize=13980732 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16930/stat : 16930 (java) S 16914 16914 28892 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 122245928 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836255784112 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
Current children cumulated CPU time: 8.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 361000 KiB
[startup+7.69755 s]
# the end of solver process 16914 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.0652 s, system=0.376526 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40108 s]
/proc/loadavg: 1.97 1.84 1.81 3/211 16931
/proc/meminfo: memFree=29961232/32770624 swapFree=67108860/67108860
[pid=16914] ppid=16911 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16914/stat : 16914 (xcsp3-exec) S 16911 16914 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122245904 9740288 345 18446744073709551615 4194304 5098028 140727438366160 140727438364264 140139738919548 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 26980352 140727438373240 140727438373445 140727438373445 140727438376939 0
/proc/16914/statm: 2378 345 289 221 0 87 0
[pid=16916] ppid=16914 vsize=13980732 memory=359620 CPUtime=8.28 cores=1,3,5,7
/proc/16916/stat : 16916 (java) S 16914 16914 28892 0 -1 1077944320 19845 0 0 0 798 30 0 0 20 0 15 0 122245915 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 140730803532128 139836785684215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
/proc/16916/statm: 3495183 89905 3212 1 0 3483476 0
[pid=16916/tid=16917] ppid=16914 vsize=13980732 memory=280681616008128 CPUtime=6.04 cores=1,3,5,7
/proc/16916/task/16917/stat : 16917 (java) R 16914 16914 28892 0 -1 4202560 9772 0 0 0 599 5 0 0 20 0 15 0 122245916 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836789921136 139836432210204 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16918] ppid=16914 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/16916/task/16918/stat : 16918 (java) S 16914 16914 28892 0 -1 1077944384 226 0 0 0 10 5 0 0 20 0 15 0 122245916 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836386265744 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16919] ppid=16914 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/16916/task/16919/stat : 16919 (java) S 16914 16914 28892 0 -1 1077944384 359 0 0 0 10 5 0 0 20 0 15 0 122245916 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836385212944 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16920] ppid=16914 vsize=13980732 memory=1156 CPUtime=0.15 cores=1,3,5,7
/proc/16916/task/16920/stat : 16920 (java) S 16914 16914 28892 0 -1 1077944384 283 0 0 0 10 5 0 0 20 0 15 0 122245916 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836384160144 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16921] ppid=16914 vsize=13980732 memory=2456 CPUtime=0.15 cores=1,3,5,7
/proc/16916/task/16921/stat : 16921 (java) S 16914 16914 28892 0 -1 1077944384 197 0 0 0 10 5 0 0 20 0 15 0 122245916 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836383107344 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16922] ppid=16914 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16922/stat : 16922 (java) S 16914 16914 28892 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 122245918 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836264205168 139836785695362 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16923] ppid=16914 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16923/stat : 16923 (java) S 16914 16914 28892 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 122245918 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836263151136 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16924] ppid=16914 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16924/stat : 16924 (java) S 16914 16914 28892 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 122245919 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836262098288 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16925] ppid=16914 vsize=13980732 memory=3184238260884184464 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16925/stat : 16925 (java) S 16914 16914 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122245921 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836261046608 139836785702811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16926] ppid=16914 vsize=13980732 memory=4612 CPUtime=0.58 cores=1,3,5,7
/proc/16916/task/16926/stat : 16926 (java) S 16914 16914 28892 0 -1 1077944384 2487 0 0 0 57 1 0 0 20 0 15 0 122245921 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836259993968 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16927] ppid=16914 vsize=13980732 memory=1380 CPUtime=0.56 cores=1,3,5,7
/proc/16916/task/16927/stat : 16927 (java) S 16914 16914 28892 0 -1 1077944384 2058 0 0 0 56 0 0 0 20 0 15 0 122245921 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836258941168 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16928] ppid=16914 vsize=13980732 memory=298176 CPUtime=0.43 cores=1,3,5,7
/proc/16916/task/16928/stat : 16928 (java) S 16914 16914 28892 0 -1 1077944384 2749 0 0 0 42 1 0 0 20 0 15 0 122245921 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836257888368 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16929] ppid=16914 vsize=13980732 memory=-6237260532469557610 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16929/stat : 16929 (java) S 16914 16914 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122245921 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836256835808 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16930] ppid=16914 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16930/stat : 16930 (java) S 16914 16914 28892 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 122245928 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836255784112 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
Current children cumulated CPU time: 8.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 361000 KiB
[startup+7.2008 s]
/proc/loadavg: 1.97 1.84 1.81 3/211 16931
/proc/meminfo: memFree=29899972/32770624 swapFree=67108860/67108860
[pid=16914] ppid=16911 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16914/stat : 16914 (xcsp3-exec) S 16911 16914 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122245904 9740288 345 18446744073709551615 4194304 5098028 140727438366160 140727438364264 140139738919548 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 26980352 140727438373240 140727438373445 140727438373445 140727438376939 0
/proc/16914/statm: 2378 345 289 221 0 87 0
[pid=16916] ppid=16914 vsize=13980732 memory=359620 CPUtime=9.11 cores=1,3,5,7
/proc/16916/stat : 16916 (java) S 16914 16914 28892 0 -1 1077944320 20134 0 0 0 881 30 0 0 20 0 15 0 122245915 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 140730803532128 139836785684215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
/proc/16916/statm: 3495183 89905 3212 1 0 3483476 0
[pid=16916/tid=16917] ppid=16914 vsize=13980732 memory=-8774313645642428999 CPUtime=6.84 cores=1,3,5,7
/proc/16916/task/16917/stat : 16917 (java) R 16914 16914 28892 0 -1 4202560 9772 0 0 0 679 5 0 0 20 0 15 0 122245916 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836789921024 139836432210243 0 4 1 16800974 0 0 0 -1 5 0 0 6 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16918] ppid=16914 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/16916/task/16918/stat : 16918 (java) S 16914 16914 28892 0 -1 1077944384 226 0 0 0 10 5 0 0 20 0 15 0 122245916 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836386265744 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16919] ppid=16914 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/16916/task/16919/stat : 16919 (java) S 16914 16914 28892 0 -1 1077944384 359 0 0 0 10 5 0 0 20 0 15 0 122245916 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836385212944 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16920] ppid=16914 vsize=13980732 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/16916/task/16920/stat : 16920 (java) S 16914 16914 28892 0 -1 1077944384 283 0 0 0 10 5 0 0 20 0 15 0 122245916 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836384160144 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16921] ppid=16914 vsize=13980732 memory=22177 CPUtime=0.15 cores=1,3,5,7
/proc/16916/task/16921/stat : 16921 (java) S 16914 16914 28892 0 -1 1077944384 197 0 0 0 10 5 0 0 20 0 15 0 122245916 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836383107344 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16922] ppid=16914 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16922/stat : 16922 (java) S 16914 16914 28892 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 15 0 122245918 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836264205168 139836785695362 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16923] ppid=16914 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16923/stat : 16923 (java) S 16914 16914 28892 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 122245918 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836263151136 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16924] ppid=16914 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16924/stat : 16924 (java) S 16914 16914 28892 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 122245919 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836262098288 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16925] ppid=16914 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16925/stat : 16925 (java) S 16914 16914 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122245921 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836261046608 139836785702811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16926] ppid=16914 vsize=13980732 memory=0 CPUtime=0.6 cores=1,3,5,7
/proc/16916/task/16926/stat : 16926 (java) S 16914 16914 28892 0 -1 1077944384 2738 0 0 0 59 1 0 0 20 0 15 0 122245921 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836259993968 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16927] ppid=16914 vsize=13980732 memory=280681616379168 CPUtime=0.57 cores=1,3,5,7
/proc/16916/task/16927/stat : 16927 (java) S 16914 16914 28892 0 -1 1077944384 2096 0 0 0 57 0 0 0 20 0 15 0 122245921 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836258941168 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16928] ppid=16914 vsize=13980732 memory=140340808297709 CPUtime=0.43 cores=1,3,5,7
/proc/16916/task/16928/stat : 16928 (java) S 16914 16914 28892 0 -1 1077944384 2749 0 0 0 42 1 0 0 20 0 15 0 122245921 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836257888368 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16929] ppid=16914 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16929/stat : 16929 (java) S 16914 16914 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122245921 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836256835808 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16930] ppid=16914 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16930/stat : 16930 (java) S 16914 16914 28892 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 122245928 14316269568 89905 18446744073709551615 4194304 4196468 140730803549584 139836255784112 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
Current children cumulated CPU time: 9.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 361000 KiB
[startup+7.60739 s]
/proc/loadavg: 1.97 1.84 1.81 3/211 16931
/proc/meminfo: memFree=29899972/32770624 swapFree=67108860/67108860
[pid=16914] ppid=16911 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16914/stat : 16914 (xcsp3-exec) S 16911 16914 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 122245904 9740288 345 18446744073709551615 4194304 5098028 140727438366160 140727438364264 140139738919548 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 10 0 0 7196144 7232144 26980352 140727438373240 140727438373445 140727438373445 140727438376939 0
/proc/16914/statm: 2378 345 289 221 0 87 0
[pid=16916] ppid=16914 vsize=13980732 memory=431232 CPUtime=10.18 cores=1,3,5,7
/proc/16916/stat : 16916 (java) S 16914 16914 28892 0 -1 1077944320 21994 0 0 0 982 36 0 0 20 0 15 0 122245915 14316269568 107808 18446744073709551615 4194304 4196468 140730803549584 140730803532128 139836785684215 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
/proc/16916/statm: 3495183 107808 3219 1 0 3483476 0
[pid=16916/tid=16917] ppid=16914 vsize=13980732 memory=8098713909486184039 CPUtime=7.19 cores=1,3,5,7
/proc/16916/task/16917/stat : 16917 (java) S 16914 16914 28892 0 -1 1077944384 10565 0 0 0 714 5 0 0 20 0 15 0 122245916 14316269568 107808 18446744073709551615 4194304 4196468 140730803549584 139836789923344 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 6 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16918] ppid=16914 vsize=13980732 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/16916/task/16918/stat : 16918 (java) R 16914 16914 28892 0 -1 4202560 338 0 0 0 13 6 0 0 20 0 15 0 122245916 14316269568 107808 18446744073709551615 4194304 4196468 140730803549584 139836386265944 139836778780916 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16919] ppid=16914 vsize=13980732 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/16916/task/16919/stat : 16919 (java) R 16914 16914 28892 0 -1 4202560 393 0 0 0 13 6 0 0 20 0 15 0 122245916 14316269568 107808 18446744073709551615 4194304 4196468 140730803549584 139836385212944 139836778787263 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16920] ppid=16914 vsize=13980732 memory=5788 CPUtime=0.2 cores=1,3,5,7
/proc/16916/task/16920/stat : 16920 (java) R 16914 16914 28892 0 -1 4202560 408 0 0 0 13 7 0 0 20 0 15 0 122245916 14316269568 107808 18446744073709551615 4194304 4196468 140730803549584 139836384160144 139836767310247 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16921] ppid=16914 vsize=13980732 memory=4612 CPUtime=0.2 cores=1,3,5,7
/proc/16916/task/16921/stat : 16921 (java) R 16914 16914 28892 0 -1 4202560 223 0 0 0 14 6 0 0 20 0 15 0 122245916 14316269568 107808 18446744073709551615 4194304 4196468 140730803549584 139836383107344 139836778783915 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16922] ppid=16914 vsize=13980732 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16922/stat : 16922 (java) S 16914 16914 28892 0 -1 1077944384 251 0 0 0 0 0 0 0 20 0 15 0 122245918 14316269568 107808 18446744073709551615 4194304 4196468 140730803549584 139836264203680 139836785694421 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16923] ppid=16914 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16923/stat : 16923 (java) S 16914 16914 28892 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 122245918 14316269568 107808 18446744073709551615 4194304 4196468 140730803549584 139836263151136 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16924] ppid=16914 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16924/stat : 16924 (java) S 16914 16914 28892 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 122245919 14316269568 107808 18446744073709551615 4194304 4196468 140730803549584 139836262098288 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16925] ppid=16914 vsize=13980732 memory=12216 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16925/stat : 16925 (java) S 16914 16914 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122245921 14316269568 107808 18446744073709551615 4194304 4196468 140730803549584 139836261046608 139836785702811 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16926] ppid=16914 vsize=13980732 memory=1992 CPUtime=0.82 cores=1,3,5,7
/proc/16916/task/16926/stat : 16926 (java) S 16914 16914 28892 0 -1 1077944384 2994 0 0 0 81 1 0 0 20 0 15 0 122245921 14316269568 107808 18446744073709551615 4194304 4196468 140730803549584 139836259982736 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16927] ppid=16914 vsize=13980732 memory=1204 CPUtime=0.82 cores=1,3,5,7
/proc/16916/task/16927/stat : 16927 (java) S 16914 16914 28892 0 -1 1077944384 2393 0 0 0 82 0 0 0 20 0 15 0 122245921 14316269568 107808 18446744073709551615 4194304 4196468 140730803549584 139836258926160 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16928] ppid=16914 vsize=13980732 memory=1000 CPUtime=0.49 cores=1,3,5,7
/proc/16916/task/16928/stat : 16928 (java) S 16914 16914 28892 0 -1 1077944384 2941 0 0 0 48 1 0 0 20 0 15 0 122245921 14316269568 107808 18446744073709551615 4194304 4196468 140730803549584 139836257888368 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16929] ppid=16914 vsize=13980732 memory=796 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16929/stat : 16929 (java) S 16914 16914 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122245921 14316269568 107808 18446744073709551615 4194304 4196468 140730803549584 139836256835808 139836785694421 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
[pid=16916/tid=16930] ppid=16914 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16916/task/16930/stat : 16930 (java) S 16914 16914 28892 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 122245928 14316269568 107808 18446744073709551615 4194304 4196468 140730803549584 139836255784112 139836785695362 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 27873280 140730803556785 140730803556961 140730803556961 140730803560399 0
Current children cumulated CPU time: 10.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 432612 KiB
Child status: 0
Real time (s): 7.6976
CPU time (s): 10.4417
CPU user time (s): 10.0652
CPU system time (s): 0.376526
CPU usage (%): 135.649
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 432612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0652
system time used= 0.376526
maximum resident set size= 440088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22705
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2225
involuntary context switches= 31
# summary of solver processes directly reported to runsolver:
# pid: 16914
# total CPU time (s): 10.4417
# total CPU user time (s): 10.0652
# total CPU system time (s): 0.376526
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.085892 second user time and 0.093976 second system time
The end