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-3462624-1307649565/watcher-3462624-1307649565 -o /tmp/evaluation-result-3462624-1307649565/solver-3462624-1307649565 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462624-1307649565.opb
running on 4 cores: 0,2,4,6
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.96 2.00 2.00 2/177 9875
/proc/meminfo: memFree=32625592/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=11056 CPUtime=0 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 365 0 0 0 0 0 0 0 25 0 1 0 876555248 11321344 317 33554432000 134512640 137138936 4288385744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 2764 317 192 642 0 2120 0
[startup+0.0948189 s]
/proc/loadavg: 1.96 2.00 2.00 2/177 9875
/proc/meminfo: memFree=32625592/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=11836 CPUtime=0.09 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 577 0 0 0 9 0 0 0 25 0 1 0 876555248 12120064 529 33554432000 134512640 137138936 4288385744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9875/statm: 2959 529 192 642 0 2315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11836
[startup+0.100813 s]
/proc/loadavg: 1.96 2.00 2.00 2/177 9875
/proc/meminfo: memFree=32625592/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=11964 CPUtime=0.09 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 594 0 0 0 9 0 0 0 25 0 1 0 876555248 12251136 546 33554432000 134512640 137138936 4288385744 18446744073709551615 134600343 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9875/statm: 2991 546 192 642 0 2347 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11964
[startup+0.300713 s]
/proc/loadavg: 1.96 2.00 2.00 2/177 9875
/proc/meminfo: memFree=32625592/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=13508 CPUtime=0.29 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 978 0 0 0 29 0 0 0 25 0 1 0 876555248 13832192 930 33554432000 134512640 137138936 4288385744 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9875/statm: 3377 930 192 642 0 2733 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13508
[startup+0.700708 s]
/proc/loadavg: 1.96 2.00 2.00 2/177 9875
/proc/meminfo: memFree=32625592/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=15436 CPUtime=0.69 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 1480 0 0 0 69 0 0 0 25 0 1 0 876555248 15806464 1432 33554432000 134512640 137138936 4288385744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9875/statm: 3859 1432 192 642 0 3215 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15436
[startup+1.50058 s]
/proc/loadavg: 1.96 2.00 2.00 3/178 9876
/proc/meminfo: memFree=32619408/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=18384 CPUtime=1.49 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 2192 0 0 0 149 0 0 0 25 0 1 0 876555248 18825216 2144 33554432000 134512640 137138936 4288385744 18446744073709551615 134618208 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9875/statm: 4596 2144 192 642 0 3952 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18384
[startup+3.10017 s]
/proc/loadavg: 1.96 2.00 2.00 3/178 9876
/proc/meminfo: memFree=32615040/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=21724 CPUtime=3.09 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 3049 0 0 0 308 1 0 0 25 0 1 0 876555248 22245376 3001 33554432000 134512640 137138936 4288385744 18446744073709551615 136504016 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9875/statm: 5431 3001 192 642 0 4787 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21724
[startup+6.30072 s]
/proc/loadavg: 1.96 2.00 2.00 3/178 9952
/proc/meminfo: memFree=32609616/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=23624 CPUtime=6.29 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 3513 0 0 0 628 1 0 0 25 0 1 0 876555248 24190976 3465 33554432000 134512640 137138936 4288385744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9875/statm: 5906 3465 192 642 0 5262 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23624
[startup+12.7006 s]
/proc/loadavg: 1.96 2.00 2.00 3/178 9953
/proc/meminfo: memFree=32601964/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=25516 CPUtime=12.69 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 3988 0 0 0 1266 3 0 0 25 0 1 0 876555248 26128384 3940 33554432000 134512640 137138936 4288385744 18446744073709551615 136297625 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9875/statm: 6379 3940 192 642 0 5735 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25516
[startup+25.5004 s]
/proc/loadavg: 1.97 2.00 2.00 3/178 9953
/proc/meminfo: memFree=32598872/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=26536 CPUtime=25.49 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 4246 0 0 0 2545 4 0 0 25 0 1 0 876555248 27172864 4198 33554432000 134512640 137138936 4288385744 18446744073709551615 136501994 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 6634 4198 192 642 0 5990 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26536
[startup+51.1008 s]
/proc/loadavg: 1.98 2.00 2.00 3/178 9954
/proc/meminfo: memFree=32590248/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=31820 CPUtime=51.09 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 5570 0 0 0 5101 8 0 0 25 0 1 0 876555248 32583680 5522 33554432000 134512640 137138936 4288385744 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 7955 5522 192 642 0 7311 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 31820
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 9964
/proc/meminfo: memFree=32584872/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=31932 CPUtime=102.3 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 5601 0 0 0 10217 13 0 0 25 0 1 0 876555248 32698368 5553 33554432000 134512640 137138936 4288385744 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 7983 5553 192 642 0 7339 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 31932
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 9966
/proc/meminfo: memFree=32580640/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=34156 CPUtime=162.29 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 6158 0 0 0 16211 18 0 0 25 0 1 0 876555248 34975744 6110 33554432000 134512640 137138936 4288385744 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 8539 6110 192 642 0 7895 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 34156
[startup+222.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/178 9967
/proc/meminfo: memFree=32578348/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=34820 CPUtime=222.29 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 6324 0 0 0 22207 22 0 0 25 0 1 0 876555248 35655680 6276 33554432000 134512640 137138936 4288385744 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 8705 6276 192 642 0 8061 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 34820
[startup+282.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 9969
/proc/meminfo: memFree=32575952/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=35852 CPUtime=282.29 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 6585 0 0 0 28203 26 0 0 25 0 1 0 876555248 36712448 6537 33554432000 134512640 137138936 4288385744 18446744073709551615 134600086 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 8963 6537 192 642 0 8319 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 35852
[startup+342.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 9973
/proc/meminfo: memFree=32571828/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=342.29 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 34196 33 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 37804
[startup+402.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 9975
/proc/meminfo: memFree=32570668/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=402.29 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 40190 39 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 37804
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 9977
/proc/meminfo: memFree=32570724/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=462.29 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 46183 46 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 136520963 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 37804
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9978
/proc/meminfo: memFree=32570804/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=522.3 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 52178 52 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 37804
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9980
/proc/meminfo: memFree=32570864/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=582.3 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 58173 57 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 37804
[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9981
/proc/meminfo: memFree=32570816/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=642.31 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 64167 64 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 37804
[startup+702.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9983
/proc/meminfo: memFree=32570888/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=702.31 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 70161 70 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 37804
[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9985
/proc/meminfo: memFree=32571092/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=762.31 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 76157 74 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 37804
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9986
/proc/meminfo: memFree=32570920/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=822.31 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 82151 80 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 37804
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9988
/proc/meminfo: memFree=32570992/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=882.31 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 88141 90 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 37804
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9989
/proc/meminfo: memFree=32570932/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=942.31 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 94135 96 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 37804
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9991
/proc/meminfo: memFree=32570736/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=1002.31 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 100130 101 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 37804
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9993
/proc/meminfo: memFree=32570700/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=1062.31 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 106125 106 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 37804
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9994
/proc/meminfo: memFree=32570768/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=1122.31 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 112120 111 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 37804
Solver just ended. Dumping a history of the last processes samples
[startup+1126.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9994
/proc/meminfo: memFree=32570768/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=1126.32 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 112521 111 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 1126.32
Current children cumulated vsize (KiB) 37804
[startup+1132.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9995
/proc/meminfo: memFree=32570392/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=1132.72 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 113160 112 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 1132.72
Current children cumulated vsize (KiB) 37804
[startup+1134.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9995
/proc/meminfo: memFree=32570632/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=1134.31 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 113319 112 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 1134.31
Current children cumulated vsize (KiB) 37804
[startup+1135.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9995
/proc/meminfo: memFree=32570632/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=1135.12 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 113400 112 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 1135.12
Current children cumulated vsize (KiB) 37804
[startup+1135.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9995
/proc/meminfo: memFree=32570632/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=37804 CPUtime=1135.91 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) R 9873 9875 8181 0 -1 4202496 7081 0 0 0 113479 112 0 0 25 0 1 0 876555248 38711296 7028 33554432000 134512640 137138936 4288385744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9875/statm: 9451 7028 192 642 0 8807 0
Current children cumulated CPU time (s) 1135.91
Current children cumulated vsize (KiB) 37804
[startup+1136.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9995
/proc/meminfo: memFree=32570632/32950928 swapFree=67052072/67111528
[pid=9875] ppid=9873 vsize=0 CPUtime=1136.11 cores=0,2,4,6
/proc/9875/stat : 9875 (bsolo) S 9873 9875 8181 0 -1 4202500 7082 0 0 0 113499 112 0 0 25 0 1 0 876555248 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/9875/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1136.11
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1136.1
CPU time (s): 1136.12
CPU user time (s): 1135
CPU system time (s): 1.12583
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 37836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1135
system time used= 1.12583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7082
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= 3718
runsolver used 2.00469 second user time and 3.9324 second system time
The end