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-3158275-1304114003/watcher-3158275-1304114003 -o /tmp/evaluation-result-3158275-1304114003/solver-3158275-1304114003 -C 4800 -W 1300 -M 15500 HOME/csls-prob -maxcores 4 HOME/instance-3158275-1304114003.cnf 4 1013713847
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.16 8.09 8.01 2/176 19536
/proc/meminfo: memFree=27910556/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=124504 CPUtime=0 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) D 19532 19536 19311 0 -1 4202496 600 0 0 0 0 0 0 0 25 0 4 0 522999972 127492096 520 33554432000 4194304 4563014 140735186706080 18446744073709551615 4309599 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32151 530 329 91 0 27669 0
[pid=19536/tid=19538] ppid=19532 vsize=128604 CPUtime=0 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 77 0 0 0 0 0 0 0 25 0 4 0 522999972 131690496 560 33554432000 4194304 4563014 140735186706080 18446744073709551615 4470124 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128604 CPUtime=0 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 43 0 0 0 0 0 0 0 25 0 4 0 522999972 131690496 566 33554432000 4194304 4563014 140735186706080 18446744073709551615 4328675 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128604 CPUtime=0 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 94 0 0 0 0 0 0 0 25 0 4 0 522999972 131690496 568 33554432000 4194304 4563014 140735186706080 18446744073709551615 208080232251 0 0 4096 16384 0 0 0 -1 5 0 0 0
[startup+0.107609 s]
/proc/loadavg: 8.16 8.09 8.01 2/176 19536
/proc/meminfo: memFree=27910556/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=0.4 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 40 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4451015 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=0.1 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 10 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438336 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=0.1 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 10 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439464 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=0.1 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 10 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4257202 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 128596
[startup+0.200591 s]
/proc/loadavg: 8.16 8.09 8.01 2/176 19536
/proc/meminfo: memFree=27910556/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=0.78 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 78 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4451562 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=0.19 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 19 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438773 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=0.19 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 19 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438744 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=0.19 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 19 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439563 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 128596
[startup+0.300572 s]
/proc/loadavg: 8.16 8.09 8.01 2/176 19536
/proc/meminfo: memFree=27910556/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=1.18 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 118 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4233753 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=0.29 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 29 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4229128 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=0.29 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 29 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438845 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=0.29 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 29 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438345 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 128596
[startup+0.700496 s]
/proc/loadavg: 8.16 8.09 8.01 2/176 19536
/proc/meminfo: memFree=27910556/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=2.78 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 278 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4451128 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=0.69 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 69 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438384 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=0.69 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 69 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438731 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=0.69 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 69 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4257128 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 128596
[startup+1.50034 s]
/proc/loadavg: 8.16 8.09 8.01 10/184 19544
/proc/meminfo: memFree=27906788/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=5.97 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 597 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4451397 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=1.49 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 149 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438808 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=1.49 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 149 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438822 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=1.48 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 148 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 47993124876603 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 128596
[startup+3.10104 s]
/proc/loadavg: 8.16 8.09 8.01 10/184 19544
/proc/meminfo: memFree=27905988/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=12.37 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 1237 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4451297 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=3.09 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 309 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438795 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=3.09 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 309 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439471 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=3.08 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 308 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438731 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 128596
[startup+6.30043 s]
/proc/loadavg: 8.15 8.08 8.01 10/184 19544
/proc/meminfo: memFree=27905864/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=25.15 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 2515 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4450679 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=6.29 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 629 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438623 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=6.29 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 629 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439210 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=6.26 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 626 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439464 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 128596
[startup+12.7002 s]
/proc/loadavg: 8.13 8.08 8.01 10/184 19544
/proc/meminfo: memFree=27905096/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=50.72 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 5072 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4451644 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=12.69 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 1269 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438852 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=12.69 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 1269 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4258848 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=12.63 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 1263 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4258495 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 128596
[startup+25.5008 s]
/proc/loadavg: 8.10 8.08 8.01 10/184 19545
/proc/meminfo: memFree=27905116/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=101.87 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 10187 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4233803 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=25.49 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 2549 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438707 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=25.49 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 2549 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 47993124876603 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=25.37 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 2537 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439257 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 128596
[startup+51.1009 s]
/proc/loadavg: 8.07 8.07 8.00 10/184 19546
/proc/meminfo: memFree=27905088/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=204.15 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 20415 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4233710 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=51.09 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 5109 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4229344 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=51.09 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 5109 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439471 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=50.86 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 5086 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438917 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.15
Current children cumulated vsize (KiB) 128596
[startup+102.301 s]
/proc/loadavg: 8.12 8.09 8.01 10/184 19547
/proc/meminfo: memFree=27904444/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=408.75 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 40875 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4451118 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=102.3 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 10230 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439214 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=102.3 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 10230 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439041 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=101.83 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 10183 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4229035 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.75
Current children cumulated vsize (KiB) 128596
[startup+162.301 s]
################
# More data... #
################
[pid=19536] ppid=19532 vsize=128596 CPUtime=2805.31 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 280531 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4450679 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=702.31 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 70231 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4229115 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=702.3 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 70230 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4258498 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=699.11 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 69911 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439144 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 128596
[startup+762.3 s]
/proc/loadavg: 8.20 8.15 8.04 10/184 19576
/proc/meminfo: memFree=27902660/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=3045.06 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 304506 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4233539 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=762.32 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 76232 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439075 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=762.31 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 76231 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439112 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=758.84 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 75884 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439471 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 128596
[startup+822.301 s]
/proc/loadavg: 8.13 8.14 8.04 10/184 19578
/proc/meminfo: memFree=27902760/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=3284.78 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 328478 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4451267 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=822.32 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 82232 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439471 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=822.31 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 82231 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438917 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=818.57 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 81857 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439483 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.78
Current children cumulated vsize (KiB) 128596
[startup+882.307 s]
/proc/loadavg: 8.10 8.12 8.04 10/184 19580
/proc/meminfo: memFree=27902580/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=3524.54 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 352454 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4451029 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=882.33 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 88233 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4444750 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=882.31 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 88231 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438336 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=878.3 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 87830 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439533 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.54
Current children cumulated vsize (KiB) 128596
[startup+942.3 s]
/proc/loadavg: 8.08 8.11 8.04 10/184 19581
/proc/meminfo: memFree=27902808/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=3764.25 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 376425 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4451008 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=942.32 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 94232 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4229031 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=942.31 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 94231 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439560 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=938.03 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 93803 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.25
Current children cumulated vsize (KiB) 128596
[startup+1002.3 s]
/proc/loadavg: 8.07 8.11 8.04 10/184 19583
/proc/meminfo: memFree=27902884/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=4003.99 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 400399 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4450917 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=1002.32 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 100232 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438808 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=1002.31 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 100231 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439041 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=997.76 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 99776 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439464 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.99
Current children cumulated vsize (KiB) 128596
[startup+1062.3 s]
/proc/loadavg: 8.07 8.10 8.04 10/184 19584
/proc/meminfo: memFree=27902860/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=4243.72 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 424372 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4233524 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=1062.33 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 106233 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439071 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=1062.31 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 106231 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439280 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=1057.49 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 105749 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438707 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.72
Current children cumulated vsize (KiB) 128596
[startup+1122.3 s]
/proc/loadavg: 8.10 8.11 8.04 10/184 19586
/proc/meminfo: memFree=27902940/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=4483.46 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 448346 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4451108 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=1122.33 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 112233 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438744 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=1122.31 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 112231 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439464 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=1117.22 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 111722 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4229084 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.46
Current children cumulated vsize (KiB) 128596
[startup+1182.3 s]
/proc/loadavg: 8.10 8.11 8.05 10/184 19588
/proc/meminfo: memFree=27902912/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=4723.19 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 472319 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4451623 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=1182.33 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 118233 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438773 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=1182.31 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 118231 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439068 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=1176.95 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 117695 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438707 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4723.19
Current children cumulated vsize (KiB) 128596
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.6 s]
/proc/loadavg: 8.20 8.14 8.06 5/179 19589
/proc/meminfo: memFree=27904424/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=4800.32 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 480032 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4451424 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=1201.64 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 120164 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438345 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=1201.62 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 120162 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438886 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=1196.16 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 119616 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439068 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 128596
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1201.6 s]
/proc/loadavg: 8.20 8.14 8.06 5/179 19589
/proc/meminfo: memFree=27904424/32950928 swapFree=67111356/67111528
[pid=19536] ppid=19532 vsize=128596 CPUtime=4800.32 cores=1,3,5,7
/proc/19536/stat : 19536 (csls-prob) R 19532 19536 19311 0 -1 4202496 903 0 0 0 480032 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4451424 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/19536/statm: 32149 819 338 91 0 27667 0
[pid=19536/tid=19538] ppid=19532 vsize=128596 CPUtime=1201.64 cores=1,3,5,7
/proc/19536/task/19538/stat : 19538 (csls-prob) R 19532 19536 19311 0 -1 4202560 123 0 0 0 120164 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438345 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=19536/tid=19540] ppid=19532 vsize=128596 CPUtime=1201.62 cores=1,3,5,7
/proc/19536/task/19540/stat : 19540 (csls-prob) R 19532 19536 19311 0 -1 4202560 111 0 0 0 120162 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4438886 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=19536/tid=19542] ppid=19532 vsize=128596 CPUtime=1196.16 cores=1,3,5,7
/proc/19536/task/19542/stat : 19542 (csls-prob) R 19532 19536 19311 0 -1 4202560 135 0 0 0 119616 0 0 0 25 0 4 0 522999972 131682304 819 33554432000 4194304 4563014 140735186706080 18446744073709551615 4439068 0 0 4096 16384 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 128596
Child status: 0
Real time (s): 1201.61
CPU time (s): 4800.35
CPU user time (s): 4800.35
CPU system time (s): 0.002999
CPU usage (%): 399.493
Max. virtual memory (cumulated for all children) (KiB): 128596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4800.35
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 905
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= 67
involuntary context switches= 39192
runsolver used 1.68374 second user time and 3.79842 second system time
The end