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-3174263-1304116392/watcher-3174263-1304116392 -o /tmp/evaluation-result-3174263-1304116392/solver-3174263-1304116392 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174263-1304116392.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: 6.87 7.41 7.52 6/180 31345
/proc/meminfo: memFree=30883408/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 523235892 52441088 352 33554432000 4194304 4627427 140734978145760 18446744073709551615 47218733959088 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 12803 352 303 106 0 7774 0
[pid=31345/tid=31346] ppid=31343 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 5 0 0 0 0 0 0 0 25 0 4 0 523235893 52441088 352 33554432000 4194304 4627427 140734978145760 18446744073709551615 254500691899 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523235893 52441088 352 33554432000 4194304 4627427 140734978145760 18446744073709551615 47218733959090 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523235893 52441088 352 33554432000 4194304 4627427 140734978145760 18446744073709551615 254495738966 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.106933 s]
/proc/loadavg: 6.87 7.41 7.52 6/180 31345
/proc/meminfo: memFree=30883408/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=282368 CPUtime=0.4 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 1596 0 0 0 40 0 0 0 25 0 4 0 523235892 289144832 1415 33554432000 4194304 4627427 140734978145760 18446744073709551615 4324252 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 70592 1415 384 106 0 65563 0
[pid=31345/tid=31346] ppid=31343 vsize=282368 CPUtime=0.1 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 310 0 0 0 10 0 0 0 18 0 4 0 523235893 289144832 1415 33554432000 4194304 4627427 140734978145760 18446744073709551615 4324328 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=282368 CPUtime=0.1 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 285 0 0 0 10 0 0 0 25 0 4 0 523235893 289144832 1415 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=282368 CPUtime=0.1 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 299 0 0 0 10 0 0 0 18 0 4 0 523235893 289144832 1415 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282368
[startup+0.200862 s]
/proc/loadavg: 6.87 7.41 7.52 6/180 31345
/proc/meminfo: memFree=30883408/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=283272 CPUtime=0.78 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 2165 0 0 0 78 0 0 0 25 0 4 0 523235892 290070528 1676 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 70818 1676 384 106 0 65789 0
[pid=31345/tid=31346] ppid=31343 vsize=283272 CPUtime=0.19 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 470 0 0 0 19 0 0 0 18 0 4 0 523235893 290070528 1676 33554432000 4194304 4627427 140734978145760 18446744073709551615 4332800 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=283272 CPUtime=0.19 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 447 0 0 0 19 0 0 0 25 0 4 0 523235893 290070528 1676 33554432000 4194304 4627427 140734978145760 18446744073709551615 4333195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=283272 CPUtime=0.19 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 395 0 0 0 19 0 0 0 18 0 4 0 523235893 290070528 1676 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283272
[startup+0.300843 s]
/proc/loadavg: 6.87 7.41 7.52 6/180 31345
/proc/meminfo: memFree=30883408/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=283916 CPUtime=1.18 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 2810 0 0 0 118 0 0 0 25 0 4 0 523235892 290729984 1692 33554432000 4194304 4627427 140734978145760 18446744073709551615 4333835 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 70979 1692 384 106 0 65950 0
[pid=31345/tid=31346] ppid=31343 vsize=283916 CPUtime=0.29 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 629 0 0 0 29 0 0 0 18 0 4 0 523235893 290729984 1692 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=283916 CPUtime=0.29 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 607 0 0 0 29 0 0 0 25 0 4 0 523235893 290729984 1692 33554432000 4194304 4627427 140734978145760 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=283916 CPUtime=0.29 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 554 0 0 0 29 0 0 0 18 0 4 0 523235893 290729984 1692 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283916
[startup+0.700763 s]
/proc/loadavg: 6.87 7.41 7.52 6/180 31345
/proc/meminfo: memFree=30883408/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=284660 CPUtime=2.77 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 4360 0 0 0 277 0 0 0 25 0 4 0 523235892 291491840 2436 33554432000 4194304 4627427 140734978145760 18446744073709551615 4351538 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 71165 2436 385 106 0 66136 0
[pid=31345/tid=31346] ppid=31343 vsize=284660 CPUtime=0.69 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 1016 0 0 0 69 0 0 0 18 0 4 0 523235893 291491840 2436 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=284660 CPUtime=0.69 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 1006 0 0 0 69 0 0 0 25 0 4 0 523235893 291491840 2436 33554432000 4194304 4627427 140734978145760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=284660 CPUtime=0.69 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 947 0 0 0 69 0 0 0 18 0 4 0 523235893 291491840 2436 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284660
[startup+1.5006 s]
/proc/loadavg: 6.96 7.41 7.52 9/184 31349
/proc/meminfo: memFree=30869232/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=285468 CPUtime=5.97 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 8713 0 0 0 596 1 0 0 25 0 4 0 523235892 292319232 4851 33554432000 4194304 4627427 140734978145760 18446744073709551615 4324134 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 71367 4851 388 106 0 66338 0
[pid=31345/tid=31346] ppid=31343 vsize=285468 CPUtime=1.48 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 2528 0 0 0 148 0 0 0 19 0 4 0 523235893 292319232 4851 33554432000 4194304 4627427 140734978145760 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=285468 CPUtime=1.48 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 1663 0 0 0 148 0 0 0 25 0 4 0 523235893 292319232 4851 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=285468 CPUtime=1.49 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 1629 0 0 0 149 0 0 0 20 0 4 0 523235893 292319232 4851 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285468
[startup+3.10029 s]
/proc/loadavg: 6.96 7.41 7.52 9/184 31349
/proc/meminfo: memFree=30850012/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=292356 CPUtime=12.36 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 16478 0 0 0 1234 2 0 0 25 0 4 0 523235892 299372544 9200 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 73089 9200 388 106 0 68060 0
[pid=31345/tid=31346] ppid=31343 vsize=292356 CPUtime=3.08 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 4368 0 0 0 308 0 0 0 25 0 4 0 523235893 299372544 9200 33554432000 4194304 4627427 140734978145760 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=292356 CPUtime=3.07 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 3869 0 0 0 307 0 0 0 25 0 4 0 523235893 299372544 9200 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=292356 CPUtime=3.08 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 3841 0 0 0 308 0 0 0 25 0 4 0 523235893 299372544 9200 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 292356
[startup+6.30065 s]
/proc/loadavg: 6.96 7.41 7.52 9/184 31349
/proc/meminfo: memFree=30845316/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=285776 CPUtime=25.15 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 24401 0 0 0 2511 4 0 0 25 0 4 0 523235892 292634624 11789 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 71444 11789 388 106 0 66415 0
[pid=31345/tid=31346] ppid=31343 vsize=285776 CPUtime=6.29 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 5996 0 0 0 628 1 0 0 25 0 4 0 523235893 292634624 11789 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=285776 CPUtime=6.26 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 5563 0 0 0 626 0 0 0 25 0 4 0 523235893 292634624 11789 33554432000 4194304 4627427 140734978145760 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=285776 CPUtime=6.28 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 6602 0 0 0 628 0 0 0 25 0 4 0 523235893 292634624 11789 33554432000 4194304 4627427 140734978145760 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 285776
[startup+12.7004 s]
/proc/loadavg: 7.12 7.43 7.52 9/184 31349
/proc/meminfo: memFree=30830192/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=305364 CPUtime=50.72 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 35479 0 0 0 5066 6 0 0 25 0 4 0 523235892 312692736 13521 33554432000 4194304 4627427 140734978145760 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 76341 13521 388 106 0 71312 0
[pid=31345/tid=31346] ppid=31343 vsize=305364 CPUtime=12.69 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 9016 0 0 0 1267 2 0 0 25 0 4 0 523235893 312692736 13521 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309075 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=305364 CPUtime=12.63 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 8221 0 0 0 1262 1 0 0 25 0 4 0 523235893 312692736 13521 33554432000 4194304 4627427 140734978145760 18446744073709551615 4427394 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=305364 CPUtime=12.69 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 9139 0 0 0 1268 1 0 0 25 0 4 0 523235893 312692736 13521 33554432000 4194304 4627427 140734978145760 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 305364
[startup+25.5008 s]
/proc/loadavg: 7.42 7.48 7.54 9/184 31350
/proc/meminfo: memFree=30819260/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=297000 CPUtime=101.86 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 55545 0 0 0 10174 12 0 0 25 0 4 0 523235892 304128000 17374 33554432000 4194304 4627427 140734978145760 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 74250 17374 388 106 0 69221 0
[pid=31345/tid=31346] ppid=31343 vsize=297000 CPUtime=25.49 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 14337 0 0 0 2546 3 0 0 25 0 4 0 523235893 304128000 17374 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=297000 CPUtime=25.37 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 12365 0 0 0 2535 2 0 0 25 0 4 0 523235893 304128000 17374 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=297000 CPUtime=25.49 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 14901 0 0 0 2546 3 0 0 25 0 4 0 523235893 304128000 17374 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 297000
[startup+51.1007 s]
/proc/loadavg: 7.61 7.52 7.55 9/184 31350
/proc/meminfo: memFree=30781500/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=298280 CPUtime=204.15 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 86417 0 0 0 20395 20 0 0 25 0 4 0 523235892 305438720 22131 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 74570 22131 388 106 0 69541 0
[pid=31345/tid=31346] ppid=31343 vsize=298280 CPUtime=51.09 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 21408 0 0 0 5104 5 0 0 25 0 4 0 523235893 305438720 22131 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=298280 CPUtime=50.85 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 20166 0 0 0 5081 4 0 0 25 0 4 0 523235893 305438720 22131 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=298280 CPUtime=51.08 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 22287 0 0 0 5104 4 0 0 25 0 4 0 523235893 305438720 22131 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.15
Current children cumulated vsize (KiB) 298280
[startup+102.301 s]
/proc/loadavg: 7.84 7.60 7.57 9/184 31352
/proc/meminfo: memFree=30739012/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=304448 CPUtime=408.74 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 132178 0 0 0 40842 32 0 0 25 0 4 0 523235892 311754752 30415 33554432000 4194304 4627427 140734978145760 18446744073709551615 4324192 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 76112 30415 388 106 0 71083 0
[pid=31345/tid=31346] ppid=31343 vsize=304448 CPUtime=102.3 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 30201 0 0 0 10223 7 0 0 25 0 4 0 523235893 311754752 30415 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=304448 CPUtime=101.82 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 32239 0 0 0 10175 7 0 0 25 0 4 0 523235893 311754752 30415 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=304448 CPUtime=102.29 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 34166 0 0 0 10222 7 0 0 25 0 4 0 523235893 311754752 30415 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.74
Current children cumulated vsize (KiB) 304448
[startup+162.301 s]
################
# More data... #
################
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 47012 0 0 0 16218 11 0 0 25 0 4 0 523235893 302092288 35610 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 648.45
Current children cumulated vsize (KiB) 295012
[startup+222.307 s]
/proc/loadavg: 8.09 7.77 7.63 9/184 31355
/proc/meminfo: memFree=30639948/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=308852 CPUtime=888.19 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 210184 0 0 0 88763 56 0 0 25 0 4 0 523235892 316264448 42367 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309290 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 77213 42367 389 106 0 72184 0
[pid=31345/tid=31346] ppid=31343 vsize=308852 CPUtime=222.31 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 43295 0 0 0 22220 11 0 0 25 0 4 0 523235893 316264448 42367 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=308852 CPUtime=221.26 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 52008 0 0 0 22114 12 0 0 25 0 4 0 523235893 316264448 42367 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=308852 CPUtime=222.3 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 55496 0 0 0 22216 14 0 0 25 0 4 0 523235893 316264448 42367 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 888.19
Current children cumulated vsize (KiB) 308852
[startup+282.301 s]
/proc/loadavg: 8.12 7.84 7.66 9/184 31357
/proc/meminfo: memFree=30554716/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=369208 CPUtime=1127.88 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 246045 0 0 0 112722 66 0 0 25 0 4 0 523235892 378068992 51672 33554432000 4194304 4627427 140734978145760 18446744073709551615 4324215 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 92302 51672 389 106 0 87273 0
[pid=31345/tid=31346] ppid=31343 vsize=369208 CPUtime=282.3 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 52068 0 0 0 28217 13 0 0 25 0 4 0 523235893 378068992 51672 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=369208 CPUtime=280.95 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 60676 0 0 0 28080 15 0 0 25 0 4 0 523235893 378068992 51672 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=369208 CPUtime=282.29 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 65457 0 0 0 28213 16 0 0 25 0 4 0 523235893 378068992 51672 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1127.88
Current children cumulated vsize (KiB) 369208
[startup+342.301 s]
/proc/loadavg: 8.12 7.89 7.69 9/184 31358
/proc/meminfo: memFree=30559988/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=412568 CPUtime=1367.58 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 275710 0 0 0 136682 76 0 0 25 0 4 0 523235892 422469632 55003 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 103142 55003 389 106 0 98113 0
[pid=31345/tid=31346] ppid=31343 vsize=412568 CPUtime=342.31 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 57784 0 0 0 34215 16 0 0 25 0 4 0 523235893 422469632 55003 33554432000 4194304 4627427 140734978145760 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=412568 CPUtime=340.64 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 68829 0 0 0 34046 18 0 0 25 0 4 0 523235893 422469632 55003 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=412568 CPUtime=342.3 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 72527 0 0 0 34211 19 0 0 25 0 4 0 523235893 422469632 55003 33554432000 4194304 4627427 140734978145760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1367.58
Current children cumulated vsize (KiB) 412568
[startup+402.301 s]
/proc/loadavg: 8.08 7.92 7.71 9/184 31360
/proc/meminfo: memFree=30540212/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=416532 CPUtime=1607.31 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 295216 0 0 0 160647 84 0 0 25 0 4 0 523235892 426528768 59918 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309197 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 104133 59918 389 106 0 99104 0
[pid=31345/tid=31346] ppid=31343 vsize=416532 CPUtime=402.31 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 60902 0 0 0 40214 17 0 0 25 0 4 0 523235893 426528768 59918 33554432000 4194304 4627427 140734978145760 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=416532 CPUtime=400.36 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 72584 0 0 0 40016 20 0 0 25 0 4 0 523235893 426528768 59918 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=416532 CPUtime=402.31 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 77664 0 0 0 40210 21 0 0 25 0 4 0 523235893 426528768 59918 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1607.31
Current children cumulated vsize (KiB) 416532
Solver just ended. Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 8.08 7.92 7.72 9/184 31360
/proc/meminfo: memFree=30531028/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=428324 CPUtime=1636.47 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 298236 0 0 0 163562 85 0 0 25 0 4 0 523235892 438603776 61082 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 107081 61082 389 106 0 102052 0
[pid=31345/tid=31346] ppid=31343 vsize=428324 CPUtime=409.61 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 62083 0 0 0 40944 17 0 0 25 0 4 0 523235893 438603776 61082 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=428324 CPUtime=407.63 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 72584 0 0 0 40743 20 0 0 25 0 4 0 523235893 438603776 61082 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=428324 CPUtime=409.6 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 78130 0 0 0 40939 21 0 0 25 0 4 0 523235893 438603776 61082 33554432000 4194304 4627427 140734978145760 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1636.47
Current children cumulated vsize (KiB) 428324
[startup+422.401 s]
/proc/loadavg: 8.13 7.94 7.73 9/184 31360
/proc/meminfo: memFree=30519608/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=428340 CPUtime=1687.63 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 303057 0 0 0 168676 87 0 0 25 0 4 0 523235892 438620160 64035 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 107085 64035 389 106 0 102056 0
[pid=31345/tid=31346] ppid=31343 vsize=428340 CPUtime=422.41 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 62673 0 0 0 42224 17 0 0 25 0 4 0 523235893 438620160 64035 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=428340 CPUtime=420.37 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 73533 0 0 0 42017 20 0 0 25 0 4 0 523235893 438620160 64035 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=428340 CPUtime=422.41 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 79811 0 0 0 42219 22 0 0 25 0 4 0 523235893 438620160 64035 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1687.63
Current children cumulated vsize (KiB) 428340
[startup+428.801 s]
/proc/loadavg: 8.12 7.94 7.73 9/184 31360
/proc/meminfo: memFree=30524564/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=428340 CPUtime=1713.19 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 305094 0 0 0 171231 88 0 0 25 0 4 0 523235892 438620160 62541 33554432000 4194304 4627427 140734978145760 18446744073709551615 4427841 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 107085 62541 389 106 0 102056 0
[pid=31345/tid=31346] ppid=31343 vsize=428340 CPUtime=428.8 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 62673 0 0 0 42863 17 0 0 25 0 4 0 523235893 438620160 62541 33554432000 4194304 4627427 140734978145760 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=428340 CPUtime=426.73 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 74364 0 0 0 42653 20 0 0 25 0 4 0 523235893 438620160 62541 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=428340 CPUtime=428.8 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 80047 0 0 0 42858 22 0 0 25 0 4 0 523235893 438620160 62541 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1713.19
Current children cumulated vsize (KiB) 428340
[startup+430.4 s]
/proc/loadavg: 8.12 7.94 7.73 9/184 31360
/proc/meminfo: memFree=30527788/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=428340 CPUtime=1719.58 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 305319 0 0 0 171870 88 0 0 25 0 4 0 523235892 438620160 62091 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 107085 62091 389 106 0 102056 0
[pid=31345/tid=31346] ppid=31343 vsize=428340 CPUtime=430.4 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 62673 0 0 0 43023 17 0 0 25 0 4 0 523235893 438620160 62091 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=428340 CPUtime=428.33 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 74456 0 0 0 42812 21 0 0 25 0 4 0 523235893 438620160 62091 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=428340 CPUtime=430.4 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 80047 0 0 0 43018 22 0 0 25 0 4 0 523235893 438620160 62091 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1719.58
Current children cumulated vsize (KiB) 428340
[startup+431.201 s]
/proc/loadavg: 8.11 7.94 7.73 9/184 31361
/proc/meminfo: memFree=30527044/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=428340 CPUtime=1722.79 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 305381 0 0 0 172191 88 0 0 25 0 4 0 523235892 438620160 62153 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 107085 62153 389 106 0 102056 0
[pid=31345/tid=31346] ppid=31343 vsize=428340 CPUtime=431.21 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 62673 0 0 0 43104 17 0 0 25 0 4 0 523235893 438620160 62153 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=428340 CPUtime=429.13 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 74456 0 0 0 42892 21 0 0 25 0 4 0 523235893 438620160 62153 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=428340 CPUtime=431.21 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 80047 0 0 0 43099 22 0 0 25 0 4 0 523235893 438620160 62153 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1722.79
Current children cumulated vsize (KiB) 428340
[startup+431.601 s]
/proc/loadavg: 8.11 7.94 7.73 9/184 31361
/proc/meminfo: memFree=30527044/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=428340 CPUtime=1724.37 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 305404 0 0 0 172349 88 0 0 25 0 4 0 523235892 438620160 62176 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 107085 62176 389 106 0 102056 0
[pid=31345/tid=31346] ppid=31343 vsize=428340 CPUtime=431.6 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 62673 0 0 0 43143 17 0 0 25 0 4 0 523235893 438620160 62176 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=428340 CPUtime=429.53 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 74456 0 0 0 42932 21 0 0 25 0 4 0 523235893 438620160 62176 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=428340 CPUtime=431.6 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 80047 0 0 0 43138 22 0 0 25 0 4 0 523235893 438620160 62176 33554432000 4194304 4627427 140734978145760 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1724.37
Current children cumulated vsize (KiB) 428340
[startup+431.801 s]
/proc/loadavg: 8.11 7.94 7.73 9/184 31361
/proc/meminfo: memFree=30527044/32950928 swapFree=67111464/67111528
[pid=31345] ppid=31343 vsize=428340 CPUtime=1725.17 cores=0,2,4,6
/proc/31345/stat : 31345 (strangenight2-m) R 31343 31345 30488 0 -1 4202496 305415 0 0 0 172429 88 0 0 25 0 4 0 523235892 438620160 62187 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309077 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/31345/statm: 107085 62187 389 106 0 102056 0
[pid=31345/tid=31346] ppid=31343 vsize=428340 CPUtime=431.8 cores=0,2,4,6
/proc/31345/task/31346/stat : 31346 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 62673 0 0 0 43163 17 0 0 25 0 4 0 523235893 438620160 62187 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31345/tid=31347] ppid=31343 vsize=428340 CPUtime=429.73 cores=0,2,4,6
/proc/31345/task/31347/stat : 31347 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 74456 0 0 0 42952 21 0 0 25 0 4 0 523235893 438620160 62187 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31345/tid=31348] ppid=31343 vsize=428340 CPUtime=431.8 cores=0,2,4,6
/proc/31345/task/31348/stat : 31348 (strangenight2-m) R 31343 31345 30488 0 -1 4202560 80047 0 0 0 43158 22 0 0 25 0 4 0 523235893 438620160 62187 33554432000 4194304 4627427 140734978145760 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1725.17
Current children cumulated vsize (KiB) 428340
Child status: 20
Real time (s): 431.842
CPU time (s): 1725.3
CPU user time (s): 1724.41
CPU system time (s): 0.896863
CPU usage (%): 399.522
Max. virtual memory (cumulated for all children) (KiB): 446200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1724.41
system time used= 0.896863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305420
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= 215
involuntary context switches= 7273
runsolver used 0.643902 second user time and 1.44278 second system time
The end