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-3210697-1303167440/watcher-3210697-1303167440 -o /tmp/evaluation-result-3210697-1303167440/solver-3210697-1303167440 -C 5000 -W 5000 -M 15500 HOME/march_hi HOME/instance-3210697-1303167440.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5000 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: 1.83 1.95 1.98 2/177 9965
/proc/meminfo: memFree=18436040/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=1196 CPUtime=0 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 210 0 0 0 0 0 0 0 25 0 1 0 428343636 1224704 164 33554432000 134512640 135197378 4292327968 18446744073709551615 134687984 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9965/statm: 299 164 78 168 0 130 0
[startup+0.079575 s]
/proc/loadavg: 1.83 1.95 1.98 2/177 9965
/proc/meminfo: memFree=18436040/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=2240 CPUtime=0.07 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 416 0 0 0 7 0 0 0 25 0 1 0 428343636 2293760 370 33554432000 134512640 135197378 4292327968 18446744073709551615 134696478 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9965/statm: 560 370 91 168 0 391 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2240
[startup+0.100513 s]
/proc/loadavg: 1.83 1.95 1.98 2/177 9965
/proc/meminfo: memFree=18436040/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=2240 CPUtime=0.1 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 423 0 0 0 10 0 0 0 18 0 1 0 428343636 2293760 377 33554432000 134512640 135197378 4292327968 18446744073709551615 134525336 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9965/statm: 560 377 91 168 0 391 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2240
[startup+0.300478 s]
/proc/loadavg: 1.83 1.95 1.98 2/177 9965
/proc/meminfo: memFree=18436040/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=2380 CPUtime=0.3 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 444 0 0 0 30 0 0 0 18 0 1 0 428343636 2437120 398 33554432000 134512640 135197378 4292327968 18446744073709551615 134542058 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9965/statm: 595 398 91 168 0 426 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2380
[startup+0.70051 s]
/proc/loadavg: 1.83 1.95 1.98 2/177 9965
/proc/meminfo: memFree=18436040/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=2552 CPUtime=0.7 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 479 0 0 0 70 0 0 0 18 0 1 0 428343636 2613248 433 33554432000 134512640 135197378 4292327968 18446744073709551615 134590534 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9965/statm: 638 433 91 168 0 469 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 2552
[startup+1.50033 s]
/proc/loadavg: 1.83 1.95 1.98 3/178 9966
/proc/meminfo: memFree=18434428/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=3016 CPUtime=1.5 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 565 0 0 0 150 0 0 0 19 0 1 0 428343636 3088384 519 33554432000 134512640 135197378 4292327968 18446744073709551615 134542058 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9965/statm: 754 519 91 168 0 585 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 3016
[startup+3.10105 s]
/proc/loadavg: 1.83 1.95 1.98 3/178 9966
/proc/meminfo: memFree=18433436/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=3168 CPUtime=3.1 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 625 0 0 0 310 0 0 0 24 0 1 0 428343636 3244032 579 33554432000 134512640 135197378 4292327968 18446744073709551615 134541957 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9965/statm: 792 579 91 168 0 623 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 3168
[startup+6.30037 s]
/proc/loadavg: 1.84 1.95 1.98 3/178 9966
/proc/meminfo: memFree=18432548/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=3736 CPUtime=6.3 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 743 0 0 0 630 0 0 0 25 0 1 0 428343636 3825664 697 33554432000 134512640 135197378 4292327968 18446744073709551615 134552704 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9965/statm: 934 697 91 168 0 765 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 3736
[startup+12.7002 s]
/proc/loadavg: 1.86 1.95 1.98 3/178 9966
/proc/meminfo: memFree=18429720/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=5288 CPUtime=12.69 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 1018 0 0 0 1269 0 0 0 25 0 1 0 428343636 5414912 964 33554432000 134512640 135197378 4292327968 18446744073709551615 134525296 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9965/statm: 1322 964 91 168 0 1153 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5288
[startup+25.501 s]
/proc/loadavg: 1.89 1.95 1.98 3/178 9966
/proc/meminfo: memFree=18425492/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=6760 CPUtime=25.49 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 1453 0 0 0 2549 0 0 0 25 0 1 0 428343636 6922240 1399 33554432000 134512640 135197378 4292327968 18446744073709551615 134552753 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9965/statm: 1690 1399 91 168 0 1521 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 6760
[startup+51.1006 s]
/proc/loadavg: 1.92 1.96 1.98 3/178 9967
/proc/meminfo: memFree=18416660/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=11708 CPUtime=51.09 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 2343 0 0 0 5109 0 0 0 25 0 1 0 428343636 11988992 2289 33554432000 134512640 135197378 4292327968 18446744073709551615 134541988 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9965/statm: 2927 2289 91 168 0 2758 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 11708
[startup+102.306 s]
/proc/loadavg: 1.97 1.96 1.98 3/178 9969
/proc/meminfo: memFree=18398532/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=22680 CPUtime=102.3 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 4080 0 0 0 10229 1 0 0 25 0 1 0 428343636 23224320 4026 33554432000 134512640 135197378 4292327968 18446744073709551615 134552411 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9965/statm: 5670 4026 91 168 0 5501 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 22680
[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 9970
/proc/meminfo: memFree=18379412/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=33952 CPUtime=162.3 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 6064 0 0 0 16228 2 0 0 25 0 1 0 428343636 34766848 6010 33554432000 134512640 135197378 4292327968 18446744073709551615 134617945 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9965/statm: 8488 6010 91 168 0 8319 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 33952
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 9981
/proc/meminfo: memFree=18359280/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=34084 CPUtime=222.3 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 7994 0 0 0 22228 2 0 0 25 0 1 0 428343636 34902016 7940 33554432000 134512640 135197378 4292327968 18446744073709551615 134539306 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 8521 7940 91 168 0 8352 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 34084
[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 9982
/proc/meminfo: memFree=18341240/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=52268 CPUtime=282.3 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 9791 0 0 0 28228 2 0 0 25 0 1 0 428343636 53522432 9737 33554432000 134512640 135197378 4292327968 18446744073709551615 134539251 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 13067 9737 91 168 0 12898 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 52268
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 9984
/proc/meminfo: memFree=18322984/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=52268 CPUtime=342.29 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 11508 0 0 0 34227 2 0 0 25 0 1 0 428343636 53522432 11454 33554432000 134512640 135197378 4292327968 18446744073709551615 134541903 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 13067 11454 91 168 0 12898 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 52268
[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.98 4/179 9989
/proc/meminfo: memFree=18274952/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=71912 CPUtime=402.3 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 13292 0 0 0 40227 3 0 0 25 0 1 0 428343636 73637888 13238 33554432000 134512640 135197378 4292327968 18446744073709551615 134525348 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 17978 13238 91 168 0 17809 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 71912
[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 9990
/proc/meminfo: memFree=18286776/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=71912 CPUtime=462.3 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 15032 0 0 0 46226 4 0 0 25 0 1 0 428343636 73637888 14978 33554432000 134512640 135197378 4292327968 18446744073709551615 134541916 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 17978 14978 91 168 0 17809 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 71912
[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 9992
/proc/meminfo: memFree=18269400/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=82084 CPUtime=522.31 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 16809 0 0 0 52226 5 0 0 25 0 1 0 428343636 84054016 16755 33554432000 134512640 135197378 4292327968 18446744073709551615 134539229 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 20521 16755 91 168 0 20352 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 82084
[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.98 3/178 9993
/proc/meminfo: memFree=18251024/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=111552 CPUtime=582.3 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 18522 0 0 0 58225 5 0 0 25 0 1 0 428343636 114229248 18468 33554432000 134512640 135197378 4292327968 18446744073709551615 134539193 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 27888 18468 91 168 0 27719 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 111552
[startup+642.3 s]
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10098
/proc/meminfo: memFree=17266128/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=4062.39 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 114468 0 0 0 406206 33 0 0 25 0 1 0 428343636 628068352 114414 33554432000 134512640 135197378 4292327968 18446744073709551615 134553044 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 114414 91 168 0 153168 0
Current children cumulated CPU time (s) 4062.39
Current children cumulated vsize (KiB) 613348
[startup+4122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10100
/proc/meminfo: memFree=17249348/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=4122.38 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 116103 0 0 0 412205 33 0 0 25 0 1 0 428343636 628068352 116049 33554432000 134512640 135197378 4292327968 18446744073709551615 134539193 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 116049 91 168 0 153168 0
Current children cumulated CPU time (s) 4122.38
Current children cumulated vsize (KiB) 613348
[startup+4182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10101
/proc/meminfo: memFree=17232932/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=4182.39 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 117608 0 0 0 418205 34 0 0 25 0 1 0 428343636 628068352 117554 33554432000 134512640 135197378 4292327968 18446744073709551615 134539309 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 117554 91 168 0 153168 0
Current children cumulated CPU time (s) 4182.39
Current children cumulated vsize (KiB) 613348
[startup+4242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10103
/proc/meminfo: memFree=17216516/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=4242.39 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 119246 0 0 0 424205 34 0 0 25 0 1 0 428343636 628068352 119192 33554432000 134512640 135197378 4292327968 18446744073709551615 134542056 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 119192 91 168 0 153168 0
Current children cumulated CPU time (s) 4242.39
Current children cumulated vsize (KiB) 613348
[startup+4302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10105
/proc/meminfo: memFree=17199976/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=4302.38 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 120833 0 0 0 430204 34 0 0 25 0 1 0 428343636 628068352 120779 33554432000 134512640 135197378 4292327968 18446744073709551615 134525438 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 120779 91 168 0 153168 0
Current children cumulated CPU time (s) 4302.38
Current children cumulated vsize (KiB) 613348
[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10106
/proc/meminfo: memFree=17184548/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=4362.39 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 122343 0 0 0 436204 35 0 0 25 0 1 0 428343636 628068352 122289 33554432000 134512640 135197378 4292327968 18446744073709551615 134570777 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 122289 91 168 0 153168 0
Current children cumulated CPU time (s) 4362.39
Current children cumulated vsize (KiB) 613348
[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10108
/proc/meminfo: memFree=17168396/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=4422.39 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 123981 0 0 0 442203 36 0 0 25 0 1 0 428343636 628068352 123927 33554432000 134512640 135197378 4292327968 18446744073709551615 134539289 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 123927 91 168 0 153168 0
Current children cumulated CPU time (s) 4422.39
Current children cumulated vsize (KiB) 613348
[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10109
/proc/meminfo: memFree=17152996/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=4482.39 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 125550 0 0 0 448203 36 0 0 25 0 1 0 428343636 628068352 125496 33554432000 134512640 135197378 4292327968 18446744073709551615 134525330 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 125496 91 168 0 153168 0
Current children cumulated CPU time (s) 4482.39
Current children cumulated vsize (KiB) 613348
[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10111
/proc/meminfo: memFree=17137952/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=4542.39 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 127157 0 0 0 454203 36 0 0 25 0 1 0 428343636 628068352 127103 33554432000 134512640 135197378 4292327968 18446744073709551615 134525288 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 127103 91 168 0 153168 0
Current children cumulated CPU time (s) 4542.39
Current children cumulated vsize (KiB) 613348
[startup+4602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10113
/proc/meminfo: memFree=17121416/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=4602.4 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 128765 0 0 0 460203 37 0 0 25 0 1 0 428343636 628068352 128711 33554432000 134512640 135197378 4292327968 18446744073709551615 134556704 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 128711 91 168 0 153168 0
Current children cumulated CPU time (s) 4602.4
Current children cumulated vsize (KiB) 613348
[startup+4662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10114
/proc/meminfo: memFree=17104764/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=4662.39 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 130316 0 0 0 466202 37 0 0 25 0 1 0 428343636 628068352 130262 33554432000 134512640 135197378 4292327968 18446744073709551615 134552482 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 130262 91 168 0 153168 0
Current children cumulated CPU time (s) 4662.39
Current children cumulated vsize (KiB) 613348
[startup+4722.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10116
/proc/meminfo: memFree=17087988/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=4722.41 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 131842 0 0 0 472203 38 0 0 25 0 1 0 428343636 628068352 131788 33554432000 134512640 135197378 4292327968 18446744073709551615 134542109 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 131788 91 168 0 153168 0
Current children cumulated CPU time (s) 4722.41
Current children cumulated vsize (KiB) 613348
[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10117
/proc/meminfo: memFree=17071460/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=4782.4 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 133446 0 0 0 478202 38 0 0 25 0 1 0 428343636 628068352 133392 33554432000 134512640 135197378 4292327968 18446744073709551615 134552523 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 133392 91 168 0 153168 0
Current children cumulated CPU time (s) 4782.4
Current children cumulated vsize (KiB) 613348
[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10119
/proc/meminfo: memFree=17054812/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=4842.39 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 134937 0 0 0 484201 38 0 0 25 0 1 0 428343636 628068352 134883 33554432000 134512640 135197378 4292327968 18446744073709551615 134542058 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 134883 91 168 0 153168 0
Current children cumulated CPU time (s) 4842.39
Current children cumulated vsize (KiB) 613348
[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10121
/proc/meminfo: memFree=17038276/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=4902.4 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 136546 0 0 0 490201 39 0 0 25 0 1 0 428343636 628068352 136492 33554432000 134512640 135197378 4292327968 18446744073709551615 134541952 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 136492 91 168 0 153168 0
Current children cumulated CPU time (s) 4902.4
Current children cumulated vsize (KiB) 613348
[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10122
/proc/meminfo: memFree=17022008/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=4962.4 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 138067 0 0 0 496201 39 0 0 25 0 1 0 428343636 628068352 138013 33554432000 134512640 135197378 4292327968 18446744073709551615 134525272 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 138013 91 168 0 153168 0
Current children cumulated CPU time (s) 4962.4
Current children cumulated vsize (KiB) 613348
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 1.94 1.98 1.99 3/178 10151
/proc/meminfo: memFree=17878848/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=5000.01 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 139052 0 0 0 499961 40 0 0 25 0 1 0 428343636 628068352 138998 33554432000 134512640 135197378 4292327968 18446744073709551615 134541962 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 138998 91 168 0 153168 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 613348
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+4999.9 s]
/proc/loadavg: 1.94 1.98 1.99 3/178 10151
/proc/meminfo: memFree=17878848/32950928 swapFree=67111528/67111528
[pid=9965] ppid=9963 vsize=613348 CPUtime=5000.01 cores=0,2,4,6
/proc/9965/stat : 9965 (march_hi) R 9963 9965 9872 0 -1 4202496 139052 0 0 0 499961 40 0 0 25 0 1 0 428343636 628068352 138998 33554432000 134512640 135197378 4292327968 18446744073709551615 134541962 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9965/statm: 153337 138998 91 168 0 153168 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 613348
Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.94
CPU time (s): 5000.05
CPU user time (s): 4999.62
CPU system time (s): 0.432934
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 613348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.62
system time used= 0.432934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139052
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= 4
involuntary context switches= 6943
runsolver used 7.27189 second user time and 15.4676 second system time
The end