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-3742152-1338767900/watcher-3742152-1338767900 -o /tmp/evaluation-result-3742152-1338767900/solver-3742152-1338767900 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742152-1338767900.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.04 2.02 2.00 3/176 14138
/proc/meminfo: memFree=25780908/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4194304 166 0 0 0 0 0 0 0 20 0 1 0 342914458 4583424 118 33554432000 134512640 135840783 4294505024 4294503944 10761537 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 1119 128 110 325 0 39 0
[startup+0.0220619 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 14138
/proc/meminfo: memFree=25780908/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=5728 CPUtime=0.01 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 677 0 0 0 1 0 0 0 20 0 1 0 342914458 5865472 614 33554432000 134512640 135840783 4294505024 4294503712 11330855 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 1432 614 366 325 0 280 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5728
[startup+0.100264 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 14138
/proc/meminfo: memFree=25780908/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=6576 CPUtime=0.09 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 1059 0 0 0 9 0 0 0 20 0 1 0 342914458 6733824 908 33554432000 134512640 135840783 4294505024 4294436412 3114032 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 1644 908 342 325 0 580 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6576
[startup+0.300227 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 14138
/proc/meminfo: memFree=25780908/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=6576 CPUtime=0.29 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 1060 0 0 0 29 0 0 0 20 0 1 0 342914458 6733824 909 33554432000 134512640 135840783 4294505024 4294436412 3114032 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 1644 909 342 325 0 580 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6576
[startup+0.700225 s]
/proc/loadavg: 2.04 2.02 2.00 3/176 14138
/proc/meminfo: memFree=25780908/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=6576 CPUtime=0.69 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 1060 0 0 0 69 0 0 0 20 0 1 0 342914458 6733824 909 33554432000 134512640 135840783 4294505024 4294436412 3114032 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 1644 909 342 325 0 580 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6576
[startup+1.50022 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 14139
/proc/meminfo: memFree=25777676/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=8392 CPUtime=1.48 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 1587 0 0 0 148 0 0 0 20 0 1 0 342914458 8593408 1353 33554432000 134512640 135840783 4294505024 4294502896 11330855 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 2098 1353 347 325 0 1034 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8392
[startup+3.10024 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 14139
/proc/meminfo: memFree=25772336/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=18216 CPUtime=3.09 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 4043 0 0 0 308 1 0 0 20 0 1 0 342914458 18653184 3809 33554432000 134512640 135840783 4294505024 4294501360 134573449 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 4554 3809 347 325 0 3490 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18216
[startup+6.30028 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 14139
/proc/meminfo: memFree=25752868/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=33732 CPUtime=6.28 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 7924 0 0 0 627 1 0 0 20 0 1 0 342914458 34541568 7690 33554432000 134512640 135840783 4294505024 4294492368 134586949 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 8433 7690 347 325 0 7369 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 33732
[startup+12.7003 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 14139
/proc/meminfo: memFree=25713808/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=62452 CPUtime=12.68 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 15107 0 0 0 1265 3 0 0 20 0 1 0 342914458 63950848 14873 33554432000 134512640 135840783 4294505024 4294492736 134574704 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 15613 14873 347 325 0 14549 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 62452
[startup+25.5004 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 14139
/proc/meminfo: memFree=25646584/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=106676 CPUtime=25.48 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 26158 0 0 0 2543 5 0 0 20 0 1 0 342914458 109236224 25924 33554432000 134512640 135840783 4294505024 4294504160 11330034 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 26669 25924 347 325 0 25605 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 106676
[startup+51.1004 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 14139
/proc/meminfo: memFree=25535124/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=195832 CPUtime=51.08 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 48466 0 0 0 5096 12 0 0 20 0 1 0 342914458 200531968 48232 33554432000 134512640 135840783 4294505024 4294504384 134551063 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 48958 48232 347 325 0 47894 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 195832
[startup+102.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/178 14142
/proc/meminfo: memFree=25365644/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=315824 CPUtime=102.27 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 78452 0 0 0 10207 20 0 0 20 0 1 0 342914458 323403776 78218 33554432000 134512640 135840783 4294505024 4294504384 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 78956 78218 347 325 0 77892 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 315824
[startup+162.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/178 14165
/proc/meminfo: memFree=25214980/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=417176 CPUtime=162.26 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 103807 0 0 0 16197 29 0 0 20 0 1 0 342914458 427188224 103573 33554432000 134512640 135840783 4294505024 4294504384 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 104294 103573 347 325 0 103230 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 417176
[startup+222.307 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 14166
/proc/meminfo: memFree=25072696/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=509876 CPUtime=222.25 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 126969 0 0 0 22189 36 0 0 20 0 1 0 342914458 522113024 126735 33554432000 134512640 135840783 4294505024 4294488048 134586540 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 127469 126735 347 325 0 126405 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 509876
[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/177 14166
/proc/meminfo: memFree=24971664/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=576572 CPUtime=282.24 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 143647 0 0 0 28184 40 0 0 20 0 1 0 342914458 590409728 143413 33554432000 134512640 135840783 4294505024 4294504384 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 144143 143413 347 325 0 143079 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 576572
[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 14166
/proc/meminfo: memFree=24853024/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=647764 CPUtime=342.23 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 161450 0 0 0 34178 45 0 0 20 0 1 0 342914458 663310336 161216 33554432000 134512640 135840783 4294505024 4294504384 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 161941 161216 347 325 0 160877 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 647764
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 14166
/proc/meminfo: memFree=24744304/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=712920 CPUtime=402.23 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 177744 0 0 0 40172 51 0 0 20 0 1 0 342914458 730030080 177510 33554432000 134512640 135840783 4294505024 4294504384 134550904 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 178230 177510 347 325 0 177166 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 712920
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14166
/proc/meminfo: memFree=24634840/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=777580 CPUtime=462.21 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 193903 0 0 0 46166 55 0 0 20 0 1 0 342914458 796241920 193669 33554432000 134512640 135840783 4294505024 4294504384 134551048 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 194395 193669 347 325 0 193331 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 777580
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 14166
/proc/meminfo: memFree=24538900/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=832600 CPUtime=522.21 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 207646 0 0 0 52161 60 0 0 20 0 1 0 342914458 852582400 207412 33554432000 134512640 135840783 4294505024 4294479408 134586540 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 208150 207412 347 325 0 207086 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 832600
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14167
/proc/meminfo: memFree=24434760/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=894120 CPUtime=582.19 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 223027 0 0 0 58154 65 0 0 20 0 1 0 342914458 915578880 222793 33554432000 134512640 135840783 4294505024 4294504384 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 223530 222793 347 325 0 222466 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 894120
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/176 14209
/proc/meminfo: memFree=26037668/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1162364 CPUtime=822.11 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 290187 0 0 0 82124 87 0 0 20 0 1 0 342914458 1190260736 289861 33554432000 134512640 135840783 4294505024 4294504384 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 290591 289861 347 325 0 289527 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 1162364
[startup+882.307 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14210
/proc/meminfo: memFree=25910720/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1227276 CPUtime=882.08 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 306465 0 0 0 88117 91 0 0 20 0 1 0 342914458 1256730624 306097 33554432000 134512640 135840783 4294505024 4294504384 134551081 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 306819 306097 347 325 0 305755 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 1227276
[startup+942.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14210
/proc/meminfo: memFree=25787120/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1289324 CPUtime=942.04 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 322017 0 0 0 94106 98 0 0 20 0 1 0 342914458 1320267776 321611 33554432000 134512640 135840783 4294505024 4294504384 134550863 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 322331 321611 347 325 0 321267 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1289324
[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14210
/proc/meminfo: memFree=25632396/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1340792 CPUtime=1002.01 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 334927 0 0 0 100099 102 0 0 20 0 1 0 342914458 1372971008 334484 33554432000 134512640 135840783 4294505024 4294504384 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 335198 334484 347 325 0 334134 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1340792
[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14210
/proc/meminfo: memFree=25519708/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1394736 CPUtime=1061.98 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 348427 0 0 0 106092 106 0 0 20 0 1 0 342914458 1428209664 347954 33554432000 134512640 135840783 4294505024 4294504384 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 348684 347954 347 325 0 347620 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 1394736
[startup+1122.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14210
/proc/meminfo: memFree=25396976/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1453156 CPUtime=1121.95 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 363074 0 0 0 112084 111 0 0 20 0 1 0 342914458 1488031744 362568 33554432000 134512640 135840783 4294505024 4294504544 134551970 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 363289 362568 347 325 0 362225 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 1453156
[startup+1182.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14211
/proc/meminfo: memFree=25293464/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1499016 CPUtime=1181.93 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 374574 0 0 0 118080 113 0 0 20 0 1 0 342914458 1534992384 374039 33554432000 134512640 135840783 4294505024 4294504384 134551104 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 374754 374039 347 325 0 373690 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 1499016
[startup+1242.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14211
/proc/meminfo: memFree=25198012/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1551736 CPUtime=1241.91 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 387761 0 0 0 124074 117 0 0 20 0 1 0 342914458 1588977664 387198 33554432000 134512640 135840783 4294505024 4294504384 134551186 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 387934 387198 347 325 0 386870 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 1551736
[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 14214
/proc/meminfo: memFree=25104620/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1586200 CPUtime=1301.89 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 396442 0 0 0 130069 120 0 0 20 0 1 0 342914458 1624268800 395838 33554432000 134512640 135840783 4294505024 4294504384 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 396550 395838 347 325 0 395486 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1586200
[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14214
/proc/meminfo: memFree=25002884/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1625452 CPUtime=1361.84 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 406284 0 0 0 136062 122 0 0 20 0 1 0 342914458 1664462848 405640 33554432000 134512640 135840783 4294505024 4294504384 134551084 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 406363 405640 347 325 0 405299 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1625452
[startup+1422.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 14214
/proc/meminfo: memFree=24922816/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1657124 CPUtime=1421.82 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 414236 0 0 0 142056 126 0 0 20 0 1 0 342914458 1696894976 413554 33554432000 134512640 135840783 4294505024 4294504384 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 414281 413554 347 325 0 413217 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1657124
[startup+1482.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 14215
/proc/meminfo: memFree=24833316/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1707864 CPUtime=1481.79 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 426957 0 0 0 148048 131 0 0 20 0 1 0 342914458 1748852736 426243 33554432000 134512640 135840783 4294505024 4294504384 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 426966 426243 347 325 0 425902 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1707864
[startup+1542.31 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 14215
/proc/meminfo: memFree=24732656/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1745172 CPUtime=1541.77 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 436319 0 0 0 154043 134 0 0 20 0 1 0 342914458 1787056128 435566 33554432000 134512640 135840783 4294505024 4294504384 134550804 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 436293 435566 347 325 0 435229 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1745172
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14215
/proc/meminfo: memFree=24641172/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1793508 CPUtime=1601.73 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 448443 0 0 0 160035 138 0 0 20 0 1 0 342914458 1836552192 447649 33554432000 134512640 135840783 4294505024 4294504384 134551081 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 448377 447649 347 325 0 447313 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1793508
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14215
/proc/meminfo: memFree=24535304/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1846456 CPUtime=1661.7 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 461730 0 0 0 166027 143 0 0 20 0 1 0 342914458 1890770944 460896 33554432000 134512640 135840783 4294505024 4294504384 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 461614 460896 347 325 0 460550 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 1846456
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14215
/proc/meminfo: memFree=24453368/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1894440 CPUtime=1721.67 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 473770 0 0 0 172019 148 0 0 20 0 1 0 342914458 1939906560 472894 33554432000 134512640 135840783 4294505024 4294499680 11330855 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 473610 472894 347 325 0 472546 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 1894440
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14216
/proc/meminfo: memFree=24377632/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1941560 CPUtime=1781.65 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 485587 0 0 0 178013 152 0 0 20 0 1 0 342914458 1988157440 484666 33554432000 134512640 135840783 4294505024 4294504384 134550872 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 485390 484666 347 325 0 484326 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 1941560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14216
/proc/meminfo: memFree=24345608/32873844 swapFree=6608/6608
[pid=14138] ppid=14136 vsize=1954652 CPUtime=1800.06 cores=1,3,5,7
/proc/14138/stat : 14138 (bsolo3.0.17) R 14136 14138 12501 0 -1 4202496 488887 0 0 0 179853 153 0 0 20 0 1 0 342914458 2001563648 487953 33554432000 134512640 135840783 4294505024 4294504384 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/14138/statm: 488663 487953 347 325 0 487599 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1954652
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.73
CPU time (s): 1800.08
CPU user time (s): 1798.53
CPU system time (s): 1.55176
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 1954652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.53
system time used= 1.55176
maximum resident set size= 1951812
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 488890
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= 730
involuntary context switches= 1844
runsolver used 3.37149 second user time and 10.4124 second system time
The end