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-3157779-1304049282/watcher-3157779-1304049282 -o /tmp/evaluation-result-3157779-1304049282/solver-3157779-1304049282 -C 4800 -W 1300 -M 15500 HOME/csls-prob -maxcores 4 HOME/instance-3157779-1304049282.cnf 4 1805888231
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.03 7.90 7.79 5/180 1322
/proc/meminfo: memFree=19984136/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=50760 CPUtime=0 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 419 0 0 0 0 0 0 0 25 0 4 0 516527976 51978240 359 33554432000 4194304 4563014 140735811190272 18446744073709551615 237278936049 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 12690 359 297 91 0 8208 0
[pid=1322/tid=1323] ppid=1320 vsize=50760 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 516527976 51978240 359 33554432000 4194304 4563014 140735811190272 18446744073709551615 47536341145512 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=50760 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 516527976 51978240 359 33554432000 4194304 4563014 140735811190272 18446744073709551615 237278936049 0 0 4096 16384 0 0 0 -1 3 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=50760 CPUtime=0 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 516527976 51978240 359 33554432000 4194304 4563014 140735811190272 18446744073709551615 237290677302 0 0 4096 16384 0 0 0 -1 1 0 0 0
[startup+0.15718 s]
/proc/loadavg: 8.03 7.90 7.79 5/180 1322
/proc/meminfo: memFree=19984136/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=0.6 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 60 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4451303 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=0.15 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 15 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4258754 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=0.14 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 14 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 47536341143867 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=0.15 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 15 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438773 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 128596
[startup+0.201172 s]
/proc/loadavg: 8.03 7.90 7.79 5/180 1322
/proc/meminfo: memFree=19984136/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=0.78 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 78 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4451019 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=0.19 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 19 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438712 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=0.19 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 19 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438243 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=0.19 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 19 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4229415 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 128596
[startup+0.301153 s]
/proc/loadavg: 8.03 7.90 7.79 5/180 1322
/proc/meminfo: memFree=19984136/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=1.18 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 118 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4451035 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=0.29 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 29 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4439440 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=0.29 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 29 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438613 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=0.29 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 29 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4229084 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 128596
[startup+0.701083 s]
/proc/loadavg: 8.03 7.90 7.79 5/180 1322
/proc/meminfo: memFree=19984136/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=2.78 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 278 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4450684 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=0.69 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 69 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4439112 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=0.69 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 69 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438773 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=0.69 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 69 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4228860 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 128596
[startup+1.50094 s]
/proc/loadavg: 8.03 7.90 7.79 9/184 1326
/proc/meminfo: memFree=19976084/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=5.97 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 597 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4233753 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=1.49 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 149 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438822 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=1.48 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 148 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4439471 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=1.49 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 149 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4439421 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.10066 s]
/proc/loadavg: 8.03 7.90 7.79 9/184 1326
/proc/meminfo: memFree=19975836/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=12.37 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 1237 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4451393 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=3.09 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 309 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4229035 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=3.08 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 308 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4228003 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=3.09 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 309 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4229552 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 128596
[startup+6.30109 s]
/proc/loadavg: 8.10 7.92 7.79 9/184 1326
/proc/meminfo: memFree=19975712/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=25.15 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 2515 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4233539 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=6.29 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 629 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438602 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=6.26 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 626 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4439481 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=6.29 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 629 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4229472 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: 8.10 7.92 7.80 9/184 1326
/proc/meminfo: memFree=19975400/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=50.72 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 5072 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4233753 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=12.69 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 1269 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4444792 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=12.63 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 1263 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4227983 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=12.69 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 1269 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438345 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.5007 s]
/proc/loadavg: 8.07 7.92 7.80 9/184 1327
/proc/meminfo: memFree=19975504/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=101.85 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 10185 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4233539 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=25.49 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 2549 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438993 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=25.36 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 2536 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4227792 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=25.49 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 2549 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438947 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 128596
[startup+51.1011 s]
/proc/loadavg: 8.10 7.94 7.81 9/184 1327
/proc/meminfo: memFree=19975460/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=204.13 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 20413 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4233536 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=51.09 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 5109 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 47536341143867 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=50.83 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 5083 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438345 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=51.09 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 5109 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4229035 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 128596
Solver just ended. Dumping a history of the last processes samples
[startup+51.2011 s]
/proc/loadavg: 8.10 7.94 7.81 9/184 1327
/proc/meminfo: memFree=19975460/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=204.53 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 20453 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4451035 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=51.19 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 5119 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438773 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=50.93 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 5093 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438852 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=51.19 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 5119 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4229035 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.53
Current children cumulated vsize (KiB) 128596
[startup+76.8006 s]
/proc/loadavg: 8.07 7.94 7.81 9/184 1328
/proc/meminfo: memFree=19975324/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=306.8 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 30680 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4451277 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=76.79 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 7679 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4439041 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=76.41 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 7641 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438755 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=76.79 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 7679 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438941 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 306.8
Current children cumulated vsize (KiB) 128596
[startup+83.2004 s]
/proc/loadavg: 8.06 7.94 7.81 9/184 1328
/proc/meminfo: memFree=19975076/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=332.37 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 33237 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4450679 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=83.19 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 8319 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4258498 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=82.77 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 8277 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4439471 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=83.19 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 8319 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438903 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 332.37
Current children cumulated vsize (KiB) 128596
[startup+89.6003 s]
/proc/loadavg: 8.06 7.94 7.82 9/184 1328
/proc/meminfo: memFree=19975080/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=357.93 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 35793 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4451111 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=89.59 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 8959 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 47536341143867 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=89.13 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 8913 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438336 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=89.59 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 8959 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4439068 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 357.93
Current children cumulated vsize (KiB) 128596
[startup+91.201 s]
/proc/loadavg: 8.05 7.95 7.82 9/184 1328
/proc/meminfo: memFree=19975080/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=364.33 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 36433 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4451257 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=91.2 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 9120 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4444730 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=90.73 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 9073 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4439487 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=91.19 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 9119 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4228825 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 364.33
Current children cumulated vsize (KiB) 128596
[startup+92.8007 s]
/proc/loadavg: 8.05 7.95 7.82 9/184 1328
/proc/meminfo: memFree=19974956/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=370.72 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 37072 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4451633 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=92.79 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 9279 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438336 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=92.32 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 9232 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438247 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=92.79 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 9279 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4229682 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 370.72
Current children cumulated vsize (KiB) 128596
[startup+93.6066 s]
/proc/loadavg: 8.05 7.95 7.82 9/184 1328
/proc/meminfo: memFree=19974956/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=373.93 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 37393 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4451035 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=93.6 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 9360 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4229568 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=93.12 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 9312 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4438856 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=93.6 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 9360 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4229438 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 373.93
Current children cumulated vsize (KiB) 128596
[startup+94.0005 s]
/proc/loadavg: 8.05 7.95 7.82 9/184 1328
/proc/meminfo: memFree=19974956/32950904 swapFree=67082284/67111528
[pid=1322] ppid=1320 vsize=128596 CPUtime=375.51 cores=1,3,5,7
/proc/1322/stat : 1322 (csls-prob) R 1320 1322 793 0 -1 4202496 2441 0 0 0 37551 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4233504 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/1322/statm: 32149 2341 339 91 0 27667 0
[pid=1322/tid=1323] ppid=1320 vsize=128596 CPUtime=93.99 cores=1,3,5,7
/proc/1322/task/1323/stat : 1323 (csls-prob) R 1320 1322 793 0 -1 4202560 492 0 0 0 9399 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4439481 0 0 4096 16384 0 0 0 -1 5 0 0 0
[pid=1322/tid=1324] ppid=1320 vsize=128596 CPUtime=93.51 cores=1,3,5,7
/proc/1322/task/1324/stat : 1324 (csls-prob) R 1320 1322 793 0 -1 4202560 486 0 0 0 9351 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4439056 0 0 4096 16384 0 0 0 -1 7 0 0 0
[pid=1322/tid=1325] ppid=1320 vsize=128596 CPUtime=93.99 cores=1,3,5,7
/proc/1322/task/1325/stat : 1325 (csls-prob) R 1320 1322 793 0 -1 4202560 498 0 0 0 9399 0 0 0 25 0 4 0 516527976 131682304 2341 33554432000 4194304 4563014 140735811190272 18446744073709551615 4444730 0 0 4096 16384 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 375.51
Current children cumulated vsize (KiB) 128596
Child status: 0
Real time (s): 94.0367
CPU time (s): 375.658
CPU user time (s): 375.652
CPU system time (s): 0.005999
CPU usage (%): 399.48
Max. virtual memory (cumulated for all children) (KiB): 128596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 375.652
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 3007
runsolver used 0.136979 second user time and 0.334949 second system time
The end