runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3158491-1304065480/watcher-3158491-1304065480 -o /tmp/evaluation-result-3158491-1304065480/solver-3158491-1304065480 -C 4800 -W 1300 -M 15500 HOME/csls-prob -maxcores 8 HOME/instance-3158491-1304065480.cnf 4 71820988
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.09 8.06 7.74 5/180 21781
/proc/meminfo: memFree=12776468/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=50760 CPUtime=0.01 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 421 0 0 0 1 0 0 0 25 0 4 0 596778617 51978240 360 33554432000 4194304 4563014 140733802477680 18446744073709551615 47145315006380 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 12690 360 297 91 0 8208 0
[pid=21781/tid=21782] ppid=21779 vsize=50760 CPUtime=0 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 596778617 51978240 360 33554432000 4194304 4563014 140733802477680 18446744073709551615 216735235057 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=50760 CPUtime=0 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 596778617 51978240 360 33554432000 4194304 4563014 140733802477680 18446744073709551615 47145315006386 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=50760 CPUtime=0 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 596778617 51978240 360 33554432000 4194304 4563014 140733802477680 18446744073709551615 47145315006386 0 0 4096 16384 0 0 0 -1 5 0 0 0
[startup+0.0553591 s]
/proc/loadavg: 8.09 8.06 7.74 5/180 21781
/proc/meminfo: memFree=12776468/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=0.2 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 20 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4450909 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=0.04 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 4 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4229240 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=0.05 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 5 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4439483 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=0.05 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 5 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4228825 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 194132
[startup+0.155341 s]
/proc/loadavg: 8.09 8.06 7.74 5/180 21781
/proc/meminfo: memFree=12776468/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=0.6 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 60 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4451267 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=0.14 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 14 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 47145315004731 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=0.15 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 15 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438960 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=0.15 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 15 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438845 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 194132
[startup+0.300317 s]
/proc/loadavg: 8.09 8.06 7.74 5/180 21781
/proc/meminfo: memFree=12776468/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=1.18 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 118 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4233753 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=0.29 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 29 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438331 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=0.29 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 29 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438374 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=0.29 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 29 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438361 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 194132
[startup+0.700247 s]
/proc/loadavg: 8.09 8.06 7.74 5/180 21781
/proc/meminfo: memFree=12776468/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=2.78 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 278 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4451262 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=0.69 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 69 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4444847 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=0.69 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 69 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438606 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=0.69 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 69 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 194132
[startup+1.50111 s]
/proc/loadavg: 8.09 8.06 7.74 9/184 21785
/proc/meminfo: memFree=12774832/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=5.98 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 598 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4451008 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=1.49 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 149 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4444853 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=1.49 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 149 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4227983 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=1.49 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 149 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438822 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 194132
[startup+3.10083 s]
/proc/loadavg: 8.09 8.06 7.75 9/184 21786
/proc/meminfo: memFree=12774532/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=12.38 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 1238 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4233504 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=3.08 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 308 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438856 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=3.09 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 309 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438592 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=3.09 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 309 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4229597 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 194132
[startup+6.30027 s]
/proc/loadavg: 8.09 8.06 7.75 9/184 21786
/proc/meminfo: memFree=12774068/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=25.16 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 2516 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4451644 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=6.27 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 627 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438328 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=6.29 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 629 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4324448 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=6.29 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 629 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4439231 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 194132
[startup+12.7002 s]
/proc/loadavg: 8.07 8.05 7.75 9/184 21786
/proc/meminfo: memFree=12773688/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=50.73 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 5073 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4233730 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=12.64 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 1264 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438984 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=12.69 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 1269 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4444720 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=12.69 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 1269 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 47145315004731 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 194132
[startup+25.5009 s]
/proc/loadavg: 8.06 8.05 7.75 9/184 21786
/proc/meminfo: memFree=12773448/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=101.87 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 10187 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4450679 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=25.38 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 2538 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438773 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=25.49 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 2549 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4223088 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=25.49 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 2549 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 47145315004756 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 194132
[startup+51.1005 s]
/proc/loadavg: 8.04 8.05 7.75 9/184 21787
/proc/meminfo: memFree=12773324/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=204.16 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 20416 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4233536 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=50.86 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 5086 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4228816 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=51.09 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 5109 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4258489 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=51.09 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 5109 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 47145315004731 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.16
Current children cumulated vsize (KiB) 194132
[startup+102.307 s]
/proc/loadavg: 8.07 8.05 7.77 9/184 21788
/proc/meminfo: memFree=12772576/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=408.75 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 40875 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4233536 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=101.83 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 10183 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4228880 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=102.3 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 10230 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438328 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=102.29 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 10229 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438381 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.75
Current children cumulated vsize (KiB) 194132
[startup+162.301 s]
################
# More data... #
################
[pid=21781] ppid=21779 vsize=194132 CPUtime=2566.29 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 256629 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4233539 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=639.39 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 63939 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4439075 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=642.31 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 64231 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=642.27 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 64227 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4439153 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2566.29
Current children cumulated vsize (KiB) 194132
[startup+702.301 s]
/proc/loadavg: 8.08 8.06 7.90 9/184 21804
/proc/meminfo: memFree=12772148/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=2806.01 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 280601 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4451582 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=699.12 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 69912 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4229580 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=702.31 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 70231 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 47145315004731 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=702.26 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 70226 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4230075 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2806.01
Current children cumulated vsize (KiB) 194132
[startup+762.306 s]
/proc/loadavg: 8.09 8.06 7.91 9/184 21806
/proc/meminfo: memFree=12772248/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=3045.75 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 304575 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4451493 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=758.85 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 75885 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438247 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=762.32 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 76232 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4439291 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=762.26 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 76226 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4229100 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.75
Current children cumulated vsize (KiB) 194132
[startup+822.301 s]
/proc/loadavg: 8.03 8.05 7.91 10/184 21807
/proc/meminfo: memFree=12772228/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=3285.46 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 328546 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4233710 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=818.57 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 81857 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 47145315004731 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=822.31 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 82231 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 47145315004731 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=822.25 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 82225 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4257417 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3285.46
Current children cumulated vsize (KiB) 194132
[startup+882.3 s]
/proc/loadavg: 8.22 8.10 7.93 9/184 21812
/proc/meminfo: memFree=12770660/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=3524.42 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 352442 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4233524 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=878.3 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 87830 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438980 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=881.56 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 88156 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4439075 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=882.25 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 88225 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4258823 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.42
Current children cumulated vsize (KiB) 194132
[startup+942.301 s]
/proc/loadavg: 8.08 8.08 7.93 9/184 21813
/proc/meminfo: memFree=12771116/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=3764.15 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 376415 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4450693 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=938.03 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 93803 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4222784 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=941.56 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 94156 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4439075 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=942.25 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 94225 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4444847 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.15
Current children cumulated vsize (KiB) 194132
[startup+1002.3 s]
/proc/loadavg: 8.11 8.09 7.94 9/184 21815
/proc/meminfo: memFree=12770848/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=4003.87 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 400387 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4233548 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=997.75 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 99775 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438966 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=1001.56 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 100156 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4439068 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=1002.24 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 100224 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4444853 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.87
Current children cumulated vsize (KiB) 194132
[startup+1062.3 s]
/proc/loadavg: 8.04 8.07 7.94 9/184 21817
/proc/meminfo: memFree=12771204/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=4243.6 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 424360 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4451292 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=1057.49 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 105749 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4229096 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=1061.56 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 106156 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4439464 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=1062.24 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 106224 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438520 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.6
Current children cumulated vsize (KiB) 194132
[startup+1122.3 s]
/proc/loadavg: 8.12 8.09 7.95 9/184 21818
/proc/meminfo: memFree=12770944/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=4483.32 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 448332 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4233539 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=1117.21 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 111721 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438336 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=1121.56 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 112156 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438831 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=1122.24 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 112224 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4438751 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.32
Current children cumulated vsize (KiB) 194132
[startup+1182.3 s]
/proc/loadavg: 8.05 8.07 7.95 9/184 21820
/proc/meminfo: memFree=12771300/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=4723.05 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 472305 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4451035 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=1176.94 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 117694 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4439088 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=1181.56 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 118156 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4227693 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=1182.23 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 118223 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4230261 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4723.05
Current children cumulated vsize (KiB) 194132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.6 s]
/proc/loadavg: 7.41 7.93 7.91 5/175 21838
/proc/meminfo: memFree=12775580/32951124 swapFree=67102140/67111528
[pid=21781] ppid=21779 vsize=194132 CPUtime=4800.18 cores=1,3,5,7
/proc/21781/stat : 21781 (csls-prob) R 21779 21781 20615 0 -1 4202496 948 0 0 0 480018 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4233753 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/21781/statm: 48533 835 339 91 0 44051 0
[pid=21781/tid=21782] ppid=21779 vsize=194132 CPUtime=1196.15 cores=1,3,5,7
/proc/21781/task/21782/stat : 21782 (csls-prob) R 21779 21781 20615 0 -1 4202560 129 0 0 0 119615 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4258334 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=21781/tid=21783] ppid=21779 vsize=194132 CPUtime=1200.87 cores=1,3,5,7
/proc/21781/task/21783/stat : 21783 (csls-prob) R 21779 21781 20615 0 -1 4202560 130 0 0 0 120087 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4258816 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=21781/tid=21784] ppid=21779 vsize=194132 CPUtime=1201.54 cores=1,3,5,7
/proc/21781/task/21784/stat : 21784 (csls-prob) R 21779 21781 20615 0 -1 4202560 133 0 0 0 120154 0 0 0 25 0 4 0 596778617 198791168 835 33554432000 4194304 4563014 140733802477680 18446744073709551615 4439471 0 0 4096 16384 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 194132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1201.61
CPU time (s): 4800.21
CPU user time (s): 4800.21
CPU system time (s): 0.003999
CPU usage (%): 399.481
Max. virtual memory (cumulated for all children) (KiB): 194132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4800.21
system time used= 0.003999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 950
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= 47
involuntary context switches= 38315
runsolver used 1.77873 second user time and 3.69444 second system time
The end