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-3157789-1304050656/watcher-3157789-1304050656 -o /tmp/evaluation-result-3157789-1304050656/solver-3157789-1304050656 -C 4800 -W 1300 -M 15500 HOME/csls-prob -maxcores 4 HOME/instance-3157789-1304050656.cnf 4 2012966511
running on 4 cores: 0,2,4,6
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: 4.35 4.95 5.81 2/174 12546
/proc/meminfo: memFree=14139340/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=124504 CPUtime=0 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 630 0 0 0 0 0 0 0 23 0 4 0 516665412 127492096 556 33554432000 4194304 4563014 140734549664704 18446744073709551615 4470124 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 31126 562 330 91 0 26644 0
[pid=12546/tid=12547] ppid=12544 vsize=124504 CPUtime=0 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 54 0 0 0 0 0 0 0 24 0 4 0 516665413 127492096 584 33554432000 4194304 4563014 140734549664704 18446744073709551615 4328675 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=124504 CPUtime=0 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 5 0 0 0 0 0 0 0 24 0 4 0 516665413 127492096 587 33554432000 4194304 4563014 140734549664704 18446744073709551615 4309376 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=124504 CPUtime=0 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 88 0 0 0 0 0 0 0 24 0 4 0 516665413 127492096 587 33554432000 4194304 4563014 140734549664704 18446744073709551615 248089102085 0 0 4096 16384 0 0 0 -1 4 0 0 0
[startup+0.091175 s]
/proc/loadavg: 4.35 4.95 5.81 2/174 12546
/proc/meminfo: memFree=14139340/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=0.31 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 31 0 0 0 23 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4451292 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=0.06 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 6 0 0 0 24 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438773 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=0.08 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 8 0 0 0 24 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438766 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=0.08 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 8 0 0 0 24 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4439075 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 128596
[startup+0.101172 s]
/proc/loadavg: 4.35 4.95 5.81 2/174 12546
/proc/meminfo: memFree=14139340/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=0.35 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 35 0 0 0 23 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4451019 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=0.07 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 7 0 0 0 24 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4230494 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=0.09 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 9 0 0 0 24 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438555 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=0.09 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 9 0 0 0 24 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4229415 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 128596
[startup+0.300137 s]
/proc/loadavg: 4.35 4.95 5.81 2/174 12546
/proc/meminfo: memFree=14139340/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=1.15 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 115 0 0 0 23 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4451098 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=0.27 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 27 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 47535925989691 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=0.29 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 29 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438766 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=0.29 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 29 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438773 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 128596
[startup+0.701066 s]
/proc/loadavg: 4.35 4.95 5.81 2/174 12546
/proc/meminfo: memFree=14139340/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=2.75 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 275 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4233554 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=0.67 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 67 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4439286 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=0.69 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 69 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438831 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=0.69 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 69 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4228891 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 128596
[startup+1.50092 s]
/proc/loadavg: 4.35 4.95 5.81 9/184 12559
/proc/meminfo: memFree=14126620/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=5.95 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 595 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4233560 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=1.47 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 147 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4444746 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=1.49 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 149 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438886 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=1.48 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 148 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 47535925989691 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 128596
[startup+3.10064 s]
/proc/loadavg: 4.35 4.95 5.81 9/184 12559
/proc/meminfo: memFree=14126124/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=12.34 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 1234 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4451035 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=3.07 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 307 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 47535925989691 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=3.09 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 309 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4223085 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=3.08 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 308 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 47535925989691 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 128596
[startup+6.30108 s]
/proc/loadavg: 4.64 5.00 5.82 9/184 12559
/proc/meminfo: memFree=14126208/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=25.13 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 2513 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4451057 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=6.27 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 627 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4230194 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=6.29 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 629 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4444730 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=6.26 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 626 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438606 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 128596
[startup+12.7009 s]
/proc/loadavg: 4.91 5.05 5.83 9/184 12560
/proc/meminfo: memFree=14125280/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=50.69 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 5069 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4451262 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=12.67 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 1267 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4258825 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=12.69 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 1269 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438856 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=12.63 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 1263 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438331 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 128596
[startup+25.5007 s]
/proc/loadavg: 5.60 5.20 5.86 9/184 12560
/proc/meminfo: memFree=14125384/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=101.83 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 10183 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4451057 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=25.47 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 2547 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438773 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=25.49 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 2549 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4444735 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=25.37 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 2537 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438345 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 128596
[startup+51.1002 s]
/proc/loadavg: 6.41 5.42 5.92 9/184 12561
/proc/meminfo: memFree=14125356/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=204.12 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 20412 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4233539 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=51.07 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 5107 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4229336 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=51.09 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 5109 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4227605 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=50.86 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 5086 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4229115 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 128596
[startup+102.306 s]
/proc/loadavg: 7.37 5.83 6.03 9/184 12562
/proc/meminfo: memFree=14124716/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=408.7 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 40870 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4233710 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=102.28 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 10228 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 47535925989691 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=102.3 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 10230 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4439068 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=101.83 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 10183 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4439041 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.7
Current children cumulated vsize (KiB) 128596
[startup+162.301 s]
/proc/loadavg: 7.82 6.24 6.16 9/184 12564
/proc/meminfo: memFree=14124812/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=648.41 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 64841 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4451297 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=162.27 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 16227 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438852 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=162.29 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 16229 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4439041 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=161.56 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 16156 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4444720 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.41
Current children cumulated vsize (KiB) 128596
[startup+222.301 s]
/proc/loadavg: 7.99 6.57 6.28 9/184 12565
/proc/meminfo: memFree=14124528/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=888.14 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 88814 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4233539 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=222.28 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 22228 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438707 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=222.29 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 22229 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438403 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=221.28 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 22128 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4229003 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 888.14
Current children cumulated vsize (KiB) 128596
[startup+282.3 s]
/proc/loadavg: 8.09 6.86 6.39 9/184 12567
/proc/meminfo: memFree=14124624/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=1127.87 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 112787 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4451292 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=282.28 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 28228 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4439041 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=282.29 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 28229 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438345 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=281.02 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 28102 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4258713 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1127.87
Current children cumulated vsize (KiB) 128596
[startup+342.301 s]
/proc/loadavg: 8.08 7.08 6.49 9/184 12568
/proc/meminfo: memFree=14124716/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=1367.59 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 136759 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4233539 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=342.28 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 34228 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438744 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=342.29 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 34229 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 47535925989716 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=340.74 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 34074 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 47535925989716 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1367.59
Current children cumulated vsize (KiB) 128596
[startup+402.3 s]
/proc/loadavg: 8.07 7.26 6.59 9/184 12570
/proc/meminfo: memFree=14124564/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=1607.32 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 160732 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4233524 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=402.28 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 40228 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438744 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=402.3 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 40230 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438422 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=400.47 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 40047 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4439520 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1607.32
Current children cumulated vsize (KiB) 128596
Solver just ended. Dumping a history of the last processes samples
[startup+403.101 s]
/proc/loadavg: 8.06 7.27 6.60 9/184 12570
/proc/meminfo: memFree=14124316/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=1610.52 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 161052 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4233536 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=403.08 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 40308 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438960 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=403.1 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 40310 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4324411 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=401.27 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 40127 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438852 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1610.52
Current children cumulated vsize (KiB) 128596
[startup+406.3 s]
/proc/loadavg: 8.06 7.27 6.60 9/184 12570
/proc/meminfo: memFree=14124556/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=1623.31 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 162331 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4233753 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=406.28 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 40628 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4439235 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=406.3 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 40630 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4444720 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=404.45 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 40445 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438717 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1623.31
Current children cumulated vsize (KiB) 128596
[startup+407.1 s]
/proc/loadavg: 8.06 7.27 6.60 9/184 12570
/proc/meminfo: memFree=14124556/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=1626.5 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 162650 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4233897 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=407.08 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 40708 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438789 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=407.1 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 40710 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438766 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=405.25 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 40525 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438845 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1626.5
Current children cumulated vsize (KiB) 128596
[startup+407.5 s]
/proc/loadavg: 8.06 7.27 6.60 9/184 12570
/proc/meminfo: memFree=14124556/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=1628.1 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 162810 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4451108 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=407.48 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 40748 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4444730 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=407.5 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 40750 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438773 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=405.65 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 40565 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438827 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1628.1
Current children cumulated vsize (KiB) 128596
[startup+407.9 s]
/proc/loadavg: 8.06 7.27 6.60 9/184 12570
/proc/meminfo: memFree=14124556/32950928 swapFree=67111528/67111528
[pid=12546] ppid=12544 vsize=128596 CPUtime=1629.7 cores=0,2,4,6
/proc/12546/stat : 12546 (csls-prob) R 12544 12546 10696 0 -1 4202496 1396 0 0 0 162970 0 0 0 25 0 4 0 516665412 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4450974 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/12546/statm: 32149 1318 338 91 0 27667 0
[pid=12546/tid=12547] ppid=12544 vsize=128596 CPUtime=407.88 cores=0,2,4,6
/proc/12546/task/12547/stat : 12547 (csls-prob) R 12544 12546 10696 0 -1 4202560 226 0 0 0 40788 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4438835 0 0 4096 16384 0 0 0 -1 0 0 0 0
[pid=12546/tid=12548] ppid=12544 vsize=128596 CPUtime=407.9 cores=0,2,4,6
/proc/12546/task/12548/stat : 12548 (csls-prob) R 12544 12546 10696 0 -1 4202560 220 0 0 0 40790 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4258672 0 0 4096 16384 0 0 0 -1 4 0 0 0
[pid=12546/tid=12549] ppid=12544 vsize=128596 CPUtime=406.05 cores=0,2,4,6
/proc/12546/task/12549/stat : 12549 (csls-prob) R 12544 12546 10696 0 -1 4202560 253 0 0 0 40605 0 0 0 25 0 4 0 516665413 131682304 1318 33554432000 4194304 4563014 140734549664704 18446744073709551615 4229100 0 0 4096 16384 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1629.7
Current children cumulated vsize (KiB) 128596
Child status: 0
Real time (s): 407.929
CPU time (s): 1629.82
CPU user time (s): 1629.81
CPU system time (s): 0.003999
CPU usage (%): 399.535
Max. virtual memory (cumulated for all children) (KiB): 128596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1629.81
system time used= 0.003999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1399
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= 44
involuntary context switches= 13267
runsolver used 0.641902 second user time and 1.22181 second system time
The end