runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3707810-1338150096/watcher-3707810-1338150096 -o /tmp/evaluation-result-3707810-1338150096/solver-3707810-1338150096 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707810-1338150096.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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.00 2.00 2.00 3/174 5979
/proc/meminfo: memFree=29153764/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=11104 CPUtime=0 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 339 0 0 0 0 0 0 0 20 0 1 0 281135496 11370496 292 33554432000 134512640 137138936 4286848944 4286847208 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 2776 292 181 642 0 2090 0

[startup+0.104426 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 5979
/proc/meminfo: memFree=29153764/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=11908 CPUtime=0.09 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 792 0 0 0 9 0 0 0 20 0 1 0 281135496 12193792 581 33554432000 134512640 137138936 4286848944 4286847116 136700814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 2977 581 218 642 0 2333 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11908

[startup+0.20026 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 5979
/proc/meminfo: memFree=29153764/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=14340 CPUtime=0.19 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 4008 0 0 0 18 1 0 0 20 0 1 0 281135496 14684160 951 33554432000 134512640 137138936 4286848944 4286846784 135457616 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 3585 951 277 642 0 2941 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14340

[startup+0.300254 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 5979
/proc/meminfo: memFree=29153764/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=14780 CPUtime=0.29 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 4435 0 0 0 28 1 0 0 20 0 1 0 281135496 15134720 992 33554432000 134512640 137138936 4286848944 4286846820 135456294 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 3695 992 278 642 0 3051 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14780

[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 5979
/proc/meminfo: memFree=29153764/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=15716 CPUtime=0.69 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 5394 0 0 0 68 1 0 0 20 0 1 0 281135496 16093184 1035 33554432000 134512640 137138936 4286848944 4286846632 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 3929 1035 278 642 0 3285 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15716

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5980
/proc/meminfo: memFree=29150540/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=15412 CPUtime=1.49 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 7908 0 0 0 148 1 0 0 20 0 1 0 281135496 15781888 868 33554432000 134512640 137138936 4286848944 4286846304 135434240 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 3853 869 282 642 0 3209 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15412

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5980
/proc/meminfo: memFree=29149672/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=18552 CPUtime=3.09 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 13678 0 0 0 307 2 0 0 20 0 1 0 281135496 18997248 1202 33554432000 134512640 137138936 4286848944 4286846656 134769631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 4638 1202 282 642 0 3994 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18552

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5980
/proc/meminfo: memFree=29149796/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=18160 CPUtime=6.28 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 28522 0 0 0 624 4 0 0 20 0 1 0 281135496 18595840 1203 33554432000 134512640 137138936 4286848944 4286846632 135444639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 4540 1203 282 642 0 3896 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18160

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5980
/proc/meminfo: memFree=29149252/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=19104 CPUtime=12.69 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 53561 0 0 0 1261 8 0 0 20 0 1 0 281135496 19562496 1185 33554432000 134512640 137138936 4286848944 4286846896 135071040 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 4776 1185 283 642 0 4132 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19104

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5980
/proc/meminfo: memFree=29150748/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=18988 CPUtime=25.48 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 121857 0 0 0 2530 18 0 0 20 0 1 0 281135496 19443712 1236 33554432000 134512640 137138936 4286848944 4286846632 135444639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 4747 1236 287 642 0 4103 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18988

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 5980
/proc/meminfo: memFree=29150136/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=18852 CPUtime=51.08 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 262231 0 0 0 5067 41 0 0 20 0 1 0 281135496 19304448 1273 33554432000 134512640 137138936 4286848944 4286846632 135444639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 4713 1273 287 642 0 4069 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18852

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5981
/proc/meminfo: memFree=29149508/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=19568 CPUtime=102.28 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 482649 0 0 0 10152 76 0 0 20 0 1 0 281135496 20037632 1298 33554432000 134512640 137138936 4286848944 4286846792 135466149 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 4892 1298 287 642 0 4248 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 19568

[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 5981
/proc/meminfo: memFree=29148824/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=20384 CPUtime=162.26 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 828229 0 0 0 16091 135 0 0 20 0 1 0 281135496 20873216 1420 33554432000 134512640 137138936 4286848944 4286846704 135449769 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 5096 1420 287 642 0 4452 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 20384

[startup+222.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 5981
/proc/meminfo: memFree=29148576/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=20764 CPUtime=222.26 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 1089626 0 0 0 22050 176 0 0 20 0 1 0 281135496 21262336 1609 33554432000 134512640 137138936 4286848944 4286846632 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 5191 1609 287 642 0 4547 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 20764

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5981
/proc/meminfo: memFree=29148328/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=21088 CPUtime=282.25 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 1348421 0 0 0 28006 219 0 0 20 0 1 0 281135496 21594112 1840 33554432000 134512640 137138936 4286848944 4286846704 135450397 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 5272 1840 287 642 0 4628 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 21088

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5981
/proc/meminfo: memFree=29147272/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=22108 CPUtime=342.24 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 1607772 0 0 0 33962 262 0 0 20 0 1 0 281135496 22638592 1875 33554432000 134512640 137138936 4286848944 4286846632 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 5527 1875 287 642 0 4883 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 22108

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 5982
/proc/meminfo: memFree=29147580/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=22056 CPUtime=402.23 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 1858033 0 0 0 39920 303 0 0 20 0 1 0 281135496 22585344 2033 33554432000 134512640 137138936 4286848944 4286846632 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 5514 2033 287 642 0 4870 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 22056

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6096
/proc/meminfo: memFree=29189188/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=22980 CPUtime=462.22 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 2124855 0 0 0 45874 348 0 0 20 0 1 0 281135496 23531520 2275 33554432000 134512640 137138936 4286848944 4286846632 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 5745 2275 287 642 0 5101 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 22980

[startup+522.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 6099
/proc/meminfo: memFree=29176300/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=23572 CPUtime=522.2 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 2384520 0 0 0 51829 391 0 0 20 0 1 0 281135496 24137728 2378 33554432000 134512640 137138936 4286848944 4286846704 135449769 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 5893 2378 287 642 0 5249 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 23572

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 6099
/proc/meminfo: memFree=29173388/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=24736 CPUtime=582.19 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 2638460 0 0 0 57786 433 0 0 20 0 1 0 281135496 25329664 2634 33554432000 134512640 137138936 4286848944 4286846632 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6184 2634 287 642 0 5540 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 24736

[startup+642.3 s]

################
# More data... #
################

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6100
/proc/meminfo: memFree=29169156/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=25008 CPUtime=822.16 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 3736586 0 0 0 81591 625 0 0 20 0 1 0 281135496 25608192 2763 33554432000 134512640 137138936 4286848944 4286846632 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6252 2763 287 642 0 5608 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 25008

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6100
/proc/meminfo: memFree=29169092/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=25416 CPUtime=882.15 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 3954478 0 0 0 87553 662 0 0 20 0 1 0 281135496 26025984 2522 33554432000 134512640 137138936 4286848944 4286846632 135444639 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6354 2522 287 642 0 5710 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 25416

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6100
/proc/meminfo: memFree=29166984/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=25284 CPUtime=942.13 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 4166804 0 0 0 93515 698 0 0 20 0 1 0 281135496 25890816 2583 33554432000 134512640 137138936 4286848944 4286846632 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6321 2583 287 642 0 5677 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 25284

[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/175 6101
/proc/meminfo: memFree=29166484/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=24828 CPUtime=1002.13 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 4376349 0 0 0 99479 734 0 0 20 0 1 0 281135496 25423872 2668 33554432000 134512640 137138936 4286848944 4286846784 135457184 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6207 2668 287 642 0 5563 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 24828

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 6101
/proc/meminfo: memFree=29166608/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=24792 CPUtime=1062.12 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 4593154 0 0 0 105438 774 0 0 20 0 1 0 281135496 25387008 2569 33554432000 134512640 137138936 4286848944 4286846632 135445316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6198 2569 287 642 0 5554 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 24792

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6104
/proc/meminfo: memFree=29166908/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=24668 CPUtime=1122.12 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 4806321 0 0 0 111395 817 0 0 20 0 1 0 281135496 25260032 2573 33554432000 134512640 137138936 4286848944 4286846632 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6167 2573 287 642 0 5523 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 24668

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6104
/proc/meminfo: memFree=29163188/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=25128 CPUtime=1182.1 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 5024491 0 0 0 117354 856 0 0 20 0 1 0 281135496 25731072 2563 33554432000 134512640 137138936 4286848944 4286846632 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6282 2563 287 642 0 5638 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 25128

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6104
/proc/meminfo: memFree=29163368/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=24504 CPUtime=1242.09 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 5235990 0 0 0 123315 894 0 0 20 0 1 0 281135496 25092096 2638 33554432000 134512640 137138936 4286848944 4286846632 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6126 2638 287 642 0 5482 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 24504

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6105
/proc/meminfo: memFree=29162620/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=24596 CPUtime=1302.08 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 5445766 0 0 0 129275 933 0 0 20 0 1 0 281135496 25186304 2507 33554432000 134512640 137138936 4286848944 4286846792 135466079 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6149 2507 287 642 0 5505 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 24596

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6105
/proc/meminfo: memFree=29163112/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=25016 CPUtime=1362.07 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 5657354 0 0 0 135239 968 0 0 20 0 1 0 281135496 25616384 2619 33554432000 134512640 137138936 4286848944 4286846632 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6254 2619 287 642 0 5610 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 25016

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6105
/proc/meminfo: memFree=29161872/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=25096 CPUtime=1422.07 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 5889759 0 0 0 141198 1009 0 0 20 0 1 0 281135496 25698304 2542 33554432000 134512640 137138936 4286848944 4286846704 135449769 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6274 2542 287 642 0 5630 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 25096

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6105
/proc/meminfo: memFree=29159324/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=25024 CPUtime=1482.05 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 6100644 0 0 0 147158 1047 0 0 20 0 1 0 281135496 25624576 2525 33554432000 134512640 137138936 4286848944 4286846632 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6256 2529 287 642 0 5612 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 25024

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6105
/proc/meminfo: memFree=29159820/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=24868 CPUtime=1542.05 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 6305356 0 0 0 153122 1083 0 0 20 0 1 0 281135496 25464832 2643 33554432000 134512640 137138936 4286848944 4286846632 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6217 2643 287 642 0 5573 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 24868

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6106
/proc/meminfo: memFree=29159696/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=24452 CPUtime=1602.03 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 6505447 0 0 0 159084 1119 0 0 20 0 1 0 281135496 25038848 2572 33554432000 134512640 137138936 4286848944 4286846632 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6113 2575 287 642 0 5469 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 24452

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6106
/proc/meminfo: memFree=29159384/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=24920 CPUtime=1662.02 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 6708826 0 0 0 165046 1156 0 0 20 0 1 0 281135496 25518080 2692 33554432000 134512640 137138936 4286848944 4286846704 135449769 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6230 2692 287 642 0 5586 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 24920

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 6109
/proc/meminfo: memFree=29160180/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=25060 CPUtime=1722.02 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 6911583 0 0 0 171008 1194 0 0 20 0 1 0 281135496 25661440 2471 33554432000 134512640 137138936 4286848944 4286846632 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6265 2471 287 642 0 5621 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 25060

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6109
/proc/meminfo: memFree=29159008/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=25028 CPUtime=1782 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 7114851 0 0 0 176971 1229 0 0 20 0 1 0 281135496 25628672 2628 33554432000 134512640 137138936 4286848944 4286846792 135466162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6257 2628 287 642 0 5613 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 25028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 6109
/proc/meminfo: memFree=29159504/32873852 swapFree=6856/6856
[pid=5979] ppid=5977 vsize=24556 CPUtime=1800.01 cores=1,3,5,7
/proc/5979/stat : 5979 (bsolo) R 5977 5979 1566 0 -1 4202496 7173505 0 0 0 178761 1240 0 0 20 0 1 0 281135496 25145344 2580 33554432000 134512640 137138936 4286848944 4286846632 135445280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5979/statm: 6139 2580 287 642 0 5495 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 24556

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 15
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1787.62
CPU system time (s): 12.4001
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 25680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.62
system time used= 12.4001
maximum resident set size= 12196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7173505
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= 26
involuntary context switches= 1867

runsolver used 3.02154 second user time and 8.27274 second system time

The end