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-3157814-1304054836/watcher-3157814-1304054836 -o /tmp/evaluation-result-3157814-1304054836/solver-3157814-1304054836 -C 4800 -W 1300 -M 15500 HOME/csls-prob -maxcores 4 HOME/instance-3157814-1304054836.cnf 4 1793932803
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: 7.75 7.99 7.56 5/180 4330
/proc/meminfo: memFree=31770808/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128604 CPUtime=0 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 609 0 0 0 0 0 0 0 25 0 4 0 497899190 131690496 529 33554432000 4194304 4563014 140737004990944 18446744073709551615 4328675 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/4330/statm: 32151 536 330 91 0 27669 0
[pid=4330/tid=4331] ppid=4328 vsize=128604 CPUtime=0 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 83 0 0 0 0 0 0 0 25 0 4 0 497899190 131690496 555 33554432000 4194304 4563014 140737004990944 18446744073709551615 4470124 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128604 CPUtime=0 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 40 0 0 0 0 0 0 0 25 0 4 0 497899190 131690496 561 33554432000 4194304 4563014 140737004990944 18446744073709551615 4328675 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128604 CPUtime=0 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 87 0 0 0 0 0 0 0 25 0 4 0 497899190 131690496 564 33554432000 4194304 4563014 140737004990944 18446744073709551615 270338383675 0 0 4096 16384 0 0 0 -1 1 0 0 0
[startup+0.104452 s]
/proc/loadavg: 7.75 7.99 7.56 5/180 4330
/proc/meminfo: memFree=31770808/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=0.39 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 39 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4451292 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=0.09 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 9 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439487 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=0.09 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 9 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438886 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=0.09 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 9 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4229035 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 128596
[startup+0.200433 s]
/proc/loadavg: 7.75 7.99 7.56 5/180 4330
/proc/meminfo: memFree=31770808/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=0.77 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 77 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4451111 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=0.19 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 19 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438805 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=0.19 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 19 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=0.19 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 19 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439075 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 128596
[startup+0.300414 s]
/proc/loadavg: 7.75 7.99 7.56 5/180 4330
/proc/meminfo: memFree=31770808/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=1.17 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 117 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4450679 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=0.29 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 29 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439481 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=0.29 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 29 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438795 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=0.29 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 29 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438592 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 128596
[startup+0.700333 s]
/proc/loadavg: 7.75 7.99 7.56 5/180 4330
/proc/meminfo: memFree=31770808/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=2.77 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 277 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4450693 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=0.69 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 69 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439520 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=0.69 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 69 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4444730 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=0.69 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 69 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 128596
[startup+1.50118 s]
/proc/loadavg: 7.75 7.99 7.56 9/184 4334
/proc/meminfo: memFree=31759136/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=5.97 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 597 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4233524 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=1.49 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 149 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4444866 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=1.49 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 149 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=1.49 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 149 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439135 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 128596
[startup+3.10086 s]
/proc/loadavg: 7.75 7.99 7.56 9/184 4334
/proc/meminfo: memFree=31758772/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=12.36 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 1236 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4451288 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=3.09 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 309 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438824 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=3.09 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 309 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4223111 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=3.09 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 309 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439481 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 128596
[startup+6.30022 s]
/proc/loadavg: 7.77 7.99 7.56 9/184 4334
/proc/meminfo: memFree=31758400/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=25.15 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 2515 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4451257 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=6.29 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 629 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438771 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=6.29 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 629 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438773 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=6.29 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 629 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4229174 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 128596
[startup+12.701 s]
/proc/loadavg: 7.87 8.00 7.57 9/184 4334
/proc/meminfo: memFree=31758008/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=50.72 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 5072 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4233504 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=12.69 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 1269 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439481 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=12.69 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 1269 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4227661 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=12.69 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 1269 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4229035 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 128596
[startup+25.5004 s]
/proc/loadavg: 7.97 8.02 7.58 9/184 4334
/proc/meminfo: memFree=31758120/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=101.86 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 10186 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4233536 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=25.49 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 2549 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4230194 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=25.49 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 2549 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4227674 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=25.49 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 2549 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438328 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 128596
[startup+51.1003 s]
/proc/loadavg: 7.98 8.02 7.59 9/184 4335
/proc/meminfo: memFree=31757944/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=204.14 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 20414 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4451647 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=51.09 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 5109 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438856 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=51.09 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 5109 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=51.09 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 5109 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438773 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.14
Current children cumulated vsize (KiB) 128596
[startup+102.301 s]
/proc/loadavg: 8.04 8.03 7.61 9/184 4336
/proc/meminfo: memFree=31757292/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=408.73 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 40873 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4258945 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=102.3 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 10230 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4229118 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=102.3 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 10230 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439573 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=102.3 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 10230 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.73
Current children cumulated vsize (KiB) 128596
[startup+162.3 s]
################
# More data... #
################
[pid=4330] ppid=4328 vsize=128596 CPUtime=2806.04 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 280604 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4451633 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=702.32 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 70232 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438773 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=702.32 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 70232 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439075 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=702.32 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 70232 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4229595 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2806.04
Current children cumulated vsize (KiB) 128596
[startup+762.3 s]
/proc/loadavg: 8.07 8.05 7.83 9/184 4354
/proc/meminfo: memFree=31756948/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=3045.79 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 304579 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4451292 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=762.33 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 76233 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438773 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=762.33 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 76233 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438744 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=762.33 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 76233 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 47396218466619 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.79
Current children cumulated vsize (KiB) 128596
[startup+822.3 s]
/proc/loadavg: 8.08 8.05 7.84 9/184 4356
/proc/meminfo: memFree=31756760/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=3285.51 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 328551 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4258754 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=822.33 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 82233 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4230089 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=822.33 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 82233 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439481 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=822.33 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 82233 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439280 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3285.51
Current children cumulated vsize (KiB) 128596
[startup+882.306 s]
/proc/loadavg: 8.08 8.06 7.85 9/184 4357
/proc/meminfo: memFree=31756848/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=3525.25 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 352525 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4233539 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=882.33 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 88233 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439075 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=882.34 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 88234 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439493 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=882.34 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 88234 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438403 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3525.25
Current children cumulated vsize (KiB) 128596
[startup+942.301 s]
/proc/loadavg: 8.13 8.08 7.87 9/184 4359
/proc/meminfo: memFree=31756560/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=3764.97 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 376497 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4233539 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=942.33 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 94233 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=942.33 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 94233 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439068 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=942.33 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 94233 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438336 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.97
Current children cumulated vsize (KiB) 128596
[startup+1002.3 s]
/proc/loadavg: 8.09 8.07 7.88 9/184 4360
/proc/meminfo: memFree=31756768/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=4004.7 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 400470 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4450684 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=1002.33 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 100233 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4229411 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=1002.34 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 100234 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438336 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=1002.34 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 100234 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4229510 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4004.7
Current children cumulated vsize (KiB) 128596
[startup+1062.3 s]
/proc/loadavg: 8.12 8.09 7.89 9/184 4362
/proc/meminfo: memFree=31756852/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=4244.44 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 424444 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4451035 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=1062.34 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 106234 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439481 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=1062.34 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 106234 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438835 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=1062.34 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 106234 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4229068 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4244.44
Current children cumulated vsize (KiB) 128596
[startup+1122.3 s]
/proc/loadavg: 8.08 8.08 7.90 9/184 4395
/proc/meminfo: memFree=31756752/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=4484.17 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 448417 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4451019 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=1122.34 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 112234 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439056 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=1122.34 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 112234 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439464 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=1122.34 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 112234 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438623 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4484.17
Current children cumulated vsize (KiB) 128596
[startup+1182.3 s]
/proc/loadavg: 8.07 8.08 7.91 9/184 4396
/proc/meminfo: memFree=31756556/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=4723.91 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 472391 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4233753 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=1182.34 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 118234 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4438856 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=1182.35 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 118235 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4324411 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=1182.34 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 118234 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4228825 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4723.91
Current children cumulated vsize (KiB) 128596
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.4 s]
/proc/loadavg: 8.05 8.07 7.91 9/184 4397
/proc/meminfo: memFree=31756172/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=4800.24 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 480024 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4451098 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=1201.45 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 120145 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439481 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=1201.45 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 120145 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4223115 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=1201.45 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 120145 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4228860 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.24
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.4 s]
/proc/loadavg: 8.05 8.07 7.91 9/184 4397
/proc/meminfo: memFree=31756172/32951124 swapFree=67111356/67111528
[pid=4330] ppid=4328 vsize=128596 CPUtime=4800.24 cores=1,3,5,7
/proc/4330/stat : 4330 (csls-prob) R 4328 4330 4129 0 -1 4202496 3440 0 0 0 480024 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4451098 0 0 4096 16384 18446744073709551615 0 0 17 7 0 0 0
/proc/4330/statm: 32149 3356 338 91 0 27667 0
[pid=4330/tid=4331] ppid=4328 vsize=128596 CPUtime=1201.45 cores=1,3,5,7
/proc/4330/task/4331/stat : 4331 (csls-prob) R 4328 4330 4129 0 -1 4202560 746 0 0 0 120145 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4439481 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=4330/tid=4332] ppid=4328 vsize=128596 CPUtime=1201.45 cores=1,3,5,7
/proc/4330/task/4332/stat : 4332 (csls-prob) R 4328 4330 4129 0 -1 4202560 717 0 0 0 120145 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4223115 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=4330/tid=4333] ppid=4328 vsize=128596 CPUtime=1201.45 cores=1,3,5,7
/proc/4330/task/4333/stat : 4333 (csls-prob) R 4328 4330 4129 0 -1 4202560 756 0 0 0 120145 0 0 0 25 0 4 0 497899190 131682304 3356 33554432000 4194304 4563014 140737004990944 18446744073709551615 4228860 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 128596
Child status: 0
Real time (s): 1201.41
CPU time (s): 4800.28
CPU user time (s): 4800.27
CPU system time (s): 0.008998
CPU usage (%): 399.552
Max. virtual memory (cumulated for all children) (KiB): 128596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4800.27
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3442
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= 54
involuntary context switches= 33312
runsolver used 1.41978 second user time and 4.12837 second system time
The end