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-3175031-1304078749/watcher-3175031-1304078749 -o /tmp/evaluation-result-3175031-1304078749/solver-3175031-1304078749 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175031-1304078749.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.92 7.82 7.92 5/180 26715
/proc/meminfo: memFree=17443160/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=248812 CPUtime=0 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 1088 0 0 0 0 0 0 0 25 0 4 0 598105727 254783488 1003 33554432000 4194304 4650419 140735231036048 18446744073709551615 215988253381 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 62208 1006 340 112 0 57173 0
[pid=26715/tid=26716] ppid=26713 vsize=248816 CPUtime=0 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 225 0 0 0 0 0 0 0 25 0 4 0 598105728 254787584 1018 33554432000 4194304 4650419 140735231036048 18446744073709551615 215988697582 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=248816 CPUtime=0 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 225 0 0 0 0 0 0 0 25 0 4 0 598105728 254787584 1037 33554432000 4194304 4650419 140735231036048 18446744073709551615 215988697582 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=248816 CPUtime=0 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 51 0 0 0 0 0 0 0 25 0 4 0 598105728 254787584 1055 33554432000 4194304 4650419 140735231036048 18446744073709551615 215988592443 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.108323 s]
/proc/loadavg: 6.92 7.82 7.92 5/180 26715
/proc/meminfo: memFree=17443160/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=283464 CPUtime=0.4 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 3659 0 0 0 40 0 0 0 25 0 4 0 598105727 290267136 3574 33554432000 4194304 4650419 140735231036048 18446744073709551615 4371123 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 70866 3574 367 112 0 65831 0
[pid=26715/tid=26716] ppid=26713 vsize=283464 CPUtime=0.09 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 810 0 0 0 9 0 0 0 25 0 4 0 598105728 290267136 3574 33554432000 4194304 4650419 140735231036048 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=283464 CPUtime=0.1 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 757 0 0 0 10 0 0 0 25 0 4 0 598105728 290267136 3574 33554432000 4194304 4650419 140735231036048 18446744073709551615 4536279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=283464 CPUtime=0.1 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 889 0 0 0 10 0 0 0 18 0 4 0 598105728 290267136 3574 33554432000 4194304 4650419 140735231036048 18446744073709551615 215988253729 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 283464
[startup+0.200309 s]
/proc/loadavg: 6.92 7.82 7.92 5/180 26715
/proc/meminfo: memFree=17443160/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=283760 CPUtime=0.77 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 3862 0 0 0 77 0 0 0 25 0 4 0 598105727 290570240 3777 33554432000 4194304 4650419 140735231036048 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 70940 3777 367 112 0 65905 0
[pid=26715/tid=26716] ppid=26713 vsize=283760 CPUtime=0.18 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 825 0 0 0 18 0 0 0 25 0 4 0 598105728 290570240 3778 33554432000 4194304 4650419 140735231036048 18446744073709551615 4370547 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=283760 CPUtime=0.19 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 767 0 0 0 19 0 0 0 25 0 4 0 598105728 290570240 3778 33554432000 4194304 4650419 140735231036048 18446744073709551615 215988253729 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=283760 CPUtime=0.19 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 1052 0 0 0 19 0 0 0 18 0 4 0 598105728 290570240 3778 33554432000 4194304 4650419 140735231036048 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283760
[startup+0.300291 s]
/proc/loadavg: 6.92 7.82 7.92 5/180 26715
/proc/meminfo: memFree=17443160/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=283760 CPUtime=1.17 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 4035 0 0 0 117 0 0 0 25 0 4 0 598105727 290570240 3950 33554432000 4194304 4650419 140735231036048 18446744073709551615 4369360 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 70940 3950 367 112 0 65905 0
[pid=26715/tid=26716] ppid=26713 vsize=283760 CPUtime=0.28 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 839 0 0 0 28 0 0 0 25 0 4 0 598105728 290570240 3950 33554432000 4194304 4650419 140735231036048 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=283760 CPUtime=0.29 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 774 0 0 0 29 0 0 0 25 0 4 0 598105728 290570240 3950 33554432000 4194304 4650419 140735231036048 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=283760 CPUtime=0.29 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 1187 0 0 0 29 0 0 0 18 0 4 0 598105728 290570240 3950 33554432000 4194304 4650419 140735231036048 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283760
[startup+1.20913 s]
/proc/loadavg: 6.92 7.82 7.92 5/180 26715
/proc/meminfo: memFree=17443160/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=298224 CPUtime=4.8 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 15692 0 0 0 478 2 0 0 18 0 4 0 598105727 305381376 10478 33554432000 4194304 4650419 140735231036048 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 74556 10478 391 112 0 69521 0
[pid=26715/tid=26716] ppid=26713 vsize=298224 CPUtime=1.19 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 4071 0 0 0 119 0 0 0 19 0 4 0 598105728 305381376 10478 33554432000 4194304 4650419 140735231036048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=298224 CPUtime=1.19 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 3950 0 0 0 119 0 0 0 18 0 4 0 598105728 305381376 10478 33554432000 4194304 4650419 140735231036048 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=298224 CPUtime=1.19 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 3354 0 0 0 119 0 0 0 19 0 4 0 598105728 305381376 10478 33554432000 4194304 4650419 140735231036048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 298224
[startup+1.50108 s]
/proc/loadavg: 6.92 7.82 7.92 5/180 26715
/proc/meminfo: memFree=17443160/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=299220 CPUtime=5.97 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 18864 0 0 0 594 3 0 0 19 0 4 0 598105727 306401280 10104 33554432000 4194304 4650419 140735231036048 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 74805 10104 391 112 0 69770 0
[pid=26715/tid=26716] ppid=26713 vsize=299220 CPUtime=1.48 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 4867 0 0 0 148 0 0 0 19 0 4 0 598105728 306401280 10104 33554432000 4194304 4650419 140735231036048 18446744073709551615 4366047 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=299220 CPUtime=1.49 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 4832 0 0 0 148 1 0 0 19 0 4 0 598105728 306401280 10104 33554432000 4194304 4650419 140735231036048 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=299220 CPUtime=1.48 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 4115 0 0 0 148 0 0 0 20 0 4 0 598105728 306401280 10104 33554432000 4194304 4650419 140735231036048 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 299220
[startup+3.1008 s]
/proc/loadavg: 6.92 7.82 7.92 9/184 26719
/proc/meminfo: memFree=17350876/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=315344 CPUtime=12.36 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 33034 0 0 0 1230 6 0 0 22 0 4 0 598105727 322912256 15457 33554432000 4194304 4650419 140735231036048 18446744073709551615 4438661 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 78836 15458 393 112 0 73801 0
[pid=26715/tid=26716] ppid=26713 vsize=315344 CPUtime=3.07 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 7556 0 0 0 306 1 0 0 23 0 4 0 598105728 322912256 15458 33554432000 4194304 4650419 140735231036048 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=315344 CPUtime=3.08 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 7485 0 0 0 307 1 0 0 22 0 4 0 598105728 322912256 15458 33554432000 4194304 4650419 140735231036048 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=315344 CPUtime=3.09 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 6958 0 0 0 308 1 0 0 25 0 4 0 598105728 322912256 15458 33554432000 4194304 4650419 140735231036048 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 315344
[startup+6.30624 s]
/proc/loadavg: 7.00 7.82 7.92 9/184 26720
/proc/meminfo: memFree=17248116/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=317528 CPUtime=25.16 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 49942 0 0 0 2507 9 0 0 25 0 4 0 598105727 325148672 28631 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 79382 28631 393 112 0 74347 0
[pid=26715/tid=26716] ppid=26713 vsize=317528 CPUtime=6.25 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 11053 0 0 0 623 2 0 0 25 0 4 0 598105728 325148672 28631 33554432000 4194304 4650419 140735231036048 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=317528 CPUtime=6.29 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 14280 0 0 0 626 3 0 0 25 0 4 0 598105728 325148672 28631 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=317528 CPUtime=6.29 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 13140 0 0 0 628 1 0 0 25 0 4 0 598105728 325148672 28631 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 317528
[startup+12.7011 s]
/proc/loadavg: 7.08 7.82 7.92 9/184 26720
/proc/meminfo: memFree=17166156/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=318476 CPUtime=50.71 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 71404 0 0 0 5057 14 0 0 25 0 4 0 598105727 326119424 34918 33554432000 4194304 4650419 140735231036048 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 79619 34918 393 112 0 74584 0
[pid=26715/tid=26716] ppid=26713 vsize=318476 CPUtime=12.62 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 18855 0 0 0 1258 4 0 0 25 0 4 0 598105728 326119424 34918 33554432000 4194304 4650419 140735231036048 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=318476 CPUtime=12.68 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 19338 0 0 0 1265 3 0 0 25 0 4 0 598105728 326119424 34918 33554432000 4194304 4650419 140735231036048 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=318476 CPUtime=12.69 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 18738 0 0 0 1266 3 0 0 25 0 4 0 598105728 326119424 34918 33554432000 4194304 4650419 140735231036048 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 318476
[startup+25.5009 s]
/proc/loadavg: 7.28 7.83 7.92 9/184 26720
/proc/meminfo: memFree=17061856/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=394020 CPUtime=101.84 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 94707 0 0 0 10164 20 0 0 25 0 4 0 598105727 403476480 48688 33554432000 4194304 4650419 140735231036048 18446744073709551615 4439619 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 98505 48688 393 112 0 93470 0
[pid=26715/tid=26716] ppid=26713 vsize=394020 CPUtime=25.35 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 24545 0 0 0 2529 6 0 0 25 0 4 0 598105728 403476480 48688 33554432000 4194304 4650419 140735231036048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=394020 CPUtime=25.48 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 24531 0 0 0 2544 4 0 0 25 0 4 0 598105728 403476480 48688 33554432000 4194304 4650419 140735231036048 18446744073709551615 4328176 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=394020 CPUtime=25.48 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 25705 0 0 0 2544 4 0 0 25 0 4 0 598105728 403476480 48688 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 394020
[startup+51.1004 s]
/proc/loadavg: 7.53 7.84 7.92 9/184 26721
/proc/meminfo: memFree=17012116/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=420524 CPUtime=204.1 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 146514 0 0 0 20375 35 0 0 25 0 4 0 598105727 430616576 57787 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 105131 57787 393 112 0 100096 0
[pid=26715/tid=26716] ppid=26713 vsize=420524 CPUtime=50.81 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 34163 0 0 0 5073 8 0 0 25 0 4 0 598105728 430616576 57787 33554432000 4194304 4650419 140735231036048 18446744073709551615 4329301 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=420524 CPUtime=51.08 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 40321 0 0 0 5100 8 0 0 25 0 4 0 598105728 430616576 57787 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=420524 CPUtime=51.09 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 46413 0 0 0 5098 11 0 0 25 0 4 0 598105728 430616576 57787 33554432000 4194304 4650419 140735231036048 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 420524
[startup+102.3 s]
/proc/loadavg: 7.79 7.87 7.92 9/184 26722
/proc/meminfo: memFree=16913128/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=484836 CPUtime=408.61 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 217271 0 0 0 40804 57 0 0 25 0 4 0 598105727 496472064 73650 33554432000 4194304 4650419 140735231036048 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 121209 73650 393 112 0 116174 0
[pid=26715/tid=26716] ppid=26713 vsize=484836 CPUtime=101.72 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 47715 0 0 0 10160 12 0 0 25 0 4 0 598105728 496472064 73650 33554432000 4194304 4650419 140735231036048 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=484836 CPUtime=102.28 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 58300 0 0 0 10216 12 0 0 25 0 4 0 598105728 496472064 73650 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=484836 CPUtime=102.29 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 76585 0 0 0 10207 22 0 0 25 0 4 0 598105728 496472064 73650 33554432000 4194304 4650419 140735231036048 18446744073709551615 4310415 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 484836
[startup+162.301 s]
################
# More data... #
################
[pid=26715] ppid=26713 vsize=910400 CPUtime=2805.34 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 609175 0 0 0 280327 207 0 0 25 0 4 0 598105727 932249600 133290 33554432000 4194304 4650419 140735231036048 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 227600 133290 393 112 0 222565 0
[pid=26715/tid=26716] ppid=26713 vsize=910400 CPUtime=698.42 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 174378 0 0 0 69780 62 0 0 25 0 4 0 598105728 932249600 133290 33554432000 4194304 4650419 140735231036048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=910400 CPUtime=702.3 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 222422 0 0 0 70155 75 0 0 25 0 4 0 598105728 932249600 133290 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=910400 CPUtime=702.3 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 155034 0 0 0 70182 48 0 0 25 0 4 0 598105728 932249600 133290 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 910400
[startup+762.301 s]
/proc/loadavg: 8.00 8.02 7.98 9/184 26740
/proc/meminfo: memFree=16417156/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=911432 CPUtime=3045.01 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 621503 0 0 0 304289 212 0 0 25 0 4 0 598105727 933306368 136568 33554432000 4194304 4650419 140735231036048 18446744073709551615 4439361 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 227858 136568 393 112 0 222823 0
[pid=26715/tid=26716] ppid=26713 vsize=911432 CPUtime=758.09 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 179195 0 0 0 75745 64 0 0 25 0 4 0 598105728 933306368 136568 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=911432 CPUtime=762.29 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 226627 0 0 0 76154 75 0 0 25 0 4 0 598105728 933306368 136568 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476483 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=911432 CPUtime=762.31 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 155073 0 0 0 76183 48 0 0 25 0 4 0 598105728 933306368 136568 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.01
Current children cumulated vsize (KiB) 911432
[startup+822.3 s]
/proc/loadavg: 8.03 8.03 7.98 9/184 26741
/proc/meminfo: memFree=16381808/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=911432 CPUtime=3284.68 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 626350 0 0 0 328256 212 0 0 25 0 4 0 598105727 933306368 136484 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 227858 136484 393 112 0 222823 0
[pid=26715/tid=26716] ppid=26713 vsize=911432 CPUtime=817.75 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 179195 0 0 0 81711 64 0 0 25 0 4 0 598105728 933306368 136484 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=911432 CPUtime=822.3 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 231474 0 0 0 82154 76 0 0 25 0 4 0 598105728 933306368 136484 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=911432 CPUtime=822.31 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 155073 0 0 0 82183 48 0 0 25 0 4 0 598105728 933306368 136484 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 911432
[startup+882.301 s]
/proc/loadavg: 8.12 8.05 7.99 9/184 26743
/proc/meminfo: memFree=16447508/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=911432 CPUtime=3524.35 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 630416 0 0 0 352222 213 0 0 25 0 4 0 598105727 933306368 136349 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 227858 136349 393 112 0 222823 0
[pid=26715/tid=26716] ppid=26713 vsize=911432 CPUtime=877.42 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 179195 0 0 0 87678 64 0 0 25 0 4 0 598105728 933306368 136349 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=911432 CPUtime=882.29 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 235540 0 0 0 88153 76 0 0 25 0 4 0 598105728 933306368 136349 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=911432 CPUtime=882.31 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 155073 0 0 0 88183 48 0 0 25 0 4 0 598105728 933306368 136349 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.35
Current children cumulated vsize (KiB) 911432
[startup+942.3 s]
/proc/loadavg: 8.04 8.04 7.99 9/184 26745
/proc/meminfo: memFree=16282200/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=980180 CPUtime=3764.05 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 644216 0 0 0 376186 219 0 0 25 0 4 0 598105727 1003704320 135792 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 245045 135792 393 112 0 240010 0
[pid=26715/tid=26716] ppid=26713 vsize=980180 CPUtime=937.1 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 187553 0 0 0 93640 70 0 0 25 0 4 0 598105728 1003704320 135792 33554432000 4194304 4650419 140735231036048 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=980180 CPUtime=942.31 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 240982 0 0 0 94154 77 0 0 25 0 4 0 598105728 1003704320 135792 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=980180 CPUtime=942.31 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 155073 0 0 0 94183 48 0 0 25 0 4 0 598105728 1003704320 135792 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.05
Current children cumulated vsize (KiB) 980180
[startup+1002.3 s]
/proc/loadavg: 8.01 8.03 7.99 9/184 26746
/proc/meminfo: memFree=16312044/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=925432 CPUtime=4003.7 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 668443 0 0 0 400141 229 0 0 25 0 4 0 598105727 947642368 131963 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 231358 131963 393 112 0 226323 0
[pid=26715/tid=26716] ppid=26713 vsize=925432 CPUtime=996.75 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 207431 0 0 0 99597 78 0 0 25 0 4 0 598105728 947642368 131963 33554432000 4194304 4650419 140735231036048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=925432 CPUtime=1002.3 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 245331 0 0 0 100152 78 0 0 25 0 4 0 598105728 947642368 131963 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=925432 CPUtime=1002.31 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 155073 0 0 0 100183 48 0 0 25 0 4 0 598105728 947642368 131963 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.7
Current children cumulated vsize (KiB) 925432
[startup+1062.31 s]
/proc/loadavg: 8.06 8.04 8.00 9/184 26748
/proc/meminfo: memFree=16297612/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=982048 CPUtime=4243.4 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 688565 0 0 0 424100 240 0 0 25 0 4 0 598105727 1005617152 136179 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 245512 136179 393 112 0 240477 0
[pid=26715/tid=26716] ppid=26713 vsize=982048 CPUtime=1056.43 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 223969 0 0 0 105555 88 0 0 25 0 4 0 598105728 1005617152 136179 33554432000 4194304 4650419 140735231036048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=982048 CPUtime=1062.31 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 248915 0 0 0 106152 79 0 0 25 0 4 0 598105728 1005617152 136179 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=982048 CPUtime=1062.32 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 155073 0 0 0 106184 48 0 0 25 0 4 0 598105728 1005617152 136179 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.4
Current children cumulated vsize (KiB) 982048
[startup+1122.3 s]
/proc/loadavg: 8.07 8.04 8.00 9/184 26749
/proc/meminfo: memFree=16300432/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=925620 CPUtime=4483.04 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 697564 0 0 0 448062 242 0 0 25 0 4 0 598105727 947834880 133179 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 231405 133179 393 112 0 226370 0
[pid=26715/tid=26716] ppid=26713 vsize=925620 CPUtime=1116.1 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 227583 0 0 0 111520 90 0 0 25 0 4 0 598105728 947834880 133179 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=925620 CPUtime=1122.3 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 254300 0 0 0 112150 80 0 0 25 0 4 0 598105728 947834880 133179 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=925620 CPUtime=1122.31 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 155073 0 0 0 112183 48 0 0 25 0 4 0 598105728 947834880 133179 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.04
Current children cumulated vsize (KiB) 925620
[startup+1182.3 s]
/proc/loadavg: 8.02 8.03 8.00 9/184 26751
/proc/meminfo: memFree=16315660/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=859996 CPUtime=4722.71 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 706528 0 0 0 472027 244 0 0 25 0 4 0 598105727 880635904 131808 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 214999 131808 393 112 0 209964 0
[pid=26715/tid=26716] ppid=26713 vsize=859996 CPUtime=1175.76 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 227583 0 0 0 117486 90 0 0 25 0 4 0 598105728 880635904 131808 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=859996 CPUtime=1182.31 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 259911 0 0 0 118150 81 0 0 25 0 4 0 598105728 880635904 131808 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=859996 CPUtime=1182.31 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 158426 0 0 0 118182 49 0 0 25 0 4 0 598105728 880635904 131808 33554432000 4194304 4650419 140735231036048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.71
Current children cumulated vsize (KiB) 859996
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.7 s]
/proc/loadavg: 8.02 8.03 8.00 6/182 26752
/proc/meminfo: memFree=16659404/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=912896 CPUtime=4800.23 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 713911 0 0 0 479775 248 0 0 25 0 4 0 598105727 934805504 133384 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 228224 133384 393 112 0 223189 0
[pid=26715/tid=26716] ppid=26713 vsize=912896 CPUtime=1195.06 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 227583 0 0 0 119416 90 0 0 25 0 4 0 598105728 934805504 133384 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=912896 CPUtime=1201.71 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 260506 0 0 0 120090 81 0 0 25 0 4 0 598105728 934805504 133384 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=912896 CPUtime=1201.72 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 165214 0 0 0 120119 53 0 0 25 0 4 0 598105728 934805504 133384 33554432000 4194304 4650419 140735231036048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 912896
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.02 8.03 8.00 6/182 26752
/proc/meminfo: memFree=16659404/32950940 swapFree=67111528/67111528
[pid=26715] ppid=26713 vsize=912896 CPUtime=4800.23 cores=0,2,4,6
/proc/26715/stat : 26715 (strangenight1-m) R 26713 26715 26674 0 -1 4202496 713911 0 0 0 479775 248 0 0 25 0 4 0 598105727 934805504 133384 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/26715/statm: 228224 133384 393 112 0 223189 0
[pid=26715/tid=26716] ppid=26713 vsize=912896 CPUtime=1195.06 cores=0,2,4,6
/proc/26715/task/26716/stat : 26716 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 227583 0 0 0 119416 90 0 0 25 0 4 0 598105728 934805504 133384 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26715/tid=26717] ppid=26713 vsize=912896 CPUtime=1201.71 cores=0,2,4,6
/proc/26715/task/26717/stat : 26717 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 260506 0 0 0 120090 81 0 0 25 0 4 0 598105728 934805504 133384 33554432000 4194304 4650419 140735231036048 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26715/tid=26718] ppid=26713 vsize=912896 CPUtime=1201.72 cores=0,2,4,6
/proc/26715/task/26718/stat : 26718 (strangenight1-m) R 26713 26715 26674 0 -1 4202560 165214 0 0 0 120119 53 0 0 25 0 4 0 598105728 934805504 133384 33554432000 4194304 4650419 140735231036048 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 912896
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.28
CPU user time (s): 4797.77
CPU system time (s): 2.51062
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 996236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.77
system time used= 2.51062
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 713912
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= 1269
involuntary context switches= 36493
runsolver used 1.91671 second user time and 4.63729 second system time
The end