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-3729575-1338678830/watcher-3729575-1338678830 -o /tmp/evaluation-result-3729575-1338678830/solver-3729575-1338678830 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3729575-1338678830.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.80 1.03 1.13 3/176 9419
/proc/meminfo: memFree=25679096/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=4772 CPUtime=0 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 458 0 0 0 0 0 0 0 20 0 1 0 334009054 4886528 394 33554432000 134512640 135840783 4293630848 4293629536 1692967 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9419/statm: 1193 394 327 325 0 108 0
[startup+0.0546061 s]
/proc/loadavg: 1.80 1.03 1.13 3/176 9419
/proc/meminfo: memFree=25679096/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=5476 CPUtime=0.04 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 705 0 0 0 4 0 0 0 20 0 1 0 334009054 5607424 620 33554432000 134512640 135840783 4293630848 4293628928 1692967 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9419/statm: 1369 620 348 325 0 305 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5476
[startup+0.100256 s]
/proc/loadavg: 1.80 1.03 1.13 3/176 9419
/proc/meminfo: memFree=25679096/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=5740 CPUtime=0.09 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 793 0 0 0 9 0 0 0 20 0 1 0 334009054 5877760 708 33554432000 134512640 135840783 4293630848 4293630160 134551065 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9419/statm: 1435 708 348 325 0 371 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5740
[startup+0.300238 s]
/proc/loadavg: 1.80 1.03 1.13 3/176 9419
/proc/meminfo: memFree=25679096/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=6920 CPUtime=0.29 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 1071 0 0 0 29 0 0 0 20 0 1 0 334009054 7086080 986 33554432000 134512640 135840783 4293630848 4293630084 1687581 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9419/statm: 1730 986 348 325 0 666 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6920
[startup+0.700219 s]
/proc/loadavg: 1.80 1.03 1.13 3/176 9419
/proc/meminfo: memFree=25679096/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=7704 CPUtime=0.69 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 1258 0 0 0 69 0 0 0 20 0 1 0 334009054 7888896 1173 33554432000 134512640 135840783 4293630848 4293630208 134551175 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9419/statm: 1926 1173 348 325 0 862 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7704
[startup+1.50023 s]
/proc/loadavg: 1.80 1.03 1.13 3/177 9420
/proc/meminfo: memFree=25670268/32873648 swapFree=6864/6864
[pid=9419] ppid=9417 vsize=8216 CPUtime=1.49 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 1385 0 0 0 149 0 0 0 20 0 1 0 334009054 8413184 1300 33554432000 134512640 135840783 4293630848 4293630208 134550764 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9419/statm: 2054 1300 348 325 0 990 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8216
[startup+3.10018 s]
/proc/loadavg: 1.80 1.03 1.13 3/177 9420
/proc/meminfo: memFree=25663588/32873648 swapFree=6864/6864
[pid=9419] ppid=9417 vsize=8608 CPUtime=3.09 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 1496 0 0 0 309 0 0 0 20 0 1 0 334009054 8814592 1411 33554432000 134512640 135840783 4293630848 4293630208 134551414 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9419/statm: 2152 1411 348 325 0 1088 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8608
[startup+6.3001 s]
/proc/loadavg: 1.82 1.05 1.14 3/177 9420
/proc/meminfo: memFree=25648336/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=9632 CPUtime=6.28 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 1741 0 0 0 628 0 0 0 20 0 1 0 334009054 9863168 1656 33554432000 134512640 135840783 4293630848 4293629152 134547668 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9419/statm: 2408 1656 348 325 0 1344 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 9632
[startup+12.7002 s]
/proc/loadavg: 1.83 1.07 1.14 3/177 9420
/proc/meminfo: memFree=25622212/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=10148 CPUtime=12.68 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 1881 0 0 0 1268 0 0 0 20 0 1 0 334009054 10391552 1796 33554432000 134512640 135840783 4293630848 4293630208 134550804 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9419/statm: 2537 1796 348 325 0 1473 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 10148
[startup+25.5002 s]
/proc/loadavg: 1.87 1.11 1.15 3/177 9420
/proc/meminfo: memFree=25576392/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=10624 CPUtime=25.48 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 1997 0 0 0 2548 0 0 0 20 0 1 0 334009054 10878976 1912 33554432000 134512640 135840783 4293630848 4293630208 134551052 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9419/statm: 2656 1912 348 325 0 1592 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10624
[startup+51.1002 s]
/proc/loadavg: 1.91 1.18 1.17 3/177 9420
/proc/meminfo: memFree=25480136/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=11784 CPUtime=51.07 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 2283 0 0 0 5107 0 0 0 20 0 1 0 334009054 12066816 2198 33554432000 134512640 135840783 4293630848 4293630208 134550869 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9419/statm: 2946 2198 348 325 0 1882 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 11784
[startup+102.306 s]
/proc/loadavg: 1.96 1.31 1.21 3/177 9421
/proc/meminfo: memFree=25010328/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=12520 CPUtime=102.26 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 2474 0 0 0 10226 0 0 0 20 0 1 0 334009054 12820480 2389 33554432000 134512640 135840783 4293630848 4293630208 134550893 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9419/statm: 3130 2389 348 325 0 2066 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 12520
[startup+162.3 s]
/proc/loadavg: 1.98 1.43 1.26 3/177 9421
/proc/meminfo: memFree=24582060/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=13648 CPUtime=162.25 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 2752 0 0 0 16224 1 0 0 20 0 1 0 334009054 13975552 2667 33554432000 134512640 135840783 4293630848 4293630272 134546112 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9419/statm: 3412 2667 348 325 0 2348 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 13648
[startup+222.3 s]
/proc/loadavg: 1.99 1.53 1.30 3/177 9421
/proc/meminfo: memFree=24266632/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=14580 CPUtime=222.23 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 2985 0 0 0 22222 1 0 0 20 0 1 0 334009054 14929920 2900 33554432000 134512640 135840783 4293630848 4293630208 134550779 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/9419/statm: 3645 2900 348 325 0 2581 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 14580
[startup+282.3 s]
/proc/loadavg: 1.99 1.61 1.35 3/177 9421
/proc/meminfo: memFree=24028588/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=14556 CPUtime=282.22 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 2985 0 0 0 28221 1 0 0 20 0 1 0 334009054 14905344 2900 33554432000 134512640 135840783 4293630848 4293629984 1690299 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 3639 2900 348 325 0 2575 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 14556
[startup+342.3 s]
/proc/loadavg: 1.99 1.68 1.38 3/177 9421
/proc/meminfo: memFree=23801408/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=15072 CPUtime=342.21 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3126 0 0 0 34220 1 0 0 20 0 1 0 334009054 15433728 3041 33554432000 134512640 135840783 4293630848 4293630208 134551532 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 3768 3041 348 325 0 2704 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 15072
[startup+402.3 s]
/proc/loadavg: 2.10 1.77 1.43 3/178 9425
/proc/meminfo: memFree=23573208/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=15072 CPUtime=402.2 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3126 0 0 0 40219 1 0 0 20 0 1 0 334009054 15433728 3041 33554432000 134512640 135840783 4293630848 4293630208 134551000 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 3768 3041 348 325 0 2704 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 15072
[startup+462.3 s]
/proc/loadavg: 2.04 1.81 1.46 3/178 9426
/proc/meminfo: memFree=18053220/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=15072 CPUtime=462.19 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3126 0 0 0 46218 1 0 0 20 0 1 0 334009054 15433728 3041 33554432000 134512640 135840783 4293630848 4293630208 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 3768 3041 348 325 0 2704 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 15072
[startup+522.3 s]
/proc/loadavg: 3.91 2.39 1.68 2/178 9426
/proc/meminfo: memFree=14741972/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=16032 CPUtime=522.18 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3353 0 0 0 52217 1 0 0 20 0 1 0 334009054 16416768 3268 33554432000 134512640 135840783 4293630848 4293630208 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 4008 3268 348 325 0 2944 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 16032
[startup+582.3 s]
/proc/loadavg: 4.63 2.87 1.89 3/178 9426
/proc/meminfo: memFree=14742604/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=15904 CPUtime=582.17 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3353 0 0 0 58216 1 0 0 20 0 1 0 334009054 16285696 3250 33554432000 134512640 135840783 4293630848 4293630208 134550764 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 3976 3250 348 325 0 2912 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 15904
[startup+642.306 s]
/proc/loadavg: 3.40 2.88 1.96 3/178 9465
/proc/meminfo: memFree=27371916/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=16112 CPUtime=642.17 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3397 0 0 0 64216 1 0 0 20 0 1 0 334009054 16498688 3288 33554432000 134512640 135840783 4293630848 4293630208 134550942 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 4028 3288 348 325 0 2964 0
Current children cumulated CPU time (s) 642.17
Current children cumulated vsize (KiB) 16112
[startup+702.3 s]
/proc/loadavg: 2.51 2.72 1.96 3/177 9466
/proc/meminfo: memFree=27370568/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=16072 CPUtime=702.15 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3397 0 0 0 70214 1 0 0 20 0 1 0 334009054 16457728 3288 33554432000 134512640 135840783 4293630848 4293630204 134521208 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 4018 3288 348 325 0 2954 0
Current children cumulated CPU time (s) 702.15
Current children cumulated vsize (KiB) 16072
[startup+762.3 s]
/proc/loadavg: 2.19 2.58 1.96 3/177 9466
/proc/meminfo: memFree=27369452/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=16440 CPUtime=762.14 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3488 0 0 0 76213 1 0 0 20 0 1 0 334009054 16834560 3379 33554432000 134512640 135840783 4293630848 4293630068 1690244 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 4110 3379 348 325 0 3046 0
Current children cumulated CPU time (s) 762.14
Current children cumulated vsize (KiB) 16440
[startup+822.3 s]
/proc/loadavg: 2.11 2.49 1.96 3/178 9467
/proc/meminfo: memFree=27368452/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=17144 CPUtime=822.13 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3655 0 0 0 82212 1 0 0 20 0 1 0 334009054 17555456 3546 33554432000 134512640 135840783 4293630848 4293630208 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 4286 3546 348 325 0 3222 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 17144
[startup+882.3 s]
/proc/loadavg: 2.04 2.40 1.96 3/177 9467
/proc/meminfo: memFree=27367716/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=17136 CPUtime=882.12 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3655 0 0 0 88211 1 0 0 20 0 1 0 334009054 17547264 3546 33554432000 134512640 135840783 4293630848 4293630208 134551336 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 4284 3546 348 325 0 3220 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 17136
[startup+942.3 s]
/proc/loadavg: 2.01 2.32 1.96 3/177 9467
/proc/meminfo: memFree=27367592/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=17088 CPUtime=942.11 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3655 0 0 0 94210 1 0 0 20 0 1 0 334009054 17498112 3546 33554432000 134512640 135840783 4293630848 4293630208 134551400 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 4272 3546 348 325 0 3208 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 17088
[startup+1002.3 s]
/proc/loadavg: 2.00 2.26 1.96 3/178 9471
/proc/meminfo: memFree=27367708/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=17048 CPUtime=1002.11 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3655 0 0 0 100210 1 0 0 20 0 1 0 334009054 17457152 3536 33554432000 134512640 135840783 4293630848 4293629936 134575006 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 4262 3536 348 325 0 3198 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 17048
Solver just ended. Dumping a history of the last processes samples
[startup+1024.9 s]
/proc/loadavg: 2.00 2.24 1.96 3/178 9471
/proc/meminfo: memFree=27367460/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=17048 CPUtime=1024.7 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3655 0 0 0 102469 1 0 0 20 0 1 0 334009054 17457152 3536 33554432000 134512640 135840783 4293630848 4293630208 134550902 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 4262 3536 348 325 0 3198 0
Current children cumulated CPU time (s) 1024.7
Current children cumulated vsize (KiB) 17048
[startup+1037.7 s]
/proc/loadavg: 2.00 2.23 1.96 3/177 9471
/proc/meminfo: memFree=27366412/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=17048 CPUtime=1037.5 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3655 0 0 0 103749 1 0 0 20 0 1 0 334009054 17457152 3536 33554432000 134512640 135840783 4293630848 4293630080 1695330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 4262 3536 348 325 0 3198 0
Current children cumulated CPU time (s) 1037.5
Current children cumulated vsize (KiB) 17048
[startup+1044.1 s]
/proc/loadavg: 2.00 2.22 1.96 3/177 9471
/proc/meminfo: memFree=27366660/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=17048 CPUtime=1043.9 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3655 0 0 0 104389 1 0 0 20 0 1 0 334009054 17457152 3536 33554432000 134512640 135840783 4293630848 4293630208 134550779 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 4262 3536 348 325 0 3198 0
Current children cumulated CPU time (s) 1043.9
Current children cumulated vsize (KiB) 17048
[startup+1050.5 s]
/proc/loadavg: 2.00 2.22 1.96 3/177 9471
/proc/meminfo: memFree=27366724/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=17048 CPUtime=1050.3 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3655 0 0 0 105029 1 0 0 20 0 1 0 334009054 17457152 3536 33554432000 134512640 135840783 4293630848 4293630160 134551359 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 4262 3536 348 325 0 3198 0
Current children cumulated CPU time (s) 1050.3
Current children cumulated vsize (KiB) 17048
[startup+1053.71 s]
/proc/loadavg: 2.00 2.22 1.96 3/177 9471
/proc/meminfo: memFree=27366724/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=17048 CPUtime=1053.5 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3655 0 0 0 105349 1 0 0 20 0 1 0 334009054 17457152 3536 33554432000 134512640 135840783 4293630848 4293630208 134550893 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 4262 3536 348 325 0 3198 0
Current children cumulated CPU time (s) 1053.5
Current children cumulated vsize (KiB) 17048
[startup+1054.5 s]
/proc/loadavg: 2.00 2.22 1.96 3/177 9471
/proc/meminfo: memFree=27366724/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=17048 CPUtime=1054.3 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3655 0 0 0 105429 1 0 0 20 0 1 0 334009054 17457152 3536 33554432000 134512640 135840783 4293630848 4293630208 134551330 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 4262 3536 348 325 0 3198 0
Current children cumulated CPU time (s) 1054.3
Current children cumulated vsize (KiB) 17048
[startup+1055.3 s]
/proc/loadavg: 2.00 2.22 1.96 3/177 9471
/proc/meminfo: memFree=27366848/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=17048 CPUtime=1055.1 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3655 0 0 0 105509 1 0 0 20 0 1 0 334009054 17457152 3536 33554432000 134512640 135840783 4293630848 4293630208 134551045 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 4262 3536 348 325 0 3198 0
Current children cumulated CPU time (s) 1055.1
Current children cumulated vsize (KiB) 17048
[startup+1055.7 s]
/proc/loadavg: 2.00 2.22 1.96 3/177 9471
/proc/meminfo: memFree=27366848/32873648 swapFree=6860/6860
[pid=9419] ppid=9417 vsize=17048 CPUtime=1055.5 cores=1,3,5,7
/proc/9419/stat : 9419 (bsolo3.0.17) R 9417 9419 9030 0 -1 4202496 3655 0 0 0 105549 1 0 0 20 0 1 0 334009054 17457152 3536 33554432000 134512640 135840783 4293630848 4293630208 134551182 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/9419/statm: 4262 3536 348 325 0 3198 0
Current children cumulated CPU time (s) 1055.5
Current children cumulated vsize (KiB) 17048
Child status: 0
Real time (s): 1055.8
CPU time (s): 1055.6
CPU user time (s): 1055.59
CPU system time (s): 0.013997
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 17148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1055.59
system time used= 0.013997
maximum resident set size= 14184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3658
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= 12
involuntary context switches= 1277
runsolver used 2.31565 second user time and 5.82111 second system time
The end