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-3371243-1305432128/watcher-3371243-1305432128 -o /tmp/evaluation-result-3371243-1305432128/solver-3371243-1305432128 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3371243-1305432128.cnf
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: 7.82 8.05 7.58 5/387 21271
/proc/meminfo: memFree=14311828/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=11544 CPUtime=0 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) R 21269 21271 14218 0 -1 4202496 1032 1251 0 0 0 0 0 0 25 0 1 0 733443456 11821056 910 33554432000 4194304 4417452 140734552066128 18446744073709551615 216735178496 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/21271/statm: 2886 910 149 55 0 772 0
[startup+0.0222229 s]
/proc/loadavg: 7.82 8.05 7.58 5/387 21271
/proc/meminfo: memFree=14311828/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=13080 CPUtime=0.01 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) R 21269 21271 14218 0 -1 4202496 1382 1251 0 0 1 0 0 0 25 0 1 0 733443456 13393920 1261 33554432000 4194304 4417452 140734552066128 18446744073709551615 216734872557 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/21271/statm: 3270 1283 149 55 0 1156 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13080
[startup+0.100211 s]
/proc/loadavg: 7.82 8.05 7.58 5/387 21271
/proc/meminfo: memFree=14311828/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=25880 CPUtime=0.08 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) R 21269 21271 14218 0 -1 4202496 4616 1251 0 0 8 0 0 0 25 0 1 0 733443456 26501120 4494 33554432000 4194304 4417452 140734552066128 18446744073709551615 4209599 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/21271/statm: 6470 4494 149 55 0 4356 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25880
[startup+0.30014 s]
/proc/loadavg: 7.82 8.05 7.58 5/387 21271
/proc/meminfo: memFree=14311828/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=116140 CPUtime=0.57 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 16975 1251 0 0 56 1 0 0 25 0 5 0 733443456 118927360 16847 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 29035 16847 173 55 0 26921 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 116140
[startup+0.701066 s]
/proc/loadavg: 7.82 8.05 7.58 5/387 21271
/proc/meminfo: memFree=14311828/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=129688 CPUtime=2.18 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 20394 1251 0 0 216 2 0 0 25 0 5 0 733443456 132800512 20238 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 32422 20238 177 55 0 30308 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 129688
[startup+1.50092 s]
/proc/loadavg: 7.82 8.05 7.58 9/392 21281
/proc/meminfo: memFree=14237992/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=122628 CPUtime=5.36 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 22011 1251 0 0 534 2 0 0 25 0 5 0 733443456 125571072 18441 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 30657 18441 177 55 0 28543 0
[pid=21271/tid=21278] ppid=21269 vsize=122628 CPUtime=1.29 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 1346 1251 0 0 129 0 0 0 25 0 5 0 733443476 125571072 18441 33554432000 4194304 4417452 140734552066128 18446744073709551615 4346493 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=122628 CPUtime=1.29 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 2164 1251 0 0 129 0 0 0 25 0 5 0 733443476 125571072 18441 33554432000 4194304 4417452 140734552066128 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21271/tid=21280] ppid=21269 vsize=122628 CPUtime=1.29 cores=0,2,4,6
/proc/21271/task/21280/stat : 21280 (plingeling) R 21269 21271 14218 0 -1 4202560 1293 1251 0 0 129 0 0 0 25 0 5 0 733443476 125571072 18441 33554432000 4194304 4417452 140734552066128 18446744073709551615 4346539 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21271/tid=21281] ppid=21269 vsize=122628 CPUtime=1.28 cores=0,2,4,6
/proc/21271/task/21281/stat : 21281 (plingeling) R 21269 21271 14218 0 -1 4202560 292 1251 0 0 128 0 0 0 25 0 5 0 733443476 125571072 18441 33554432000 4194304 4417452 140734552066128 18446744073709551615 4365990 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 122628
[startup+3.10065 s]
/proc/loadavg: 7.82 8.05 7.58 9/392 21281
/proc/meminfo: memFree=14237120/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=122704 CPUtime=11.75 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 22222 1251 0 0 1173 2 0 0 25 0 5 0 733443456 125648896 18463 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 30676 18463 180 55 0 28562 0
[pid=21271/tid=21278] ppid=21269 vsize=122704 CPUtime=2.89 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 1346 1251 0 0 289 0 0 0 25 0 5 0 733443476 125648896 18463 33554432000 4194304 4417452 140734552066128 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=122704 CPUtime=2.89 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 2164 1251 0 0 289 0 0 0 25 0 5 0 733443476 125648896 18463 33554432000 4194304 4417452 140734552066128 18446744073709551615 4249165 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21271/tid=21280] ppid=21269 vsize=122704 CPUtime=2.89 cores=0,2,4,6
/proc/21271/task/21280/stat : 21280 (plingeling) R 21269 21271 14218 0 -1 4202560 1296 1251 0 0 289 0 0 0 25 0 5 0 733443476 125648896 18463 33554432000 4194304 4417452 140734552066128 18446744073709551615 4343771 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21271/tid=21281] ppid=21269 vsize=122704 CPUtime=2.87 cores=0,2,4,6
/proc/21271/task/21281/stat : 21281 (plingeling) R 21269 21271 14218 0 -1 4202560 500 1251 0 0 287 0 0 0 25 0 5 0 733443476 125648896 18463 33554432000 4194304 4417452 140734552066128 18446744073709551615 4365973 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.75
Current children cumulated vsize (KiB) 122704
[startup+6.30108 s]
/proc/loadavg: 7.83 8.05 7.59 9/392 21281
/proc/meminfo: memFree=14259564/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=98432 CPUtime=24.51 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 22856 1251 0 0 2448 3 0 0 25 0 5 0 733443456 100794368 12395 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 24608 12395 180 55 0 22494 0
[pid=21271/tid=21278] ppid=21269 vsize=98432 CPUtime=6.09 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 1346 1251 0 0 609 0 0 0 25 0 5 0 733443476 100794368 12395 33554432000 4194304 4417452 140734552066128 18446744073709551615 4232666 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=98432 CPUtime=6.09 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 2164 1251 0 0 609 0 0 0 25 0 5 0 733443476 100794368 12395 33554432000 4194304 4417452 140734552066128 18446744073709551615 4250747 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21271/tid=21280] ppid=21269 vsize=98432 CPUtime=6.09 cores=0,2,4,6
/proc/21271/task/21280/stat : 21280 (plingeling) R 21269 21271 14218 0 -1 4202560 1296 1251 0 0 609 0 0 0 25 0 5 0 733443476 100794368 12395 33554432000 4194304 4417452 140734552066128 18446744073709551615 4353666 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21271/tid=21281] ppid=21269 vsize=98432 CPUtime=6.02 cores=0,2,4,6
/proc/21271/task/21281/stat : 21281 (plingeling) R 21269 21271 14218 0 -1 4202560 1134 1251 0 0 602 0 0 0 25 0 5 0 733443476 100794368 12395 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.51
Current children cumulated vsize (KiB) 98432
[startup+12.701 s]
/proc/loadavg: 7.85 8.04 7.59 9/392 21282
/proc/meminfo: memFree=14249400/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=109096 CPUtime=50.03 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 26874 1251 0 0 5000 3 0 0 25 0 5 0 733443456 111714304 15061 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 27274 15061 180 55 0 25160 0
[pid=21271/tid=21278] ppid=21269 vsize=109096 CPUtime=12.49 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 1799 1251 0 0 1249 0 0 0 25 0 5 0 733443476 111714304 15061 33554432000 4194304 4417452 140734552066128 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=109096 CPUtime=12.49 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 2190 1251 0 0 1249 0 0 0 25 0 5 0 733443476 111714304 15061 33554432000 4194304 4417452 140734552066128 18446744073709551615 4346473 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21271/tid=21280] ppid=21269 vsize=109096 CPUtime=12.49 cores=0,2,4,6
/proc/21271/task/21280/stat : 21280 (plingeling) R 21269 21271 14218 0 -1 4202560 3355 1251 0 0 1249 0 0 0 25 0 5 0 733443476 111714304 15061 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21271/tid=21281] ppid=21269 vsize=109096 CPUtime=12.34 cores=0,2,4,6
/proc/21271/task/21281/stat : 21281 (plingeling) R 21269 21271 14218 0 -1 4202560 2614 1251 0 0 1234 0 0 0 25 0 5 0 733443476 111714304 15061 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364542 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.03
Current children cumulated vsize (KiB) 109096
[startup+25.5007 s]
/proc/loadavg: 7.88 8.04 7.59 9/392 21282
/proc/meminfo: memFree=14245560/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=114440 CPUtime=101.07 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 30165 1251 0 0 10103 4 0 0 25 0 5 0 733443456 117186560 16397 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 28610 16397 180 55 0 26496 0
[pid=21271/tid=21278] ppid=21269 vsize=114440 CPUtime=25.29 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 1904 1251 0 0 2529 0 0 0 25 0 5 0 733443476 117186560 16397 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=114440 CPUtime=25.29 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 2377 1251 0 0 2529 0 0 0 25 0 5 0 733443476 117186560 16397 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21271/tid=21280] ppid=21269 vsize=114440 CPUtime=25.29 cores=0,2,4,6
/proc/21271/task/21280/stat : 21280 (plingeling) R 21269 21271 14218 0 -1 4202560 3876 1251 0 0 2529 0 0 0 25 0 5 0 733443476 117186560 16397 33554432000 4194304 4417452 140734552066128 18446744073709551615 4310588 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21271/tid=21281] ppid=21269 vsize=114440 CPUtime=24.98 cores=0,2,4,6
/proc/21271/task/21281/stat : 21281 (plingeling) R 21269 21271 14218 0 -1 4202560 5092 1251 0 0 2497 1 0 0 25 0 5 0 733443476 117186560 16397 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364684 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.07
Current children cumulated vsize (KiB) 114440
[startup+51.1002 s]
/proc/loadavg: 7.98 8.05 7.61 9/392 21282
/proc/meminfo: memFree=14235864/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=134524 CPUtime=203.15 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 39242 1251 0 0 20310 5 0 0 25 0 5 0 733443456 137752576 21418 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 33631 21418 180 55 0 31517 0
[pid=21271/tid=21278] ppid=21269 vsize=134524 CPUtime=50.89 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 3661 1251 0 0 5089 0 0 0 25 0 5 0 733443476 137752576 21418 33554432000 4194304 4417452 140734552066128 18446744073709551615 4346482 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=134524 CPUtime=50.89 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 3348 1251 0 0 5089 0 0 0 25 0 5 0 733443476 137752576 21418 33554432000 4194304 4417452 140734552066128 18446744073709551615 4346501 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21271/tid=21280] ppid=21269 vsize=134524 CPUtime=50.88 cores=0,2,4,6
/proc/21271/task/21280/stat : 21280 (plingeling) R 21269 21271 14218 0 -1 4202560 5286 1251 0 0 5088 0 0 0 25 0 5 0 733443476 137752576 21418 33554432000 4194304 4417452 140734552066128 18446744073709551615 4346508 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21271/tid=21281] ppid=21269 vsize=134524 CPUtime=50.27 cores=0,2,4,6
/proc/21271/task/21281/stat : 21281 (plingeling) R 21269 21271 14218 0 -1 4202560 10031 1251 0 0 5026 1 0 0 25 0 5 0 733443476 137752576 21418 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.15
Current children cumulated vsize (KiB) 134524
[startup+102.314 s]
/proc/loadavg: 8.09 8.07 7.64 9/392 21284
/proc/meminfo: memFree=14189844/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=147268 CPUtime=407.37 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 48341 1251 0 0 40730 7 0 0 25 0 5 0 733443456 150802432 24604 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 36817 24604 180 55 0 34703 0
[pid=21271/tid=21278] ppid=21269 vsize=147268 CPUtime=102.1 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 5327 1251 0 0 10210 0 0 0 25 0 5 0 733443476 150802432 24604 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364564 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=147268 CPUtime=102.1 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 3903 1251 0 0 10209 1 0 0 25 0 5 0 733443476 150802432 24604 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21271/tid=21280] ppid=21269 vsize=147268 CPUtime=102.08 cores=0,2,4,6
/proc/21271/task/21280/stat : 21280 (plingeling) R 21269 21271 14218 0 -1 4202560 5784 1251 0 0 10208 0 0 0 25 0 5 0 733443476 150802432 24604 33554432000 4194304 4417452 140734552066128 18446744073709551615 4365936 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21271/tid=21281] ppid=21269 vsize=147268 CPUtime=100.86 cores=0,2,4,6
/proc/21271/task/21281/stat : 21281 (plingeling) R 21269 21271 14218 0 -1 4202560 16411 1251 0 0 10083 3 0 0 25 0 5 0 733443476 150802432 24604 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.37
Current children cumulated vsize (KiB) 147268
[startup+162.301 s]
/proc/loadavg: 8.09 8.07 7.66 9/392 21286
/proc/meminfo: memFree=14167992/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=169888 CPUtime=646.6 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 68659 1251 0 0 64649 11 0 0 25 0 5 0 733443456 173965312 30259 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 42472 30259 180 55 0 40358 0
[pid=21271/tid=21278] ppid=21269 vsize=169888 CPUtime=162.09 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 11104 1251 0 0 16208 1 0 0 25 0 5 0 733443476 173965312 30259 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=169888 CPUtime=162.09 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 7606 1251 0 0 16208 1 0 0 25 0 5 0 733443476 173965312 30259 33554432000 4194304 4417452 140734552066128 18446744073709551615 4275953 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21271/tid=21280] ppid=21269 vsize=169888 CPUtime=162.06 cores=0,2,4,6
/proc/21271/task/21280/stat : 21280 (plingeling) R 21269 21271 14218 0 -1 4202560 7332 1251 0 0 16206 0 0 0 25 0 5 0 733443476 173965312 30259 33554432000 4194304 4417452 140734552066128 18446744073709551615 4276034 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21271/tid=21281] ppid=21269 vsize=169888 CPUtime=160.13 cores=0,2,4,6
/proc/21271/task/21281/stat : 21281 (plingeling) R 21269 21271 14218 0 -1 4202560 25701 1251 0 0 16008 5 0 0 25 0 5 0 733443476 173965312 30259 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364611 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 646.6
Current children cumulated vsize (KiB) 169888
################
# More data... #
################
Current children cumulated CPU time (s) 1364.38
Current children cumulated vsize (KiB) 210424
[startup+402.301 s]
/proc/loadavg: 8.02 8.06 7.75 9/392 21292
/proc/meminfo: memFree=13952488/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=234832 CPUtime=1603.63 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 187845 1251 0 0 160335 28 0 0 25 0 5 0 733443456 240467968 46527 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 58708 46527 180 55 0 56594 0
[pid=21271/tid=21278] ppid=21269 vsize=234832 CPUtime=402.09 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 36525 1251 0 0 40204 5 0 0 25 0 5 0 733443476 240467968 46527 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=234832 CPUtime=402.09 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 39025 1251 0 0 40204 5 0 0 25 0 5 0 733443476 240467968 46527 33554432000 4194304 4417452 140734552066128 18446744073709551615 4365987 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21271/tid=21280] ppid=21269 vsize=234832 CPUtime=402 cores=0,2,4,6
/proc/21271/task/21280/stat : 21280 (plingeling) R 21269 21271 14218 0 -1 4202560 39653 1251 0 0 40196 4 0 0 25 0 5 0 733443476 240467968 46527 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21271/tid=21281] ppid=21269 vsize=234832 CPUtime=397.2 cores=0,2,4,6
/proc/21271/task/21281/stat : 21281 (plingeling) R 21269 21271 14218 0 -1 4202560 55726 1251 0 0 39711 9 0 0 25 0 5 0 733443476 240467968 46527 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1603.63
Current children cumulated vsize (KiB) 234832
[startup+462.3 s]
/proc/loadavg: 8.07 8.06 7.76 9/392 21294
/proc/meminfo: memFree=13959156/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=233624 CPUtime=1842.86 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 221621 1251 0 0 184253 33 0 0 25 0 5 0 733443456 239230976 46225 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 58406 46225 180 55 0 56292 0
[pid=21271/tid=21278] ppid=21269 vsize=233624 CPUtime=462.1 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 45339 1251 0 0 46203 7 0 0 25 0 5 0 733443476 239230976 46225 33554432000 4194304 4417452 140734552066128 18446744073709551615 4365118 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=233624 CPUtime=462.09 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 47508 1251 0 0 46203 6 0 0 25 0 5 0 733443476 239230976 46225 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21271/tid=21280] ppid=21269 vsize=233624 CPUtime=461.99 cores=0,2,4,6
/proc/21271/task/21280/stat : 21280 (plingeling) R 21269 21271 14218 0 -1 4202560 46568 1251 0 0 46193 6 0 0 25 0 5 0 733443476 239230976 46225 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364896 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21271/tid=21281] ppid=21269 vsize=233624 CPUtime=456.45 cores=0,2,4,6
/proc/21271/task/21281/stat : 21281 (plingeling) R 21269 21271 14218 0 -1 4202560 65290 1251 0 0 45634 11 0 0 25 0 5 0 733443476 239230976 46225 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1842.86
Current children cumulated vsize (KiB) 233624
Solver just ended. Dumping a history of the last processes samples
[startup+486.301 s]
/proc/loadavg: 8.05 8.06 7.77 9/392 21294
/proc/meminfo: memFree=13957284/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=230636 CPUtime=1938.57 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 234682 1251 0 0 193821 36 0 0 25 0 5 0 733443456 236171264 45478 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 57659 45478 180 55 0 55545 0
[pid=21271/tid=21278] ppid=21269 vsize=230636 CPUtime=486.1 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 49085 1251 0 0 48602 8 0 0 25 0 5 0 733443476 236171264 45478 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=230636 CPUtime=486.09 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 50062 1251 0 0 48603 6 0 0 25 0 5 0 733443476 236171264 45478 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21271/tid=21280] ppid=21269 vsize=230636 CPUtime=485.99 cores=0,2,4,6
/proc/21271/task/21280/stat : 21280 (plingeling) R 21269 21271 14218 0 -1 4202560 49756 1251 0 0 48592 7 0 0 25 0 5 0 733443476 236171264 45478 33554432000 4194304 4417452 140734552066128 18446744073709551615 4246773 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21271/tid=21281] ppid=21269 vsize=230636 CPUtime=480.16 cores=0,2,4,6
/proc/21271/task/21281/stat : 21281 (plingeling) R 21269 21271 14218 0 -1 4202560 68863 1251 0 0 48004 12 0 0 25 0 5 0 733443476 236171264 45478 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1938.57
Current children cumulated vsize (KiB) 230636
[startup+499.101 s]
/proc/loadavg: 8.04 8.05 7.77 9/392 21294
/proc/meminfo: memFree=13973276/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=224984 CPUtime=1989.62 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 239397 1251 0 0 198925 37 0 0 25 0 5 0 733443456 230383616 44065 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 56246 44065 180 55 0 54132 0
[pid=21271/tid=21278] ppid=21269 vsize=224984 CPUtime=498.9 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 51694 1251 0 0 49882 8 0 0 25 0 5 0 733443476 230383616 44065 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=224984 CPUtime=498.9 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 50596 1251 0 0 49883 7 0 0 25 0 5 0 733443476 230383616 44065 33554432000 4194304 4417452 140734552066128 18446744073709551615 4265462 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21271/tid=21280] ppid=21269 vsize=224984 CPUtime=498.78 cores=0,2,4,6
/proc/21271/task/21280/stat : 21280 (plingeling) R 21269 21271 14218 0 -1 4202560 51072 1251 0 0 49871 7 0 0 25 0 5 0 733443476 230383616 44065 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21271/tid=21281] ppid=21269 vsize=224984 CPUtime=492.81 cores=0,2,4,6
/proc/21271/task/21281/stat : 21281 (plingeling) R 21269 21271 14218 0 -1 4202560 69119 1251 0 0 49269 12 0 0 25 0 5 0 733443476 230383616 44065 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364629 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1989.62
Current children cumulated vsize (KiB) 224984
[startup+511.901 s]
/proc/loadavg: 8.10 8.07 7.78 9/392 21295
/proc/meminfo: memFree=13963472/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=232608 CPUtime=2040.65 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 245675 1251 0 0 204028 37 0 0 25 0 5 0 733443456 238190592 45971 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 58152 45971 180 55 0 56038 0
[pid=21271/tid=21278] ppid=21269 vsize=232608 CPUtime=511.7 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 52960 1251 0 0 51162 8 0 0 25 0 5 0 733443476 238190592 45971 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364626 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=232608 CPUtime=511.7 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 51669 1251 0 0 51163 7 0 0 25 0 5 0 733443476 238190592 45971 33554432000 4194304 4417452 140734552066128 18446744073709551615 4343986 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21271/tid=21280] ppid=21269 vsize=232608 CPUtime=511.58 cores=0,2,4,6
/proc/21271/task/21280/stat : 21280 (plingeling) R 21269 21271 14218 0 -1 4202560 53700 1251 0 0 51151 7 0 0 25 0 5 0 733443476 238190592 45971 33554432000 4194304 4417452 140734552066128 18446744073709551615 4365990 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21271/tid=21281] ppid=21269 vsize=232608 CPUtime=505.45 cores=0,2,4,6
/proc/21271/task/21281/stat : 21281 (plingeling) R 21269 21271 14218 0 -1 4202560 70430 1251 0 0 50533 12 0 0 25 0 5 0 733443476 238190592 45971 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2040.65
Current children cumulated vsize (KiB) 232608
[startup+515.101 s]
/proc/loadavg: 8.10 8.07 7.78 9/392 21295
/proc/meminfo: memFree=13963348/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=232608 CPUtime=2053.41 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 245675 1251 0 0 205304 37 0 0 25 0 5 0 733443456 238190592 45971 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 58152 45971 180 55 0 56038 0
[pid=21271/tid=21278] ppid=21269 vsize=232608 CPUtime=514.9 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 52960 1251 0 0 51482 8 0 0 25 0 5 0 733443476 238190592 45971 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364594 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=232608 CPUtime=514.9 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 51669 1251 0 0 51483 7 0 0 25 0 5 0 733443476 238190592 45971 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21271/tid=21280] ppid=21269 vsize=232608 CPUtime=514.78 cores=0,2,4,6
/proc/21271/task/21280/stat : 21280 (plingeling) R 21269 21271 14218 0 -1 4202560 53700 1251 0 0 51471 7 0 0 25 0 5 0 733443476 238190592 45971 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21271/tid=21281] ppid=21269 vsize=232608 CPUtime=508.61 cores=0,2,4,6
/proc/21271/task/21281/stat : 21281 (plingeling) R 21269 21271 14218 0 -1 4202560 70430 1251 0 0 50849 12 0 0 25 0 5 0 733443476 238190592 45971 33554432000 4194304 4417452 140734552066128 18446744073709551615 4321595 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2053.41
Current children cumulated vsize (KiB) 232608
[startup+518.301 s]
/proc/loadavg: 8.10 8.07 7.78 9/392 21295
/proc/meminfo: memFree=13969548/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=226672 CPUtime=2066.17 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 247088 1251 0 0 206579 38 0 0 25 0 5 0 733443456 232112128 44487 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 56668 44487 180 55 0 54554 0
[pid=21271/tid=21278] ppid=21269 vsize=226672 CPUtime=518.1 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 52960 1251 0 0 51802 8 0 0 25 0 5 0 733443476 232112128 44487 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364809 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=226672 CPUtime=518.1 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 51669 1251 0 0 51803 7 0 0 25 0 5 0 733443476 232112128 44487 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364653 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21271/tid=21280] ppid=21269 vsize=226672 CPUtime=517.98 cores=0,2,4,6
/proc/21271/task/21280/stat : 21280 (plingeling) R 21269 21271 14218 0 -1 4202560 53700 1251 0 0 51791 7 0 0 25 0 5 0 733443476 232112128 44487 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21271/tid=21281] ppid=21269 vsize=226672 CPUtime=511.76 cores=0,2,4,6
/proc/21271/task/21281/stat : 21281 (plingeling) R 21269 21271 14218 0 -1 4202560 71843 1251 0 0 51164 12 0 0 25 0 5 0 733443476 232112128 44487 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364780 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2066.17
Current children cumulated vsize (KiB) 226672
[startup+519.1 s]
/proc/loadavg: 8.09 8.06 7.78 9/392 21295
/proc/meminfo: memFree=13966448/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=229744 CPUtime=2069.41 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 247856 1251 0 0 206903 38 0 0 25 0 5 0 733443456 235257856 45255 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 57436 45255 180 55 0 55322 0
[pid=21271/tid=21278] ppid=21269 vsize=229744 CPUtime=518.91 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 53728 1251 0 0 51883 8 0 0 25 0 5 0 733443476 235257856 45255 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364737 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=229744 CPUtime=518.91 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 51669 1251 0 0 51884 7 0 0 25 0 5 0 733443476 235257856 45255 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21271/tid=21280] ppid=21269 vsize=229744 CPUtime=518.79 cores=0,2,4,6
/proc/21271/task/21280/stat : 21280 (plingeling) R 21269 21271 14218 0 -1 4202560 53700 1251 0 0 51872 7 0 0 25 0 5 0 733443476 235257856 45255 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21271/tid=21281] ppid=21269 vsize=229744 CPUtime=512.56 cores=0,2,4,6
/proc/21271/task/21281/stat : 21281 (plingeling) R 21269 21271 14218 0 -1 4202560 71843 1251 0 0 51244 12 0 0 25 0 5 0 733443476 235257856 45255 33554432000 4194304 4417452 140734552066128 18446744073709551615 4356995 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2069.41
Current children cumulated vsize (KiB) 229744
[startup+519.5 s]
/proc/loadavg: 8.09 8.06 7.78 9/392 21295
/proc/meminfo: memFree=13966448/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=229744 CPUtime=2070.96 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 247856 1251 0 0 207058 38 0 0 25 0 5 0 733443456 235257856 45255 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 57436 45255 180 55 0 55322 0
[pid=21271/tid=21278] ppid=21269 vsize=229744 CPUtime=519.3 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 53728 1251 0 0 51922 8 0 0 25 0 5 0 733443476 235257856 45255 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=229744 CPUtime=519.3 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 51669 1251 0 0 51923 7 0 0 25 0 5 0 733443476 235257856 45255 33554432000 4194304 4417452 140734552066128 18446744073709551615 4354497 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=21271/tid=21280] ppid=21269 vsize=229744 CPUtime=519.18 cores=0,2,4,6
/proc/21271/task/21280/stat : 21280 (plingeling) R 21269 21271 14218 0 -1 4202560 53700 1251 0 0 51911 7 0 0 25 0 5 0 733443476 235257856 45255 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364907 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=21271/tid=21281] ppid=21269 vsize=229744 CPUtime=512.95 cores=0,2,4,6
/proc/21271/task/21281/stat : 21281 (plingeling) R 21269 21271 14218 0 -1 4202560 71843 1251 0 0 51283 12 0 0 25 0 5 0 733443476 235257856 45255 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2070.96
Current children cumulated vsize (KiB) 229744
[startup+519.7 s]
/proc/loadavg: 8.09 8.06 7.78 9/392 21295
/proc/meminfo: memFree=13966448/32951124 swapFree=65586204/67111528
[pid=21271] ppid=21269 vsize=229744 CPUtime=2071.65 cores=0,2,4,6
/proc/21271/stat : 21271 (plingeling) S 21269 21271 14218 0 -1 4202496 247857 1251 0 0 207127 38 0 0 25 0 3 0 733443456 235257856 45256 33554432000 4194304 4417452 140734552066128 18446744073709551615 216746981349 0 0 4096 17442 18446744073709551615 0 0 17 2 0 0 0
/proc/21271/statm: 57436 45256 181 55 0 55322 0
[pid=21271/tid=21278] ppid=21269 vsize=229744 CPUtime=519.5 cores=0,2,4,6
/proc/21271/task/21278/stat : 21278 (plingeling) R 21269 21271 14218 0 -1 4202560 53728 1251 0 0 51942 8 0 0 25 0 3 0 733443476 235257856 45256 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364657 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=21271/tid=21279] ppid=21269 vsize=229744 CPUtime=519.5 cores=0,2,4,6
/proc/21271/task/21279/stat : 21279 (plingeling) R 21269 21271 14218 0 -1 4202560 51669 1251 0 0 51943 7 0 0 25 0 3 0 733443476 235257856 45256 33554432000 4194304 4417452 140734552066128 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2071.65
Current children cumulated vsize (KiB) 229744
Child status: 10
Real time (s): 519.733
CPU time (s): 2071.71
CPU user time (s): 2071.32
CPU system time (s): 0.39294
CPU usage (%): 398.61
Max. virtual memory (cumulated for all children) (KiB): 258708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2071.32
system time used= 0.39294
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249123
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= 142
involuntary context switches= 11134
runsolver used 1.90571 second user time and 4.45932 second system time
The end