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-3743509-1338783861/watcher-3743509-1338783861 -o /tmp/evaluation-result-3743509-1338783861/solver-3743509-1338783861 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743509-1338783861.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: 0.92 0.98 1.16 3/171 2854
/proc/meminfo: memFree=26715492/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=2428 CPUtime=0 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) D 2851 2854 2813 0 -1 4194304 76 0 0 0 0 0 0 0 20 0 1 0 344511596 2486272 30 33554432000 134512640 135840783 4293397312 4293395304 9588983 0 0 4096 0 18446744071579943789 0 0 17 1 0 0 0 0 0
/proc/2854/statm: 607 30 24 325 0 25 0
[startup+0.0422149 s]
/proc/loadavg: 0.92 0.98 1.16 3/171 2854
/proc/meminfo: memFree=26715492/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4476 CPUtime=0 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) D 2851 2854 2813 0 -1 4194304 166 0 3 0 0 0 0 0 20 0 1 0 344511596 4583424 119 33554432000 134512640 135840783 4293397312 4293396232 9528641 0 0 4096 0 18446744071579943789 0 0 17 1 0 0 3 0 0
/proc/2854/statm: 1119 119 101 325 0 39 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4476
[startup+0.10022 s]
/proc/loadavg: 0.92 0.98 1.16 3/171 2854
/proc/meminfo: memFree=26715492/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=10068 CPUtime=0.04 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 1348 0 4 0 4 0 0 0 20 0 1 0 344511596 10309632 1248 33554432000 134512640 135840783 4293397312 4293394528 10097959 0 0 4096 16384 0 0 0 17 1 0 0 4 0 0
/proc/2854/statm: 2517 1248 474 325 0 803 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10068
[startup+0.300191 s]
/proc/loadavg: 0.92 0.98 1.16 3/171 2854
/proc/meminfo: memFree=26715492/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=16932 CPUtime=0.24 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 3469 0 4 0 24 0 0 0 20 0 1 0 344511596 17338368 3290 33554432000 134512640 135840783 4293397312 4292914584 134585953 0 0 4096 16384 0 0 0 17 1 0 0 4 0 0
/proc/2854/statm: 4233 3290 972 325 0 2519 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 16932
[startup+0.700175 s]
/proc/loadavg: 0.92 0.98 1.16 3/171 2854
/proc/meminfo: memFree=26715492/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=20744 CPUtime=0.64 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 5151 0 4 0 64 0 0 0 20 0 1 0 344511596 21241856 4322 33554432000 134512640 135840783 4293397312 4292911004 12170288 0 0 4096 16384 0 0 0 17 1 0 0 4 0 0
/proc/2854/statm: 5186 4322 342 325 0 4122 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 20744
[startup+1.50024 s]
/proc/loadavg: 0.92 0.98 1.16 3/175 2858
/proc/meminfo: memFree=26681964/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=20744 CPUtime=1.44 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 5152 0 4 0 144 0 0 0 20 0 1 0 344511596 21241856 4323 33554432000 134512640 135840783 4293397312 4292911004 12170288 0 0 4096 16384 0 0 0 17 1 0 0 4 0 0
/proc/2854/statm: 5186 4323 342 325 0 4122 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 20744
[startup+3.10018 s]
/proc/loadavg: 0.92 0.98 1.16 3/175 2858
/proc/meminfo: memFree=26681080/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=20744 CPUtime=3.03 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 5152 0 4 0 303 0 0 0 20 0 1 0 344511596 21241856 4323 33554432000 134512640 135840783 4293397312 4292911004 12170288 0 0 4096 16384 0 0 0 17 1 0 0 4 0 0
/proc/2854/statm: 5186 4323 342 325 0 4122 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 20744
[startup+6.30014 s]
/proc/loadavg: 1.01 1.00 1.16 3/175 2858
/proc/meminfo: memFree=26681600/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=20876 CPUtime=6.23 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 5166 0 4 0 623 0 0 0 20 0 1 0 344511596 21377024 4337 33554432000 134512640 135840783 4293397312 4292911004 12170288 0 0 4096 16384 0 0 0 17 1 0 0 4 0 0
/proc/2854/statm: 5219 4337 342 325 0 4155 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 20876
[startup+12.7003 s]
/proc/loadavg: 1.09 1.02 1.17 3/175 2858
/proc/meminfo: memFree=26680132/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=21404 CPUtime=12.63 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 5316 0 4 0 1263 0 0 0 20 0 1 0 344511596 21917696 4487 33554432000 134512640 135840783 4293397312 4292911004 12170288 0 0 4096 16384 0 0 0 17 1 0 0 4 0 0
/proc/2854/statm: 5351 4487 342 325 0 4287 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 21404
[startup+25.5002 s]
/proc/loadavg: 1.29 1.06 1.18 3/175 2858
/proc/meminfo: memFree=26681016/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=21404 CPUtime=25.43 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 5317 0 4 0 2542 1 0 0 20 0 1 0 344511596 21917696 4487 33554432000 134512640 135840783 4293397312 4292910864 134551104 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 5351 4487 342 325 0 4287 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 21404
[startup+51.1002 s]
/proc/loadavg: 1.53 1.14 1.20 3/175 2858
/proc/meminfo: memFree=26636720/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=49196 CPUtime=51.02 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 12963 0 4 0 5098 4 0 0 20 0 1 0 344511596 50376704 11448 33554432000 134512640 135840783 4293397312 4293396672 134550863 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 12299 11448 349 325 0 11235 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 49196
[startup+102.307 s]
/proc/loadavg: 1.83 1.28 1.25 3/175 2858
/proc/meminfo: memFree=26544364/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=97340 CPUtime=102.21 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 24976 0 4 0 10215 6 0 0 20 0 1 0 344511596 99676160 23461 33554432000 134512640 135840783 4293397312 4293396672 134551079 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 24335 23461 349 325 0 23271 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 97340
[startup+162.3 s]
/proc/loadavg: 1.94 1.41 1.29 3/175 2858
/proc/meminfo: memFree=26457004/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=137272 CPUtime=162.18 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 34993 0 4 0 16210 8 0 0 20 0 1 0 344511596 140566528 33462 33554432000 134512640 135840783 4293397312 4293396672 134550872 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 34318 33462 349 325 0 33254 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 137272
[startup+222.3 s]
/proc/loadavg: 1.97 1.52 1.33 3/176 2859
/proc/meminfo: memFree=26363900/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=189404 CPUtime=222.14 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 48052 0 4 0 22202 12 0 0 20 0 1 0 344511596 193949696 46476 33554432000 134512640 135840783 4293397312 4293396672 134551076 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 47351 46476 349 325 0 46287 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 189404
[startup+282.3 s]
/proc/loadavg: 2.02 1.62 1.38 3/175 2860
/proc/meminfo: memFree=26259692/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=238652 CPUtime=282.13 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 60395 0 4 0 28197 16 0 0 20 0 1 0 344511596 244379648 58813 33554432000 134512640 135840783 4293397312 4293396672 134551084 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 59663 58813 349 325 0 58599 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 238652
[startup+342.3 s]
/proc/loadavg: 2.01 1.68 1.41 3/176 2863
/proc/meminfo: memFree=26009924/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=408268 CPUtime=342.11 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 102768 0 4 0 34187 24 0 0 20 0 1 0 344511596 418066432 101186 33554432000 134512640 135840783 4293397312 4293396624 134551186 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 102067 101186 349 325 0 101003 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 408268
[startup+402.3 s]
/proc/loadavg: 2.08 1.77 1.46 3/175 2863
/proc/meminfo: memFree=25318812/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=1042368 CPUtime=402.11 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 261293 0 4 0 40162 49 0 0 20 0 1 0 344511596 1067384832 259711 33554432000 134512640 135840783 4293397312 4293396624 134551104 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 260592 259711 349 325 0 259528 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 1042368
[startup+462.3 s]
/proc/loadavg: 2.03 1.81 1.49 3/175 2863
/proc/meminfo: memFree=24720292/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=1542540 CPUtime=462.1 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 386298 0 4 0 46139 71 0 0 20 0 1 0 344511596 1579560960 384717 33554432000 134512640 135840783 4293397312 4293237104 134586518 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 385635 384733 349 325 0 384571 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 1542540
[startup+522.3 s]
/proc/loadavg: 2.01 1.84 1.52 3/175 2863
/proc/meminfo: memFree=24484968/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=1726340 CPUtime=522.09 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 432286 0 4 0 52130 79 0 0 20 0 1 0 344511596 1767772160 430704 33554432000 134512640 135840783 4293397312 4293237184 134586849 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 431585 430704 349 325 0 430521 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 1726340
[startup+582.3 s]
/proc/loadavg: 2.00 1.86 1.54 3/175 2864
/proc/meminfo: memFree=23989244/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=2167000 CPUtime=582.08 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 542451 0 4 0 58111 97 0 0 20 0 1 0 344511596 2219008000 540869 33554432000 134512640 135840783 4293397312 4293396624 134551048 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 541750 540869 349 325 0 540686 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 2167000
[startup+642.3 s]
/proc/loadavg: 2.00 1.89 1.57 3/175 2864
/proc/meminfo: memFree=23445852/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=2633184 CPUtime=642.08 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 658997 0 4 0 64094 114 0 0 20 0 1 0 344511596 2696380416 657415 33554432000 134512640 135840783 4293397312 4293396608 134572687 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 658296 657415 349 325 0 657232 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 2633184
[startup+702.3 s]
/proc/loadavg: 2.00 1.90 1.59 3/175 2864
/proc/meminfo: memFree=23068772/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=3008796 CPUtime=702.06 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 752900 0 4 0 70078 128 0 0 20 0 1 0 344511596 3081007104 751318 33554432000 134512640 135840783 4293397312 4293396624 134551330 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 752199 751318 349 325 0 751135 0
Current children cumulated CPU time (s) 702.06
Current children cumulated vsize (KiB) 3008796
[startup+762.307 s]
/proc/loadavg: 2.00 1.92 1.62 3/175 2864
/proc/meminfo: memFree=22882004/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=3181700 CPUtime=762.04 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 796154 0 4 0 76069 135 0 0 20 0 1 0 344511596 3258060800 794547 33554432000 134512640 135840783 4293397312 4293396624 134551347 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 795425 794547 349 325 0 794361 0
Current children cumulated CPU time (s) 762.04
Current children cumulated vsize (KiB) 3181700
[startup+822.3 s]
/proc/loadavg: 2.00 1.93 1.64 3/175 2864
/proc/meminfo: memFree=22809492/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=3248328 CPUtime=822.02 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 812831 0 4 0 82064 138 0 0 20 0 1 0 344511596 3326287872 811223 33554432000 134512640 135840783 4293397312 4293394416 10097959 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 812082 811223 349 325 0 811018 0
Current children cumulated CPU time (s) 822.02
Current children cumulated vsize (KiB) 3248328
[startup+882.3 s]
/proc/loadavg: 2.08 1.97 1.67 3/174 2864
/proc/meminfo: memFree=22712800/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=3320072 CPUtime=882.01 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 830777 0 4 0 88059 142 0 0 20 0 1 0 344511596 3399753728 829168 33554432000 134512640 135840783 4293397312 4293396608 134572689 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 830018 829168 349 325 0 828954 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 3320072
[startup+942.3 s]
/proc/loadavg: 2.03 1.97 1.68 3/176 2868
/proc/meminfo: memFree=22016528/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=3963200 CPUtime=941.98 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4202496 991436 0 4 0 94033 165 0 0 20 0 1 0 344511596 4058316800 989827 33554432000 134512640 135840783 4293397312 4293396624 134551084 0 0 4096 16384 0 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 990800 989827 349 325 0 989736 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 3963200
[startup+1002.3 s]
/proc/loadavg: 2.47 2.07 1.73 2/176 2869
/proc/meminfo: memFree=14733012/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=984.86 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 374 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 984.86
Current children cumulated vsize (KiB) 4185468
[startup+1062.3 s]
/proc/loadavg: 4.07 2.60 1.94 2/176 2869
/proc/meminfo: memFree=13369536/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468
[startup+1122.3 s]
/proc/loadavg: 4.72 3.06 2.13 2/176 2869
/proc/meminfo: memFree=13364224/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468
Solver just ended. Dumping a history of the last processes samples
[startup+1127.2 s]
/proc/loadavg: 4.74 3.09 2.15 2/176 2869
/proc/meminfo: memFree=13363588/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468
[startup+1140 s]
/proc/loadavg: 4.80 3.19 2.20 2/176 2869
/proc/meminfo: memFree=13361960/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468
[startup+1146.4 s]
/proc/loadavg: 4.81 3.22 2.21 2/176 2869
/proc/meminfo: memFree=13361324/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468
[startup+1149.6 s]
/proc/loadavg: 4.83 3.25 2.22 2/176 2869
/proc/meminfo: memFree=13361324/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468
[startup+1152.8 s]
/proc/loadavg: 4.83 3.25 2.22 2/176 2869
/proc/meminfo: memFree=13360828/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468
[startup+1154.4 s]
/proc/loadavg: 4.84 3.27 2.24 2/176 2869
/proc/meminfo: memFree=13360952/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468
[startup+1154.81 s]
/proc/loadavg: 4.84 3.27 2.24 4/176 2869
/proc/meminfo: memFree=13363060/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=4185468 CPUtime=985.46 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) S 2851 2854 2813 0 -1 4204032 1046637 0 4 0 98112 434 0 0 20 0 1 0 344511596 4285919232 1045027 33554432000 134512640 135840783 4293397312 4293236568 12170288 0 0 4096 16384 18446744071580380219 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 1046367 1045027 378 325 0 1045303 0
Current children cumulated CPU time (s) 985.46
Current children cumulated vsize (KiB) 4185468
[startup+1155.2 s]
/proc/loadavg: 4.84 3.27 2.24 4/176 2869
/proc/meminfo: memFree=13363060/32873624 swapFree=7112/7112
[pid=2854] ppid=2851 vsize=0 CPUtime=985.61 cores=1,3,5,7
/proc/2854/stat : 2854 (bsolo3.0.17) R 2851 2854 2813 0 -1 4204036 1046637 0 4 0 98112 449 0 0 20 0 1 0 344511596 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 4 0 0
/proc/2854/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 985.61
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1155.25
CPU time (s): 985.673
CPU user time (s): 981.13
CPU system time (s): 4.54331
CPU usage (%): 85.3211
Max. virtual memory (cumulated for all children) (KiB): 4185468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 981.13
system time used= 4.54331
maximum resident set size= 4180108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1046637
page faults= 4
swaps= 0
block input operations= 904
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1018987
involuntary context switches= 1111
runsolver used 2.03469 second user time and 5.46717 second system time
The end