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-3175302-1304109651/watcher-3175302-1304109651 -o /tmp/evaluation-result-3175302-1304109651/solver-3175302-1304109651 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175302-1304109651.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.68 7.99 8.00 5/180 21215
/proc/meminfo: memFree=17528500/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 522567744 52465664 352 33554432000 4194304 4650419 140736462919744 18446744073709551615 47507791820722 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 12809 352 303 112 0 7774 0
[pid=21215/tid=21216] ppid=21213 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522567744 52465664 352 33554432000 4194304 4650419 140736462919744 18446744073709551615 47507791820722 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522567745 52465664 352 33554432000 4194304 4650419 140736462919744 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522567745 52465664 352 33554432000 4194304 4650419 140736462919744 18446744073709551615 47507791820720 0 0 4096 2 0 0 0 -1 1 0 0 0
[startup+0.0981879 s]
/proc/loadavg: 7.68 7.99 8.00 5/180 21215
/proc/meminfo: memFree=17528500/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=348092 CPUtime=0.37 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 1780 0 0 0 37 0 0 0 18 0 4 0 522567744 356446208 1652 33554432000 4194304 4650419 140736462919744 18446744073709551615 4364433 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 87023 1654 391 112 0 81988 0
[pid=21215/tid=21216] ppid=21213 vsize=348092 CPUtime=0.09 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 387 0 0 0 9 0 0 0 18 0 4 0 522567744 356446208 1654 33554432000 4194304 4650419 140736462919744 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=348092 CPUtime=0.08 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 366 0 0 0 8 0 0 0 25 0 4 0 522567745 356446208 1654 33554432000 4194304 4650419 140736462919744 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=348092 CPUtime=0.09 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 248 0 0 0 9 0 0 0 18 0 4 0 522567745 356446208 1654 33554432000 4194304 4650419 140736462919744 18446744073709551615 4514716 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 348092
[startup+0.101187 s]
/proc/loadavg: 7.68 7.99 8.00 5/180 21215
/proc/meminfo: memFree=17528500/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=348092 CPUtime=0.38 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 1790 0 0 0 38 0 0 0 18 0 4 0 522567744 356446208 1662 33554432000 4194304 4650419 140736462919744 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 87023 1662 391 112 0 81988 0
[pid=21215/tid=21216] ppid=21213 vsize=348092 CPUtime=0.09 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 389 0 0 0 9 0 0 0 18 0 4 0 522567744 356446208 1662 33554432000 4194304 4650419 140736462919744 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=348092 CPUtime=0.09 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 368 0 0 0 9 0 0 0 25 0 4 0 522567745 356446208 1663 33554432000 4194304 4650419 140736462919744 18446744073709551615 4333843 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=348092 CPUtime=0.09 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 251 0 0 0 9 0 0 0 18 0 4 0 522567745 356446208 1664 33554432000 4194304 4650419 140736462919744 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 348092
[startup+0.300152 s]
/proc/loadavg: 7.68 7.99 8.00 5/180 21215
/proc/meminfo: memFree=17528500/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=349544 CPUtime=1.17 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 2940 0 0 0 117 0 0 0 18 0 4 0 522567744 357933056 2214 33554432000 4194304 4650419 140736462919744 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 87386 2214 393 112 0 82351 0
[pid=21215/tid=21216] ppid=21213 vsize=349544 CPUtime=0.29 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 694 0 0 0 29 0 0 0 18 0 4 0 522567744 357933056 2214 33554432000 4194304 4650419 140736462919744 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=349544 CPUtime=0.29 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 646 0 0 0 29 0 0 0 25 0 4 0 522567745 357933056 2214 33554432000 4194304 4650419 140736462919744 18446744073709551615 4367245 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=349544 CPUtime=0.29 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 536 0 0 0 29 0 0 0 18 0 4 0 522567745 357933056 2214 33554432000 4194304 4650419 140736462919744 18446744073709551615 4331074 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 349544
[startup+0.701083 s]
/proc/loadavg: 7.68 7.99 8.00 5/180 21215
/proc/meminfo: memFree=17528500/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=350200 CPUtime=2.78 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 4719 0 0 0 278 0 0 0 18 0 4 0 522567744 358604800 2834 33554432000 4194304 4650419 140736462919744 18446744073709551615 4366906 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 87550 2834 393 112 0 82515 0
[pid=21215/tid=21216] ppid=21213 vsize=350200 CPUtime=0.69 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 1114 0 0 0 69 0 0 0 18 0 4 0 522567744 358604800 2834 33554432000 4194304 4650419 140736462919744 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=350200 CPUtime=0.69 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 1062 0 0 0 69 0 0 0 25 0 4 0 522567745 358604800 2834 33554432000 4194304 4650419 140736462919744 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=350200 CPUtime=0.69 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 1052 0 0 0 69 0 0 0 18 0 4 0 522567745 358604800 2834 33554432000 4194304 4650419 140736462919744 18446744073709551615 4329050 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 350200
[startup+1.50095 s]
/proc/loadavg: 7.68 7.99 8.00 9/184 21219
/proc/meminfo: memFree=17538176/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=351496 CPUtime=5.98 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 9019 0 0 0 596 2 0 0 20 0 4 0 522567744 359931904 4871 33554432000 4194304 4650419 140736462919744 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 87874 4871 395 112 0 82839 0
[pid=21215/tid=21216] ppid=21213 vsize=351496 CPUtime=1.49 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 1910 0 0 0 149 0 0 0 20 0 4 0 522567744 359931904 4871 33554432000 4194304 4650419 140736462919744 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=351496 CPUtime=1.48 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 1851 0 0 0 148 0 0 0 25 0 4 0 522567745 359931904 4872 33554432000 4194304 4650419 140736462919744 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=351496 CPUtime=1.49 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 1652 0 0 0 149 0 0 0 20 0 4 0 522567745 359931904 4872 33554432000 4194304 4650419 140736462919744 18446744073709551615 4514716 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 351496
[startup+3.10066 s]
/proc/loadavg: 7.68 7.99 8.00 9/184 21219
/proc/meminfo: memFree=17525156/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=346696 CPUtime=12.36 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 17310 0 0 0 1232 4 0 0 25 0 4 0 522567744 355016704 10037 33554432000 4194304 4650419 140736462919744 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 86674 10037 395 112 0 81639 0
[pid=21215/tid=21216] ppid=21213 vsize=346696 CPUtime=3.09 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 4004 0 0 0 308 1 0 0 25 0 4 0 522567744 355016704 10037 33554432000 4194304 4650419 140736462919744 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=346696 CPUtime=3.07 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 4649 0 0 0 306 1 0 0 25 0 4 0 522567745 355016704 10037 33554432000 4194304 4650419 140736462919744 18446744073709551615 4363568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=346696 CPUtime=3.08 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 3760 0 0 0 308 0 0 0 25 0 4 0 522567745 355016704 10037 33554432000 4194304 4650419 140736462919744 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 346696
[startup+6.3011 s]
/proc/loadavg: 7.71 7.99 8.00 9/184 21219
/proc/meminfo: memFree=17494556/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=361260 CPUtime=25.15 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 26441 0 0 0 2509 6 0 0 25 0 4 0 522567744 369930240 14058 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 90315 14058 395 112 0 85280 0
[pid=21215/tid=21216] ppid=21213 vsize=361260 CPUtime=6.29 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 7013 0 0 0 628 1 0 0 25 0 4 0 522567744 369930240 14058 33554432000 4194304 4650419 140736462919744 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=361260 CPUtime=6.25 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 7303 0 0 0 624 1 0 0 25 0 4 0 522567745 369930240 14058 33554432000 4194304 4650419 140736462919744 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=361260 CPUtime=6.28 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 5428 0 0 0 628 0 0 0 25 0 4 0 522567745 369930240 14058 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 361260
[startup+12.701 s]
/proc/loadavg: 7.81 8.01 8.00 9/184 21219
/proc/meminfo: memFree=17492252/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=370800 CPUtime=50.71 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 39403 0 0 0 5062 9 0 0 25 0 4 0 522567744 379699200 19123 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 92700 19123 395 112 0 87665 0
[pid=21215/tid=21216] ppid=21213 vsize=370800 CPUtime=12.69 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 10187 0 0 0 1267 2 0 0 25 0 4 0 522567744 379699200 19123 33554432000 4194304 4650419 140736462919744 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=370800 CPUtime=12.62 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 9990 0 0 0 1260 2 0 0 25 0 4 0 522567745 379699200 19123 33554432000 4194304 4650419 140736462919744 18446744073709551615 4314858 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=370800 CPUtime=12.68 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 8438 0 0 0 1267 1 0 0 25 0 4 0 522567745 379699200 19123 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 370800
[startup+25.5007 s]
/proc/loadavg: 7.93 8.02 8.01 9/184 21220
/proc/meminfo: memFree=17448368/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=371584 CPUtime=101.84 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 62347 0 0 0 10168 16 0 0 25 0 4 0 522567744 380502016 25449 33554432000 4194304 4650419 140736462919744 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 92896 25449 395 112 0 87861 0
[pid=21215/tid=21216] ppid=21213 vsize=371584 CPUtime=25.49 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 15865 0 0 0 2546 3 0 0 25 0 4 0 522567744 380502016 25449 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=371584 CPUtime=25.36 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 16601 0 0 0 2531 5 0 0 25 0 4 0 522567745 380502016 25449 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=371584 CPUtime=25.48 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 12697 0 0 0 2545 3 0 0 25 0 4 0 522567745 380502016 25449 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 371584
[startup+51.1002 s]
/proc/loadavg: 7.95 8.02 8.00 9/184 21220
/proc/meminfo: memFree=17409960/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=372788 CPUtime=204.1 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 95837 0 0 0 20383 27 0 0 25 0 4 0 522567744 381734912 32174 33554432000 4194304 4650419 140736462919744 18446744073709551615 4366835 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 93197 32174 395 112 0 88162 0
[pid=21215/tid=21216] ppid=21213 vsize=372788 CPUtime=51.09 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 26735 0 0 0 5103 6 0 0 25 0 4 0 522567744 381734912 32174 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=372788 CPUtime=50.82 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 24384 0 0 0 5075 7 0 0 25 0 4 0 522567745 381734912 32174 33554432000 4194304 4650419 140736462919744 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=372788 CPUtime=51.07 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 19233 0 0 0 5102 5 0 0 25 0 4 0 522567745 381734912 32174 33554432000 4194304 4650419 140736462919744 18446744073709551615 4363520 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 372788
[startup+102.306 s]
/proc/loadavg: 7.98 8.02 8.00 9/184 21222
/proc/meminfo: memFree=17357700/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=403928 CPUtime=408.66 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 136494 0 0 0 40823 43 0 0 25 0 4 0 522567744 413622272 43415 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 100982 43415 395 112 0 95947 0
[pid=21215/tid=21216] ppid=21213 vsize=403928 CPUtime=102.3 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 40331 0 0 0 10219 11 0 0 25 0 4 0 522567744 413622272 43415 33554432000 4194304 4650419 140736462919744 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=403928 CPUtime=101.75 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 29937 0 0 0 10166 9 0 0 25 0 4 0 522567745 413622272 43415 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=403928 CPUtime=102.29 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 26889 0 0 0 10220 9 0 0 25 0 4 0 522567745 413622272 43415 33554432000 4194304 4650419 140736462919744 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 403928
[startup+162.301 s]
################
# More data... #
################
[pid=21215] ppid=21213 vsize=620504 CPUtime=2805.45 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 370161 0 0 0 280390 155 0 0 25 0 4 0 522567744 635396096 101479 33554432000 4194304 4650419 140736462919744 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 155126 101479 395 112 0 150091 0
[pid=21215/tid=21216] ppid=21213 vsize=620504 CPUtime=702.29 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 113234 0 0 0 70182 47 0 0 25 0 4 0 522567744 635396096 101479 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=620504 CPUtime=698.53 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 100923 0 0 0 69808 45 0 0 25 0 4 0 522567745 635396096 101479 33554432000 4194304 4650419 140736462919744 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=620504 CPUtime=702.28 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 53292 0 0 0 70208 20 0 0 25 0 4 0 522567745 635396096 101479 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.45
Current children cumulated vsize (KiB) 620504
[startup+762.306 s]
/proc/loadavg: 8.00 8.05 8.01 9/184 21270
/proc/meminfo: memFree=17242448/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=686140 CPUtime=3045.15 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 392080 0 0 0 304348 167 0 0 25 0 4 0 522567744 702607360 110382 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 171535 110382 395 112 0 166500 0
[pid=21215/tid=21216] ppid=21213 vsize=686140 CPUtime=762.31 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 120242 0 0 0 76180 51 0 0 25 0 4 0 522567744 702607360 110382 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=686140 CPUtime=758.21 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 107149 0 0 0 75772 49 0 0 25 0 4 0 522567745 702607360 110382 33554432000 4194304 4650419 140736462919744 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=686140 CPUtime=762.29 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 58162 0 0 0 76206 23 0 0 25 0 4 0 522567745 702607360 110382 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.15
Current children cumulated vsize (KiB) 686140
[startup+822.301 s]
/proc/loadavg: 8.00 8.03 8.00 9/184 21272
/proc/meminfo: memFree=17257404/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=645208 CPUtime=3284.81 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 409469 0 0 0 328304 177 0 0 25 0 4 0 522567744 660692992 104672 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 161302 104672 395 112 0 156267 0
[pid=21215/tid=21216] ppid=21213 vsize=645208 CPUtime=822.3 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 127052 0 0 0 82175 55 0 0 25 0 4 0 522567744 660692992 104672 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=645208 CPUtime=817.88 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 113319 0 0 0 81736 52 0 0 25 0 4 0 522567745 660692992 104672 33554432000 4194304 4650419 140736462919744 18446744073709551615 4363496 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=645208 CPUtime=822.29 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 60363 0 0 0 82204 25 0 0 25 0 4 0 522567745 660692992 104672 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.81
Current children cumulated vsize (KiB) 645208
[startup+882.301 s]
/proc/loadavg: 8.13 8.06 8.01 9/184 21273
/proc/meminfo: memFree=17225364/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=630868 CPUtime=3524.49 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 432690 0 0 0 352258 191 0 0 25 0 4 0 522567744 646008832 109697 33554432000 4194304 4650419 140736462919744 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 157717 109697 395 112 0 152682 0
[pid=21215/tid=21216] ppid=21213 vsize=630868 CPUtime=882.3 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 133895 0 0 0 88172 58 0 0 25 0 4 0 522567744 646008832 109697 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=630868 CPUtime=877.55 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 119300 0 0 0 87699 56 0 0 25 0 4 0 522567745 646008832 109697 33554432000 4194304 4650419 140736462919744 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=630868 CPUtime=882.29 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 64512 0 0 0 88201 28 0 0 25 0 4 0 522567745 646008832 109697 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.49
Current children cumulated vsize (KiB) 630868
[startup+942.3 s]
/proc/loadavg: 8.17 8.08 8.01 9/184 21275
/proc/meminfo: memFree=17225724/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=593212 CPUtime=3764.17 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 453219 0 0 0 376216 201 0 0 25 0 4 0 522567744 607449088 107440 33554432000 4194304 4650419 140736462919744 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 148303 107440 395 112 0 143268 0
[pid=21215/tid=21216] ppid=21213 vsize=593212 CPUtime=942.3 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 140461 0 0 0 94168 62 0 0 25 0 4 0 522567744 607449088 107440 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=593212 CPUtime=937.23 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 125758 0 0 0 93664 59 0 0 25 0 4 0 522567745 607449088 107440 33554432000 4194304 4650419 140736462919744 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=593212 CPUtime=942.29 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 66790 0 0 0 94200 29 0 0 25 0 4 0 522567745 607449088 107440 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.17
Current children cumulated vsize (KiB) 593212
[startup+1002.3 s]
/proc/loadavg: 8.10 8.07 8.01 9/184 21277
/proc/meminfo: memFree=17191476/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=658924 CPUtime=4003.85 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 471362 0 0 0 400174 211 0 0 25 0 4 0 522567744 674738176 111766 33554432000 4194304 4650419 140736462919744 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 164731 111766 395 112 0 159696 0
[pid=21215/tid=21216] ppid=21213 vsize=658924 CPUtime=1002.3 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 147242 0 0 0 100164 66 0 0 25 0 4 0 522567744 674738176 111766 33554432000 4194304 4650419 140736462919744 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=658924 CPUtime=996.91 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 131186 0 0 0 99629 62 0 0 25 0 4 0 522567745 674738176 111766 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=658924 CPUtime=1002.3 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 67967 0 0 0 100200 30 0 0 25 0 4 0 522567745 674738176 111766 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.85
Current children cumulated vsize (KiB) 658924
[startup+1062.3 s]
/proc/loadavg: 8.08 8.07 8.01 9/184 21278
/proc/meminfo: memFree=17201476/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=633868 CPUtime=4243.54 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 493892 0 0 0 424132 222 0 0 25 0 4 0 522567744 649080832 109044 33554432000 4194304 4650419 140736462919744 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 158467 109044 395 112 0 153432 0
[pid=21215/tid=21216] ppid=21213 vsize=633868 CPUtime=1062.3 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 154314 0 0 0 106160 70 0 0 25 0 4 0 522567744 649080832 109044 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=633868 CPUtime=1056.58 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 137424 0 0 0 105594 64 0 0 25 0 4 0 522567745 649080832 109044 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=633868 CPUtime=1062.3 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 72223 0 0 0 106199 31 0 0 25 0 4 0 522567745 649080832 109044 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.54
Current children cumulated vsize (KiB) 633868
[startup+1122.3 s]
/proc/loadavg: 8.06 8.07 8.01 9/184 21280
/proc/meminfo: memFree=17167224/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=658912 CPUtime=4483.21 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 513065 0 0 0 448089 232 0 0 25 0 4 0 522567744 674725888 115681 33554432000 4194304 4650419 140736462919744 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 164728 115681 395 112 0 159693 0
[pid=21215/tid=21216] ppid=21213 vsize=658912 CPUtime=1122.31 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 160096 0 0 0 112159 72 0 0 25 0 4 0 522567744 674725888 115681 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=658912 CPUtime=1116.26 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 142647 0 0 0 111558 68 0 0 25 0 4 0 522567745 674725888 115681 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=658912 CPUtime=1122.29 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 73554 0 0 0 112197 32 0 0 25 0 4 0 522567745 674725888 115681 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.21
Current children cumulated vsize (KiB) 658912
[startup+1182.3 s]
/proc/loadavg: 8.10 8.08 8.02 9/184 21281
/proc/meminfo: memFree=17127508/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=647440 CPUtime=4722.89 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 535075 0 0 0 472046 243 0 0 25 0 4 0 522567744 662978560 114250 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 161860 114250 395 112 0 156825 0
[pid=21215/tid=21216] ppid=21213 vsize=647440 CPUtime=1182.3 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 166666 0 0 0 118155 75 0 0 25 0 4 0 522567744 662978560 114250 33554432000 4194304 4650419 140736462919744 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=647440 CPUtime=1175.93 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 148688 0 0 0 117522 71 0 0 25 0 4 0 522567745 662978560 114250 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=647440 CPUtime=1182.3 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 78293 0 0 0 118196 34 0 0 25 0 4 0 522567745 662978560 114250 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.89
Current children cumulated vsize (KiB) 647440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.7 s]
/proc/loadavg: 8.14 8.10 8.02 9/184 21282
/proc/meminfo: memFree=17142632/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=647440 CPUtime=4800.4 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 538107 0 0 0 479795 245 0 0 25 0 4 0 522567744 662978560 117281 33554432000 4194304 4650419 140736462919744 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 161860 117281 395 112 0 156825 0
[pid=21215/tid=21216] ppid=21213 vsize=647440 CPUtime=1201.71 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 168067 0 0 0 120095 76 0 0 25 0 4 0 522567744 662978560 117281 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=647440 CPUtime=1195.23 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 148688 0 0 0 119452 71 0 0 25 0 4 0 522567745 662978560 117281 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=647440 CPUtime=1201.71 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 79499 0 0 0 120136 35 0 0 25 0 4 0 522567745 662978560 117281 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 647440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1201.7 s]
/proc/loadavg: 8.14 8.10 8.02 9/184 21282
/proc/meminfo: memFree=17142632/32951124 swapFree=67111528/67111528
[pid=21215] ppid=21213 vsize=647440 CPUtime=4800.4 cores=1,3,5,7
/proc/21215/stat : 21215 (strangenight1-m) R 21213 21215 20915 0 -1 4202496 538107 0 0 0 479795 245 0 0 25 0 4 0 522567744 662978560 117281 33554432000 4194304 4650419 140736462919744 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21215/statm: 161860 117281 395 112 0 156825 0
[pid=21215/tid=21216] ppid=21213 vsize=647440 CPUtime=1201.71 cores=1,3,5,7
/proc/21215/task/21216/stat : 21216 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 168067 0 0 0 120095 76 0 0 25 0 4 0 522567744 662978560 117281 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21215/tid=21217] ppid=21213 vsize=647440 CPUtime=1195.23 cores=1,3,5,7
/proc/21215/task/21217/stat : 21217 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 148688 0 0 0 119452 71 0 0 25 0 4 0 522567745 662978560 117281 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21215/tid=21218] ppid=21213 vsize=647440 CPUtime=1201.71 cores=1,3,5,7
/proc/21215/task/21218/stat : 21218 (strangenight1-m) R 21213 21215 20915 0 -1 4202560 79499 0 0 0 120136 35 0 0 25 0 4 0 522567745 662978560 117281 33554432000 4194304 4650419 140736462919744 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 647440
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.45
CPU user time (s): 4797.98
CPU system time (s): 2.47762
CPU usage (%): 399.461
Max. virtual memory (cumulated for all children) (KiB): 776448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.98
system time used= 2.47762
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 538109
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= 428
involuntary context switches= 33845
runsolver used 1.86072 second user time and 4.64829 second system time
The end