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-3366526-1305406355/watcher-3366526-1305406355 -o /tmp/evaluation-result-3366526-1305406355/solver-3366526-1305406355 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366526-1305406355.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.84 7.83 7.92 1/359 15526
/proc/meminfo: memFree=23311744/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 730866172 52396032 351 33554432000 4194304 4580107 140736866590816 18446744073709551615 260905394107 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 12792 351 302 95 0 7774 0
[pid=15526/tid=15527] ppid=15524 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 730866172 52396032 351 33554432000 4194304 4580107 140736866590816 18446744073709551615 47766127105559 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 730866172 52396032 351 33554432000 4194304 4580107 140736866590816 18446744073709551615 47766127105555 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730866172 52396032 351 33554432000 4194304 4580107 140736866590816 18446744073709551615 47766127105964 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.113971 s]
/proc/loadavg: 6.84 7.83 7.92 1/359 15526
/proc/meminfo: memFree=23311744/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=282044 CPUtime=0.42 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 1673 0 0 0 42 0 0 0 25 0 4 0 730866172 288813056 1525 33554432000 4194304 4580107 140736866590816 18446744073709551615 4293975 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 70511 1525 377 95 0 65493 0
[pid=15526/tid=15527] ppid=15524 vsize=282044 CPUtime=0.1 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 349 0 0 0 10 0 0 0 25 0 4 0 730866172 288813056 1525 33554432000 4194304 4580107 140736866590816 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=282044 CPUtime=0.1 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 350 0 0 0 10 0 0 0 25 0 4 0 730866172 288813056 1525 33554432000 4194304 4580107 140736866590816 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=282044 CPUtime=0.09 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 245 0 0 0 9 0 0 0 25 0 4 0 730866172 288813056 1526 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282044
[startup+0.200908 s]
/proc/loadavg: 6.84 7.83 7.92 1/359 15526
/proc/meminfo: memFree=23311744/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=283272 CPUtime=0.77 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 2236 0 0 0 77 0 0 0 25 0 4 0 730866172 290070528 1564 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 70818 1564 377 95 0 65800 0
[pid=15526/tid=15527] ppid=15524 vsize=283272 CPUtime=0.19 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 498 0 0 0 19 0 0 0 25 0 4 0 730866172 290070528 1564 33554432000 4194304 4580107 140736866590816 18446744073709551615 4293155 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=283272 CPUtime=0.19 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 490 0 0 0 19 0 0 0 25 0 4 0 730866172 290070528 1565 33554432000 4194304 4580107 140736866590816 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=283272 CPUtime=0.18 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 376 0 0 0 18 0 0 0 25 0 4 0 730866172 290070528 1565 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283272
[startup+0.300889 s]
/proc/loadavg: 6.84 7.83 7.92 1/359 15526
/proc/meminfo: memFree=23311744/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=283272 CPUtime=1.17 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 2623 0 0 0 117 0 0 0 25 0 4 0 730866172 290070528 1951 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 70818 1951 377 95 0 65800 0
[pid=15526/tid=15527] ppid=15524 vsize=283272 CPUtime=0.29 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 584 0 0 0 29 0 0 0 25 0 4 0 730866172 290070528 1951 33554432000 4194304 4580107 140736866590816 18446744073709551615 4293755 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=283272 CPUtime=0.29 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 590 0 0 0 29 0 0 0 25 0 4 0 730866172 290070528 1951 33554432000 4194304 4580107 140736866590816 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=283272 CPUtime=0.28 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 481 0 0 0 28 0 0 0 25 0 4 0 730866172 290070528 1951 33554432000 4194304 4580107 140736866590816 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283272
[startup+0.700816 s]
/proc/loadavg: 6.84 7.83 7.92 1/359 15526
/proc/meminfo: memFree=23311744/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=284092 CPUtime=2.76 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 4087 0 0 0 276 0 0 0 25 0 4 0 730866172 290910208 2626 33554432000 4194304 4580107 140736866590816 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 71023 2626 377 95 0 66005 0
[pid=15526/tid=15527] ppid=15524 vsize=284092 CPUtime=0.69 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 937 0 0 0 69 0 0 0 25 0 4 0 730866172 290910208 2626 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=284092 CPUtime=0.69 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 956 0 0 0 69 0 0 0 25 0 4 0 730866172 290910208 2626 33554432000 4194304 4580107 140736866590816 18446744073709551615 4320604 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=284092 CPUtime=0.68 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 848 0 0 0 68 0 0 0 25 0 4 0 730866172 290910208 2626 33554432000 4194304 4580107 140736866590816 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284092
[startup+1.50067 s]
/proc/loadavg: 6.93 7.83 7.92 9/371 15541
/proc/meminfo: memFree=23282076/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=287140 CPUtime=5.96 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 8123 0 0 0 595 1 0 0 25 0 4 0 730866172 294031360 4243 33554432000 4194304 4580107 140736866590816 18446744073709551615 4292896 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 71785 4243 379 95 0 66767 0
[pid=15526/tid=15527] ppid=15524 vsize=287140 CPUtime=1.49 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 1644 0 0 0 149 0 0 0 25 0 4 0 730866172 294031360 4243 33554432000 4194304 4580107 140736866590816 18446744073709551615 4321664 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=287140 CPUtime=1.49 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 1668 0 0 0 149 0 0 0 25 0 4 0 730866172 294031360 4243 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=287140 CPUtime=1.47 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 1529 0 0 0 147 0 0 0 25 0 4 0 730866172 294031360 4243 33554432000 4194304 4580107 140736866590816 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287140
[startup+3.10038 s]
/proc/loadavg: 6.93 7.83 7.92 9/371 15541
/proc/meminfo: memFree=23251324/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=288240 CPUtime=12.33 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 16906 0 0 0 1232 1 0 0 25 0 4 0 730866172 295157760 8103 33554432000 4194304 4580107 140736866590816 18446744073709551615 4293698 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 72060 8104 379 95 0 67042 0
[pid=15526/tid=15527] ppid=15524 vsize=288240 CPUtime=3.09 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 3785 0 0 0 309 0 0 0 25 0 4 0 730866172 295157760 8104 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=288240 CPUtime=3.09 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 4479 0 0 0 309 0 0 0 25 0 4 0 730866172 295157760 8104 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=288240 CPUtime=3.05 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 4083 0 0 0 305 0 0 0 25 0 4 0 730866172 295157760 8104 33554432000 4194304 4580107 140736866590816 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 288240
[startup+6.30079 s]
/proc/loadavg: 6.93 7.83 7.92 10/371 15541
/proc/meminfo: memFree=23218716/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=289948 CPUtime=25.1 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 26804 0 0 0 2506 4 0 0 25 0 4 0 730866172 296906752 11050 33554432000 4194304 4580107 140736866590816 18446744073709551615 4321452 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 72487 11050 379 95 0 67469 0
[pid=15526/tid=15527] ppid=15524 vsize=289948 CPUtime=6.29 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 6917 0 0 0 628 1 0 0 25 0 4 0 730866172 296906752 11050 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=289948 CPUtime=6.29 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 7547 0 0 0 628 1 0 0 25 0 4 0 730866172 296906752 11050 33554432000 4194304 4580107 140736866590816 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=289948 CPUtime=6.21 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 5794 0 0 0 620 1 0 0 25 0 4 0 730866172 296906752 11050 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 289948
[startup+12.7006 s]
/proc/loadavg: 7.10 7.83 7.92 9/371 15541
/proc/meminfo: memFree=23158128/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=296676 CPUtime=50.62 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 43052 0 0 0 5055 7 0 0 25 0 4 0 730866172 303796224 16745 33554432000 4194304 4580107 140736866590816 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 74169 16745 379 95 0 69151 0
[pid=15526/tid=15527] ppid=15524 vsize=296676 CPUtime=12.68 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 10751 0 0 0 1267 1 0 0 25 0 4 0 730866172 303796224 16745 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=296676 CPUtime=12.69 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 10362 0 0 0 1267 2 0 0 25 0 4 0 730866172 303796224 16745 33554432000 4194304 4580107 140736866590816 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=296676 CPUtime=12.53 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 10181 0 0 0 1252 1 0 0 25 0 4 0 730866172 303796224 16745 33554432000 4194304 4580107 140736866590816 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 296676
[startup+25.5013 s]
/proc/loadavg: 7.24 7.84 7.92 10/371 15541
/proc/meminfo: memFree=23103740/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=300636 CPUtime=101.66 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 65655 0 0 0 10154 12 0 0 25 0 4 0 730866172 307851264 22536 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 75159 22536 379 95 0 70141 0
[pid=15526/tid=15527] ppid=15524 vsize=300636 CPUtime=25.49 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 16890 0 0 0 2546 3 0 0 25 0 4 0 730866172 307851264 22536 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=300636 CPUtime=25.49 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 16675 0 0 0 2546 3 0 0 25 0 4 0 730866172 307851264 22536 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=300636 CPUtime=25.17 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 14805 0 0 0 2515 2 0 0 25 0 4 0 730866172 307851264 22536 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 300636
[startup+51.1006 s]
/proc/loadavg: 7.50 7.85 7.92 10/371 15542
/proc/meminfo: memFree=23064436/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=294544 CPUtime=203.76 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 97204 0 0 0 20357 19 0 0 25 0 4 0 730866172 301613056 28441 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294612 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 73636 28441 379 95 0 68618 0
[pid=15526/tid=15527] ppid=15524 vsize=294544 CPUtime=51.09 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 25150 0 0 0 5104 5 0 0 25 0 4 0 730866172 301613056 28441 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=294544 CPUtime=51.09 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 24533 0 0 0 5104 5 0 0 25 0 4 0 730866172 301613056 28441 33554432000 4194304 4580107 140736866590816 18446744073709551615 4318592 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=294544 CPUtime=50.47 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 22447 0 0 0 5044 3 0 0 25 0 4 0 730866172 301613056 28441 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 294544
[startup+102.301 s]
/proc/loadavg: 7.88 7.90 7.93 10/371 15543
/proc/meminfo: memFree=23007600/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=297844 CPUtime=407.98 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 144573 0 0 0 40765 33 0 0 25 0 4 0 730866172 304992256 35787 33554432000 4194304 4580107 140736866590816 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 74461 35787 379 95 0 69443 0
[pid=15526/tid=15527] ppid=15524 vsize=297844 CPUtime=102.3 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 36739 0 0 0 10222 8 0 0 25 0 4 0 730866172 304992256 35790 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=297844 CPUtime=102.3 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 35619 0 0 0 10221 9 0 0 25 0 4 0 730866172 304992256 35790 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=297844 CPUtime=101.07 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 35520 0 0 0 10101 6 0 0 25 0 4 0 730866172 304992256 35790 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.98
Current children cumulated vsize (KiB) 297844
[startup+162.301 s]
################
# More data... #
################
[pid=15526] ppid=15524 vsize=549220 CPUtime=2561.5 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 450233 0 0 0 256006 144 0 0 25 0 4 0 730866172 562401280 75420 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 137305 75420 379 95 0 132287 0
[pid=15526/tid=15527] ppid=15524 vsize=549220 CPUtime=642.31 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 109089 0 0 0 64196 35 0 0 25 0 4 0 730866172 562401280 75420 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=549220 CPUtime=642.29 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 116127 0 0 0 64191 38 0 0 25 0 4 0 730866172 562401280 75420 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=549220 CPUtime=634.58 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 108171 0 0 0 63428 30 0 0 25 0 4 0 730866172 562401280 75420 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2561.5
Current children cumulated vsize (KiB) 549220
[startup+702.301 s]
/proc/loadavg: 8.14 8.08 8.01 10/371 15568
/proc/meminfo: memFree=22653876/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=537508 CPUtime=2800.77 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 475892 0 0 0 279922 155 0 0 25 0 4 0 730866172 550408192 76994 33554432000 4194304 4580107 140736866590816 18446744073709551615 4304864 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 134377 76994 379 95 0 129359 0
[pid=15526/tid=15527] ppid=15524 vsize=537508 CPUtime=702.31 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 115737 0 0 0 70194 37 0 0 25 0 4 0 730866172 550408192 76994 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=537508 CPUtime=702.29 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 122448 0 0 0 70188 41 0 0 25 0 4 0 730866172 550408192 76994 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=537508 CPUtime=693.85 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 114694 0 0 0 69352 33 0 0 25 0 4 0 730866172 550408192 76994 33554432000 4194304 4580107 140736866590816 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.77
Current children cumulated vsize (KiB) 537508
[startup+762.301 s]
/proc/loadavg: 8.14 8.09 8.01 10/371 15570
/proc/meminfo: memFree=22640156/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=561876 CPUtime=3040.08 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 501092 0 0 0 303842 166 0 0 25 0 4 0 730866172 575361024 80303 33554432000 4194304 4580107 140736866590816 18446744073709551615 4295731 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 140469 80303 379 95 0 135451 0
[pid=15526/tid=15527] ppid=15524 vsize=561876 CPUtime=762.32 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 121649 0 0 0 76193 39 0 0 25 0 4 0 730866172 575361024 80304 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=561876 CPUtime=762.31 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 128593 0 0 0 76187 44 0 0 25 0 4 0 730866172 575361024 80304 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=561876 CPUtime=753.14 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 120929 0 0 0 75278 36 0 0 25 0 4 0 730866172 575361024 80304 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.08
Current children cumulated vsize (KiB) 561876
[startup+822.301 s]
/proc/loadavg: 8.10 8.09 8.01 10/371 15572
/proc/meminfo: memFree=22591712/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=562008 CPUtime=3279.35 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 527286 0 0 0 327761 174 0 0 25 0 4 0 730866172 575496192 90930 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 140502 90930 379 95 0 135484 0
[pid=15526/tid=15527] ppid=15524 vsize=562008 CPUtime=822.31 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 127883 0 0 0 82190 41 0 0 25 0 4 0 730866172 575496192 90930 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=562008 CPUtime=822.29 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 132163 0 0 0 82184 45 0 0 25 0 4 0 730866172 575496192 90930 33554432000 4194304 4580107 140736866590816 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=562008 CPUtime=812.41 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 131345 0 0 0 81203 38 0 0 25 0 4 0 730866172 575496192 90930 33554432000 4194304 4580107 140736866590816 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.35
Current children cumulated vsize (KiB) 562008
[startup+882.314 s]
/proc/loadavg: 8.12 8.10 8.02 10/371 15573
/proc/meminfo: memFree=22591900/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=550436 CPUtime=3518.68 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 553764 0 0 0 351683 185 0 0 25 0 4 0 730866172 563646464 83197 33554432000 4194304 4580107 140736866590816 18446744073709551615 4295702 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 137609 83197 379 95 0 132591 0
[pid=15526/tid=15527] ppid=15524 vsize=550436 CPUtime=882.32 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 134778 0 0 0 88188 44 0 0 25 0 4 0 730866172 563646464 83197 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=550436 CPUtime=882.3 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 139751 0 0 0 88183 47 0 0 25 0 4 0 730866172 563646464 83197 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=550436 CPUtime=871.7 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 137261 0 0 0 87129 41 0 0 25 0 4 0 730866172 563646464 83197 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.68
Current children cumulated vsize (KiB) 550436
[startup+942.301 s]
/proc/loadavg: 8.13 8.11 8.02 10/371 15575
/proc/meminfo: memFree=22552028/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=551672 CPUtime=3757.92 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 578475 0 0 0 375598 194 0 0 25 0 4 0 730866172 564912128 84334 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 137918 84334 379 95 0 132900 0
[pid=15526/tid=15527] ppid=15524 vsize=551672 CPUtime=942.31 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 141083 0 0 0 94185 46 0 0 25 0 4 0 730866172 564912128 84334 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=551672 CPUtime=942.29 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 146077 0 0 0 94179 50 0 0 25 0 4 0 730866172 564912128 84334 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=551672 CPUtime=930.97 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 143242 0 0 0 93054 43 0 0 25 0 4 0 730866172 564912128 84334 33554432000 4194304 4580107 140736866590816 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.92
Current children cumulated vsize (KiB) 551672
[startup+1002.3 s]
/proc/loadavg: 8.13 8.11 8.02 10/371 15576
/proc/meminfo: memFree=22537700/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=606848 CPUtime=3997.2 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 603842 0 0 0 399517 203 0 0 25 0 4 0 730866172 621412352 88130 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 151712 88130 379 95 0 146694 0
[pid=15526/tid=15527] ppid=15524 vsize=606848 CPUtime=1002.32 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 148403 0 0 0 100182 50 0 0 25 0 4 0 730866172 621412352 88130 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=606848 CPUtime=1002.3 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 151835 0 0 0 100178 52 0 0 25 0 4 0 730866172 621412352 88130 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=606848 CPUtime=990.26 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 149055 0 0 0 98980 46 0 0 25 0 4 0 730866172 621412352 88130 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.2
Current children cumulated vsize (KiB) 606848
[startup+1062.3 s]
/proc/loadavg: 8.12 8.12 8.03 10/371 15578
/proc/meminfo: memFree=22502920/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=618244 CPUtime=4236.48 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 625564 0 0 0 423436 212 0 0 25 0 4 0 730866172 633081856 95291 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 154561 95291 379 95 0 149543 0
[pid=15526/tid=15527] ppid=15524 vsize=618244 CPUtime=1062.32 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 153692 0 0 0 106180 52 0 0 25 0 4 0 730866172 633081856 95291 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=618244 CPUtime=1062.29 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 157844 0 0 0 106175 54 0 0 25 0 4 0 730866172 633081856 95291 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=618244 CPUtime=1049.55 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 155508 0 0 0 104907 48 0 0 25 0 4 0 730866172 633081856 95291 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4236.48
Current children cumulated vsize (KiB) 618244
[startup+1122.3 s]
/proc/loadavg: 8.15 8.13 8.03 10/371 15580
/proc/meminfo: memFree=22485140/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=607336 CPUtime=4475.77 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 646264 0 0 0 447355 222 0 0 25 0 4 0 730866172 621912064 97191 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 151834 97191 379 95 0 146816 0
[pid=15526/tid=15527] ppid=15524 vsize=607336 CPUtime=1122.32 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 159848 0 0 0 112178 54 0 0 25 0 4 0 730866172 621912064 97191 33554432000 4194304 4580107 140736866590816 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=607336 CPUtime=1122.3 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 163792 0 0 0 112173 57 0 0 25 0 4 0 730866172 621912064 97191 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=607336 CPUtime=1108.84 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 160921 0 0 0 110833 51 0 0 25 0 4 0 730866172 621912064 97191 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4475.77
Current children cumulated vsize (KiB) 607336
[startup+1182.3 s]
/proc/loadavg: 8.16 8.13 8.04 10/371 15581
/proc/meminfo: memFree=22432404/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=620408 CPUtime=4715.06 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 665934 0 0 0 471277 229 0 0 25 0 4 0 730866172 635297792 107207 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 155102 107207 379 95 0 150084 0
[pid=15526/tid=15527] ppid=15524 vsize=620408 CPUtime=1182.32 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 164618 0 0 0 118176 56 0 0 25 0 4 0 730866172 635297792 107207 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=620408 CPUtime=1182.3 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 169165 0 0 0 118171 59 0 0 25 0 4 0 730866172 635297792 107207 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=620408 CPUtime=1168.14 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 165479 0 0 0 116760 54 0 0 25 0 4 0 730866172 635297792 107208 33554432000 4194304 4580107 140736866590816 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.06
Current children cumulated vsize (KiB) 620408
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1203.7 s]
/proc/loadavg: 8.12 8.12 8.04 5/367 15583
/proc/meminfo: memFree=22889608/32950928 swapFree=65730864/67111528
[pid=15526] ppid=15524 vsize=620456 CPUtime=4800.41 cores=0,2,4,6
/proc/15526/stat : 15526 (strangenight2-m) R 15524 15526 15496 0 -1 4202496 671557 0 0 0 479809 232 0 0 25 0 4 0 730866172 635346944 102926 33554432000 4194304 4580107 140736866590816 18446744073709551615 4406385 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15526/statm: 155114 102926 379 95 0 150096 0
[pid=15526/tid=15527] ppid=15524 vsize=620456 CPUtime=1203.74 cores=0,2,4,6
/proc/15526/task/15527/stat : 15527 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 167281 0 0 0 120317 57 0 0 25 0 4 0 730866172 635346944 102928 33554432000 4194304 4580107 140736866590816 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15526/tid=15528] ppid=15524 vsize=620456 CPUtime=1203.72 cores=0,2,4,6
/proc/15526/task/15528/stat : 15528 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 170660 0 0 0 120312 60 0 0 25 0 4 0 730866172 635346944 102928 33554432000 4194304 4580107 140736866590816 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15526/tid=15529] ppid=15524 vsize=620456 CPUtime=1189.27 cores=0,2,4,6
/proc/15526/task/15529/stat : 15529 (strangenight2-m) R 15524 15526 15496 0 -1 4202560 165838 0 0 0 118873 54 0 0 25 0 4 0 730866172 635346944 102928 33554432000 4194304 4580107 140736866590816 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.41
Current children cumulated vsize (KiB) 620456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.74
CPU time (s): 4800.48
CPU user time (s): 4798.14
CPU system time (s): 2.34064
CPU usage (%): 398.798
Max. virtual memory (cumulated for all children) (KiB): 668656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.14
system time used= 2.34064
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 671559
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= 512
involuntary context switches= 33284
runsolver used 4.16137 second user time and 10.1005 second system time
The end