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-3173780-1304031184/watcher-3173780-1304031184 -o /tmp/evaluation-result-3173780-1304031184/solver-3173780-1304031184 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173780-1304031184.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.81 8.03 7.46 5/180 25121
/proc/meminfo: memFree=15443968/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 514717212 52441088 347 33554432000 4194304 4627427 140735600953312 18446744073709551615 47186122766258 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 12803 347 299 106 0 7774 0
[pid=25121/tid=25122] ppid=25119 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514717213 52441088 347 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 514717213 52441088 347 33554432000 4194304 4627427 140735600953312 18446744073709551615 268284486710 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 514717213 52441088 347 33554432000 4194304 4627427 140735600953312 18446744073709551615 47186122766248 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.022512 s]
/proc/loadavg: 7.81 8.03 7.46 5/180 25121
/proc/meminfo: memFree=15443968/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=305080 CPUtime=0.05 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 11953 0 0 0 3 2 0 0 18 0 4 0 514717212 312401920 9834 33554432000 4194304 4627427 140735600953312 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 76350 9864 339 106 0 71321 0
[pid=25121/tid=25122] ppid=25119 vsize=305400 CPUtime=0 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) S 25119 25121 24860 0 -1 4202560 2944 0 0 0 0 0 0 0 18 0 4 0 514717213 312729600 9878 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272794094 0 0 4096 2 18446604453884856448 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=305400 CPUtime=0 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 3090 0 0 0 0 0 0 0 18 0 4 0 514717213 312729600 9897 33554432000 4194304 4627427 140735600953312 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=305400 CPUtime=0 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 2568 0 0 0 0 0 0 0 18 0 4 0 514717213 312729600 9915 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 305080
[startup+0.109117 s]
/proc/loadavg: 7.81 8.03 7.46 5/180 25121
/proc/meminfo: memFree=15443968/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=376144 CPUtime=0.36 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 18636 0 0 0 26 10 0 0 18 0 4 0 514717212 385171456 16511 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272794143 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 94036 16546 339 106 0 89007 0
[pid=25121/tid=25122] ppid=25119 vsize=376144 CPUtime=0.08 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) S 25119 25121 24860 0 -1 4202560 4575 0 0 0 6 2 0 0 17 0 4 0 514717213 385171456 16576 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272794094 0 0 4096 2 18446604453884856448 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=376144 CPUtime=0.07 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 4830 0 0 0 5 2 0 0 17 0 4 0 514717213 385171456 16614 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272357617 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=376144 CPUtime=0.09 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 4311 0 0 0 7 2 0 0 17 0 4 0 514717213 385171456 16645 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 376144
[startup+0.340868 s]
/proc/loadavg: 7.81 8.03 7.46 5/180 25121
/proc/meminfo: memFree=15443968/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=384980 CPUtime=1.28 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 24225 0 0 0 112 16 0 0 18 0 4 0 514717212 394219520 22100 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272350241 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 96307 22480 371 106 0 91278 0
[pid=25121/tid=25122] ppid=25119 vsize=385228 CPUtime=0.31 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) D 25119 25121 24860 0 -1 4202560 6305 0 0 0 27 4 0 0 18 0 4 0 514717213 394473472 22750 33554432000 4194304 4627427 140735600953312 18446744073709551615 268272386151 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=388116 CPUtime=0.32 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 7081 0 0 0 28 4 0 0 18 0 4 0 514717213 397430784 24021 33554432000 4194304 4627427 140735600953312 18446744073709551615 4415910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=388116 CPUtime=0.33 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 5203 0 0 0 30 3 0 0 18 0 4 0 514717213 397430784 24021 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 384980
[startup+1.28287 s]
/proc/loadavg: 7.81 8.03 7.46 5/180 25121
/proc/meminfo: memFree=15443968/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=397112 CPUtime=5.01 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 43790 0 0 0 481 20 0 0 19 0 4 0 514717212 406642688 32688 33554432000 4194304 4627427 140735600953312 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 99278 32688 385 106 0 94249 0
[pid=25121/tid=25122] ppid=25119 vsize=397112 CPUtime=1.24 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 13243 0 0 0 119 5 0 0 19 0 4 0 514717213 406642688 32688 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=397112 CPUtime=1.23 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 11732 0 0 0 118 5 0 0 19 0 4 0 514717213 406642688 32688 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=397112 CPUtime=1.25 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 5834 0 0 0 122 3 0 0 19 0 4 0 514717213 406642688 32688 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 397112
[startup+1.50083 s]
/proc/loadavg: 7.81 8.03 7.46 5/180 25121
/proc/meminfo: memFree=15443968/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=397112 CPUtime=5.88 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 44422 0 0 0 568 20 0 0 19 0 4 0 514717212 406642688 33320 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 99278 33321 385 106 0 94249 0
[pid=25121/tid=25122] ppid=25119 vsize=397112 CPUtime=1.45 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 13412 0 0 0 140 5 0 0 19 0 4 0 514717213 406642688 33321 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=397112 CPUtime=1.45 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 11888 0 0 0 140 5 0 0 19 0 4 0 514717213 406642688 33321 33554432000 4194304 4627427 140735600953312 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=397112 CPUtime=1.47 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 5949 0 0 0 144 3 0 0 19 0 4 0 514717213 406642688 33321 33554432000 4194304 4627427 140735600953312 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 397112
[startup+3.10055 s]
/proc/loadavg: 7.81 8.03 7.46 9/184 25125
/proc/meminfo: memFree=15288432/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=528376 CPUtime=12.27 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 48688 0 0 0 1206 21 0 0 23 0 4 0 514717212 541057024 37534 33554432000 4194304 4627427 140735600953312 18446744073709551615 4329990 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 132094 37534 385 106 0 127065 0
[pid=25121/tid=25122] ppid=25119 vsize=528376 CPUtime=3.04 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 14387 0 0 0 299 5 0 0 23 0 4 0 514717213 541057024 37534 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=528376 CPUtime=3.06 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 12944 0 0 0 300 6 0 0 23 0 4 0 514717213 541057024 37535 33554432000 4194304 4627427 140735600953312 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=528376 CPUtime=3.06 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 7175 0 0 0 303 3 0 0 23 0 4 0 514717213 541057024 37535 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 528376
[startup+6.30697 s]
/proc/loadavg: 7.90 8.04 7.47 9/184 25125
/proc/meminfo: memFree=15248272/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=528376 CPUtime=25.07 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 56378 0 0 0 2485 22 0 0 25 0 4 0 514717212 541057024 45224 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 132094 45224 385 106 0 127065 0
[pid=25121/tid=25122] ppid=25119 vsize=528376 CPUtime=6.24 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 16219 0 0 0 618 6 0 0 25 0 4 0 514717213 541057024 45224 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=528376 CPUtime=6.26 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 14972 0 0 0 620 6 0 0 25 0 4 0 514717213 541057024 45224 33554432000 4194304 4627427 140735600953312 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=528376 CPUtime=6.28 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 9034 0 0 0 624 4 0 0 25 0 4 0 514717213 541057024 45224 33554432000 4194304 4627427 140735600953312 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 528376
[startup+12.7008 s]
/proc/loadavg: 7.91 8.04 7.47 9/184 25125
/proc/meminfo: memFree=15250748/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=485080 CPUtime=50.61 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 81521 0 0 0 5035 26 0 0 25 0 4 0 514717212 496721920 43863 33554432000 4194304 4627427 140735600953312 18446744073709551615 4310378 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 121270 43863 387 106 0 116241 0
[pid=25121/tid=25122] ppid=25119 vsize=485080 CPUtime=12.6 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 21518 0 0 0 1253 7 0 0 25 0 4 0 514717213 496721920 43863 33554432000 4194304 4627427 140735600953312 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=485080 CPUtime=12.65 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 20488 0 0 0 1258 7 0 0 25 0 4 0 514717213 496721920 43863 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=485080 CPUtime=12.67 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 18014 0 0 0 1262 5 0 0 25 0 4 0 514717213 496721920 43863 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 485080
[startup+25.5006 s]
/proc/loadavg: 7.93 8.04 7.48 9/184 25125
/proc/meminfo: memFree=15021712/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=722860 CPUtime=101.73 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 181436 0 0 0 10123 50 0 0 25 0 4 0 514717212 740208640 109040 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308411 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 180715 109040 390 106 0 175686 0
[pid=25121/tid=25122] ppid=25119 vsize=722860 CPUtime=25.33 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 56594 0 0 0 2517 16 0 0 25 0 4 0 514717213 740208640 109040 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309234 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=722860 CPUtime=25.45 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 36356 0 0 0 2535 10 0 0 21 0 4 0 514717213 740208640 109040 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=722860 CPUtime=25.46 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 38643 0 0 0 2537 9 0 0 25 0 4 0 514717213 740208640 109040 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 722860
[startup+51.101 s]
/proc/loadavg: 7.95 8.04 7.49 9/184 25126
/proc/meminfo: memFree=14875364/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=967052 CPUtime=203.99 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 261799 0 0 0 20331 68 0 0 25 0 4 0 514717212 990261248 135234 33554432000 4194304 4627427 140735600953312 18446744073709551615 4325081 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 241763 135234 390 106 0 236734 0
[pid=25121/tid=25122] ppid=25119 vsize=967052 CPUtime=50.79 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 72450 0 0 0 5058 21 0 0 25 0 4 0 514717213 990261248 135234 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=967052 CPUtime=51.04 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 60874 0 0 0 5089 15 0 0 25 0 4 0 514717213 990261248 135234 33554432000 4194304 4627427 140735600953312 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=967052 CPUtime=51.05 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 59387 0 0 0 5093 12 0 0 25 0 4 0 514717213 990261248 135234 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.99
Current children cumulated vsize (KiB) 967052
[startup+102.301 s]
/proc/loadavg: 8.02 8.04 7.52 9/184 25127
/proc/meminfo: memFree=14733976/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1061076 CPUtime=408.51 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 402747 0 0 0 40744 107 0 0 25 0 4 0 514717212 1086541824 176390 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 265269 176390 390 106 0 260240 0
[pid=25121/tid=25122] ppid=25119 vsize=1061076 CPUtime=101.71 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 99511 0 0 0 10142 29 0 0 25 0 4 0 514717213 1086541824 176390 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1061076 CPUtime=102.24 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 93482 0 0 0 10200 24 0 0 25 0 4 0 514717213 1086541824 176390 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1061076 CPUtime=102.25 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 97968 0 0 0 10203 22 0 0 25 0 4 0 514717213 1086541824 176390 33554432000 4194304 4627427 140735600953312 18446744073709551615 4321656 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.51
Current children cumulated vsize (KiB) 1061076
[startup+162.301 s]
################
# More data... #
################
[pid=25121] ppid=25119 vsize=1537592 CPUtime=2804.4 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 1437161 0 0 0 280015 425 0 0 25 0 4 0 514717212 1574494208 307616 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 384398 307616 390 106 0 379369 0
[pid=25121/tid=25122] ppid=25119 vsize=1537592 CPUtime=698.55 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 359551 0 0 0 69749 106 0 0 25 0 4 0 514717213 1574494208 307616 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1537592 CPUtime=702 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 361663 0 0 0 70088 112 0 0 25 0 4 0 514717213 1574494208 307616 33554432000 4194304 4627427 140735600953312 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1537592 CPUtime=702.2 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 372965 0 0 0 70113 107 0 0 25 0 4 0 514717213 1574494208 307616 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.4
Current children cumulated vsize (KiB) 1537592
[startup+762.301 s]
/proc/loadavg: 8.21 8.13 7.82 9/184 25188
/proc/meminfo: memFree=14222008/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1475616 CPUtime=3044.07 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 1536449 0 0 0 303952 455 0 0 25 0 4 0 514717212 1511030784 307291 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 368904 307291 390 106 0 363875 0
[pid=25121/tid=25122] ppid=25119 vsize=1475616 CPUtime=758.23 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 381476 0 0 0 75710 113 0 0 25 0 4 0 514717213 1511030784 307291 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1475616 CPUtime=761.99 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 389714 0 0 0 76079 120 0 0 25 0 4 0 514717213 1511030784 307291 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1475616 CPUtime=762.21 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 398300 0 0 0 76106 115 0 0 25 0 4 0 514717213 1511030784 307291 33554432000 4194304 4627427 140735600953312 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.07
Current children cumulated vsize (KiB) 1475616
[startup+822.3 s]
/proc/loadavg: 8.14 8.12 7.83 9/184 25190
/proc/meminfo: memFree=14083856/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1611536 CPUtime=3283.74 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 1633631 0 0 0 327885 489 0 0 25 0 4 0 514717212 1650212864 332498 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 402884 332498 390 106 0 397855 0
[pid=25121/tid=25122] ppid=25119 vsize=1611536 CPUtime=817.91 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 401491 0 0 0 81672 119 0 0 25 0 4 0 514717213 1650212864 332498 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1611536 CPUtime=821.99 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 417096 0 0 0 82068 131 0 0 25 0 4 0 514717213 1650212864 332498 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1611536 CPUtime=822.21 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 422221 0 0 0 82097 124 0 0 25 0 4 0 514717213 1650212864 332498 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.74
Current children cumulated vsize (KiB) 1611536
[startup+882.301 s]
/proc/loadavg: 8.12 8.11 7.84 9/184 25191
/proc/meminfo: memFree=14071444/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1648152 CPUtime=3523.4 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 1737340 0 0 0 351819 521 0 0 25 0 4 0 514717212 1687707648 331865 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 412038 331865 390 106 0 407009 0
[pid=25121/tid=25122] ppid=25119 vsize=1648152 CPUtime=877.59 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 428755 0 0 0 87631 128 0 0 25 0 4 0 514717213 1687707648 331865 33554432000 4194304 4627427 140735600953312 18446744073709551615 4332271 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1648152 CPUtime=881.98 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 442814 0 0 0 88060 138 0 0 25 0 4 0 514717213 1687707648 331865 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1648152 CPUtime=882.2 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 449299 0 0 0 88089 131 0 0 25 0 4 0 514717213 1687707648 331865 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.4
Current children cumulated vsize (KiB) 1648152
[startup+942.301 s]
/proc/loadavg: 8.10 8.10 7.85 9/184 25193
/proc/meminfo: memFree=14128104/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1411880 CPUtime=3763.07 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 1833381 0 0 0 375755 552 0 0 25 0 4 0 514717212 1445765120 303640 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 352970 303640 390 106 0 347941 0
[pid=25121/tid=25122] ppid=25119 vsize=1411880 CPUtime=937.27 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 455296 0 0 0 93591 136 0 0 25 0 4 0 514717213 1445765120 303640 33554432000 4194304 4627427 140735600953312 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1411880 CPUtime=941.97 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 466378 0 0 0 94051 146 0 0 25 0 4 0 514717213 1445765120 303640 33554432000 4194304 4627427 140735600953312 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1411880 CPUtime=942.2 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 472060 0 0 0 94081 139 0 0 25 0 4 0 514717213 1445765120 303640 33554432000 4194304 4627427 140735600953312 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.07
Current children cumulated vsize (KiB) 1411880
[startup+1002.3 s]
/proc/loadavg: 8.04 8.08 7.86 9/184 25194
/proc/meminfo: memFree=14028888/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1599608 CPUtime=4002.73 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 1924486 0 0 0 399691 582 0 0 25 0 4 0 514717212 1637998592 323348 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 399902 323348 390 106 0 394873 0
[pid=25121/tid=25122] ppid=25119 vsize=1599608 CPUtime=996.96 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 478829 0 0 0 99553 143 0 0 25 0 4 0 514717213 1637998592 323348 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1599608 CPUtime=1001.96 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 493243 0 0 0 100041 155 0 0 25 0 4 0 514717213 1637998592 323348 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1599608 CPUtime=1002.2 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 491602 0 0 0 100073 147 0 0 25 0 4 0 514717213 1637998592 323348 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.73
Current children cumulated vsize (KiB) 1599608
[startup+1062.31 s]
/proc/loadavg: 8.01 8.07 7.86 9/184 25196
/proc/meminfo: memFree=13998492/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1459144 CPUtime=4242.41 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 2022580 0 0 0 423629 612 0 0 25 0 4 0 514717212 1494163456 318811 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 364786 318811 395 106 0 359757 0
[pid=25121/tid=25122] ppid=25119 vsize=1459144 CPUtime=1056.64 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 502331 0 0 0 105512 152 0 0 25 0 4 0 514717213 1494163456 318811 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1459144 CPUtime=1061.96 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 514452 0 0 0 106034 162 0 0 25 0 4 0 514717213 1494163456 318811 33554432000 4194304 4627427 140735600953312 18446744073709551615 4415761 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1459144 CPUtime=1062.2 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 517834 0 0 0 106066 154 0 0 25 0 4 0 514717213 1494163456 318811 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.41
Current children cumulated vsize (KiB) 1459144
[startup+1122.3 s]
/proc/loadavg: 8.00 8.05 7.87 9/184 25198
/proc/meminfo: memFree=13868660/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1602108 CPUtime=4482.07 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 2132687 0 0 0 447560 647 0 0 25 0 4 0 514717212 1640558592 350035 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 400527 350035 390 106 0 395498 0
[pid=25121/tid=25122] ppid=25119 vsize=1602108 CPUtime=1116.31 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 522172 0 0 0 111473 158 0 0 25 0 4 0 514717213 1640558592 350035 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1602108 CPUtime=1121.94 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 562257 0 0 0 112020 174 0 0 25 0 4 0 514717213 1640558592 350035 33554432000 4194304 4627427 140735600953312 18446744073709551615 4332978 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1602108 CPUtime=1122.19 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 539144 0 0 0 112056 163 0 0 25 0 4 0 514717213 1640558592 350035 33554432000 4194304 4627427 140735600953312 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.07
Current children cumulated vsize (KiB) 1602108
[startup+1182.3 s]
/proc/loadavg: 8.10 8.07 7.89 9/184 25199
/proc/meminfo: memFree=13844964/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1668728 CPUtime=4721.73 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 2224897 0 0 0 471492 681 0 0 25 0 4 0 514717212 1708777472 354728 33554432000 4194304 4627427 140735600953312 18446744073709551615 4322609 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 417182 354728 390 106 0 412153 0
[pid=25121/tid=25122] ppid=25119 vsize=1668728 CPUtime=1175.99 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 546177 0 0 0 117432 167 0 0 25 0 4 0 514717213 1708777472 354729 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1668728 CPUtime=1181.93 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 583791 0 0 0 118010 183 0 0 25 0 4 0 514717213 1708777472 354729 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1668728 CPUtime=1182.18 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 559291 0 0 0 118049 169 0 0 25 0 4 0 514717213 1708777472 354729 33554432000 4194304 4627427 140735600953312 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.73
Current children cumulated vsize (KiB) 1668728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.9 s]
/proc/loadavg: 8.07 8.06 7.89 9/184 25200
/proc/meminfo: memFree=13795232/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1684528 CPUtime=4800.06 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 2258635 0 0 0 479313 693 0 0 25 0 4 0 514717212 1724956672 361163 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 421132 361163 390 106 0 416103 0
[pid=25121/tid=25122] ppid=25119 vsize=1684528 CPUtime=1195.51 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 555612 0 0 0 119381 170 0 0 25 0 4 0 514717213 1724956672 361163 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1684528 CPUtime=1201.54 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 591081 0 0 0 119968 186 0 0 25 0 4 0 514717213 1724956672 361163 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1684528 CPUtime=1201.79 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 568696 0 0 0 120006 173 0 0 25 0 4 0 514717213 1724956672 361163 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 1684528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1201.9 s]
/proc/loadavg: 8.07 8.06 7.89 9/184 25200
/proc/meminfo: memFree=13795232/32950928 swapFree=67111528/67111528
[pid=25121] ppid=25119 vsize=1684528 CPUtime=4800.06 cores=0,2,4,6
/proc/25121/stat : 25121 (strangenight2-m) R 25119 25121 24860 0 -1 4202496 2258635 0 0 0 479313 693 0 0 25 0 4 0 514717212 1724956672 361163 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/25121/statm: 421132 361163 390 106 0 416103 0
[pid=25121/tid=25122] ppid=25119 vsize=1684528 CPUtime=1195.51 cores=0,2,4,6
/proc/25121/task/25122/stat : 25122 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 555612 0 0 0 119381 170 0 0 25 0 4 0 514717213 1724956672 361163 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=25121/tid=25123] ppid=25119 vsize=1684528 CPUtime=1201.54 cores=0,2,4,6
/proc/25121/task/25123/stat : 25123 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 591081 0 0 0 119968 186 0 0 25 0 4 0 514717213 1724956672 361163 33554432000 4194304 4627427 140735600953312 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=25121/tid=25124] ppid=25119 vsize=1684528 CPUtime=1201.79 cores=0,2,4,6
/proc/25121/task/25124/stat : 25124 (strangenight2-m) R 25119 25121 24860 0 -1 4202560 568696 0 0 0 120006 173 0 0 25 0 4 0 514717213 1724956672 361163 33554432000 4194304 4627427 140735600953312 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 1684528
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.98
CPU time (s): 4800.16
CPU user time (s): 4793.16
CPU system time (s): 7.00194
CPU usage (%): 399.354
Max. virtual memory (cumulated for all children) (KiB): 1745260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.16
system time used= 7.00193
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2258643
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= 12430
involuntary context switches= 35168
runsolver used 2.02569 second user time and 4.34534 second system time
The end