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-3209617-1303125809/watcher-3209617-1303125809 -o /tmp/evaluation-result-3209617-1303125809/solver-3209617-1303125809 -C 5000 -W 5000 -M 15500 HOME/march_hi HOME/instance-3209617-1303125809.cnf
running on 4 cores: 1,3,5,7
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: 2.02 2.01 1.94 1/175 26807
/proc/meminfo: memFree=28217448/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=1496 CPUtime=0 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 265 0 0 0 0 0 0 0 23 0 1 0 424183684 1531904 222 33554432000 134512640 135197378 4290045408 18446744073709551615 134718590 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 374 222 58 168 0 205 0
[startup+0.0422879 s]
/proc/loadavg: 2.02 2.01 1.94 1/175 26807
/proc/meminfo: memFree=28217448/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=3640 CPUtime=0.04 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 982 0 0 0 4 0 0 0 23 0 1 0 424183684 3727360 597 33554432000 134512640 135197378 4290045408 18446744073709551615 134697414 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 910 603 67 168 0 741 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3640
[startup+0.10028 s]
/proc/loadavg: 2.02 2.01 1.94 1/175 26807
/proc/meminfo: memFree=28217448/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=3520 CPUtime=0.09 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 1794 0 0 0 9 0 0 0 23 0 1 0 424183684 3604480 600 33554432000 134512640 135197378 4290045408 18446744073709551615 134687871 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 880 600 81 168 0 711 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3520
[startup+0.300242 s]
/proc/loadavg: 2.02 2.01 1.94 1/175 26807
/proc/meminfo: memFree=28217448/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=10664 CPUtime=0.29 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 3588 0 0 0 29 0 0 0 25 0 1 0 424183684 10919936 2394 33554432000 134512640 135197378 4290045408 18446744073709551615 134525351 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 2666 2394 91 168 0 2497 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10664
[startup+0.700174 s]
/proc/loadavg: 2.02 2.01 1.94 1/175 26807
/proc/meminfo: memFree=28217448/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=11060 CPUtime=0.69 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 3666 0 0 0 69 0 0 0 25 0 1 0 424183684 11325440 2472 33554432000 134512640 135197378 4290045408 18446744073709551615 134570777 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 2765 2472 91 168 0 2596 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11060
[startup+1.50103 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 26835
/proc/meminfo: memFree=28204564/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=11232 CPUtime=1.49 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 3727 0 0 0 149 0 0 0 25 0 1 0 424183684 11501568 2533 33554432000 134512640 135197378 4290045408 18446744073709551615 134590628 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 2808 2533 91 168 0 2639 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11232
[startup+3.10075 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 26835
/proc/meminfo: memFree=28203324/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=11484 CPUtime=3.09 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 3777 0 0 0 309 0 0 0 25 0 1 0 424183684 11759616 2583 33554432000 134512640 135197378 4290045408 18446744073709551615 134593955 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 2871 2583 91 168 0 2702 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11484
[startup+6.30018 s]
/proc/loadavg: 2.02 2.01 1.94 3/178 26835
/proc/meminfo: memFree=28201992/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=12400 CPUtime=6.29 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 3966 0 0 0 629 0 0 0 25 0 1 0 424183684 12697600 2772 33554432000 134512640 135197378 4290045408 18446744073709551615 134541712 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 3100 2772 91 168 0 2931 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12400
[startup+12.7011 s]
/proc/loadavg: 2.09 2.02 1.95 3/178 26835
/proc/meminfo: memFree=28200332/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=12968 CPUtime=12.69 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 4061 0 0 0 1269 0 0 0 25 0 1 0 424183684 13279232 2867 33554432000 134512640 135197378 4290045408 18446744073709551615 134570839 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 3242 2867 91 168 0 3073 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12968
[startup+25.5008 s]
/proc/loadavg: 2.07 2.02 1.95 3/178 26835
/proc/meminfo: memFree=28197868/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=13612 CPUtime=25.49 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 4321 0 0 0 2549 0 0 0 25 0 1 0 424183684 13938688 3124 33554432000 134512640 135197378 4290045408 18446744073709551615 134570808 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 3403 3124 91 168 0 3234 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 13612
[startup+51.1003 s]
/proc/loadavg: 2.05 2.02 1.95 3/178 26836
/proc/meminfo: memFree=28193580/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=16016 CPUtime=51.09 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 4779 0 0 0 5109 0 0 0 25 0 1 0 424183684 16400384 3579 33554432000 134512640 135197378 4290045408 18446744073709551615 134603831 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 4004 3579 91 168 0 3835 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16016
[startup+102.306 s]
/proc/loadavg: 2.02 2.02 1.95 3/178 26837
/proc/meminfo: memFree=28185236/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=20952 CPUtime=102.3 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 5661 0 0 0 10230 0 0 0 25 0 1 0 424183684 21454848 4461 33554432000 134512640 135197378 4290045408 18446744073709551615 134541683 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 5238 4461 94 168 0 5069 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 20952
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.95 3/178 26839
/proc/meminfo: memFree=28175628/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=25856 CPUtime=162.29 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 6645 0 0 0 16229 0 0 0 25 0 1 0 424183684 26476544 5442 33554432000 134512640 135197378 4290045408 18446744073709551615 134572848 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 6464 5442 91 168 0 6295 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 25856
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26840
/proc/meminfo: memFree=28166388/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=31676 CPUtime=222.29 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 7551 0 0 0 22229 0 0 0 25 0 1 0 424183684 32436224 6348 33554432000 134512640 135197378 4290045408 18446744073709551615 134541916 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 7919 6348 91 168 0 7750 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 31676
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26842
/proc/meminfo: memFree=28157028/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=31808 CPUtime=282.29 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 8464 0 0 0 28229 0 0 0 25 0 1 0 424183684 32571392 7261 33554432000 134512640 135197378 4290045408 18446744073709551615 134541914 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 7952 7261 91 168 0 7783 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 31808
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26844
/proc/meminfo: memFree=28148184/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=41552 CPUtime=342.3 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 9397 0 0 0 34229 1 0 0 25 0 1 0 424183684 42549248 8194 33554432000 134512640 135197378 4290045408 18446744073709551615 134570769 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 10388 8194 91 168 0 10219 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 41552
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26845
/proc/meminfo: memFree=28138828/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=41684 CPUtime=402.3 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 10335 0 0 0 40229 1 0 0 25 0 1 0 424183684 42684416 9132 33554432000 134512640 135197378 4290045408 18446744073709551615 134525324 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 10421 9132 91 168 0 10252 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 41684
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26847
/proc/meminfo: memFree=28129720/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=54912 CPUtime=462.3 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 11255 0 0 0 46229 1 0 0 25 0 1 0 424183684 56229888 10052 33554432000 134512640 135197378 4290045408 18446744073709551615 134603816 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 13728 10052 91 168 0 13559 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 54912
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 26848
/proc/meminfo: memFree=28120356/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=54912 CPUtime=522.3 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 12178 0 0 0 52229 1 0 0 25 0 1 0 424183684 56229888 10975 33554432000 134512640 135197378 4290045408 18446744073709551615 134572867 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 13728 10975 91 168 0 13559 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 54912
[startup+582.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/178 26850
/proc/meminfo: memFree=28111128/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=54912 CPUtime=582.31 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 13113 0 0 0 58229 2 0 0 25 0 1 0 424183684 56229888 11910 33554432000 134512640 135197378 4290045408 18446744073709551615 134570839 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26807/statm: 13728 11910 91 168 0 13559 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 54912
[startup+642.3 s]
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26955
/proc/meminfo: memFree=27584068/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345796 CPUtime=4062.39 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 66748 0 0 0 406224 15 0 0 25 0 1 0 424183684 354095104 65545 33554432000 134512640 135197378 4290045408 18446744073709551615 134552392 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86449 65545 91 168 0 86280 0
Current children cumulated CPU time (s) 4062.39
Current children cumulated vsize (KiB) 345796
[startup+4122.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26956
/proc/meminfo: memFree=27575100/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345796 CPUtime=4122.39 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 67647 0 0 0 412224 15 0 0 25 0 1 0 424183684 354095104 66444 33554432000 134512640 135197378 4290045408 18446744073709551615 134525269 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86449 66444 91 168 0 86280 0
Current children cumulated CPU time (s) 4122.39
Current children cumulated vsize (KiB) 345796
[startup+4182.3 s]
/proc/loadavg: 2.06 2.01 1.96 3/178 26958
/proc/meminfo: memFree=27565996/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345796 CPUtime=4182.39 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 68557 0 0 0 418224 15 0 0 25 0 1 0 424183684 354095104 67354 33554432000 134512640 135197378 4290045408 18446744073709551615 134539368 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86449 67354 91 168 0 86280 0
Current children cumulated CPU time (s) 4182.39
Current children cumulated vsize (KiB) 345796
[startup+4242.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 26960
/proc/meminfo: memFree=27557280/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345796 CPUtime=4242.39 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 69459 0 0 0 424224 15 0 0 25 0 1 0 424183684 354095104 68256 33554432000 134512640 135197378 4290045408 18446744073709551615 134541691 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86449 68256 91 168 0 86280 0
Current children cumulated CPU time (s) 4242.39
Current children cumulated vsize (KiB) 345796
[startup+4302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26961
/proc/meminfo: memFree=27548168/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345796 CPUtime=4302.39 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 70378 0 0 0 430224 15 0 0 25 0 1 0 424183684 354095104 69175 33554432000 134512640 135197378 4290045408 18446744073709551615 134570751 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86449 69175 91 168 0 86280 0
Current children cumulated CPU time (s) 4302.39
Current children cumulated vsize (KiB) 345796
[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26963
/proc/meminfo: memFree=27538948/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345796 CPUtime=4362.39 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 71290 0 0 0 436224 15 0 0 25 0 1 0 424183684 354095104 70087 33554432000 134512640 135197378 4290045408 18446744073709551615 134541653 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86449 70087 91 168 0 86280 0
Current children cumulated CPU time (s) 4362.39
Current children cumulated vsize (KiB) 345796
[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26964
/proc/meminfo: memFree=27530080/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345796 CPUtime=4422.4 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 72205 0 0 0 442224 16 0 0 25 0 1 0 424183684 354095104 71002 33554432000 134512640 135197378 4290045408 18446744073709551615 134570808 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86449 71002 91 168 0 86280 0
Current children cumulated CPU time (s) 4422.4
Current children cumulated vsize (KiB) 345796
[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 26966
/proc/meminfo: memFree=27521220/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345796 CPUtime=4482.4 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 73124 0 0 0 448224 16 0 0 25 0 1 0 424183684 354095104 71921 33554432000 134512640 135197378 4290045408 18446744073709551615 134525324 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86449 71921 91 168 0 86280 0
Current children cumulated CPU time (s) 4482.4
Current children cumulated vsize (KiB) 345796
[startup+4542.3 s]
/proc/loadavg: 2.08 2.02 1.97 3/178 26968
/proc/meminfo: memFree=27512108/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345796 CPUtime=4542.4 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 74036 0 0 0 454224 16 0 0 25 0 1 0 424183684 354095104 72833 33554432000 134512640 135197378 4290045408 18446744073709551615 134572875 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86449 72833 91 168 0 86280 0
Current children cumulated CPU time (s) 4542.4
Current children cumulated vsize (KiB) 345796
[startup+4602.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/178 26969
/proc/meminfo: memFree=27502876/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345796 CPUtime=4602.4 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 74952 0 0 0 460224 16 0 0 25 0 1 0 424183684 354095104 73749 33554432000 134512640 135197378 4290045408 18446744073709551615 134556344 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86449 73749 91 168 0 86280 0
Current children cumulated CPU time (s) 4602.4
Current children cumulated vsize (KiB) 345796
[startup+4662.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 26971
/proc/meminfo: memFree=27493904/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345796 CPUtime=4662.4 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 75867 0 0 0 466224 16 0 0 25 0 1 0 424183684 354095104 74664 33554432000 134512640 135197378 4290045408 18446744073709551615 134570822 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86449 74664 91 168 0 86280 0
Current children cumulated CPU time (s) 4662.4
Current children cumulated vsize (KiB) 345796
[startup+4722.31 s]
/proc/loadavg: 2.08 2.02 1.97 3/178 26972
/proc/meminfo: memFree=27484808/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345928 CPUtime=4722.41 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 76792 0 0 0 472225 16 0 0 25 0 1 0 424183684 354230272 75589 33554432000 134512640 135197378 4290045408 18446744073709551615 134541710 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86482 75589 91 168 0 86313 0
Current children cumulated CPU time (s) 4722.41
Current children cumulated vsize (KiB) 345928
[startup+4782.3 s]
/proc/loadavg: 2.03 2.01 1.97 3/178 26974
/proc/meminfo: memFree=27475828/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345928 CPUtime=4782.4 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 77716 0 0 0 478224 16 0 0 25 0 1 0 424183684 354230272 76513 33554432000 134512640 135197378 4290045408 18446744073709551615 134525324 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86482 76513 91 168 0 86313 0
Current children cumulated CPU time (s) 4782.4
Current children cumulated vsize (KiB) 345928
[startup+4842.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 26976
/proc/meminfo: memFree=27466864/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345928 CPUtime=4842.41 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 78638 0 0 0 484224 17 0 0 25 0 1 0 424183684 354230272 77435 33554432000 134512640 135197378 4290045408 18446744073709551615 134570748 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86482 77435 91 168 0 86313 0
Current children cumulated CPU time (s) 4842.41
Current children cumulated vsize (KiB) 345928
[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 26977
/proc/meminfo: memFree=27457756/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345928 CPUtime=4902.41 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 79558 0 0 0 490224 17 0 0 25 0 1 0 424183684 354230272 78355 33554432000 134512640 135197378 4290045408 18446744073709551615 134541257 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86482 78355 91 168 0 86313 0
Current children cumulated CPU time (s) 4902.41
Current children cumulated vsize (KiB) 345928
[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 26979
/proc/meminfo: memFree=27448288/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345928 CPUtime=4962.41 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 80485 0 0 0 496224 17 0 0 25 0 1 0 424183684 354230272 79282 33554432000 134512640 135197378 4290045408 18446744073709551615 134606432 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86482 79282 91 168 0 86313 0
Current children cumulated CPU time (s) 4962.41
Current children cumulated vsize (KiB) 345928
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 26980
/proc/meminfo: memFree=27442784/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345928 CPUtime=5000.01 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 81063 0 0 0 499984 17 0 0 25 0 1 0 424183684 354230272 79860 33554432000 134512640 135197378 4290045408 18446744073709551615 134541641 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86482 79860 91 168 0 86313 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 345928
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: 2.00 2.00 1.97 3/178 26980
/proc/meminfo: memFree=27442784/32951124 swapFree=67051452/67111528
[pid=26807] ppid=26805 vsize=345928 CPUtime=5000.01 cores=1,3,5,7
/proc/26807/stat : 26807 (march_hi) R 26805 26807 26582 0 -1 4202496 81063 0 0 0 499984 17 0 0 25 0 1 0 424183684 354230272 79860 33554432000 134512640 135197378 4290045408 18446744073709551615 134541641 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/26807/statm: 86482 79860 91 168 0 86313 0
Current children cumulated CPU time (s) 5000.01
Current children cumulated vsize (KiB) 345928
Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.92
CPU time (s): 5000.04
CPU user time (s): 4999.85
CPU system time (s): 0.186971
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 345928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4999.85
system time used= 0.186971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81063
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= 5
involuntary context switches= 4224
runsolver used 6.97894 second user time and 15.7586 second system time
The end