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-3175382-1304121891/watcher-3175382-1304121891 -o /tmp/evaluation-result-3175382-1304121891/solver-3175382-1304121891 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175382-1304121891.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: 3.43 4.07 5.19 6/184 12974
/proc/meminfo: memFree=30113564/32951124 swapFree=67102748/67111528
[pid=12974] ppid=12972 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/12974/stat : 12974 (strangenight1-m) R 12972 12974 12247 0 -1 4202496 414 0 0 0 1 0 0 0 21 0 4 0 523787255 52465664 354 33554432000 4194304 4650419 140733276810864 18446744073709551615 47788731336626 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12974/statm: 12809 354 303 112 0 7774 0
[pid=12974/tid=12975] ppid=12972 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12974/task/12975/stat : 12975 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 523787255 52465664 354 33554432000 4194304 4650419 140733276810864 18446744073709551615 47788731336624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12974/tid=12976] ppid=12972 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12974/task/12976/stat : 12976 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 523787255 52465664 354 33554432000 4194304 4650419 140733276810864 18446744073709551615 47788731336626 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12974/tid=12977] ppid=12972 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/12974/task/12977/stat : 12977 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 523787256 52465664 354 33554432000 4194304 4650419 140733276810864 18446744073709551615 246516890609 0 0 4096 2 0 0 0 -1 3 0 0 0
[startup+0.05179 s]
/proc/loadavg: 3.43 4.07 5.19 6/184 12974
/proc/meminfo: memFree=30113564/32951124 swapFree=67102748/67111528
[pid=12974] ppid=12972 vsize=282216 CPUtime=0.19 cores=1,3,5,7
/proc/12974/stat : 12974 (strangenight1-m) R 12972 12974 12247 0 -1 4202496 1292 0 0 0 19 0 0 0 18 0 4 0 523787255 288989184 1167 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12974/statm: 70554 1167 389 112 0 65519 0
[pid=12974/tid=12975] ppid=12972 vsize=282216 CPUtime=0.04 cores=1,3,5,7
/proc/12974/task/12975/stat : 12975 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 240 0 0 0 4 0 0 0 18 0 4 0 523787255 288989184 1167 33554432000 4194304 4650419 140733276810864 18446744073709551615 4331993 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12974/tid=12976] ppid=12972 vsize=282216 CPUtime=0.04 cores=1,3,5,7
/proc/12974/task/12976/stat : 12976 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 231 0 0 0 4 0 0 0 18 0 4 0 523787255 288989184 1167 33554432000 4194304 4650419 140733276810864 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12974/tid=12977] ppid=12972 vsize=282216 CPUtime=0.04 cores=1,3,5,7
/proc/12974/task/12977/stat : 12977 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 170 0 0 0 4 0 0 0 23 0 4 0 523787256 288989184 1167 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 282216
[startup+0.100782 s]
/proc/loadavg: 3.43 4.07 5.19 6/184 12974
/proc/meminfo: memFree=30113564/32951124 swapFree=67102748/67111528
[pid=12974] ppid=12972 vsize=282364 CPUtime=0.38 cores=1,3,5,7
/proc/12974/stat : 12974 (strangenight1-m) R 12972 12974 12247 0 -1 4202496 1565 0 0 0 38 0 0 0 18 0 4 0 523787255 289140736 1440 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12974/statm: 70591 1440 389 112 0 65556 0
[pid=12974/tid=12975] ppid=12972 vsize=282364 CPUtime=0.09 cores=1,3,5,7
/proc/12974/task/12975/stat : 12975 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 307 0 0 0 9 0 0 0 18 0 4 0 523787255 289140736 1440 33554432000 4194304 4650419 140733276810864 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12974/tid=12976] ppid=12972 vsize=282364 CPUtime=0.09 cores=1,3,5,7
/proc/12974/task/12976/stat : 12976 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 303 0 0 0 9 0 0 0 18 0 4 0 523787255 289140736 1440 33554432000 4194304 4650419 140733276810864 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12974/tid=12977] ppid=12972 vsize=282364 CPUtime=0.09 cores=1,3,5,7
/proc/12974/task/12977/stat : 12977 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 231 0 0 0 9 0 0 0 24 0 4 0 523787256 289140736 1440 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282364
[startup+0.300746 s]
/proc/loadavg: 3.43 4.07 5.19 6/184 12974
/proc/meminfo: memFree=30113564/32951124 swapFree=67102748/67111528
[pid=12974] ppid=12972 vsize=284152 CPUtime=1.18 cores=1,3,5,7
/proc/12974/stat : 12974 (strangenight1-m) R 12972 12974 12247 0 -1 4202496 3011 0 0 0 118 0 0 0 18 0 4 0 523787255 290971648 1847 33554432000 4194304 4650419 140733276810864 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12974/statm: 71038 1847 391 112 0 66003 0
[pid=12974/tid=12975] ppid=12972 vsize=284152 CPUtime=0.29 cores=1,3,5,7
/proc/12974/task/12975/stat : 12975 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 662 0 0 0 29 0 0 0 18 0 4 0 523787255 290971648 1847 33554432000 4194304 4650419 140733276810864 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12974/tid=12976] ppid=12972 vsize=284152 CPUtime=0.29 cores=1,3,5,7
/proc/12974/task/12976/stat : 12976 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 673 0 0 0 29 0 0 0 18 0 4 0 523787255 290971648 1847 33554432000 4194304 4650419 140733276810864 18446744073709551615 4360173 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12974/tid=12977] ppid=12972 vsize=284152 CPUtime=0.29 cores=1,3,5,7
/proc/12974/task/12977/stat : 12977 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 586 0 0 0 29 0 0 0 25 0 4 0 523787256 290971648 1847 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365634 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284152
[startup+0.700673 s]
/proc/loadavg: 3.43 4.07 5.19 6/184 12974
/proc/meminfo: memFree=30113564/32951124 swapFree=67102748/67111528
[pid=12974] ppid=12972 vsize=284700 CPUtime=2.78 cores=1,3,5,7
/proc/12974/stat : 12974 (strangenight1-m) R 12972 12974 12247 0 -1 4202496 4446 0 0 0 278 0 0 0 18 0 4 0 523787255 291532800 2480 33554432000 4194304 4650419 140733276810864 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12974/statm: 71175 2480 392 112 0 66140 0
[pid=12974/tid=12975] ppid=12972 vsize=284700 CPUtime=0.69 cores=1,3,5,7
/proc/12974/task/12975/stat : 12975 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 1027 0 0 0 69 0 0 0 18 0 4 0 523787255 291532800 2480 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365348 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12974/tid=12976] ppid=12972 vsize=284700 CPUtime=0.69 cores=1,3,5,7
/proc/12974/task/12976/stat : 12976 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 1040 0 0 0 69 0 0 0 18 0 4 0 523787255 291532800 2480 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12974/tid=12977] ppid=12972 vsize=284700 CPUtime=0.69 cores=1,3,5,7
/proc/12974/task/12977/stat : 12977 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 921 0 0 0 69 0 0 0 25 0 4 0 523787256 291532800 2480 33554432000 4194304 4650419 140733276810864 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284700
[startup+1.50053 s]
/proc/loadavg: 3.43 4.07 5.19 12/188 12978
/proc/meminfo: memFree=30087740/32951124 swapFree=67102748/67111528
[pid=12974] ppid=12972 vsize=289192 CPUtime=5.98 cores=1,3,5,7
/proc/12974/stat : 12974 (strangenight1-m) R 12972 12974 12247 0 -1 4202496 8710 0 0 0 597 1 0 0 20 0 4 0 523787255 296132608 4867 33554432000 4194304 4650419 140733276810864 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12974/statm: 72298 4867 393 112 0 67263 0
[pid=12974/tid=12975] ppid=12972 vsize=289192 CPUtime=1.49 cores=1,3,5,7
/proc/12974/task/12975/stat : 12975 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 2477 0 0 0 149 0 0 0 20 0 4 0 523787255 296132608 4867 33554432000 4194304 4650419 140733276810864 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12974/tid=12976] ppid=12972 vsize=289192 CPUtime=1.49 cores=1,3,5,7
/proc/12974/task/12976/stat : 12976 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 1718 0 0 0 149 0 0 0 19 0 4 0 523787255 296132608 4867 33554432000 4194304 4650419 140733276810864 18446744073709551615 4363435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12974/tid=12977] ppid=12972 vsize=289192 CPUtime=1.48 cores=1,3,5,7
/proc/12974/task/12977/stat : 12977 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 1600 0 0 0 148 0 0 0 25 0 4 0 523787256 296132608 4867 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 289192
[startup+3.10024 s]
/proc/loadavg: 3.43 4.07 5.19 10/188 12978
/proc/meminfo: memFree=30056616/32951124 swapFree=67102748/67111528
[pid=12974] ppid=12972 vsize=284684 CPUtime=12.37 cores=1,3,5,7
/proc/12974/stat : 12974 (strangenight1-m) R 12972 12974 12247 0 -1 4202496 15357 0 0 0 1235 2 0 0 25 0 4 0 523787255 291516416 9060 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365483 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12974/statm: 71171 9060 393 112 0 66136 0
[pid=12974/tid=12975] ppid=12972 vsize=284684 CPUtime=3.09 cores=1,3,5,7
/proc/12974/task/12975/stat : 12975 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 4209 0 0 0 309 0 0 0 25 0 4 0 523787255 291516416 9060 33554432000 4194304 4650419 140733276810864 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12974/tid=12976] ppid=12972 vsize=284684 CPUtime=3.09 cores=1,3,5,7
/proc/12974/task/12976/stat : 12976 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 3574 0 0 0 309 0 0 0 25 0 4 0 523787255 291516416 9060 33554432000 4194304 4650419 140733276810864 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12974/tid=12977] ppid=12972 vsize=284684 CPUtime=3.07 cores=1,3,5,7
/proc/12974/task/12977/stat : 12977 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 3598 0 0 0 307 0 0 0 25 0 4 0 523787256 291516416 9060 33554432000 4194304 4650419 140733276810864 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 284684
[startup+6.30065 s]
/proc/loadavg: 3.96 4.16 5.22 10/188 12978
/proc/meminfo: memFree=30032956/32951124 swapFree=67102748/67111528
[pid=12974] ppid=12972 vsize=285228 CPUtime=25.15 cores=1,3,5,7
/proc/12974/stat : 12974 (strangenight1-m) R 12972 12974 12247 0 -1 4202496 21468 0 0 0 2512 3 0 0 25 0 4 0 523787255 292073472 10353 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365330 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12974/statm: 71307 10353 393 112 0 66272 0
[pid=12974/tid=12975] ppid=12972 vsize=285228 CPUtime=6.29 cores=1,3,5,7
/proc/12974/task/12975/stat : 12975 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 5445 0 0 0 628 1 0 0 25 0 4 0 523787255 292073472 10353 33554432000 4194304 4650419 140733276810864 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12974/tid=12976] ppid=12972 vsize=285228 CPUtime=6.29 cores=1,3,5,7
/proc/12974/task/12976/stat : 12976 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 5386 0 0 0 629 0 0 0 25 0 4 0 523787255 292073472 10353 33554432000 4194304 4650419 140733276810864 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12974/tid=12977] ppid=12972 vsize=285228 CPUtime=6.26 cores=1,3,5,7
/proc/12974/task/12977/stat : 12977 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 5035 0 0 0 625 1 0 0 25 0 4 0 523787256 292073472 10353 33554432000 4194304 4650419 140733276810864 18446744073709551615 4331089 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 285228
[startup+12.7005 s]
/proc/loadavg: 4.28 4.23 5.23 9/188 12978
/proc/meminfo: memFree=30011464/32951124 swapFree=67102748/67111528
[pid=12974] ppid=12972 vsize=287952 CPUtime=50.71 cores=1,3,5,7
/proc/12974/stat : 12974 (strangenight1-m) R 12972 12974 12247 0 -1 4202496 33018 0 0 0 5065 6 0 0 25 0 4 0 523787255 294862848 13728 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12974/statm: 71988 13728 393 112 0 66953 0
[pid=12974/tid=12975] ppid=12972 vsize=287952 CPUtime=12.69 cores=1,3,5,7
/proc/12974/task/12975/stat : 12975 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 8109 0 0 0 1268 1 0 0 25 0 4 0 523787255 294862848 13728 33554432000 4194304 4650419 140733276810864 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12974/tid=12976] ppid=12972 vsize=287952 CPUtime=12.68 cores=1,3,5,7
/proc/12974/task/12976/stat : 12976 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 8764 0 0 0 1267 1 0 0 25 0 4 0 523787255 294862848 13728 33554432000 4194304 4650419 140733276810864 18446744073709551615 4366896 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12974/tid=12977] ppid=12972 vsize=287952 CPUtime=12.62 cores=1,3,5,7
/proc/12974/task/12977/stat : 12977 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 8072 0 0 0 1261 1 0 0 25 0 4 0 523787256 294862848 13728 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 287952
[startup+25.5011 s]
/proc/loadavg: 5.11 4.41 5.28 10/188 12979
/proc/meminfo: memFree=29979464/32951124 swapFree=67102748/67111528
[pid=12974] ppid=12972 vsize=294160 CPUtime=101.84 cores=1,3,5,7
/proc/12974/stat : 12974 (strangenight1-m) R 12972 12974 12247 0 -1 4202496 49321 0 0 0 10174 10 0 0 25 0 4 0 523787255 301219840 16582 33554432000 4194304 4650419 140733276810864 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12974/statm: 73540 16582 393 112 0 68505 0
[pid=12974/tid=12975] ppid=12972 vsize=294160 CPUtime=25.49 cores=1,3,5,7
/proc/12974/task/12975/stat : 12975 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 13242 0 0 0 2548 1 0 0 25 0 4 0 523787255 301219840 16582 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12974/tid=12976] ppid=12972 vsize=294160 CPUtime=25.49 cores=1,3,5,7
/proc/12974/task/12976/stat : 12976 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 13807 0 0 0 2546 3 0 0 25 0 4 0 523787255 301219840 16582 33554432000 4194304 4650419 140733276810864 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12974/tid=12977] ppid=12972 vsize=294160 CPUtime=25.35 cores=1,3,5,7
/proc/12974/task/12977/stat : 12977 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 10346 0 0 0 2533 2 0 0 25 0 4 0 523787256 301219840 16582 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 294160
Solver just ended. Dumping a history of the last processes samples
[startup+27.1009 s]
/proc/loadavg: 5.11 4.41 5.28 10/188 12979
/proc/meminfo: memFree=29981448/32951124 swapFree=67102748/67111528
[pid=12974] ppid=12972 vsize=294216 CPUtime=108.24 cores=1,3,5,7
/proc/12974/stat : 12974 (strangenight1-m) R 12972 12974 12247 0 -1 4202496 50956 0 0 0 10813 11 0 0 25 0 4 0 523787255 301277184 17485 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12974/statm: 73554 17485 393 112 0 68519 0
[pid=12974/tid=12975] ppid=12972 vsize=294216 CPUtime=27.09 cores=1,3,5,7
/proc/12974/task/12975/stat : 12975 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 13874 0 0 0 2707 2 0 0 25 0 4 0 523787255 301277184 17485 33554432000 4194304 4650419 140733276810864 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12974/tid=12976] ppid=12972 vsize=294216 CPUtime=27.09 cores=1,3,5,7
/proc/12974/task/12976/stat : 12976 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 14134 0 0 0 2706 3 0 0 25 0 4 0 523787255 301277184 17485 33554432000 4194304 4650419 140733276810864 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12974/tid=12977] ppid=12972 vsize=294216 CPUtime=26.94 cores=1,3,5,7
/proc/12974/task/12977/stat : 12977 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 10734 0 0 0 2692 2 0 0 25 0 4 0 523787256 301277184 17485 33554432000 4194304 4650419 140733276810864 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 108.24
Current children cumulated vsize (KiB) 294216
[startup+27.9007 s]
/proc/loadavg: 5.11 4.41 5.28 10/188 12979
/proc/meminfo: memFree=29977976/32951124 swapFree=67102748/67111528
[pid=12974] ppid=12972 vsize=294272 CPUtime=111.43 cores=1,3,5,7
/proc/12974/stat : 12974 (strangenight1-m) R 12972 12974 12247 0 -1 4202496 51958 0 0 0 11132 11 0 0 25 0 4 0 523787255 301334528 17760 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365242 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12974/statm: 73568 17760 393 112 0 68533 0
[pid=12974/tid=12975] ppid=12972 vsize=294272 CPUtime=27.89 cores=1,3,5,7
/proc/12974/task/12975/stat : 12975 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 14012 0 0 0 2787 2 0 0 25 0 4 0 523787255 301334528 17760 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12974/tid=12976] ppid=12972 vsize=294272 CPUtime=27.89 cores=1,3,5,7
/proc/12974/task/12976/stat : 12976 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 14254 0 0 0 2786 3 0 0 25 0 4 0 523787255 301334528 17760 33554432000 4194304 4650419 140733276810864 18446744073709551615 4313463 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12974/tid=12977] ppid=12972 vsize=294272 CPUtime=27.73 cores=1,3,5,7
/proc/12974/task/12977/stat : 12977 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 11005 0 0 0 2771 2 0 0 25 0 4 0 523787256 301334528 17760 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 111.43
Current children cumulated vsize (KiB) 294272
[startup+28.3006 s]
/proc/loadavg: 5.11 4.41 5.28 10/188 12979
/proc/meminfo: memFree=29977976/32951124 swapFree=67102748/67111528
[pid=12974] ppid=12972 vsize=294372 CPUtime=113.03 cores=1,3,5,7
/proc/12974/stat : 12974 (strangenight1-m) R 12972 12974 12247 0 -1 4202496 52909 0 0 0 11292 11 0 0 25 0 4 0 523787255 301436928 17205 33554432000 4194304 4650419 140733276810864 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12974/statm: 73593 17205 393 112 0 68558 0
[pid=12974/tid=12975] ppid=12972 vsize=294372 CPUtime=28.29 cores=1,3,5,7
/proc/12974/task/12975/stat : 12975 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 14400 0 0 0 2827 2 0 0 25 0 4 0 523787255 301436928 17205 33554432000 4194304 4650419 140733276810864 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12974/tid=12976] ppid=12972 vsize=294372 CPUtime=28.29 cores=1,3,5,7
/proc/12974/task/12976/stat : 12976 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 14666 0 0 0 2826 3 0 0 25 0 4 0 523787255 301436928 17205 33554432000 4194304 4650419 140733276810864 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12974/tid=12977] ppid=12972 vsize=294372 CPUtime=28.13 cores=1,3,5,7
/proc/12974/task/12977/stat : 12977 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 11076 0 0 0 2811 2 0 0 25 0 4 0 523787256 301436928 17205 33554432000 4194304 4650419 140733276810864 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 113.03
Current children cumulated vsize (KiB) 294372
[startup+28.4006 s]
/proc/loadavg: 5.11 4.41 5.28 10/188 12979
/proc/meminfo: memFree=29977976/32951124 swapFree=67102748/67111528
[pid=12974] ppid=12972 vsize=294372 CPUtime=113.43 cores=1,3,5,7
/proc/12974/stat : 12974 (strangenight1-m) R 12972 12974 12247 0 -1 4202496 52994 0 0 0 11332 11 0 0 25 0 4 0 523787255 301436928 17290 33554432000 4194304 4650419 140733276810864 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/12974/statm: 73593 17290 393 112 0 68558 0
[pid=12974/tid=12975] ppid=12972 vsize=294372 CPUtime=28.39 cores=1,3,5,7
/proc/12974/task/12975/stat : 12975 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 14425 0 0 0 2837 2 0 0 25 0 4 0 523787255 301436928 17290 33554432000 4194304 4650419 140733276810864 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=12974/tid=12976] ppid=12972 vsize=294372 CPUtime=28.39 cores=1,3,5,7
/proc/12974/task/12976/stat : 12976 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 14688 0 0 0 2836 3 0 0 25 0 4 0 523787255 301436928 17290 33554432000 4194304 4650419 140733276810864 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=12974/tid=12977] ppid=12972 vsize=294372 CPUtime=28.23 cores=1,3,5,7
/proc/12974/task/12977/stat : 12977 (strangenight1-m) R 12972 12974 12247 0 -1 4202560 11093 0 0 0 2821 2 0 0 25 0 4 0 523787256 301436928 17290 33554432000 4194304 4650419 140733276810864 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 113.43
Current children cumulated vsize (KiB) 294372
Child status: 10
Real time (s): 28.4294
CPU time (s): 113.545
CPU user time (s): 113.422
CPU system time (s): 0.122981
CPU usage (%): 399.391
Max. virtual memory (cumulated for all children) (KiB): 294372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 113.422
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53022
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= 190
involuntary context switches= 817
runsolver used 0.053991 second user time and 0.111982 second system time
The end