runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3462555-1307181211/watcher-3462555-1307181211 -o /tmp/evaluation-result-3462555-1307181211/solver-3462555-1307181211 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462555-1307181211.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.03 2.00 2/443 26182
/proc/meminfo: memFree=29729112/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=10924 CPUtime=0 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 353 0 0 0 0 0 0 0 25 0 1 0 908351743 11186176 305 33554432000 134512640 137138936 4294270096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 2731 306 192 642 0 2087 0
[startup+0.0835021 s]
/proc/loadavg: 2.00 2.03 2.00 2/443 26182
/proc/meminfo: memFree=29729112/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=11704 CPUtime=0.08 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 540 0 0 0 8 0 0 0 25 0 1 0 908351743 11984896 492 33554432000 134512640 137138936 4294270096 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 2926 492 192 642 0 2282 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11704
[startup+0.100491 s]
/proc/loadavg: 2.00 2.03 2.00 2/443 26182
/proc/meminfo: memFree=29729112/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=11828 CPUtime=0.09 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 561 0 0 0 9 0 0 0 25 0 1 0 908351743 12111872 513 33554432000 134512640 137138936 4294270096 18446744073709551615 134598922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 2957 513 192 642 0 2313 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11828
[startup+0.300471 s]
/proc/loadavg: 2.00 2.03 2.00 2/443 26182
/proc/meminfo: memFree=29729112/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=13908 CPUtime=0.29 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 1095 0 0 0 29 0 0 0 25 0 1 0 908351743 14241792 1047 33554432000 134512640 137138936 4294270096 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 3477 1047 192 642 0 2833 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13908
[startup+0.700392 s]
/proc/loadavg: 2.00 2.03 2.00 2/443 26182
/proc/meminfo: memFree=29729112/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=16868 CPUtime=0.69 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 1821 0 0 0 68 1 0 0 25 0 1 0 908351743 17272832 1773 33554432000 134512640 137138936 4294270096 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 4217 1773 192 642 0 3573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16868
[startup+1.50025 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 26183
/proc/meminfo: memFree=29727764/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=18288 CPUtime=1.49 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 2174 0 0 0 148 1 0 0 25 0 1 0 908351743 18726912 2126 33554432000 134512640 137138936 4294270096 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 4572 2126 192 642 0 3928 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18288
[startup+3.10093 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 26183
/proc/meminfo: memFree=29724044/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=19196 CPUtime=3.09 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 2402 0 0 0 308 1 0 0 25 0 1 0 908351743 19656704 2354 33554432000 134512640 137138936 4294270096 18446744073709551615 134539347 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 4799 2355 192 642 0 4155 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19196
[startup+6.30033 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 26184
/proc/meminfo: memFree=29717224/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=20744 CPUtime=6.3 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 2796 0 0 0 627 3 0 0 25 0 1 0 908351743 21241856 2748 33554432000 134512640 137138936 4294270096 18446744073709551615 134542776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 5186 2748 192 642 0 4542 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 20744
[startup+12.7011 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 26184
/proc/meminfo: memFree=29696156/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=20744 CPUtime=12.7 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 2796 0 0 0 1265 5 0 0 25 0 1 0 908351743 21241856 2748 33554432000 134512640 137138936 4294270096 18446744073709551615 136504249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 5186 2748 192 642 0 4542 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 20744
[startup+25.5007 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 26184
/proc/meminfo: memFree=29694692/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=20876 CPUtime=25.49 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 2837 0 0 0 2541 8 0 0 25 0 1 0 908351743 21377024 2789 33554432000 134512640 137138936 4294270096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 5219 2789 192 642 0 4575 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20876
[startup+51.1009 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 26185
/proc/meminfo: memFree=29723476/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=22688 CPUtime=51.09 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 3290 0 0 0 5095 14 0 0 25 0 1 0 908351743 23232512 3242 33554432000 134512640 137138936 4294270096 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 5672 3242 192 642 0 5028 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22688
[startup+102.316 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 26186
/proc/meminfo: memFree=29717500/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=24672 CPUtime=102.31 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 3792 0 0 0 10205 26 0 0 25 0 1 0 908351743 25264128 3743 33554432000 134512640 137138936 4294270096 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 6168 3743 192 642 0 5524 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 24672
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 26188
/proc/meminfo: memFree=29688212/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=26532 CPUtime=162.29 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 4239 0 0 0 16192 37 0 0 25 0 1 0 908351743 27168768 4190 33554432000 134512640 137138936 4294270096 18446744073709551615 134615997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 6633 4190 192 642 0 5989 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 26532
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 26189
/proc/meminfo: memFree=29686940/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=26888 CPUtime=222.3 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 4332 0 0 0 22182 48 0 0 25 0 1 0 908351743 27533312 4283 33554432000 134512640 137138936 4294270096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 6722 4283 192 642 0 6078 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 26888
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 26191
/proc/meminfo: memFree=29712452/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=28992 CPUtime=282.3 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 4872 0 0 0 28170 60 0 0 25 0 1 0 908351743 29687808 4823 33554432000 134512640 137138936 4294270096 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 7248 4823 192 642 0 6604 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 28992
[startup+342.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/444 26220
/proc/meminfo: memFree=29796704/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=29216 CPUtime=342.31 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 4916 0 0 0 34161 70 0 0 25 0 1 0 908351743 29917184 4867 33554432000 134512640 137138936 4294270096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 7304 4867 192 642 0 6660 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 29216
[startup+402.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/444 26221
/proc/meminfo: memFree=29795292/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=30564 CPUtime=402.3 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5253 0 0 0 40153 77 0 0 25 0 1 0 908351743 31297536 5204 33554432000 134512640 137138936 4294270096 18446744073709551615 134607001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 7641 5204 192 642 0 6997 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 30564
[startup+462.301 s]
/proc/loadavg: 2.14 2.03 2.01 3/444 26233
/proc/meminfo: memFree=29793764/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=30548 CPUtime=462.31 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5253 0 0 0 46147 84 0 0 25 0 1 0 908351743 31281152 5204 33554432000 134512640 137138936 4294270096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 7637 5204 192 642 0 6993 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 30548
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.00 4/444 26234
/proc/meminfo: memFree=29788356/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33284 CPUtime=522.31 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5936 0 0 0 52141 90 0 0 25 0 1 0 908351743 34082816 5887 33554432000 134512640 137138936 4294270096 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8321 5887 192 642 0 7677 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 33284
[startup+582.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/444 26236
/proc/meminfo: memFree=29788204/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33276 CPUtime=582.31 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5938 0 0 0 58133 98 0 0 25 0 1 0 908351743 34074624 5889 33554432000 134512640 137138936 4294270096 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8319 5889 192 642 0 7675 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 33276
[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 26238
/proc/meminfo: memFree=29788176/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33276 CPUtime=642.33 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5938 0 0 0 64126 107 0 0 25 0 1 0 908351743 34074624 5889 33554432000 134512640 137138936 4294270096 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8319 5889 192 642 0 7675 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 33276
[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 26239
/proc/meminfo: memFree=29788132/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33276 CPUtime=702.31 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5938 0 0 0 70117 114 0 0 25 0 1 0 908351743 34074624 5889 33554432000 134512640 137138936 4294270096 18446744073709551615 136520979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8319 5889 192 642 0 7675 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 33276
[startup+762.317 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 26241
/proc/meminfo: memFree=29788232/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33276 CPUtime=762.34 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5938 0 0 0 76110 124 0 0 25 0 1 0 908351743 34074624 5889 33554432000 134512640 137138936 4294270096 18446744073709551615 134599660 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8319 5889 192 642 0 7675 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 33276
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 26242
/proc/meminfo: memFree=29786228/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33276 CPUtime=822.33 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5938 0 0 0 82099 134 0 0 25 0 1 0 908351743 34074624 5889 33554432000 134512640 137138936 4294270096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8319 5889 192 642 0 7675 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 33276
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 26245
/proc/meminfo: memFree=29785088/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33276 CPUtime=882.33 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5938 0 0 0 88091 142 0 0 25 0 1 0 908351743 34074624 5889 33554432000 134512640 137138936 4294270096 18446744073709551615 135984582 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8319 5889 192 642 0 7675 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 33276
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 26247
/proc/meminfo: memFree=29784812/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=942.33 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 94084 149 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 33280
Solver just ended. Dumping a history of the last processes samples
[startup+947.116 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 26247
/proc/meminfo: memFree=29784812/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=947.14 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 94565 149 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 947.14
Current children cumulated vsize (KiB) 33280
[startup+972.701 s]
/proc/loadavg: 2.20 2.05 2.01 3/444 26247
/proc/meminfo: memFree=29784680/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=972.73 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 97120 153 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134618218 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 972.73
Current children cumulated vsize (KiB) 33280
[startup+979.1 s]
/proc/loadavg: 2.17 2.05 2.01 3/444 26248
/proc/meminfo: memFree=29784804/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=979.13 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 97760 153 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 979.13
Current children cumulated vsize (KiB) 33280
[startup+982.317 s]
/proc/loadavg: 2.17 2.05 2.01 3/444 26248
/proc/meminfo: memFree=29784680/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=982.34 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 98081 153 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 982.34
Current children cumulated vsize (KiB) 33280
[startup+983.9 s]
/proc/loadavg: 2.17 2.05 2.01 3/444 26248
/proc/meminfo: memFree=29784792/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=983.93 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 98239 154 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134600314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 983.93
Current children cumulated vsize (KiB) 33280
[startup+984.7 s]
/proc/loadavg: 2.16 2.04 2.01 3/444 26248
/proc/meminfo: memFree=29784792/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=984.73 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 98319 154 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 984.73
Current children cumulated vsize (KiB) 33280
[startup+985.1 s]
/proc/loadavg: 2.16 2.04 2.01 3/444 26248
/proc/meminfo: memFree=29784792/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=985.12 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 98358 154 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 985.12
Current children cumulated vsize (KiB) 33280
[startup+985.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/444 26248
/proc/meminfo: memFree=29784792/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=985.32 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 98378 154 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 985.32
Current children cumulated vsize (KiB) 33280
Child status: 0
Real time (s): 985.307
CPU time (s): 985.341
CPU user time (s): 983.791
CPU system time (s): 1.54976
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 33284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 983.791
system time used= 1.54976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5940
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= 5
involuntary context switches= 1470
runsolver used 4.13037 second user time and 10.2044 second system time
The end