runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3371113-1305428532/watcher-3371113-1305428532 -o /tmp/evaluation-result-3371113-1305428532/solver-3371113-1305428532 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3371113-1305428532.cnf
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: 3.38 3.98 5.27 2/235 17289
/proc/meminfo: memFree=24213920/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=9984 CPUtime=0 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) R 17287 17289 17257 0 -1 4202496 614 1251 0 0 0 0 0 0 23 0 1 0 654453944 10223616 520 33554432000 4194304 4417452 140736133006912 18446744073709551615 222921776896 0 0 4096 17442 0 0 0 17 3 0 0 0
/proc/17289/statm: 2496 520 149 55 0 382 0
[startup+0.1198 s]
/proc/loadavg: 3.38 3.98 5.27 2/235 17289
/proc/meminfo: memFree=24213920/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=53100 CPUtime=0.42 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 1341 1251 0 0 42 0 0 0 23 0 5 0 654453944 54374400 1060 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 13275 1060 178 55 0 11161 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 53100
[startup+0.200786 s]
/proc/loadavg: 3.38 3.98 5.27 2/235 17289
/proc/meminfo: memFree=24213920/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=53868 CPUtime=0.75 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 1534 1251 0 0 75 0 0 0 23 0 5 0 654453944 55160832 1253 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 13467 1253 179 55 0 11353 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 53868
[startup+0.300768 s]
/proc/loadavg: 3.38 3.98 5.27 2/235 17289
/proc/meminfo: memFree=24213920/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=55608 CPUtime=1.15 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 2021 1251 0 0 115 0 0 0 23 0 5 0 654453944 56942592 1688 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 13902 1688 179 55 0 11788 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 55608
[startup+0.700695 s]
/proc/loadavg: 3.38 3.98 5.27 2/235 17289
/proc/meminfo: memFree=24213920/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=124172 CPUtime=2.75 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 3234 1251 0 0 275 0 0 0 23 0 5 0 654453944 127152128 2457 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 31043 2457 179 55 0 28929 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 124172
[startup+1.50055 s]
/proc/loadavg: 3.38 3.98 5.27 9/247 17314
/proc/meminfo: memFree=24189760/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=125696 CPUtime=5.94 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 6369 1251 0 0 593 1 0 0 23 0 5 0 654453944 128712704 2870 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 31424 2870 179 55 0 29310 0
[pid=17289/tid=17296] ppid=17287 vsize=125696 CPUtime=1.48 cores=1,3,5,7
/proc/17289/task/17296/stat : 17296 (plingeling) R 17287 17289 17257 0 -1 4202560 1439 1251 0 0 148 0 0 0 25 0 5 0 654453945 128712704 2870 33554432000 4194304 4417452 140736133006912 18446744073709551615 4259603 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=125696 CPUtime=1.48 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 1184 1251 0 0 148 0 0 0 25 0 5 0 654453945 128712704 2870 33554432000 4194304 4417452 140736133006912 18446744073709551615 4236941 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=125696 CPUtime=1.48 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 848 1251 0 0 148 0 0 0 25 0 5 0 654453945 128712704 2870 33554432000 4194304 4417452 140736133006912 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=125696 CPUtime=1.47 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 1983 1251 0 0 147 0 0 0 25 0 5 0 654453945 128712704 2870 33554432000 4194304 4417452 140736133006912 18446744073709551615 4232664 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 125696
[startup+3.10026 s]
/proc/loadavg: 3.75 4.04 5.29 10/247 17314
/proc/meminfo: memFree=24180832/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=127808 CPUtime=12.33 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 12669 1251 0 0 1231 2 0 0 23 0 5 0 654453944 130875392 3398 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 31952 3398 179 55 0 29838 0
[pid=17289/tid=17296] ppid=17287 vsize=127808 CPUtime=3.08 cores=1,3,5,7
/proc/17289/task/17296/stat : 17296 (plingeling) R 17287 17289 17257 0 -1 4202560 2882 1251 0 0 308 0 0 0 25 0 5 0 654453945 130875392 3398 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=127808 CPUtime=3.07 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 2875 1251 0 0 307 0 0 0 25 0 5 0 654453945 130875392 3398 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=127808 CPUtime=3.08 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 2194 1251 0 0 308 0 0 0 25 0 5 0 654453945 130875392 3398 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=127808 CPUtime=3.06 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 3803 1251 0 0 306 0 0 0 25 0 5 0 654453945 130875392 3398 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 127808
[startup+6.30068 s]
/proc/loadavg: 3.75 4.04 5.29 10/247 17315
/proc/meminfo: memFree=24164092/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=133948 CPUtime=25.11 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 28444 1251 0 0 2507 4 0 0 23 0 5 0 654453944 137162752 4933 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 33487 4933 179 55 0 31373 0
[pid=17289/tid=17296] ppid=17287 vsize=133948 CPUtime=6.28 cores=1,3,5,7
/proc/17289/task/17296/stat : 17296 (plingeling) R 17287 17289 17257 0 -1 4202560 6901 1251 0 0 628 0 0 0 25 0 5 0 654453945 137162752 4933 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=133948 CPUtime=6.28 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 7105 1251 0 0 627 1 0 0 25 0 5 0 654453945 137162752 4933 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=133948 CPUtime=6.27 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 6342 1251 0 0 627 0 0 0 25 0 5 0 654453945 137162752 4933 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=133948 CPUtime=6.23 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 7181 1251 0 0 623 0 0 0 25 0 5 0 654453945 137162752 4933 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 133948
[startup+12.7005 s]
/proc/loadavg: 4.41 4.17 5.32 9/247 17315
/proc/meminfo: memFree=24147828/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=139716 CPUtime=50.66 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 52085 1251 0 0 5059 7 0 0 23 0 5 0 654453944 143069184 6375 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 34929 6375 179 55 0 32815 0
[pid=17289/tid=17296] ppid=17287 vsize=139716 CPUtime=12.68 cores=1,3,5,7
/proc/17289/task/17296/stat : 17296 (plingeling) R 17287 17289 17257 0 -1 4202560 13077 1251 0 0 1267 1 0 0 25 0 5 0 654453945 143069184 6375 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364597 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=139716 CPUtime=12.68 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 12844 1251 0 0 1266 2 0 0 25 0 5 0 654453945 143069184 6375 33554432000 4194304 4417452 140736133006912 18446744073709551615 4365962 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=139716 CPUtime=12.68 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 12785 1251 0 0 1266 2 0 0 25 0 5 0 654453945 143069184 6375 33554432000 4194304 4417452 140736133006912 18446744073709551615 4320936 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=139716 CPUtime=12.59 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 12464 1251 0 0 1258 1 0 0 25 0 5 0 654453945 143069184 6375 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 139716
[startup+25.5012 s]
/proc/loadavg: 4.96 4.30 5.34 9/247 17315
/proc/meminfo: memFree=24125940/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=150508 CPUtime=101.77 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 90118 1251 0 0 10163 14 0 0 23 0 5 0 654453944 154120192 9069 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 37627 9069 179 55 0 35513 0
[pid=17289/tid=17296] ppid=17287 vsize=150508 CPUtime=25.48 cores=1,3,5,7
/proc/17289/task/17296/stat : 17296 (plingeling) R 17287 17289 17257 0 -1 4202560 21365 1251 0 0 2545 3 0 0 25 0 5 0 654453945 154120192 9069 33554432000 4194304 4417452 140736133006912 18446744073709551615 4366450 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=150508 CPUtime=25.48 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 21581 1251 0 0 2545 3 0 0 25 0 5 0 654453945 154120192 9069 33554432000 4194304 4417452 140736133006912 18446744073709551615 4259600 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=150508 CPUtime=25.48 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 22433 1251 0 0 2545 3 0 0 25 0 5 0 654453945 154120192 9069 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=150508 CPUtime=25.3 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 23824 1251 0 0 2527 3 0 0 25 0 5 0 654453945 154120192 9069 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 150508
[startup+51.1005 s]
/proc/loadavg: 6.14 4.63 5.42 9/247 17316
/proc/meminfo: memFree=24099600/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=162572 CPUtime=203.99 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 169794 1251 0 0 20372 27 0 0 23 0 5 0 654453944 166473728 12057 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 40643 12057 179 55 0 38529 0
[pid=17289/tid=17296] ppid=17287 vsize=162572 CPUtime=51.08 cores=1,3,5,7
/proc/17289/task/17296/stat : 17296 (plingeling) R 17287 17289 17257 0 -1 4202560 41147 1251 0 0 5102 6 0 0 25 0 5 0 654453945 166473728 12057 33554432000 4194304 4417452 140736133006912 18446744073709551615 4365042 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=162572 CPUtime=51.08 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 43132 1251 0 0 5102 6 0 0 25 0 5 0 654453945 166473728 12057 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=162572 CPUtime=51.07 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 42845 1251 0 0 5101 6 0 0 25 0 5 0 654453945 166473728 12057 33554432000 4194304 4417452 140736133006912 18446744073709551615 4199406 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=162572 CPUtime=50.71 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 41755 1251 0 0 5065 6 0 0 25 0 5 0 654453945 166473728 12057 33554432000 4194304 4417452 140736133006912 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 162572
[startup+102.301 s]
/proc/loadavg: 7.40 5.23 5.58 10/247 17319
/proc/meminfo: memFree=24076896/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=166140 CPUtime=408.44 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 270839 1251 0 0 40800 44 0 0 23 0 5 0 654453944 170127360 12949 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 41535 12949 179 55 0 39421 0
[pid=17289/tid=17296] ppid=17287 vsize=166140 CPUtime=102.29 cores=1,3,5,7
/proc/17289/task/17296/stat : 17296 (plingeling) R 17287 17289 17257 0 -1 4202560 65870 1251 0 0 10219 10 0 0 25 0 5 0 654453945 170127360 12949 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=166140 CPUtime=102.28 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 67756 1251 0 0 10218 10 0 0 25 0 5 0 654453945 170127360 12949 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=166140 CPUtime=102.28 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 70343 1251 0 0 10218 10 0 0 25 0 5 0 654453945 170127360 12949 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364675 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=166140 CPUtime=101.55 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 65955 1251 0 0 10144 11 0 0 25 0 5 0 654453945 170127360 12949 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364699 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.44
Current children cumulated vsize (KiB) 166140
[startup+162.301 s]
/proc/loadavg: 8.03 5.81 5.76 9/247 17322
/proc/meminfo: memFree=24038616/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=179336 CPUtime=647.99 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 360848 1251 0 0 64741 58 0 0 23 0 5 0 654453944 183640064 16273 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 44834 16273 179 55 0 42720 0
[pid=17289/tid=17296] ppid=17287 vsize=179336 CPUtime=162.29 cores=1,3,5,7
/proc/17289/task/17296/stat : 17296 (plingeling) R 17287 17289 17257 0 -1 4202560 86566 1251 0 0 16215 14 0 0 25 0 5 0 654453945 183640064 16273 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=179336 CPUtime=162.28 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 86075 1251 0 0 16215 13 0 0 25 0 5 0 654453945 183640064 16273 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=179336 CPUtime=162.28 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 94071 1251 0 0 16213 15 0 0 25 0 5 0 654453945 183640064 16273 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=179336 CPUtime=161.1 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 93221 1251 0 0 16096 14 0 0 25 0 5 0 654453945 183640064 16273 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364548 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 647.99
Current children cumulated vsize (KiB) 179336
################
# More data... #
################
[pid=17289/tid=17297] ppid=17287 vsize=224020 CPUtime=762.31 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 249881 1251 0 0 76191 40 0 0 25 0 5 0 654453945 229396480 27446 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=224020 CPUtime=762.3 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 261572 1251 0 0 76189 41 0 0 25 0 5 0 654453945 229396480 27446 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=224020 CPUtime=756.76 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 265494 1251 0 0 75637 39 0 0 25 0 5 0 654453945 229396480 27446 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3043.72
Current children cumulated vsize (KiB) 224020
[startup+822.3 s]
/proc/loadavg: 8.06 7.83 6.93 9/247 17339
/proc/meminfo: memFree=23908364/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=230064 CPUtime=3283.27 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 1069424 1251 0 0 328159 168 0 0 23 0 5 0 654453944 235585536 28931 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 57516 28931 180 55 0 55402 0
[pid=17289/tid=17296] ppid=17287 vsize=230064 CPUtime=822.3 cores=1,3,5,7
/proc/17289/task/17296/stat : 17296 (plingeling) R 17287 17289 17257 0 -1 4202560 254652 1251 0 0 82190 40 0 0 25 0 5 0 654453945 235585536 28931 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364555 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=230064 CPUtime=822.3 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 257594 1251 0 0 82189 41 0 0 25 0 5 0 654453945 235585536 28931 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=230064 CPUtime=822.3 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 269417 1251 0 0 82187 43 0 0 25 0 5 0 654453945 235585536 28931 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=230064 CPUtime=816.33 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 286846 1251 0 0 81591 42 0 0 25 0 5 0 654453945 235585536 28931 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.27
Current children cumulated vsize (KiB) 230064
[startup+882.309 s]
/proc/loadavg: 8.02 7.86 6.99 9/247 17341
/proc/meminfo: memFree=23877592/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=235304 CPUtime=3522.87 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 1141648 1251 0 0 352107 180 0 0 23 0 5 0 654453944 240951296 30241 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 58826 30241 180 55 0 56712 0
[pid=17289/tid=17296] ppid=17287 vsize=235304 CPUtime=882.31 cores=1,3,5,7
/proc/17289/task/17296/stat : 17296 (plingeling) R 17287 17289 17257 0 -1 4202560 271357 1251 0 0 88188 43 0 0 25 0 5 0 654453945 240951296 30241 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=235304 CPUtime=882.31 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 275011 1251 0 0 88187 44 0 0 25 0 5 0 654453945 240951296 30241 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=235304 CPUtime=882.31 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 286371 1251 0 0 88185 46 0 0 25 0 5 0 654453945 240951296 30241 33554432000 4194304 4417452 140736133006912 18446744073709551615 4366074 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=235304 CPUtime=875.9 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 307994 1251 0 0 87545 45 0 0 25 0 5 0 654453945 240951296 30241 33554432000 4194304 4417452 140736133006912 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3522.87
Current children cumulated vsize (KiB) 235304
[startup+942.3 s]
/proc/loadavg: 8.01 7.88 7.05 10/247 17342
/proc/meminfo: memFree=23875088/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=246924 CPUtime=3762.41 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 1219972 1251 0 0 376048 193 0 0 23 0 5 0 654453944 252850176 33146 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 61731 33146 180 55 0 59617 0
[pid=17289/tid=17296] ppid=17287 vsize=246924 CPUtime=942.3 cores=1,3,5,7
/proc/17289/task/17296/stat : 17296 (plingeling) R 17287 17289 17257 0 -1 4202560 291971 1251 0 0 94184 46 0 0 25 0 5 0 654453945 252850176 33146 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=246924 CPUtime=942.3 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 295587 1251 0 0 94183 47 0 0 25 0 5 0 654453945 252850176 33146 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364690 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=246924 CPUtime=942.3 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 307930 1251 0 0 94181 49 0 0 25 0 5 0 654453945 252850176 33146 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=246924 CPUtime=935.46 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 323569 1251 0 0 93498 48 0 0 25 0 5 0 654453945 252850176 33146 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3762.41
Current children cumulated vsize (KiB) 246924
[startup+1002.3 s]
/proc/loadavg: 8.00 7.90 7.11 9/247 17344
/proc/meminfo: memFree=23828820/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=262024 CPUtime=4001.98 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 1274353 1251 0 0 399997 201 0 0 23 0 5 0 654453944 268312576 36921 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 65506 36921 180 55 0 63392 0
[pid=17289/tid=17296] ppid=17287 vsize=262024 CPUtime=1002.31 cores=1,3,5,7
/proc/17289/task/17296/stat : 17296 (plingeling) R 17287 17289 17257 0 -1 4202560 303842 1251 0 0 100182 49 0 0 25 0 5 0 654453945 268312576 36921 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=262024 CPUtime=1002.31 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 309632 1251 0 0 100181 50 0 0 25 0 5 0 654453945 268312576 36921 33554432000 4194304 4417452 140736133006912 18446744073709551615 4365990 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=262024 CPUtime=1002.3 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 317541 1251 0 0 100180 50 0 0 25 0 5 0 654453945 268312576 36921 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364896 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=262024 CPUtime=995.02 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 342423 1251 0 0 99451 51 0 0 25 0 5 0 654453945 268312576 36921 33554432000 4194304 4417452 140736133006912 18446744073709551615 4366102 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4001.98
Current children cumulated vsize (KiB) 262024
[startup+1062.3 s]
/proc/loadavg: 8.07 7.93 7.16 9/247 17346
/proc/meminfo: memFree=23879876/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=238288 CPUtime=4241.55 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 1320555 1251 0 0 423946 209 0 0 23 0 5 0 654453944 244006912 30987 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 59572 30987 180 55 0 57458 0
[pid=17289/tid=17296] ppid=17287 vsize=238288 CPUtime=1062.31 cores=1,3,5,7
/proc/17289/task/17296/stat : 17296 (plingeling) R 17287 17289 17257 0 -1 4202560 312690 1251 0 0 106181 50 0 0 25 0 5 0 654453945 244006912 30987 33554432000 4194304 4417452 140736133006912 18446744073709551615 4343993 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=238288 CPUtime=1062.3 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 317529 1251 0 0 106179 51 0 0 25 0 5 0 654453945 244006912 30987 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=238288 CPUtime=1062.31 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 328107 1251 0 0 106179 52 0 0 25 0 5 0 654453945 244006912 30987 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364835 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=238288 CPUtime=1054.59 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 361314 1251 0 0 105405 54 0 0 25 0 5 0 654453945 244006912 30987 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364896 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4241.55
Current children cumulated vsize (KiB) 238288
[startup+1122.3 s]
/proc/loadavg: 8.09 7.96 7.22 9/247 17347
/proc/meminfo: memFree=23885064/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=254068 CPUtime=4481.12 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 1388457 1251 0 0 447892 220 0 0 23 0 5 0 654453944 260165632 34932 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 63517 34932 180 55 0 61403 0
[pid=17289/tid=17296] ppid=17287 vsize=254068 CPUtime=1122.31 cores=1,3,5,7
/proc/17289/task/17296/stat : 17296 (plingeling) R 17287 17289 17257 0 -1 4202560 326758 1251 0 0 112179 52 0 0 25 0 5 0 654453945 260165632 34932 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364809 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=254068 CPUtime=1122.31 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 340052 1251 0 0 112176 55 0 0 25 0 5 0 654453945 260165632 34932 33554432000 4194304 4417452 140736133006912 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=254068 CPUtime=1122.31 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 342682 1251 0 0 112177 54 0 0 25 0 5 0 654453945 260165632 34932 33554432000 4194304 4417452 140736133006912 18446744073709551615 4366051 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=254068 CPUtime=1114.15 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 378050 1251 0 0 111359 56 0 0 25 0 5 0 654453945 260165632 34932 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4481.12
Current children cumulated vsize (KiB) 254068
[startup+1182.3 s]
/proc/loadavg: 8.20 8.01 7.28 10/247 17349
/proc/meminfo: memFree=23853788/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=246744 CPUtime=4720.7 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 1434076 1251 0 0 471843 227 0 0 23 0 5 0 654453944 252665856 33101 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 61686 33101 180 55 0 59572 0
[pid=17289/tid=17296] ppid=17287 vsize=246744 CPUtime=1182.32 cores=1,3,5,7
/proc/17289/task/17296/stat : 17296 (plingeling) R 17287 17289 17257 0 -1 4202560 336682 1251 0 0 118178 54 0 0 25 0 5 0 654453945 252665856 33101 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=246744 CPUtime=1182.31 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 353105 1251 0 0 118174 57 0 0 25 0 5 0 654453945 252665856 33101 33554432000 4194304 4417452 140736133006912 18446744073709551615 4365221 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=246744 CPUtime=1182.31 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 351353 1251 0 0 118175 56 0 0 25 0 5 0 654453945 252665856 33101 33554432000 4194304 4417452 140736133006912 18446744073709551615 4365004 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=246744 CPUtime=1173.72 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 392021 1251 0 0 117314 58 0 0 25 0 5 0 654453945 252665856 33101 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364621 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4720.7
Current children cumulated vsize (KiB) 246744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1202.2 s]
/proc/loadavg: 8.14 8.01 7.29 9/247 17349
/proc/meminfo: memFree=23815712/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=274728 CPUtime=4800.18 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 1453838 1251 0 0 479788 230 0 0 23 0 5 0 654453944 281321472 40097 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 68682 40097 180 55 0 66568 0
[pid=17289/tid=17296] ppid=17287 vsize=274728 CPUtime=1202.22 cores=1,3,5,7
/proc/17289/task/17296/stat : 17296 (plingeling) R 17287 17289 17257 0 -1 4202560 338807 1251 0 0 120168 54 0 0 25 0 5 0 654453945 281321472 40097 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=274728 CPUtime=1202.22 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 361734 1251 0 0 120164 58 0 0 25 0 5 0 654453945 281321472 40097 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=274728 CPUtime=1202.22 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 353636 1251 0 0 120166 56 0 0 25 0 5 0 654453945 281321472 40097 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=274728 CPUtime=1193.48 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 398746 1251 0 0 119289 59 0 0 25 0 5 0 654453945 281321472 40097 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 274728
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1202.2 s]
/proc/loadavg: 8.14 8.01 7.29 9/247 17349
/proc/meminfo: memFree=23815712/32951124 swapFree=61559568/67111528
[pid=17289] ppid=17287 vsize=274728 CPUtime=4800.18 cores=1,3,5,7
/proc/17289/stat : 17289 (plingeling) S 17287 17289 17257 0 -1 4202496 1453838 1251 0 0 479788 230 0 0 23 0 5 0 654453944 281321472 40097 33554432000 4194304 4417452 140736133006912 18446744073709551615 222933579749 0 0 4096 17442 18446744073709551615 0 0 17 3 0 0 0
/proc/17289/statm: 68682 40097 180 55 0 66568 0
[pid=17289/tid=17296] ppid=17287 vsize=274728 CPUtime=1202.22 cores=1,3,5,7
/proc/17289/task/17296/stat : 17296 (plingeling) R 17287 17289 17257 0 -1 4202560 338807 1251 0 0 120168 54 0 0 25 0 5 0 654453945 281321472 40097 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=17289/tid=17297] ppid=17287 vsize=274728 CPUtime=1202.22 cores=1,3,5,7
/proc/17289/task/17297/stat : 17297 (plingeling) R 17287 17289 17257 0 -1 4202560 361734 1251 0 0 120164 58 0 0 25 0 5 0 654453945 281321472 40097 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17289/tid=17298] ppid=17287 vsize=274728 CPUtime=1202.22 cores=1,3,5,7
/proc/17289/task/17298/stat : 17298 (plingeling) R 17287 17289 17257 0 -1 4202560 353636 1251 0 0 120166 56 0 0 25 0 5 0 654453945 281321472 40097 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=17289/tid=17299] ppid=17287 vsize=274728 CPUtime=1193.48 cores=1,3,5,7
/proc/17289/task/17299/stat : 17299 (plingeling) R 17287 17289 17257 0 -1 4202560 398746 1251 0 0 119289 59 0 0 25 0 5 0 654453945 281321472 40097 33554432000 4194304 4417452 140736133006912 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 274728
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.22
CPU time (s): 4800.23
CPU user time (s): 4797.91
CPU system time (s): 2.31065
CPU usage (%): 399.279
Max. virtual memory (cumulated for all children) (KiB): 284220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.91
system time used= 2.31065
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1455089
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= 66
involuntary context switches= 30838
runsolver used 2.53861 second user time and 6.22205 second system time
The end