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-4254072-1501615614/watcher-4254072-1501615614 -o /tmp/evaluation-result-4254072-1501615614/solver-4254072-1501615614 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5294 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 972139746 HOME/instance-4254072-1501615614.xml
pid=9875
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.03 1.99 3/199 9878
/proc/meminfo: memFree=31109376/32770624 swapFree=0/280600
[pid=9878] ppid=9875 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (runsolver) D 9875 9878 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9067096 24240128 108 18446744073709551615 4194304 4338465 140727579716736 140727579714376 139838785508055 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 18231296 140727579721822 140727579722310 140727579722310 140727579725770 0
/proc/9878/statm: 5918 108 54 36 0 2156 0
[startup+0.100172 s]
/proc/loadavg: 2.06 2.03 1.99 3/199 9878
/proc/meminfo: memFree=31109376/32770624 swapFree=0/280600
[pid=9878] ppid=9875 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (xcsp3-exec) S 9875 9878 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9067096 9740288 345 18446744073709551615 4194304 5098028 140721956053504 140721956051608 140163274609276 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 37089280 140721956057500 140721956057703 140721956057703 140721956061163 0
/proc/9878/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20025 s]
/proc/loadavg: 2.06 2.03 1.99 3/199 9878
/proc/meminfo: memFree=31109376/32770624 swapFree=0/280600
[pid=9878] ppid=9875 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (xcsp3-exec) S 9875 9878 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9067096 9740288 345 18446744073709551615 4194304 5098028 140721956053504 140721956051608 140163274609276 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 37089280 140721956057500 140721956057703 140721956057703 140721956061163 0
/proc/9878/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30322 s]
/proc/loadavg: 2.06 2.03 1.99 3/199 9878
/proc/meminfo: memFree=31109376/32770624 swapFree=0/280600
[pid=9878] ppid=9875 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (xcsp3-exec) S 9875 9878 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9067096 9740288 345 18446744073709551615 4194304 5098028 140721956053504 140721956051608 140163274609276 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 37089280 140721956057500 140721956057703 140721956057703 140721956061163 0
/proc/9878/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700232 s]
/proc/loadavg: 2.06 2.03 1.99 3/199 9878
/proc/meminfo: memFree=31109376/32770624 swapFree=0/280600
[pid=9878] ppid=9875 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (xcsp3-exec) S 9875 9878 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9067096 9740288 345 18446744073709551615 4194304 5098028 140721956053504 140721956051608 140163274609276 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 37089280 140721956057500 140721956057703 140721956057703 140721956061163 0
/proc/9878/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5007 s]
/proc/loadavg: 2.06 2.03 1.99 5/215 9894
/proc/meminfo: memFree=31011656/32770624 swapFree=0/280604
[pid=9878] ppid=9875 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (xcsp3-exec) S 9875 9878 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9067096 9740288 345 18446744073709551615 4194304 5098028 140721956053504 140721956051608 140163274609276 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 37089280 140721956057500 140721956057703 140721956057703 140721956061163 0
/proc/9878/statm: 2378 345 289 221 0 87 0
[pid=9880] ppid=9878 vsize=13980732 CPUtime=3.7 cores=0,2,4,6
/proc/9880/stat : 9880 (java) S 9878 9878 5234 0 -1 1077944320 37030 0 0 0 363 7 0 0 20 0 15 0 9067102 14316269568 29380 18446744073709551615 4194304 4196468 140726390007120 140726389989664 140584964886263 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
/proc/9880/statm: 3495183 29380 3178 1 0 3483484 0
[pid=9880/tid=9881] ppid=9878 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/9880/task/9881/stat : 9881 (java) R 9878 9878 5234 0 -1 4202560 8455 0 0 0 133 4 0 0 20 0 15 0 9067103 14316269568 29380 18446744073709551615 4194304 4196468 140726390007120 140584969121680 140584950096132 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9882] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9882/stat : 9882 (java) S 9878 9878 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9067103 14316269568 29380 18446744073709551615 4194304 4196468 140726390007120 140584884300944 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9883] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9883/stat : 9883 (java) S 9878 9878 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9067103 14316269568 29380 18446744073709551615 4194304 4196468 140726390007120 140584564026384 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9884] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9884/stat : 9884 (java) S 9878 9878 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9067103 14316269568 29380 18446744073709551615 4194304 4196468 140726390007120 140584562973584 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9885] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9885/stat : 9885 (java) S 9878 9878 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9067103 14316269568 29380 18446744073709551615 4194304 4196468 140726390007120 140584561920784 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9886] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9886/stat : 9886 (java) S 9878 9878 5234 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 9067105 14316269568 29380 18446744073709551615 4194304 4196468 140726390007120 140584309303664 140584964897410 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9887] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9887/stat : 9887 (java) S 9878 9878 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9067105 14316269568 29380 18446744073709551615 4194304 4196468 140726390007120 140584308249632 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9888] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9888/stat : 9888 (java) S 9878 9878 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9067105 14316269568 29380 18446744073709551615 4194304 4196468 140726390007120 140584307196784 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9889] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9889/stat : 9889 (java) S 9878 9878 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9067108 14316269568 29380 18446744073709551615 4194304 4196468 140726390007120 140584306145104 140584964904859 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9890] ppid=9878 vsize=13980732 CPUtime=1 cores=0,2,4,6
/proc/9880/task/9890/stat : 9890 (java) S 9878 9878 5234 0 -1 1077944384 9742 0 0 0 99 1 0 0 20 0 15 0 9067108 14316269568 29380 18446744073709551615 4194304 4196468 140726390007120 140584305093488 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9891] ppid=9878 vsize=13980732 CPUtime=1.05 cores=0,2,4,6
/proc/9880/task/9891/stat : 9891 (java) R 9878 9878 5234 0 -1 4202560 15808 0 0 0 104 1 0 0 20 0 15 0 9067108 14316269568 29380 18446744073709551615 4194304 4196468 140726390007120 140584304028368 140584949995836 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9892] ppid=9878 vsize=13980732 CPUtime=0.25 cores=0,2,4,6
/proc/9880/task/9892/stat : 9892 (java) S 9878 9878 5234 0 -1 1077944384 1707 0 0 0 25 0 0 0 20 0 15 0 9067108 14316269568 29380 18446744073709551615 4194304 4196468 140726390007120 140584302987888 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9893] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9893/stat : 9893 (java) S 9878 9878 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9067108 14316269568 29380 18446744073709551615 4194304 4196468 140726390007120 140584301935328 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9894] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9894/stat : 9894 (java) S 9878 9878 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9067112 14316269568 29380 18446744073709551615 4194304 4196468 140726390007120 140584300882608 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 13990244
[startup+3.10072 s]
/proc/loadavg: 2.05 2.03 1.99 3/215 9894
/proc/meminfo: memFree=30983844/32770624 swapFree=0/280604
[pid=9878] ppid=9875 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (xcsp3-exec) S 9875 9878 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9067096 9740288 345 18446744073709551615 4194304 5098028 140721956053504 140721956051608 140163274609276 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 37089280 140721956057500 140721956057703 140721956057703 140721956061163 0
/proc/9878/statm: 2378 345 289 221 0 87 0
[pid=9880] ppid=9878 vsize=13980732 CPUtime=6.11 cores=0,2,4,6
/proc/9880/stat : 9880 (java) S 9878 9878 5234 0 -1 1077944320 41030 0 0 0 602 9 0 0 20 0 15 0 9067102 14316269568 41635 18446744073709551615 4194304 4196468 140726390007120 140726389989664 140584964886263 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
/proc/9880/statm: 3495183 41635 3178 1 0 3483484 0
[pid=9880/tid=9881] ppid=9878 vsize=13980732 CPUtime=2.97 cores=0,2,4,6
/proc/9880/task/9881/stat : 9881 (java) R 9878 9878 5234 0 -1 4202560 9106 0 0 0 292 5 0 0 20 0 15 0 9067103 14316269568 41635 18446744073709551615 4194304 4196468 140726390007120 140584969117520 140584568160026 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9882] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9882/stat : 9882 (java) S 9878 9878 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9067103 14316269568 41635 18446744073709551615 4194304 4196468 140726390007120 140584884300944 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9883] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9883/stat : 9883 (java) S 9878 9878 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9067103 14316269568 41635 18446744073709551615 4194304 4196468 140726390007120 140584564026384 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9884] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9884/stat : 9884 (java) S 9878 9878 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9067103 14316269568 41635 18446744073709551615 4194304 4196468 140726390007120 140584562973584 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9885] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9885/stat : 9885 (java) S 9878 9878 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9067103 14316269568 41635 18446744073709551615 4194304 4196468 140726390007120 140584561920784 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9886] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9886/stat : 9886 (java) S 9878 9878 5234 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 9067105 14316269568 41635 18446744073709551615 4194304 4196468 140726390007120 140584309303664 140584964897410 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9887] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9887/stat : 9887 (java) S 9878 9878 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9067105 14316269568 41635 18446744073709551615 4194304 4196468 140726390007120 140584308249632 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9888] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9888/stat : 9888 (java) S 9878 9878 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9067105 14316269568 41635 18446744073709551615 4194304 4196468 140726390007120 140584307196784 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9889] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9889/stat : 9889 (java) S 9878 9878 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9067108 14316269568 41635 18446744073709551615 4194304 4196468 140726390007120 140584306145104 140584964904859 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9890] ppid=9878 vsize=13980732 CPUtime=1.37 cores=0,2,4,6
/proc/9880/task/9890/stat : 9890 (java) R 9878 9878 5234 0 -1 4202560 11222 0 0 0 136 1 0 0 20 0 15 0 9067108 14316269568 41635 18446744073709551615 4194304 4196468 140726390007120 140584305082080 140584944132763 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9891] ppid=9878 vsize=13980732 CPUtime=1.45 cores=0,2,4,6
/proc/9880/task/9891/stat : 9891 (java) R 9878 9878 5234 0 -1 4202560 17398 0 0 0 144 1 0 0 20 0 15 0 9067108 14316269568 41635 18446744073709551615 4194304 4196468 140726390007120 140584304040688 140584946429555 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9892] ppid=9878 vsize=13980732 CPUtime=0.27 cores=0,2,4,6
/proc/9880/task/9892/stat : 9892 (java) S 9878 9878 5234 0 -1 1077944384 1954 0 0 0 27 0 0 0 20 0 15 0 9067108 14316269568 41635 18446744073709551615 4194304 4196468 140726390007120 140584302987888 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9893] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9893/stat : 9893 (java) S 9878 9878 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9067108 14316269568 41635 18446744073709551615 4194304 4196468 140726390007120 140584301935328 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9894] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9894/stat : 9894 (java) S 9878 9878 5234 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 9067112 14316269568 41635 18446744073709551615 4194304 4196468 140726390007120 140584300882608 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 13990244
[startup+6.30067 s]
/proc/loadavg: 2.05 2.03 1.99 3/215 9894
/proc/meminfo: memFree=30898276/32770624 swapFree=0/280616
[pid=9878] ppid=9875 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (xcsp3-exec) S 9875 9878 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9067096 9740288 345 18446744073709551615 4194304 5098028 140721956053504 140721956051608 140163274609276 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 37089280 140721956057500 140721956057703 140721956057703 140721956061163 0
/proc/9878/statm: 2378 345 289 221 0 87 0
[pid=9880] ppid=9878 vsize=13980732 CPUtime=9.72 cores=0,2,4,6
/proc/9880/stat : 9880 (java) S 9878 9878 5234 0 -1 1077944320 45372 0 0 0 961 11 0 0 20 0 15 0 9067102 14316269568 55681 18446744073709551615 4194304 4196468 140726390007120 140726389989664 140584964886263 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
/proc/9880/statm: 3495183 55681 3195 1 0 3483484 0
[pid=9880/tid=9881] ppid=9878 vsize=13980732 CPUtime=6.17 cores=0,2,4,6
/proc/9880/task/9881/stat : 9881 (java) R 9878 9878 5234 0 -1 4202560 9298 0 0 0 611 6 0 0 20 0 15 0 9067103 14316269568 55681 18446744073709551615 4194304 4196468 140726390007120 140584969117520 140584568401573 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9882] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9882/stat : 9882 (java) S 9878 9878 5234 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 9067103 14316269568 55681 18446744073709551615 4194304 4196468 140726390007120 140584884300944 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9883] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9883/stat : 9883 (java) S 9878 9878 5234 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 9067103 14316269568 55681 18446744073709551615 4194304 4196468 140726390007120 140584564026384 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9884] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9884/stat : 9884 (java) S 9878 9878 5234 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 15 0 9067103 14316269568 55681 18446744073709551615 4194304 4196468 140726390007120 140584562973584 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9885] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9885/stat : 9885 (java) S 9878 9878 5234 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 9067103 14316269568 55681 18446744073709551615 4194304 4196468 140726390007120 140584561920784 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9886] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9886/stat : 9886 (java) S 9878 9878 5234 0 -1 1077944384 437 0 0 0 0 0 0 0 20 0 15 0 9067105 14316269568 55681 18446744073709551615 4194304 4196468 140726390007120 140584309303664 140584964897410 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9887] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9887/stat : 9887 (java) S 9878 9878 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9067105 14316269568 55681 18446744073709551615 4194304 4196468 140726390007120 140584308249632 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9888] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9888/stat : 9888 (java) S 9878 9878 5234 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9067105 14316269568 55681 18446744073709551615 4194304 4196468 140726390007120 140584307196784 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9889] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9889/stat : 9889 (java) S 9878 9878 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9067108 14316269568 55681 18446744073709551615 4194304 4196468 140726390007120 140584306145104 140584964904859 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9890] ppid=9878 vsize=13980732 CPUtime=1.57 cores=0,2,4,6
/proc/9880/task/9890/stat : 9890 (java) S 9878 9878 5234 0 -1 1077944384 11673 0 0 0 156 1 0 0 20 0 15 0 9067108 14316269568 55681 18446744073709551615 4194304 4196468 140726390007120 140584305093488 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9891] ppid=9878 vsize=13980732 CPUtime=1.64 cores=0,2,4,6
/proc/9880/task/9891/stat : 9891 (java) S 9878 9878 5234 0 -1 1077944384 17907 0 0 0 163 1 0 0 20 0 15 0 9067108 14316269568 55681 18446744073709551615 4194304 4196468 140726390007120 140584304040688 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9892] ppid=9878 vsize=13980732 CPUtime=0.29 cores=0,2,4,6
/proc/9880/task/9892/stat : 9892 (java) S 9878 9878 5234 0 -1 1077944384 3023 0 0 0 29 0 0 0 20 0 15 0 9067108 14316269568 55681 18446744073709551615 4194304 4196468 140726390007120 140584302987888 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9893] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9893/stat : 9893 (java) S 9878 9878 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9067108 14316269568 55681 18446744073709551615 4194304 4196468 140726390007120 140584301935328 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9894] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9894/stat : 9894 (java) S 9878 9878 5234 0 -1 1077944384 1299 0 0 0 0 0 0 0 20 0 15 0 9067112 14316269568 55681 18446744073709551615 4194304 4196468 140726390007120 140584300882608 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
Current children cumulated CPU time (s) 9.72
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.05 2.03 1.99 3/215 9894
/proc/meminfo: memFree=30904016/32770624 swapFree=0/280628
[pid=9878] ppid=9875 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (xcsp3-exec) S 9875 9878 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9067096 9740288 345 18446744073709551615 4194304 5098028 140721956053504 140721956051608 140163274609276 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 37089280 140721956057500 140721956057703 140721956057703 140721956061163 0
/proc/9878/statm: 2378 345 289 221 0 87 0
[pid=9880] ppid=9878 vsize=13980732 CPUtime=16.19 cores=0,2,4,6
/proc/9880/stat : 9880 (java) S 9878 9878 5234 0 -1 1077944320 47959 0 0 0 1608 11 0 0 20 0 15 0 9067102 14316269568 54112 18446744073709551615 4194304 4196468 140726390007120 140726389989664 140584964886263 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
/proc/9880/statm: 3495183 54112 3206 1 0 3483484 0
[pid=9880/tid=9881] ppid=9878 vsize=13980732 CPUtime=12.56 cores=0,2,4,6
/proc/9880/task/9881/stat : 9881 (java) R 9878 9878 5234 0 -1 4202560 9852 0 0 0 1250 6 0 0 20 0 15 0 9067103 14316269568 54112 18446744073709551615 4194304 4196468 140726390007120 140584969125120 140584568206635 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9882] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9882/stat : 9882 (java) S 9878 9878 5234 0 -1 1077944384 106 0 0 0 0 0 0 0 20 0 15 0 9067103 14316269568 54112 18446744073709551615 4194304 4196468 140726390007120 140584884300944 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9883] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9883/stat : 9883 (java) S 9878 9878 5234 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 15 0 9067103 14316269568 54112 18446744073709551615 4194304 4196468 140726390007120 140584564026384 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
################
# More data... #
################
[pid=9880/tid=9887] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9887/stat : 9887 (java) S 9878 9878 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9067105 14316269568 53988 18446744073709551615 4194304 4196468 140726390007120 140584308249632 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9888] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9888/stat : 9888 (java) S 9878 9878 5234 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9067105 14316269568 53988 18446744073709551615 4194304 4196468 140726390007120 140584307196784 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9889] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9889/stat : 9889 (java) S 9878 9878 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9067108 14316269568 53988 18446744073709551615 4194304 4196468 140726390007120 140584306145104 140584964904859 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9890] ppid=9878 vsize=13980732 CPUtime=1.7 cores=0,2,4,6
/proc/9880/task/9890/stat : 9890 (java) S 9878 9878 5234 0 -1 1077944384 14198 0 0 0 169 1 0 0 20 0 15 0 9067108 14316269568 53988 18446744073709551615 4194304 4196468 140726390007120 140584305093488 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9891] ppid=9878 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/9880/task/9891/stat : 9891 (java) S 9878 9878 5234 0 -1 1077944384 22101 0 0 0 180 2 0 0 20 0 15 0 9067108 14316269568 53988 18446744073709551615 4194304 4196468 140726390007120 140584304040688 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9892] ppid=9878 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/9880/task/9892/stat : 9892 (java) S 9878 9878 5234 0 -1 1077944384 4895 0 0 0 31 0 0 0 20 0 15 0 9067108 14316269568 53988 18446744073709551615 4194304 4196468 140726390007120 140584302987888 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9893] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9893/stat : 9893 (java) S 9878 9878 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9067108 14316269568 53988 18446744073709551615 4194304 4196468 140726390007120 140584301935328 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9894] ppid=9878 vsize=13980732 CPUtime=0.03 cores=0,2,4,6
/proc/9880/task/9894/stat : 9894 (java) S 9878 9878 5234 0 -1 1077944384 1547 0 0 0 1 2 0 0 20 0 15 0 9067112 14316269568 53988 18446744073709551615 4194304 4196468 140726390007120 140584300882608 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
Current children cumulated CPU time (s) 106.65
Current children cumulated vsize (KiB) 13990244
[startup+162.307 s]
/proc/loadavg: 1.52 1.83 1.92 3/214 9976
/proc/meminfo: memFree=31356376/32770624 swapFree=0/280784
[pid=9878] ppid=9875 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (xcsp3-exec) S 9875 9878 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9067096 9740288 345 18446744073709551615 4194304 5098028 140721956053504 140721956051608 140163274609276 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 37089280 140721956057500 140721956057703 140721956057703 140721956061163 0
/proc/9878/statm: 2378 345 289 221 0 87 0
[pid=9880] ppid=9878 vsize=13980732 CPUtime=167.31 cores=0,2,4,6
/proc/9880/stat : 9880 (java) S 9878 9878 5234 0 -1 1077944320 70435 0 0 0 16692 39 0 0 20 0 15 0 9067102 14316269568 81001 18446744073709551615 4194304 4196468 140726390007120 140726389989664 140584964886263 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
/proc/9880/statm: 3495183 81001 3210 1 0 3483484 0
[pid=9880/tid=9881] ppid=9878 vsize=13980732 CPUtime=161.33 cores=0,2,4,6
/proc/9880/task/9881/stat : 9881 (java) R 9878 9878 5234 0 -1 4202560 17414 0 0 0 16124 9 0 0 20 0 15 0 9067103 14316269568 81001 18446744073709551615 4194304 4196468 140726390007120 140584969125824 140584568204062 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9882] ppid=9878 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/9880/task/9882/stat : 9882 (java) S 9878 9878 5234 0 -1 1077944384 978 0 0 0 36 5 0 0 20 0 15 0 9067103 14316269568 81001 18446744073709551615 4194304 4196468 140726390007120 140584884300944 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9883] ppid=9878 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/9880/task/9883/stat : 9883 (java) S 9878 9878 5234 0 -1 1077944384 1653 0 0 0 36 5 0 0 20 0 15 0 9067103 14316269568 81001 18446744073709551615 4194304 4196468 140726390007120 140584564026384 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9884] ppid=9878 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/9880/task/9884/stat : 9884 (java) S 9878 9878 5234 0 -1 1077944384 1650 0 0 0 37 5 0 0 20 0 15 0 9067103 14316269568 81001 18446744073709551615 4194304 4196468 140726390007120 140584562973584 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9885] ppid=9878 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/9880/task/9885/stat : 9885 (java) S 9878 9878 5234 0 -1 1077944384 1337 0 0 0 36 5 0 0 20 0 15 0 9067103 14316269568 81001 18446744073709551615 4194304 4196468 140726390007120 140584561920784 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9886] ppid=9878 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/9880/task/9886/stat : 9886 (java) S 9878 9878 5234 0 -1 1077944384 1862 0 0 0 27 4 0 0 20 0 15 0 9067105 14316269568 81001 18446744073709551615 4194304 4196468 140726390007120 140584309303664 140584964897410 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9887] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9887/stat : 9887 (java) S 9878 9878 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9067105 14316269568 81001 18446744073709551615 4194304 4196468 140726390007120 140584308249632 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9888] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9888/stat : 9888 (java) S 9878 9878 5234 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9067105 14316269568 81001 18446744073709551615 4194304 4196468 140726390007120 140584307196784 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9889] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9889/stat : 9889 (java) S 9878 9878 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9067108 14316269568 81001 18446744073709551615 4194304 4196468 140726390007120 140584306145104 140584964904859 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9890] ppid=9878 vsize=13980732 CPUtime=1.71 cores=0,2,4,6
/proc/9880/task/9890/stat : 9890 (java) S 9878 9878 5234 0 -1 1077944384 14722 0 0 0 170 1 0 0 20 0 15 0 9067108 14316269568 81001 18446744073709551615 4194304 4196468 140726390007120 140584305093488 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9891] ppid=9878 vsize=13980732 CPUtime=1.83 cores=0,2,4,6
/proc/9880/task/9891/stat : 9891 (java) S 9878 9878 5234 0 -1 1077944384 22819 0 0 0 181 2 0 0 20 0 15 0 9067108 14316269568 81001 18446744073709551615 4194304 4196468 140726390007120 140584304040688 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9892] ppid=9878 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/9880/task/9892/stat : 9892 (java) S 9878 9878 5234 0 -1 1077944384 5058 0 0 0 31 0 0 0 20 0 15 0 9067108 14316269568 81001 18446744073709551615 4194304 4196468 140726390007120 140584302987888 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9893] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9893/stat : 9893 (java) S 9878 9878 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9067108 14316269568 81001 18446744073709551615 4194304 4196468 140726390007120 140584301935328 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9894] ppid=9878 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/9880/task/9894/stat : 9894 (java) S 9878 9878 5234 0 -1 1077944384 1589 0 0 0 2 4 0 0 20 0 15 0 9067112 14316269568 81001 18446744073709551615 4194304 4196468 140726390007120 140584300882608 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
Current children cumulated CPU time (s) 167.31
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.32 1.72 1.88 3/215 9979
/proc/meminfo: memFree=31213164/32770624 swapFree=0/280820
[pid=9878] ppid=9875 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (xcsp3-exec) S 9875 9878 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9067096 9740288 345 18446744073709551615 4194304 5098028 140721956053504 140721956051608 140163274609276 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 37089280 140721956057500 140721956057703 140721956057703 140721956061163 0
/proc/9878/statm: 2378 345 289 221 0 87 0
[pid=9880] ppid=9878 vsize=13980732 CPUtime=228.02 cores=0,2,4,6
/proc/9880/stat : 9880 (java) S 9878 9878 5234 0 -1 1077944320 78168 0 0 0 22755 47 0 0 20 0 15 0 9067102 14316269568 98835 18446744073709551615 4194304 4196468 140726390007120 140726389989664 140584964886263 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
/proc/9880/statm: 3495183 98835 3210 1 0 3483484 0
[pid=9880/tid=9881] ppid=9878 vsize=13980732 CPUtime=220.93 cores=0,2,4,6
/proc/9880/task/9881/stat : 9881 (java) R 9878 9878 5234 0 -1 4202560 23699 0 0 0 22083 10 0 0 20 0 15 0 9067103 14316269568 98835 18446744073709551615 4194304 4196468 140726390007120 140584969125936 140584950954382 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9882] ppid=9878 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/9880/task/9882/stat : 9882 (java) S 9878 9878 5234 0 -1 1077944384 1356 0 0 0 59 6 0 0 20 0 15 0 9067103 14316269568 98835 18446744073709551615 4194304 4196468 140726390007120 140584884300944 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9883] ppid=9878 vsize=13980732 CPUtime=0.66 cores=0,2,4,6
/proc/9880/task/9883/stat : 9883 (java) S 9878 9878 5234 0 -1 1077944384 2018 0 0 0 59 7 0 0 20 0 15 0 9067103 14316269568 98835 18446744073709551615 4194304 4196468 140726390007120 140584564026384 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9884] ppid=9878 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/9880/task/9884/stat : 9884 (java) S 9878 9878 5234 0 -1 1077944384 1989 0 0 0 59 6 0 0 20 0 15 0 9067103 14316269568 98835 18446744073709551615 4194304 4196468 140726390007120 140584562973584 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9885] ppid=9878 vsize=13980732 CPUtime=0.65 cores=0,2,4,6
/proc/9880/task/9885/stat : 9885 (java) S 9878 9878 5234 0 -1 1077944384 1670 0 0 0 59 6 0 0 20 0 15 0 9067103 14316269568 98835 18446744073709551615 4194304 4196468 140726390007120 140584561920784 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9886] ppid=9878 vsize=13980732 CPUtime=0.42 cores=0,2,4,6
/proc/9880/task/9886/stat : 9886 (java) S 9878 9878 5234 0 -1 1077944384 1895 0 0 0 37 5 0 0 20 0 15 0 9067105 14316269568 98835 18446744073709551615 4194304 4196468 140726390007120 140584309303664 140584964897410 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9887] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9887/stat : 9887 (java) S 9878 9878 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9067105 14316269568 98835 18446744073709551615 4194304 4196468 140726390007120 140584308249632 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9888] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9888/stat : 9888 (java) S 9878 9878 5234 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9067105 14316269568 98835 18446744073709551615 4194304 4196468 140726390007120 140584307196784 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9889] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9889/stat : 9889 (java) S 9878 9878 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9067108 14316269568 98835 18446744073709551615 4194304 4196468 140726390007120 140584306145104 140584964904859 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9890] ppid=9878 vsize=13980732 CPUtime=1.72 cores=0,2,4,6
/proc/9880/task/9890/stat : 9890 (java) S 9878 9878 5234 0 -1 1077944384 14722 0 0 0 171 1 0 0 20 0 15 0 9067108 14316269568 98835 18446744073709551615 4194304 4196468 140726390007120 140584305093488 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9891] ppid=9878 vsize=13980732 CPUtime=1.83 cores=0,2,4,6
/proc/9880/task/9891/stat : 9891 (java) S 9878 9878 5234 0 -1 1077944384 22819 0 0 0 181 2 0 0 20 0 15 0 9067108 14316269568 98835 18446744073709551615 4194304 4196468 140726390007120 140584304040688 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9892] ppid=9878 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/9880/task/9892/stat : 9892 (java) S 9878 9878 5234 0 -1 1077944384 5058 0 0 0 31 0 0 0 20 0 15 0 9067108 14316269568 98835 18446744073709551615 4194304 4196468 140726390007120 140584302987888 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9893] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9893/stat : 9893 (java) S 9878 9878 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9067108 14316269568 98835 18446744073709551615 4194304 4196468 140726390007120 140584301935328 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9894] ppid=9878 vsize=13980732 CPUtime=0.1 cores=0,2,4,6
/proc/9880/task/9894/stat : 9894 (java) S 9878 9878 5234 0 -1 1077944384 1589 0 0 0 4 6 0 0 20 0 15 0 9067112 14316269568 98835 18446744073709551615 4194304 4196468 140726390007120 140584300882608 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
Current children cumulated CPU time (s) 228.02
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.23 1.68 1.86 3/215 9980
/proc/meminfo: memFree=31164180/32770624 swapFree=0/280828
[pid=9878] ppid=9875 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9878/stat : 9878 (xcsp3-exec) S 9875 9878 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9067096 9740288 345 18446744073709551615 4194304 5098028 140721956053504 140721956051608 140163274609276 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 6 0 0 7196144 7232144 37089280 140721956057500 140721956057703 140721956057703 140721956061163 0
/proc/9878/statm: 2378 345 289 221 0 87 0
[pid=9880] ppid=9878 vsize=13980732 CPUtime=245.9 cores=0,2,4,6
/proc/9880/stat : 9880 (java) S 9878 9878 5234 0 -1 1077944320 78447 0 0 0 24540 50 0 0 20 0 15 0 9067102 14316269568 100920 18446744073709551615 4194304 4196468 140726390007120 140726389989664 140584964886263 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
/proc/9880/statm: 3495183 100920 3210 1 0 3483484 0
[pid=9880/tid=9881] ppid=9878 vsize=13980732 CPUtime=238.51 cores=0,2,4,6
/proc/9880/task/9881/stat : 9881 (java) R 9878 9878 5234 0 -1 4202560 23922 0 0 0 23841 10 0 0 20 0 15 0 9067103 14316269568 100920 18446744073709551615 4194304 4196468 140726390007120 140584969125936 140584568231009 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9882] ppid=9878 vsize=13980732 CPUtime=0.72 cores=0,2,4,6
/proc/9880/task/9882/stat : 9882 (java) S 9878 9878 5234 0 -1 1077944384 1362 0 0 0 65 7 0 0 20 0 15 0 9067103 14316269568 100920 18446744073709551615 4194304 4196468 140726390007120 140584884300944 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9883] ppid=9878 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/9880/task/9883/stat : 9883 (java) S 9878 9878 5234 0 -1 1077944384 2027 0 0 0 64 7 0 0 20 0 15 0 9067103 14316269568 100920 18446744073709551615 4194304 4196468 140726390007120 140584564026384 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9884] ppid=9878 vsize=13980732 CPUtime=0.72 cores=0,2,4,6
/proc/9880/task/9884/stat : 9884 (java) S 9878 9878 5234 0 -1 1077944384 1997 0 0 0 65 7 0 0 20 0 15 0 9067103 14316269568 100920 18446744073709551615 4194304 4196468 140726390007120 140584562973584 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9885] ppid=9878 vsize=13980732 CPUtime=0.72 cores=0,2,4,6
/proc/9880/task/9885/stat : 9885 (java) S 9878 9878 5234 0 -1 1077944384 1681 0 0 0 65 7 0 0 20 0 15 0 9067103 14316269568 100920 18446744073709551615 4194304 4196468 140726390007120 140584561920784 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9886] ppid=9878 vsize=13980732 CPUtime=0.45 cores=0,2,4,6
/proc/9880/task/9886/stat : 9886 (java) S 9878 9878 5234 0 -1 1077944384 1895 0 0 0 40 5 0 0 20 0 15 0 9067105 14316269568 100920 18446744073709551615 4194304 4196468 140726390007120 140584309303664 140584964897410 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9887] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9887/stat : 9887 (java) S 9878 9878 5234 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 9067105 14316269568 100920 18446744073709551615 4194304 4196468 140726390007120 140584308249632 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9888] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9888/stat : 9888 (java) S 9878 9878 5234 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9067105 14316269568 100920 18446744073709551615 4194304 4196468 140726390007120 140584307196784 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9889] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9889/stat : 9889 (java) S 9878 9878 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9067108 14316269568 100920 18446744073709551615 4194304 4196468 140726390007120 140584306145104 140584964904859 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9890] ppid=9878 vsize=13980732 CPUtime=1.72 cores=0,2,4,6
/proc/9880/task/9890/stat : 9890 (java) S 9878 9878 5234 0 -1 1077944384 14722 0 0 0 171 1 0 0 20 0 15 0 9067108 14316269568 100920 18446744073709551615 4194304 4196468 140726390007120 140584305093488 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9891] ppid=9878 vsize=13980732 CPUtime=1.83 cores=0,2,4,6
/proc/9880/task/9891/stat : 9891 (java) S 9878 9878 5234 0 -1 1077944384 22819 0 0 0 181 2 0 0 20 0 15 0 9067108 14316269568 100920 18446744073709551615 4194304 4196468 140726390007120 140584304040688 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9892] ppid=9878 vsize=13980732 CPUtime=0.31 cores=0,2,4,6
/proc/9880/task/9892/stat : 9892 (java) S 9878 9878 5234 0 -1 1077944384 5058 0 0 0 31 0 0 0 20 0 15 0 9067108 14316269568 100920 18446744073709551615 4194304 4196468 140726390007120 140584302987888 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9893] ppid=9878 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9880/task/9893/stat : 9893 (java) S 9878 9878 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9067108 14316269568 100920 18446744073709551615 4194304 4196468 140726390007120 140584301935328 140584964896469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
[pid=9880/tid=9894] ppid=9878 vsize=13980732 CPUtime=0.11 cores=0,2,4,6
/proc/9880/task/9894/stat : 9894 (java) S 9878 9878 5234 0 -1 1077944384 1611 0 0 0 4 7 0 0 20 0 15 0 9067112 14316269568 100920 18446744073709551615 4194304 4196468 140726390007120 140584300882608 140584964897410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30408704 140726390014420 140726390014595 140726390014595 140726390017999 0
Current children cumulated CPU time (s) 245.9
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 9880 sig 9
??? kill 9878 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 9878 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1839
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=117
# CPU time returned by wait4() is 0.001956
# while last known CPU time is 245.9
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 245.9
CPU user time (s): 245.4
CPU system time (s): 0.5
CPU usage (%): 102.454
Max. virtual memory (cumulated for all children) (KiB): 13992960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001839
system time used= 0.000117
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 1.13545 second user time and 1.49194 second system time
The end