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-4255202-1501621402/watcher-4255202-1501621402 -o /tmp/evaluation-result-4255202-1501621402/solver-4255202-1501621402 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501617182-10800 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1990736540 HOME/instance-4255202-1501621402.xml
pid=13600
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.75 1.85 1.85 3/195 13603
/proc/meminfo: memFree=31160216/32770624 swapFree=0/191412
[pid=13603] ppid=13600 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13603/stat : 13603 (runsolver) D 13600 13603 5123 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10757187 24240128 108 18446744073709551615 4194304 4338465 140727616328000 140727616325640 140010188063447 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 16244736 140727616331868 140727616332358 140727616332358 140727616335818 0
/proc/13603/statm: 5918 108 54 36 0 2156 0
[startup+0.100158 s]
/proc/loadavg: 1.75 1.85 1.85 3/195 13603
/proc/meminfo: memFree=31160216/32770624 swapFree=0/191412
[pid=13603] ppid=13600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13603/stat : 13603 (xcsp3-exec) S 13600 13603 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10757187 9740288 345 18446744073709551615 4194304 5098028 140724409285248 140724409283352 140587602686588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 15994880 140724409291163 140724409291367 140724409291367 140724409294827 0
/proc/13603/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200304 s]
/proc/loadavg: 1.75 1.85 1.85 3/195 13603
/proc/meminfo: memFree=31160216/32770624 swapFree=0/191412
[pid=13603] ppid=13600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13603/stat : 13603 (xcsp3-exec) S 13600 13603 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10757187 9740288 345 18446744073709551615 4194304 5098028 140724409285248 140724409283352 140587602686588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 15994880 140724409291163 140724409291367 140724409291367 140724409294827 0
/proc/13603/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300305 s]
/proc/loadavg: 1.75 1.85 1.85 3/195 13603
/proc/meminfo: memFree=31160216/32770624 swapFree=0/191412
[pid=13603] ppid=13600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13603/stat : 13603 (xcsp3-exec) S 13600 13603 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10757187 9740288 345 18446744073709551615 4194304 5098028 140724409285248 140724409283352 140587602686588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 15994880 140724409291163 140724409291367 140724409291367 140724409294827 0
/proc/13603/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700422 s]
/proc/loadavg: 1.75 1.85 1.85 3/195 13603
/proc/meminfo: memFree=31160216/32770624 swapFree=0/191412
[pid=13603] ppid=13600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13603/stat : 13603 (xcsp3-exec) S 13600 13603 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10757187 9740288 345 18446744073709551615 4194304 5098028 140724409285248 140724409283352 140587602686588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 15994880 140724409291163 140724409291367 140724409291367 140724409294827 0
/proc/13603/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50066 s]
/proc/loadavg: 1.75 1.85 1.85 5/211 13619
/proc/meminfo: memFree=31061128/32770624 swapFree=0/191416
[pid=13603] ppid=13600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13603/stat : 13603 (xcsp3-exec) S 13600 13603 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10757187 9740288 345 18446744073709551615 4194304 5098028 140724409285248 140724409283352 140587602686588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 15994880 140724409291163 140724409291367 140724409291367 140724409294827 0
/proc/13603/statm: 2378 345 289 221 0 87 0
[pid=13605] ppid=13603 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/13605/stat : 13605 (java) S 13603 13603 5123 0 -1 1077944320 29842 0 0 0 290 6 0 0 20 0 15 0 10757194 14316269568 28903 18446744073709551615 4194304 4196468 140721539921072 140721539903616 140481946312439 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
/proc/13605/statm: 3495183 28903 3170 1 0 3483484 0
[pid=13605/tid=13606] ppid=13603 vsize=13980732 CPUtime=1.36 cores=1,3,5,7
/proc/13605/task/13606/stat : 13606 (java) R 13603 13603 5123 0 -1 4202560 9003 0 0 0 133 3 0 0 20 0 15 0 10757194 14316269568 28903 18446744073709551615 4194304 4196468 140721539921072 140481950544432 140481555430290 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13607] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13607/stat : 13607 (java) S 13603 13603 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10757195 14316269568 28903 18446744073709551615 4194304 4196468 140721539921072 140481880746512 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13608] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13608/stat : 13608 (java) S 13603 13603 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10757195 14316269568 28903 18446744073709551615 4194304 4196468 140721539921072 140481879693968 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13609] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13609/stat : 13609 (java) S 13603 13603 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10757195 14316269568 28903 18446744073709551615 4194304 4196468 140721539921072 140481878640912 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13610] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13610/stat : 13610 (java) S 13603 13603 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10757195 14316269568 28903 18446744073709551615 4194304 4196468 140721539921072 140481877588368 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13611] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13611/stat : 13611 (java) S 13603 13603 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10757196 14316269568 28903 18446744073709551615 4194304 4196468 140721539921072 140481424485104 140481946323586 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13612] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13612/stat : 13612 (java) S 13603 13603 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10757197 14316269568 28903 18446744073709551615 4194304 4196468 140721539921072 140481423431328 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13613] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13613/stat : 13613 (java) S 13603 13603 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10757197 14316269568 28903 18446744073709551615 4194304 4196468 140721539921072 140481422378224 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13614] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13614/stat : 13614 (java) S 13603 13603 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10757199 14316269568 28903 18446744073709551615 4194304 4196468 140721539921072 140481421326800 140481946331035 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13615] ppid=13603 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/13605/task/13615/stat : 13615 (java) S 13603 13603 5123 0 -1 1077944384 9968 0 0 0 68 0 0 0 20 0 15 0 10757199 14316269568 28903 18446744073709551615 4194304 4196468 140721539921072 140481420273904 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13616] ppid=13603 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/13605/task/13616/stat : 13616 (java) S 13603 13603 5123 0 -1 1077944384 7131 0 0 0 58 1 0 0 20 0 15 0 10757199 14316269568 28903 18446744073709551615 4194304 4196468 140721539921072 140481419221360 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13617] ppid=13603 vsize=13980732 CPUtime=0.29 cores=1,3,5,7
/proc/13605/task/13617/stat : 13617 (java) S 13603 13603 5123 0 -1 1077944384 2416 0 0 0 29 0 0 0 20 0 15 0 10757199 14316269568 28903 18446744073709551615 4194304 4196468 140721539921072 140481418168304 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13618] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13618/stat : 13618 (java) S 13603 13603 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10757199 14316269568 28903 18446744073709551615 4194304 4196468 140721539921072 140481417116000 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13619] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13619/stat : 13619 (java) S 13603 13603 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10757205 14316269568 28903 18446744073709551615 4194304 4196468 140721539921072 140481416064048 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 13990244
[startup+3.1006 s]
/proc/loadavg: 1.75 1.85 1.85 3/211 13619
/proc/meminfo: memFree=31048480/32770624 swapFree=0/191416
[pid=13603] ppid=13600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13603/stat : 13603 (xcsp3-exec) S 13600 13603 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10757187 9740288 345 18446744073709551615 4194304 5098028 140724409285248 140724409283352 140587602686588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 15994880 140724409291163 140724409291367 140724409291367 140724409294827 0
/proc/13603/statm: 2378 345 289 221 0 87 0
[pid=13605] ppid=13603 vsize=13980732 CPUtime=4.65 cores=1,3,5,7
/proc/13605/stat : 13605 (java) S 13603 13603 5123 0 -1 1077944320 30961 0 0 0 458 7 0 0 20 0 15 0 10757194 14316269568 33665 18446744073709551615 4194304 4196468 140721539921072 140721539903616 140481946312439 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
/proc/13605/statm: 3495183 33665 3172 1 0 3483484 0
[pid=13605/tid=13606] ppid=13603 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/13605/task/13606/stat : 13606 (java) R 13603 13603 5123 0 -1 4202560 9381 0 0 0 292 3 0 0 20 0 15 0 10757194 14316269568 33665 18446744073709551615 4194304 4196468 140721539921072 140481950544696 140481555254553 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13607] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13607/stat : 13607 (java) S 13603 13603 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10757195 14316269568 33665 18446744073709551615 4194304 4196468 140721539921072 140481880746512 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13608] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13608/stat : 13608 (java) S 13603 13603 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10757195 14316269568 33665 18446744073709551615 4194304 4196468 140721539921072 140481879693968 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13609] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13609/stat : 13609 (java) S 13603 13603 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10757195 14316269568 33665 18446744073709551615 4194304 4196468 140721539921072 140481878640912 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13610] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13610/stat : 13610 (java) S 13603 13603 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10757195 14316269568 33665 18446744073709551615 4194304 4196468 140721539921072 140481877588368 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13611] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13611/stat : 13611 (java) S 13603 13603 5123 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 10757196 14316269568 33665 18446744073709551615 4194304 4196468 140721539921072 140481424485104 140481946323586 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13612] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13612/stat : 13612 (java) S 13603 13603 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10757197 14316269568 33665 18446744073709551615 4194304 4196468 140721539921072 140481423431328 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13613] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13613/stat : 13613 (java) S 13603 13603 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10757197 14316269568 33665 18446744073709551615 4194304 4196468 140721539921072 140481422378224 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13614] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13614/stat : 13614 (java) S 13603 13603 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10757199 14316269568 33665 18446744073709551615 4194304 4196468 140721539921072 140481421326800 140481946331035 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13615] ppid=13603 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/13605/task/13615/stat : 13615 (java) S 13603 13603 5123 0 -1 1077944384 10096 0 0 0 71 0 0 0 20 0 15 0 10757199 14316269568 33665 18446744073709551615 4194304 4196468 140721539921072 140481420273904 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13616] ppid=13603 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/13605/task/13616/stat : 13616 (java) S 13603 13603 5123 0 -1 1077944384 7361 0 0 0 60 1 0 0 20 0 15 0 10757199 14316269568 33665 18446744073709551615 4194304 4196468 140721539921072 140481419221360 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13617] ppid=13603 vsize=13980732 CPUtime=0.33 cores=1,3,5,7
/proc/13605/task/13617/stat : 13617 (java) S 13603 13603 5123 0 -1 1077944384 2742 0 0 0 33 0 0 0 20 0 15 0 10757199 14316269568 33665 18446744073709551615 4194304 4196468 140721539921072 140481418168304 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13618] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13618/stat : 13618 (java) S 13603 13603 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10757199 14316269568 33665 18446744073709551615 4194304 4196468 140721539921072 140481417116000 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13619] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13619/stat : 13619 (java) S 13603 13603 5123 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 10757205 14316269568 33665 18446744073709551615 4194304 4196468 140721539921072 140481416064048 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
Current children cumulated CPU time (s) 4.65
Current children cumulated vsize (KiB) 13990244
[startup+6.31039 s]
/proc/loadavg: 1.69 1.83 1.84 3/211 13620
/proc/meminfo: memFree=30985556/32770624 swapFree=0/191428
[pid=13603] ppid=13600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13603/stat : 13603 (xcsp3-exec) S 13600 13603 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10757187 9740288 345 18446744073709551615 4194304 5098028 140724409285248 140724409283352 140587602686588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 15994880 140724409291163 140724409291367 140724409291367 140724409294827 0
/proc/13603/statm: 2378 345 289 221 0 87 0
[pid=13605] ppid=13603 vsize=13980732 CPUtime=8.23 cores=1,3,5,7
/proc/13605/stat : 13605 (java) S 13603 13603 5123 0 -1 1077944320 38743 0 0 0 813 10 0 0 20 0 15 0 10757194 14316269568 60936 18446744073709551615 4194304 4196468 140721539921072 140721539903616 140481946312439 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
/proc/13605/statm: 3495183 60936 3184 1 0 3483484 0
[pid=13605/tid=13606] ppid=13603 vsize=13980732 CPUtime=6.16 cores=1,3,5,7
/proc/13605/task/13606/stat : 13606 (java) S 13603 13603 5123 0 -1 1077944384 10673 0 0 0 611 5 0 0 20 0 15 0 10757194 14316269568 60936 18446744073709551615 4194304 4196468 140721539921072 140481950550592 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13607] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13607/stat : 13607 (java) R 13603 13603 5123 0 -1 4202560 95 0 0 0 0 0 0 0 20 0 15 0 10757195 14316269568 60936 18446744073709551615 4194304 4196468 140721539921072 140481880746712 140481927938471 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13608] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13608/stat : 13608 (java) R 13603 13603 5123 0 -1 4202560 150 0 0 0 0 0 0 0 20 0 15 0 10757195 14316269568 60936 18446744073709551615 4194304 4196468 140721539921072 140481879694168 140481931340313 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13609] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13609/stat : 13609 (java) R 13603 13603 5123 0 -1 4202560 254 0 0 0 0 0 0 0 20 0 15 0 10757195 14316269568 60936 18446744073709551615 4194304 4196468 140721539921072 140481878640912 140481939409275 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13610] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13610/stat : 13610 (java) R 13603 13603 5123 0 -1 4202560 53 0 0 0 0 0 0 0 20 0 15 0 10757195 14316269568 60936 18446744073709551615 4194304 4196468 140721539921072 140481877588368 140481931340313 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13611] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13611/stat : 13611 (java) S 13603 13603 5123 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 15 0 10757196 14316269568 60936 18446744073709551615 4194304 4196468 140721539921072 140481424483616 140481946322645 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13612] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13612/stat : 13612 (java) S 13603 13603 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10757197 14316269568 60936 18446744073709551615 4194304 4196468 140721539921072 140481423431328 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13613] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13613/stat : 13613 (java) S 13603 13603 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10757197 14316269568 60936 18446744073709551615 4194304 4196468 140721539921072 140481422378224 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13614] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13614/stat : 13614 (java) S 13603 13603 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10757199 14316269568 60936 18446744073709551615 4194304 4196468 140721539921072 140481421326800 140481946331035 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13615] ppid=13603 vsize=13980732 CPUtime=0.94 cores=1,3,5,7
/proc/13605/task/13615/stat : 13615 (java) S 13603 13603 5123 0 -1 1077944384 12979 0 0 0 94 0 0 0 20 0 15 0 10757199 14316269568 60936 18446744073709551615 4194304 4196468 140721539921072 140481420273904 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13616] ppid=13603 vsize=13980732 CPUtime=0.69 cores=1,3,5,7
/proc/13605/task/13616/stat : 13616 (java) S 13603 13603 5123 0 -1 1077944384 8569 0 0 0 68 1 0 0 20 0 15 0 10757199 14316269568 60936 18446744073709551615 4194304 4196468 140721539921072 140481419221360 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13617] ppid=13603 vsize=13980732 CPUtime=0.35 cores=1,3,5,7
/proc/13605/task/13617/stat : 13617 (java) S 13603 13603 5123 0 -1 1077944384 3213 0 0 0 35 0 0 0 20 0 15 0 10757199 14316269568 60936 18446744073709551615 4194304 4196468 140721539921072 140481418168304 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13618] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13618/stat : 13618 (java) S 13603 13603 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10757199 14316269568 60936 18446744073709551615 4194304 4196468 140721539921072 140481417116000 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13619] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13619/stat : 13619 (java) S 13603 13603 5123 0 -1 1077944384 1207 0 0 0 0 0 0 0 20 0 15 0 10757205 14316269568 60936 18446744073709551615 4194304 4196468 140721539921072 140481416064048 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
Current children cumulated CPU time (s) 8.23
Current children cumulated vsize (KiB) 13990244
[startup+12.7008 s]
/proc/loadavg: 1.71 1.84 1.84 3/211 13620
/proc/meminfo: memFree=30584476/32770624 swapFree=0/191436
[pid=13603] ppid=13600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13603/stat : 13603 (xcsp3-exec) S 13600 13603 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10757187 9740288 345 18446744073709551615 4194304 5098028 140724409285248 140724409283352 140587602686588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 15994880 140724409291163 140724409291367 140724409291367 140724409294827 0
/proc/13603/statm: 2378 345 289 221 0 87 0
[pid=13605] ppid=13603 vsize=13980732 CPUtime=19.17 cores=1,3,5,7
/proc/13605/stat : 13605 (java) S 13603 13603 5123 0 -1 1077944320 48029 0 0 0 1869 48 0 0 20 0 15 0 10757194 14316269568 138421 18446744073709551615 4194304 4196468 140721539921072 140721539903616 140481946312439 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
/proc/13605/statm: 3495183 138421 3230 1 0 3483484 0
[pid=13605/tid=13606] ppid=13603 vsize=13980732 CPUtime=11.93 cores=1,3,5,7
/proc/13605/task/13606/stat : 13606 (java) R 13603 13603 5123 0 -1 4202560 11700 0 0 0 1188 5 0 0 20 0 15 0 10757194 14316269568 138421 18446744073709551615 4194304 4196468 140721539921072 140481950549152 140481558840532 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13607] ppid=13603 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/13605/task/13607/stat : 13607 (java) S 13603 13603 5123 0 -1 1077944384 509 0 0 0 33 9 0 0 20 0 15 0 10757195 14316269568 138421 18446744073709551615 4194304 4196468 140721539921072 140481880746512 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13608] ppid=13603 vsize=13980732 CPUtime=0.38 cores=1,3,5,7
/proc/13605/task/13608/stat : 13608 (java) S 13603 13603 5123 0 -1 1077944384 656 0 0 0 30 8 0 0 20 0 15 0 10757195 14316269568 138421 18446744073709551615 4194304 4196468 140721539921072 140481879693968 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
################
# More data... #
################
[pid=13605/tid=13612] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13612/stat : 13612 (java) S 13603 13603 5123 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 10757197 14316269568 295151 18446744073709551615 4194304 4196468 140721539921072 140481423431392 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13613] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13613/stat : 13613 (java) S 13603 13603 5123 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10757197 14316269568 295151 18446744073709551615 4194304 4196468 140721539921072 140481422378240 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13614] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13614/stat : 13614 (java) S 13603 13603 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10757199 14316269568 295151 18446744073709551615 4194304 4196468 140721539921072 140481421326800 140481946331035 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13615] ppid=13603 vsize=13980732 CPUtime=4.19 cores=1,3,5,7
/proc/13605/task/13615/stat : 13615 (java) S 13603 13603 5123 0 -1 1077944384 21000 0 0 0 418 1 0 0 20 0 15 0 10757199 14316269568 295151 18446744073709551615 4194304 4196468 140721539921072 140481420273904 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13616] ppid=13603 vsize=13980732 CPUtime=4.08 cores=1,3,5,7
/proc/13605/task/13616/stat : 13616 (java) S 13603 13603 5123 0 -1 1077944384 16949 0 0 0 406 2 0 0 20 0 15 0 10757199 14316269568 295151 18446744073709551615 4194304 4196468 140721539921072 140481419221360 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13617] ppid=13603 vsize=13980732 CPUtime=0.91 cores=1,3,5,7
/proc/13605/task/13617/stat : 13617 (java) S 13603 13603 5123 0 -1 1077944384 7981 0 0 0 90 1 0 0 20 0 15 0 10757199 14316269568 295151 18446744073709551615 4194304 4196468 140721539921072 140481418168304 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13618] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13618/stat : 13618 (java) S 13603 13603 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10757199 14316269568 295151 18446744073709551615 4194304 4196468 140721539921072 140481417116000 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13619] ppid=13603 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13605/task/13619/stat : 13619 (java) S 13603 13603 5123 0 -1 1077944384 1275 0 0 0 2 2 0 0 20 0 15 0 10757205 14316269568 295151 18446744073709551615 4194304 4196468 140721539921072 140481416064048 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
Current children cumulated CPU time (s) 114.53
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.59 1.73 1.80 3/212 13631
/proc/meminfo: memFree=30173032/32770624 swapFree=0/191528
[pid=13603] ppid=13600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13603/stat : 13603 (xcsp3-exec) S 13600 13603 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10757187 9740288 345 18446744073709551615 4194304 5098028 140724409285248 140724409283352 140587602686588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 15994880 140724409291163 140724409291367 140724409291367 140724409294827 0
/proc/13603/statm: 2378 345 289 221 0 87 0
[pid=13605] ppid=13603 vsize=13980732 CPUtime=176.65 cores=1,3,5,7
/proc/13605/stat : 13605 (java) S 13603 13603 5123 0 -1 1077944320 86758 0 0 0 17536 129 0 0 20 0 15 0 10757194 14316269568 303565 18446744073709551615 4194304 4196468 140721539921072 140721539903616 140481946312439 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
/proc/13605/statm: 3495183 303565 3260 1 0 3483484 0
[pid=13605/tid=13606] ppid=13603 vsize=13980732 CPUtime=160.65 cores=1,3,5,7
/proc/13605/task/13606/stat : 13606 (java) R 13603 13603 5123 0 -1 4202560 21257 0 0 0 16058 7 0 0 20 0 15 0 10757194 14316269568 303565 18446744073709551615 4194304 4196468 140721539921072 140481950551080 140481558098953 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13607] ppid=13603 vsize=13980732 CPUtime=1.26 cores=1,3,5,7
/proc/13605/task/13607/stat : 13607 (java) S 13603 13603 5123 0 -1 1077944384 1924 0 0 0 98 28 0 0 20 0 15 0 10757195 14316269568 303565 18446744073709551615 4194304 4196468 140721539921072 140481880746512 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13608] ppid=13603 vsize=13980732 CPUtime=1.21 cores=1,3,5,7
/proc/13605/task/13608/stat : 13608 (java) S 13603 13603 5123 0 -1 1077944384 1528 0 0 0 95 26 0 0 20 0 15 0 10757195 14316269568 303565 18446744073709551615 4194304 4196468 140721539921072 140481879693968 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13609] ppid=13603 vsize=13980732 CPUtime=1.25 cores=1,3,5,7
/proc/13605/task/13609/stat : 13609 (java) S 13603 13603 5123 0 -1 1077944384 1762 0 0 0 98 27 0 0 20 0 15 0 10757195 14316269568 303565 18446744073709551615 4194304 4196468 140721539921072 140481878640912 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13610] ppid=13603 vsize=13980732 CPUtime=1.26 cores=1,3,5,7
/proc/13605/task/13610/stat : 13610 (java) S 13603 13603 5123 0 -1 1077944384 2794 0 0 0 98 28 0 0 20 0 15 0 10757195 14316269568 303565 18446744073709551615 4194304 4196468 140721539921072 140481877588368 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13611] ppid=13603 vsize=13980732 CPUtime=0.2 cores=1,3,5,7
/proc/13605/task/13611/stat : 13611 (java) S 13603 13603 5123 0 -1 1077944384 2208 0 0 0 20 0 0 0 20 0 15 0 10757196 14316269568 303565 18446744073709551615 4194304 4196468 140721539921072 140481424485104 140481946323586 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13612] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13612/stat : 13612 (java) S 13603 13603 5123 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 10757197 14316269568 303565 18446744073709551615 4194304 4196468 140721539921072 140481423431392 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13613] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13613/stat : 13613 (java) S 13603 13603 5123 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10757197 14316269568 303565 18446744073709551615 4194304 4196468 140721539921072 140481422378240 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13614] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13614/stat : 13614 (java) S 13603 13603 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10757199 14316269568 303565 18446744073709551615 4194304 4196468 140721539921072 140481421326800 140481946331035 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13615] ppid=13603 vsize=13980732 CPUtime=4.52 cores=1,3,5,7
/proc/13605/task/13615/stat : 13615 (java) S 13603 13603 5123 0 -1 1077944384 22627 0 0 0 451 1 0 0 20 0 15 0 10757199 14316269568 303565 18446744073709551615 4194304 4196468 140721539921072 140481420273904 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13616] ppid=13603 vsize=13980732 CPUtime=5.16 cores=1,3,5,7
/proc/13605/task/13616/stat : 13616 (java) S 13603 13603 5123 0 -1 1077944384 21119 0 0 0 513 3 0 0 20 0 15 0 10757199 14316269568 303565 18446744073709551615 4194304 4196468 140721539921072 140481419221360 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13617] ppid=13603 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/13605/task/13617/stat : 13617 (java) S 13603 13603 5123 0 -1 1077944384 8883 0 0 0 95 2 0 0 20 0 15 0 10757199 14316269568 303565 18446744073709551615 4194304 4196468 140721539921072 140481418168304 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13618] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13618/stat : 13618 (java) S 13603 13603 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10757199 14316269568 303565 18446744073709551615 4194304 4196468 140721539921072 140481417116000 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13619] ppid=13603 vsize=13980732 CPUtime=0.07 cores=1,3,5,7
/proc/13605/task/13619/stat : 13619 (java) S 13603 13603 5123 0 -1 1077944384 1280 0 0 0 4 3 0 0 20 0 15 0 10757205 14316269568 303565 18446744073709551615 4194304 4196468 140721539921072 140481416064048 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
Current children cumulated CPU time (s) 176.65
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.69 1.72 1.79 3/212 13711
/proc/meminfo: memFree=30483076/32770624 swapFree=0/191596
[pid=13603] ppid=13600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13603/stat : 13603 (xcsp3-exec) S 13600 13603 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10757187 9740288 345 18446744073709551615 4194304 5098028 140724409285248 140724409283352 140587602686588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 15994880 140724409291163 140724409291367 140724409291367 140724409294827 0
/proc/13603/statm: 2378 345 289 221 0 87 0
[pid=13605] ppid=13603 vsize=13980732 CPUtime=237.38 cores=1,3,5,7
/proc/13605/stat : 13605 (java) S 13603 13603 5123 0 -1 1077944320 95298 0 0 0 23601 137 0 0 20 0 15 0 10757194 14316269568 312599 18446744073709551615 4194304 4196468 140721539921072 140721539903616 140481946312439 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
/proc/13605/statm: 3495183 312599 3260 1 0 3483484 0
[pid=13605/tid=13606] ppid=13603 vsize=13980732 CPUtime=220.46 cores=1,3,5,7
/proc/13605/task/13606/stat : 13606 (java) R 13603 13603 5123 0 -1 4202560 23919 0 0 0 22039 7 0 0 20 0 15 0 10757194 14316269568 312599 18446744073709551615 4194304 4196468 140721539921072 140481950548720 140481561571402 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13607] ppid=13603 vsize=13980732 CPUtime=1.45 cores=1,3,5,7
/proc/13605/task/13607/stat : 13607 (java) S 13603 13603 5123 0 -1 1077944384 2218 0 0 0 116 29 0 0 20 0 15 0 10757195 14316269568 312599 18446744073709551615 4194304 4196468 140721539921072 140481880746512 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13608] ppid=13603 vsize=13980732 CPUtime=1.4 cores=1,3,5,7
/proc/13605/task/13608/stat : 13608 (java) S 13603 13603 5123 0 -1 1077944384 2099 0 0 0 113 27 0 0 20 0 15 0 10757195 14316269568 312599 18446744073709551615 4194304 4196468 140721539921072 140481879693968 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13609] ppid=13603 vsize=13980732 CPUtime=1.44 cores=1,3,5,7
/proc/13605/task/13609/stat : 13609 (java) S 13603 13603 5123 0 -1 1077944384 2155 0 0 0 116 28 0 0 20 0 15 0 10757195 14316269568 312599 18446744073709551615 4194304 4196468 140721539921072 140481878640912 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13610] ppid=13603 vsize=13980732 CPUtime=1.45 cores=1,3,5,7
/proc/13605/task/13610/stat : 13610 (java) S 13603 13603 5123 0 -1 1077944384 3105 0 0 0 116 29 0 0 20 0 15 0 10757195 14316269568 312599 18446744073709551615 4194304 4196468 140721539921072 140481877588368 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13611] ppid=13603 vsize=13980732 CPUtime=0.22 cores=1,3,5,7
/proc/13605/task/13611/stat : 13611 (java) S 13603 13603 5123 0 -1 1077944384 2466 0 0 0 21 1 0 0 20 0 15 0 10757196 14316269568 312599 18446744073709551615 4194304 4196468 140721539921072 140481424485104 140481946323586 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13612] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13612/stat : 13612 (java) S 13603 13603 5123 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 10757197 14316269568 312599 18446744073709551615 4194304 4196468 140721539921072 140481423431392 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13613] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13613/stat : 13613 (java) S 13603 13603 5123 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10757197 14316269568 312599 18446744073709551615 4194304 4196468 140721539921072 140481422378240 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13614] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13614/stat : 13614 (java) S 13603 13603 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10757199 14316269568 312599 18446744073709551615 4194304 4196468 140721539921072 140481421326800 140481946331035 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13615] ppid=13603 vsize=13980732 CPUtime=4.59 cores=1,3,5,7
/proc/13605/task/13615/stat : 13615 (java) S 13603 13603 5123 0 -1 1077944384 24067 0 0 0 457 2 0 0 20 0 15 0 10757199 14316269568 312599 18446744073709551615 4194304 4196468 140721539921072 140481420273904 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13616] ppid=13603 vsize=13980732 CPUtime=5.2 cores=1,3,5,7
/proc/13605/task/13616/stat : 13616 (java) S 13603 13603 5123 0 -1 1077944384 22528 0 0 0 517 3 0 0 20 0 15 0 10757199 14316269568 312599 18446744073709551615 4194304 4196468 140721539921072 140481419221360 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13617] ppid=13603 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/13605/task/13617/stat : 13617 (java) S 13603 13603 5123 0 -1 1077944384 10049 0 0 0 95 2 0 0 20 0 15 0 10757199 14316269568 312599 18446744073709551615 4194304 4196468 140721539921072 140481418168304 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13618] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13618/stat : 13618 (java) S 13603 13603 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10757199 14316269568 312599 18446744073709551615 4194304 4196468 140721539921072 140481417116000 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13619] ppid=13603 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/13605/task/13619/stat : 13619 (java) S 13603 13603 5123 0 -1 1077944384 1316 0 0 0 6 5 0 0 20 0 15 0 10757205 14316269568 312599 18446744073709551615 4194304 4196468 140721539921072 140481416064048 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
Current children cumulated CPU time (s) 237.38
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.72 1.72 1.79 3/212 13711
/proc/meminfo: memFree=30492656/32770624 swapFree=0/191612
[pid=13603] ppid=13600 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13603/stat : 13603 (xcsp3-exec) S 13600 13603 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 10757187 9740288 345 18446744073709551615 4194304 5098028 140724409285248 140724409283352 140587602686588 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 15994880 140724409291163 140724409291367 140724409291367 140724409294827 0
/proc/13603/statm: 2378 345 289 221 0 87 0
[pid=13605] ppid=13603 vsize=13980732 CPUtime=255.4 cores=1,3,5,7
/proc/13605/stat : 13605 (java) S 13603 13603 5123 0 -1 1077944320 97132 0 0 0 25402 138 0 0 20 0 15 0 10757194 14316269568 314290 18446744073709551615 4194304 4196468 140721539921072 140721539903616 140481946312439 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
/proc/13605/statm: 3495183 314290 3260 1 0 3483484 0
[pid=13605/tid=13606] ppid=13603 vsize=13980732 CPUtime=238.09 cores=1,3,5,7
/proc/13605/task/13606/stat : 13606 (java) R 13603 13603 5123 0 -1 4202560 24003 0 0 0 23802 7 0 0 20 0 15 0 10757194 14316269568 314290 18446744073709551615 4194304 4196468 140721539921072 140481950550904 140481561378549 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13607] ppid=13603 vsize=13980732 CPUtime=1.51 cores=1,3,5,7
/proc/13605/task/13607/stat : 13607 (java) S 13603 13603 5123 0 -1 1077944384 2251 0 0 0 122 29 0 0 20 0 15 0 10757195 14316269568 314290 18446744073709551615 4194304 4196468 140721539921072 140481880746512 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13608] ppid=13603 vsize=13980732 CPUtime=1.47 cores=1,3,5,7
/proc/13605/task/13608/stat : 13608 (java) S 13603 13603 5123 0 -1 1077944384 2199 0 0 0 119 28 0 0 20 0 15 0 10757195 14316269568 314290 18446744073709551615 4194304 4196468 140721539921072 140481879693968 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13609] ppid=13603 vsize=13980732 CPUtime=1.49 cores=1,3,5,7
/proc/13605/task/13609/stat : 13609 (java) S 13603 13603 5123 0 -1 1077944384 2193 0 0 0 121 28 0 0 20 0 15 0 10757195 14316269568 314290 18446744073709551615 4194304 4196468 140721539921072 140481878640912 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13610] ppid=13603 vsize=13980732 CPUtime=1.5 cores=1,3,5,7
/proc/13605/task/13610/stat : 13610 (java) S 13603 13603 5123 0 -1 1077944384 3123 0 0 0 121 29 0 0 20 0 15 0 10757195 14316269568 314290 18446744073709551615 4194304 4196468 140721539921072 140481877588368 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13611] ppid=13603 vsize=13980732 CPUtime=0.22 cores=1,3,5,7
/proc/13605/task/13611/stat : 13611 (java) S 13603 13603 5123 0 -1 1077944384 2472 0 0 0 21 1 0 0 20 0 15 0 10757196 14316269568 314290 18446744073709551615 4194304 4196468 140721539921072 140481424485104 140481946323586 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13612] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13612/stat : 13612 (java) S 13603 13603 5123 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 10757197 14316269568 314290 18446744073709551615 4194304 4196468 140721539921072 140481423431392 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13613] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13613/stat : 13613 (java) S 13603 13603 5123 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10757197 14316269568 314290 18446744073709551615 4194304 4196468 140721539921072 140481422378240 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13614] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13614/stat : 13614 (java) S 13603 13603 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10757199 14316269568 314290 18446744073709551615 4194304 4196468 140721539921072 140481421326800 140481946331035 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13615] ppid=13603 vsize=13980732 CPUtime=4.59 cores=1,3,5,7
/proc/13605/task/13615/stat : 13615 (java) S 13603 13603 5123 0 -1 1077944384 24083 0 0 0 457 2 0 0 20 0 15 0 10757199 14316269568 314290 18446744073709551615 4194304 4196468 140721539921072 140481420273904 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13616] ppid=13603 vsize=13980732 CPUtime=5.34 cores=1,3,5,7
/proc/13605/task/13616/stat : 13616 (java) S 13603 13603 5123 0 -1 1077944384 23991 0 0 0 531 3 0 0 20 0 15 0 10757199 14316269568 314290 18446744073709551615 4194304 4196468 140721539921072 140481419221360 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13617] ppid=13603 vsize=13980732 CPUtime=0.97 cores=1,3,5,7
/proc/13605/task/13617/stat : 13617 (java) S 13603 13603 5123 0 -1 1077944384 10124 0 0 0 95 2 0 0 20 0 15 0 10757199 14316269568 314290 18446744073709551615 4194304 4196468 140721539921072 140481418168304 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13618] ppid=13603 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13605/task/13618/stat : 13618 (java) S 13603 13603 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10757199 14316269568 314290 18446744073709551615 4194304 4196468 140721539921072 140481417116000 140481946322645 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
[pid=13605/tid=13619] ppid=13603 vsize=13980732 CPUtime=0.11 cores=1,3,5,7
/proc/13605/task/13619/stat : 13619 (java) S 13603 13603 5123 0 -1 1077944384 1317 0 0 0 6 5 0 0 20 0 15 0 10757205 14316269568 314290 18446744073709551615 4194304 4196468 140721539921072 140481416064048 140481946323586 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13590528 140721539924436 140721539924611 140721539924611 140721539928015 0
Current children cumulated CPU time (s) 255.4
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 13605 sig 9
??? kill 13603 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 13603 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1890
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=115
# CPU time returned by wait4() is 0.002005
# while last known CPU time is 255.4
#
# 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): 255.4
CPU user time (s): 254.02
CPU system time (s): 1.38
CPU usage (%): 106.412
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00189
system time used= 0.000115
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.06273 second user time and 1.55473 second system time
The end