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-3158595-1304090188/watcher-3158595-1304090188 -o /tmp/evaluation-result-3158595-1304090188/solver-3158595-1304090188 -C 4800 -W 1300 -M 15500 HOME/csls-prob -maxcores 8 HOME/instance-3158595-1304090188.cnf 4 1591862255
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.58 7.92 7.79 5/180 32727
/proc/meminfo: memFree=30886908/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=50760 CPUtime=0 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 419 0 0 0 0 0 0 0 25 0 4 0 599249437 51978240 359 33554432000 4194304 4563014 140735452504768 18446744073709551615 47419468875692 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 12690 359 297 91 0 8208 0
[pid=32727/tid=32728] ppid=32725 vsize=50760 CPUtime=0 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 599249437 51978240 359 33554432000 4194304 4563014 140735452504768 18446744073709551615 218880621553 0 0 4096 16384 0 0 0 -1 1 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=50760 CPUtime=0 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 599249437 51978240 359 33554432000 4194304 4563014 140735452504768 18446744073709551615 47419468875702 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=50760 CPUtime=0 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 599249437 51978240 359 33554432000 4194304 4563014 140735452504768 18446744073709551615 47419468875702 0 0 4096 16384 0 0 0 -1 3 0 0 0
[startup+0.15557 s]
/proc/loadavg: 7.58 7.92 7.79 5/180 32727
/proc/meminfo: memFree=30886908/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=0.6 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 60 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4450969 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=0.14 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 14 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4229100 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=0.15 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 15 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439481 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=0.15 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 15 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 128596
[startup+0.200562 s]
/proc/loadavg: 7.58 7.92 7.79 5/180 32727
/proc/meminfo: memFree=30886908/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=0.78 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 78 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4451623 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=0.19 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 19 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438808 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=0.19 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 19 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438712 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=0.19 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 19 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4229294 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 128596
[startup+0.300544 s]
/proc/loadavg: 7.58 7.92 7.79 5/180 32727
/proc/meminfo: memFree=30886908/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=1.18 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 118 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4451288 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=0.29 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 29 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438345 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=0.29 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 29 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439056 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=0.29 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 29 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4229240 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 128596
[startup+0.700474 s]
/proc/loadavg: 7.58 7.92 7.79 5/180 32727
/proc/meminfo: memFree=30886908/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=2.78 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 278 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 47419468874043 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=0.69 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 69 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438751 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=0.69 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 69 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438627 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=0.69 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 69 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438845 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 128596
[startup+1.50033 s]
/proc/loadavg: 7.58 7.92 7.79 9/184 32731
/proc/meminfo: memFree=30883660/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=5.98 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 598 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4223101 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=1.48 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 148 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438845 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=1.49 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 149 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439041 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=1.49 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 149 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439231 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 128596
[startup+3.10105 s]
/proc/loadavg: 7.58 7.92 7.79 9/184 32731
/proc/meminfo: memFree=30883324/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=12.37 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 1237 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4451666 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=3.08 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 308 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4229408 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=3.09 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 309 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439068 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=3.09 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 309 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 128596
[startup+6.3005 s]
/proc/loadavg: 7.61 7.92 7.79 9/184 32731
/proc/meminfo: memFree=30883296/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=25.16 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 2516 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4451303 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=6.27 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 627 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438345 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=6.29 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 629 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438712 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=6.29 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 629 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439493 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 128596
[startup+12.7004 s]
/proc/loadavg: 7.64 7.93 7.79 9/184 32731
/proc/meminfo: memFree=30882804/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=50.73 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 5073 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 47419468874043 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=12.64 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 1264 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4444672 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=12.69 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 1269 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438766 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=12.69 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 1269 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4229621 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 128596
[startup+25.5011 s]
/proc/loadavg: 7.72 7.93 7.79 9/184 32731
/proc/meminfo: memFree=30882800/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=101.87 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 10187 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4451292 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=25.38 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 2538 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438717 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=25.49 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 2549 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439291 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=25.49 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 2549 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439046 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 128596
[startup+51.1007 s]
/proc/loadavg: 7.89 7.95 7.80 9/184 32732
/proc/meminfo: memFree=30882256/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=204.15 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 20415 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4451542 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=50.86 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 5086 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4444824 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=51.09 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 5109 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438598 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=51.09 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 5109 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439554 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.15
Current children cumulated vsize (KiB) 128596
[startup+102.301 s]
/proc/loadavg: 8.10 7.99 7.82 9/184 32733
/proc/meminfo: memFree=30881964/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=408.74 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 40874 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4451035 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=101.83 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 10183 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438773 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=102.3 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 10230 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438845 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=102.3 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 10230 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4208950 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.74
Current children cumulated vsize (KiB) 128596
[startup+162.3 s]
################
# More data... #
################
[pid=32727] ppid=32725 vsize=128596 CPUtime=2806.04 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 280604 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4451647 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=699.12 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 69912 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=702.31 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 70231 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439041 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=702.29 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 70229 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439032 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2806.04
Current children cumulated vsize (KiB) 128596
[startup+762.301 s]
/proc/loadavg: 8.09 8.07 7.93 9/184 32751
/proc/meminfo: memFree=30880896/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=3045.79 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 304579 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4451470 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=758.85 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 75885 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4228825 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=762.31 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 76231 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438328 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=762.3 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 76230 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.79
Current children cumulated vsize (KiB) 128596
[startup+822.301 s]
/proc/loadavg: 8.18 8.10 7.95 9/184 32752
/proc/meminfo: memFree=30880952/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=3285.51 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 328551 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4451623 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=818.57 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 81857 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4229100 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=822.31 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 82231 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438336 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=822.29 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 82229 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438845 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3285.51
Current children cumulated vsize (KiB) 128596
[startup+882.306 s]
/proc/loadavg: 8.17 8.11 7.96 9/184 32754
/proc/meminfo: memFree=30880904/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=3525.25 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 352525 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4450684 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=878.31 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 87831 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439056 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=882.32 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 88232 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=882.3 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 88230 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439075 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3525.25
Current children cumulated vsize (KiB) 128596
[startup+942.301 s]
/proc/loadavg: 8.06 8.09 7.96 9/184 32756
/proc/meminfo: memFree=30880844/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=3764.97 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 376497 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4451015 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=938.03 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 93803 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4229100 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=942.31 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 94231 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438345 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=942.29 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 94229 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439471 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.97
Current children cumulated vsize (KiB) 128596
[startup+1002.3 s]
/proc/loadavg: 8.13 8.10 7.97 9/184 32757
/proc/meminfo: memFree=30880680/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=4004.7 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 400470 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4233753 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=997.76 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 99776 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=1002.31 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 100231 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4444730 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=1002.29 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 100229 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438712 0 0 4096 16384 0 0 0 -1 3 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.98 9/184 32759
/proc/meminfo: memFree=30880628/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=4244.43 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 424443 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4450684 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=1057.49 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 105749 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439464 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=1062.31 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 106231 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438820 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=1062.29 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 106229 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4228961 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4244.43
Current children cumulated vsize (KiB) 128596
[startup+1122.3 s]
/proc/loadavg: 8.10 8.09 7.98 9/184 32760
/proc/meminfo: memFree=30880696/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=4484.16 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 448416 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4450679 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=1117.22 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 111722 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4228982 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=1122.32 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 112232 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439046 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=1122.29 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 112229 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439056 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4484.16
Current children cumulated vsize (KiB) 128596
[startup+1182.3 s]
/proc/loadavg: 7.82 8.01 7.96 9/184 364
/proc/meminfo: memFree=30881464/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=4723.89 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 472389 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4451424 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=1176.95 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 117695 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439075 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=1182.32 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 118232 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439533 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=1182.29 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 118229 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4439056 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4723.89
Current children cumulated vsize (KiB) 128596
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.4 s]
/proc/loadavg: 7.87 8.01 7.96 9/184 365
/proc/meminfo: memFree=30881060/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=4800.21 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 480021 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4451008 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=1195.96 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 119596 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438731 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=1201.42 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 120142 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4227678 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=1201.39 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 120139 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438930 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.21
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: 7.87 8.01 7.96 9/184 365
/proc/meminfo: memFree=30881060/32950928 swapFree=67111524/67111528
[pid=32727] ppid=32725 vsize=128596 CPUtime=4800.21 cores=1,3,5,7
/proc/32727/stat : 32727 (csls-prob) R 32725 32727 32461 0 -1 4202496 1244 0 0 0 480021 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4451008 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/32727/statm: 32149 1143 339 91 0 27667 0
[pid=32727/tid=32728] ppid=32725 vsize=128596 CPUtime=1195.96 cores=1,3,5,7
/proc/32727/task/32728/stat : 32728 (csls-prob) R 32725 32727 32461 0 -1 4202560 195 0 0 0 119596 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438731 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=32727/tid=32729] ppid=32725 vsize=128596 CPUtime=1201.42 cores=1,3,5,7
/proc/32727/task/32729/stat : 32729 (csls-prob) R 32725 32727 32461 0 -1 4202560 209 0 0 0 120142 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4227678 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=32727/tid=32730] ppid=32725 vsize=128596 CPUtime=1201.39 cores=1,3,5,7
/proc/32727/task/32730/stat : 32730 (csls-prob) R 32725 32727 32461 0 -1 4202560 197 0 0 0 120139 0 0 0 25 0 4 0 599249437 131682304 1143 33554432000 4194304 4563014 140735452504768 18446744073709551615 4438930 0 0 4096 16384 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 128596
Child status: 0
Real time (s): 1201.41
CPU time (s): 4800.24
CPU user time (s): 4800.24
CPU system time (s): 0.002999
CPU usage (%): 399.55
Max. virtual memory (cumulated for all children) (KiB): 128596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4800.24
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= 1246
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= 41
involuntary context switches= 35411
runsolver used 1.63975 second user time and 3.83142 second system time
The end