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-3720819-1338514911/watcher-3720819-1338514911 -o /tmp/evaluation-result-3720819-1338514911/solver-3720819-1338514911 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720819-1338514911.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: 1.92 1.98 1.99 3/174 9916
/proc/meminfo: memFree=29311024/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=3104 CPUtime=0 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 317619517 3178496 255 33554432000 134512640 134579096 4290702928 4290570340 3568442 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 776 255 219 17 0 82 0
[startup+0.0941879 s]
/proc/loadavg: 1.92 1.98 1.99 3/174 9916
/proc/meminfo: memFree=29311024/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=5992 CPUtime=0.08 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 1048 0 0 0 8 0 0 0 20 0 1 0 317619517 6135808 985 33554432000 134512640 134579096 4290702928 4290701888 134532440 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 1498 985 225 17 0 804 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5992
[startup+0.100277 s]
/proc/loadavg: 1.92 1.98 1.99 3/174 9916
/proc/meminfo: memFree=29311024/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=5992 CPUtime=0.09 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 1048 0 0 0 9 0 0 0 20 0 1 0 317619517 6135808 985 33554432000 134512640 134579096 4290702928 4290701888 134532440 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 1498 985 225 17 0 804 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5992
[startup+0.300235 s]
/proc/loadavg: 1.92 1.98 1.99 3/174 9916
/proc/meminfo: memFree=29311024/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=7448 CPUtime=0.29 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 1399 0 0 0 29 0 0 0 20 0 1 0 317619517 7626752 1336 33554432000 134512640 134579096 4290702928 4290701748 134556417 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 1862 1336 227 17 0 1168 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7448
[startup+0.70023 s]
/proc/loadavg: 1.92 1.98 1.99 3/174 9916
/proc/meminfo: memFree=29311024/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=7448 CPUtime=0.69 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 1403 0 0 0 69 0 0 0 20 0 1 0 317619517 7626752 1340 33554432000 134512640 134579096 4290702928 4290701748 134556221 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 1862 1340 227 17 0 1168 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7448
[startup+1.50023 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 9917
/proc/meminfo: memFree=29306436/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=7588 CPUtime=1.49 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 1404 0 0 0 149 0 0 0 20 0 1 0 317619517 7770112 1341 33554432000 134512640 134579096 4290702928 4290701748 134556334 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 1897 1341 227 17 0 1203 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7588
[startup+3.10023 s]
/proc/loadavg: 1.92 1.98 1.99 3/175 9917
/proc/meminfo: memFree=29305692/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=8608 CPUtime=3.09 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 1637 0 0 0 309 0 0 0 20 0 1 0 317619517 8814592 1561 33554432000 134512640 134579096 4290702928 4290701584 134522427 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 2152 1561 227 17 0 1458 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8608
[startup+6.30023 s]
/proc/loadavg: 1.93 1.98 1.99 3/175 9917
/proc/meminfo: memFree=29302716/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=11872 CPUtime=6.28 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 2517 0 0 0 628 0 0 0 20 0 1 0 317619517 12156928 2441 33554432000 134512640 134579096 4290702928 4290701584 134522427 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 2968 2441 227 17 0 2274 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11872
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/175 9917
/proc/meminfo: memFree=29298516/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=15136 CPUtime=12.69 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 3348 0 0 0 1268 1 0 0 20 0 1 0 317619517 15499264 3272 33554432000 134512640 134579096 4290702928 4290701776 134528357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 3784 3272 227 17 0 3090 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15136
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/175 9917
/proc/meminfo: memFree=29291260/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=21548 CPUtime=25.48 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 5044 0 0 0 2547 1 0 0 20 0 1 0 317619517 22065152 4878 33554432000 134512640 134579096 4290702928 4290701744 134519111 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 5387 4878 227 17 0 4693 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21548
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/175 9917
/proc/meminfo: memFree=29280700/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=29708 CPUtime=51.07 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 7333 0 0 0 5106 1 0 0 20 0 1 0 317619517 30420992 6926 33554432000 134512640 134579096 4290702928 4290701584 134524544 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 7427 6926 227 17 0 6733 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29708
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/175 9917
/proc/meminfo: memFree=29261044/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=40224 CPUtime=102.27 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 10195 0 0 0 10225 2 0 0 20 0 1 0 317619517 41189376 9534 33554432000 134512640 134579096 4290702928 4290701856 134526856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 10056 9534 227 17 0 9362 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40224
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 9917
/proc/meminfo: memFree=29246256/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=54352 CPUtime=162.25 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 14058 0 0 0 16222 3 0 0 20 0 1 0 317619517 55656448 13080 33554432000 134512640 134579096 4290702928 4290701584 134522742 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 13588 13080 227 17 0 12894 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 54352
[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 9918
/proc/meminfo: memFree=29234596/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=66328 CPUtime=222.24 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 17314 0 0 0 22220 4 0 0 20 0 1 0 317619517 67919872 16075 33554432000 134512640 134579096 4290702928 4290701744 134519120 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 16582 16075 227 17 0 15888 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 66328
[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 9918
/proc/meminfo: memFree=29221204/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=79516 CPUtime=282.23 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 21155 0 0 0 28218 5 0 0 20 0 1 0 317619517 81424384 19374 33554432000 134512640 134579096 4290702928 4290701744 134519100 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 19879 19374 227 17 0 19185 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 79516
[startup+342.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/175 9918
/proc/meminfo: memFree=29203316/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=97892 CPUtime=342.2 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 26237 0 0 0 34215 5 0 0 20 0 1 0 317619517 100241408 23966 33554432000 134512640 134579096 4290702928 4290701760 134517899 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 24473 23966 227 17 0 23779 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 97892
[startup+402.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/175 9918
/proc/meminfo: memFree=29176024/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=112600 CPUtime=402.2 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 30220 0 0 0 40213 7 0 0 20 0 1 0 317619517 115302400 27650 33554432000 134512640 134579096 4290702928 4290701748 134556408 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 28150 27650 227 17 0 27456 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 112600
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 9918
/proc/meminfo: memFree=29172848/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=112452 CPUtime=462.19 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 30222 0 0 0 46212 7 0 0 20 0 1 0 317619517 115150848 27613 33554432000 134512640 134579096 4290702928 4290701760 134517922 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 28113 27613 227 17 0 27419 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 112452
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9922
/proc/meminfo: memFree=29172580/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=112452 CPUtime=522.18 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 30225 0 0 0 52211 7 0 0 20 0 1 0 317619517 115150848 27613 33554432000 134512640 134579096 4290702928 4290701760 134517896 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 28113 27613 227 17 0 27419 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 112452
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 9922
/proc/meminfo: memFree=29172648/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=112452 CPUtime=582.17 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 30225 0 0 0 58210 7 0 0 20 0 1 0 317619517 115150848 27613 33554432000 134512640 134579096 4290702928 4290698464 134533509 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 28113 27613 227 17 0 27419 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 112452
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/175 9923
/proc/meminfo: memFree=29136904/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=148488 CPUtime=822.13 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 40031 0 0 0 82203 10 0 0 20 0 1 0 317619517 152051712 36622 33554432000 134512640 134579096 4290702928 4290701728 134528604 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 37122 36622 227 17 0 36428 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 148488
[startup+882.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 9923
/proc/meminfo: memFree=29136964/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=148488 CPUtime=882.12 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 40031 0 0 0 88202 10 0 0 20 0 1 0 317619517 152051712 36622 33554432000 134512640 134579096 4290702928 4290701760 134517919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 37122 36622 227 17 0 36428 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 148488
[startup+942.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/175 9923
/proc/meminfo: memFree=29130516/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=154688 CPUtime=942.1 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 41642 0 0 0 94200 10 0 0 20 0 1 0 317619517 158400512 38170 33554432000 134512640 134579096 4290702928 4290701760 134517919 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 38672 38170 227 17 0 37978 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 154688
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/175 9923
/proc/meminfo: memFree=29130268/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=155420 CPUtime=1002.1 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 41812 0 0 0 100199 11 0 0 20 0 1 0 317619517 159150080 38340 33554432000 134512640 134579096 4290702928 4290701748 134556399 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 38855 38340 227 17 0 38161 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 155420
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 9923
/proc/meminfo: memFree=29130508/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=155420 CPUtime=1062.09 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 41813 0 0 0 106198 11 0 0 20 0 1 0 317619517 159150080 38342 33554432000 134512640 134579096 4290702928 4290701584 134522706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 38855 38342 227 17 0 38161 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 155420
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9927
/proc/meminfo: memFree=29126284/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=159284 CPUtime=1122.08 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 43107 0 0 0 112197 11 0 0 20 0 1 0 317619517 163106816 39320 33554432000 134512640 134579096 4290702928 4290701744 134519093 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 39821 39320 227 17 0 39127 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 159284
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9950
/proc/meminfo: memFree=29120952/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=162160 CPUtime=1182.07 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 43884 0 0 0 118196 11 0 0 20 0 1 0 317619517 166051840 40032 33554432000 134512640 134579096 4290702928 4290701744 134519064 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 40540 40032 227 17 0 39846 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 162160
[startup+1242.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/175 9999
/proc/meminfo: memFree=29047840/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=162160 CPUtime=1242.06 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 43884 0 0 0 124195 11 0 0 20 0 1 0 317619517 166051840 40032 33554432000 134512640 134579096 4290702928 4290701760 134517903 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 40540 40032 227 17 0 39846 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 162160
[startup+1302.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/175 9999
/proc/meminfo: memFree=29047276/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=162048 CPUtime=1302.06 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 43884 0 0 0 130195 11 0 0 20 0 1 0 317619517 165937152 40010 33554432000 134512640 134579096 4290702928 4290701584 134524561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 40512 40010 227 17 0 39818 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 162048
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 9999
/proc/meminfo: memFree=29047028/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=162032 CPUtime=1362.04 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 43884 0 0 0 136193 11 0 0 20 0 1 0 317619517 165920768 40006 33554432000 134512640 134579096 4290702928 4290701744 134519100 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 40508 40006 227 17 0 39814 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 162032
[startup+1422.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 10000
/proc/meminfo: memFree=29045416/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=161164 CPUtime=1422.04 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 43884 0 0 0 142193 11 0 0 20 0 1 0 317619517 165031936 39791 33554432000 134512640 134579096 4290702928 4290701584 134522688 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 40291 39791 227 17 0 39597 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 161164
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 10000
/proc/meminfo: memFree=29041628/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=161164 CPUtime=1482.03 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 43884 0 0 0 148192 11 0 0 20 0 1 0 317619517 165031936 39791 33554432000 134512640 134579096 4290702928 4290701748 134556414 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 40291 39791 227 17 0 39597 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 161164
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/175 10000
/proc/meminfo: memFree=29039024/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=161164 CPUtime=1542.02 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 43884 0 0 0 154191 11 0 0 20 0 1 0 317619517 165031936 39791 33554432000 134512640 134579096 4290702928 4290701748 134556336 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 40291 39791 227 17 0 39597 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 161164
[startup+1602.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/175 10000
/proc/meminfo: memFree=29036172/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=161164 CPUtime=1602.01 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 43884 0 0 0 160190 11 0 0 20 0 1 0 317619517 165031936 39791 33554432000 134512640 134579096 4290702928 4290701760 134517885 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 40291 39791 227 17 0 39597 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 161164
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 10000
/proc/meminfo: memFree=29034188/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=161164 CPUtime=1662 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 43884 0 0 0 166189 11 0 0 20 0 1 0 317619517 165031936 39791 33554432000 134512640 134579096 4290702928 4290701792 134520152 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 40291 39791 227 17 0 39597 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 161164
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10004
/proc/meminfo: memFree=28970932/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=161164 CPUtime=1721.99 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 43884 0 0 0 172188 11 0 0 20 0 1 0 317619517 165031936 39791 33554432000 134512640 134579096 4290702928 4290701760 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 40291 39791 227 17 0 39597 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 161164
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 10004
/proc/meminfo: memFree=28949240/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=183144 CPUtime=1781.98 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 50073 0 0 0 178186 12 0 0 20 0 1 0 317619517 187539456 45269 33554432000 134512640 134579096 4290702928 4290701760 134517908 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 45786 45269 227 17 0 45092 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 183144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 10004
/proc/meminfo: memFree=28949364/32873844 swapFree=6088/6088
[pid=9916] ppid=9914 vsize=183144 CPUtime=1800.08 cores=1,3,5,7
/proc/9916/stat : 9916 (Pueblo) R 9914 9916 8247 0 -1 4202496 50073 0 0 0 179996 12 0 0 20 0 1 0 317619517 187539456 45269 33554432000 134512640 134579096 4290702928 4290701584 134524561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9916/statm: 45786 45269 227 17 0 45092 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 183144
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.97
CPU system time (s): 0.12698
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 183144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.12698
maximum resident set size= 181168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50073
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= 49
involuntary context switches= 1850
runsolver used 3.45047 second user time and 8.94364 second system time
The end