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-3731880-1338701078/watcher-3731880-1338701078 -o /tmp/evaluation-result-3731880-1338701078/solver-3731880-1338701078 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3731880-1338701078.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: 2.00 2.00 2.00 3/176 12404
/proc/meminfo: memFree=28407640/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=11132 CPUtime=0 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 336232137 11399168 298 33554432000 134512640 137136520 4289439072 4289437480 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 2783 298 188 641 0 2089 0
[startup+0.00627803 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12404
/proc/meminfo: memFree=28407640/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=11264 CPUtime=0 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 336232137 11534336 306 33554432000 134512640 137136520 4289439072 4289437480 136504572 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 2816 306 190 641 0 2122 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11264
[startup+0.100232 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12404
/proc/meminfo: memFree=28407640/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=12124 CPUtime=0.09 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 729 0 0 0 9 0 0 0 20 0 1 0 336232137 12414976 605 33554432000 134512640 137136520 4289439072 4289438188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 3031 605 197 641 0 2387 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12124
[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12404
/proc/meminfo: memFree=28407640/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=13248 CPUtime=0.29 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 1009 0 0 0 29 0 0 0 20 0 1 0 336232137 13565952 885 33554432000 134512640 137136520 4289439072 4289438188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 3312 885 198 641 0 2668 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13248
[startup+0.700222 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12404
/proc/meminfo: memFree=28407640/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=15028 CPUtime=0.69 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 1445 0 0 0 69 0 0 0 20 0 1 0 336232137 15388672 1321 33554432000 134512640 137136520 4289439072 4289437448 136502032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 3757 1321 198 641 0 3113 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15028
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12405
/proc/meminfo: memFree=28397688/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=18288 CPUtime=1.49 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 2256 0 0 0 149 0 0 0 20 0 1 0 336232137 18726912 2132 33554432000 134512640 137136520 4289439072 4289437352 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 4572 2132 198 641 0 3928 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18288
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12405
/proc/meminfo: memFree=28387380/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=22924 CPUtime=3.09 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 3412 0 0 0 308 1 0 0 20 0 1 0 336232137 23474176 3288 33554432000 134512640 137136520 4289439072 4289437836 136295552 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 5731 3288 198 641 0 5087 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22924
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12405
/proc/meminfo: memFree=28367036/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=29340 CPUtime=6.29 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 5023 0 0 0 628 1 0 0 20 0 1 0 336232137 30044160 4899 33554432000 134512640 137136520 4289439072 4289438188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 7335 4899 198 641 0 6691 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29340
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12405
/proc/meminfo: memFree=28333908/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=40316 CPUtime=12.69 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 7770 0 0 0 1266 3 0 0 20 0 1 0 336232137 41283584 7645 33554432000 134512640 137136520 4289439072 4289438000 134543869 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 10079 7645 198 641 0 9435 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40316
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12405
/proc/meminfo: memFree=28288416/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=55064 CPUtime=25.47 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 11473 0 0 0 2542 5 0 0 20 0 1 0 336232137 56385536 11340 33554432000 134512640 137136520 4289439072 4289438000 134544498 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 13766 11340 198 641 0 13122 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 55064
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12405
/proc/meminfo: memFree=28229484/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=77680 CPUtime=51.06 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 17133 0 0 0 5096 10 0 0 20 0 1 0 336232137 79544320 16985 33554432000 134512640 137136520 4289439072 4289437948 136293435 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 19420 16985 198 641 0 18776 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 77680
[startup+102.306 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12406
/proc/meminfo: memFree=28134984/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=113220 CPUtime=102.25 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 26011 0 0 0 10207 18 0 0 20 0 1 0 336232137 115937280 25856 33554432000 134512640 137136520 4289439072 4289437968 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 28305 25856 198 641 0 27661 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 113220
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12406
/proc/meminfo: memFree=28046476/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=127600 CPUtime=162.24 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 29694 0 0 0 16201 23 0 0 20 0 1 0 336232137 130662400 29465 33554432000 134512640 137136520 4289439072 4289438000 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 31900 29465 198 641 0 31256 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 127600
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12406
/proc/meminfo: memFree=27973964/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=127600 CPUtime=222.23 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 29694 0 0 0 22197 26 0 0 20 0 1 0 336232137 130662400 29465 33554432000 134512640 137136520 4289439072 4289437968 134544104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 31900 29465 198 641 0 31256 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 127600
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12406
/proc/meminfo: memFree=27918192/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=127932 CPUtime=282.21 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 29761 0 0 0 28191 30 0 0 20 0 1 0 336232137 131002368 29532 33554432000 134512640 137136520 4289439072 4289438000 134544122 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 31983 29532 198 641 0 31339 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 127932
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12409
/proc/meminfo: memFree=27871116/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=129648 CPUtime=342.2 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 30204 0 0 0 34187 33 0 0 20 0 1 0 336232137 132759552 29973 33554432000 134512640 137136520 4289439072 4289438000 134543951 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 32412 29973 198 641 0 31768 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 129648
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12410
/proc/meminfo: memFree=27814520/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=142612 CPUtime=402.16 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 33573 0 0 0 40179 37 0 0 20 0 1 0 336232137 146034688 33231 33554432000 134512640 137136520 4289439072 4289438000 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 35653 33231 198 641 0 35009 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 142612
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12410
/proc/meminfo: memFree=27773228/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=142612 CPUtime=462.16 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 33573 0 0 0 46176 40 0 0 20 0 1 0 336232137 146034688 33231 33554432000 134512640 137136520 4289439072 4289437992 135982520 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 35653 33231 198 641 0 35009 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 142612
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12410
/proc/meminfo: memFree=27745204/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=143272 CPUtime=522.15 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 33721 0 0 0 52173 42 0 0 20 0 1 0 336232137 146710528 33379 33554432000 134512640 137136520 4289439072 4289438000 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 35818 33379 198 641 0 35174 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 143272
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12410
/proc/meminfo: memFree=27702176/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=165764 CPUtime=582.14 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 39335 0 0 0 58165 49 0 0 20 0 1 0 336232137 169742336 38993 33554432000 134512640 137136520 4289439072 4289438000 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 41441 38993 198 641 0 40797 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 165764
[startup+642.3 s]
################
# More data... #
################
/proc/12404/statm: 56943 54511 198 641 0 56299 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 227772
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12416
/proc/meminfo: memFree=27390124/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=227776 CPUtime=1481.97 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 55208 0 0 0 148101 96 0 0 20 0 1 0 336232137 233242624 54512 33554432000 134512640 137136520 4289439072 4289438000 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 56944 54512 198 641 0 56300 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 227776
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12419
/proc/meminfo: memFree=27364420/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=241144 CPUtime=1541.95 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 58565 0 0 0 154096 99 0 0 20 0 1 0 336232137 246931456 57855 33554432000 134512640 137136520 4289439072 4289438000 134544703 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 60286 57855 198 641 0 59642 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 241144
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 12419
/proc/meminfo: memFree=27342728/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1601.94 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 160093 101 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 244052
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27315324/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1661.92 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 166089 103 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 244052
[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 12420
/proc/meminfo: memFree=27314456/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1721.92 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 172087 105 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134544604 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 244052
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 12420
/proc/meminfo: memFree=27314208/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1781.91 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 178084 107 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134543986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 244052
############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1797.91 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1797.91 s) to the 'lost time'.
[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1797.91 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 179683 108 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 244052
[startup+1798.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/12404/stat : -- couldn't open stat file --/proc/12404/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1791.52 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 179044 108 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (KiB) 244052
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1794.72 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 179364 108 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438188 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 244052
[startup+1796.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1796.31 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 179523 108 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1796.31
Current children cumulated vsize (KiB) 244052
[startup+1797.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1797.11 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 179603 108 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134544384 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1797.11
Current children cumulated vsize (KiB) 244052
[startup+1797.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1797.51 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 179643 108 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 244052
[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=12402 vsize=244052 CPUtime=1797.91 cores=0,2,4,6
/proc/12404/stat : 12404 (bsolo) R 12402 12404 5561 0 -1 4202496 59414 0 0 0 179683 108 0 0 20 0 1 0 336232137 249909248 58573 33554432000 134512640 137136520 4289439072 4289438000 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12404/statm: 61013 58573 198 641 0 60369 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 244052
[startup+1798.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12420
/proc/meminfo: memFree=27313960/32873844 swapFree=7632/7632
[pid=12404] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/12404/stat : -- couldn't open stat file --/proc/12404/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12404 and gives
# childrusage.ru_utime.tv_sec=1796
# childrusage.ru_utime.tv_usec=934824
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=84835
# CPU time returned by wait4() is 1798.02
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1797.91
# lost CPU user time (s): 1796.83
# lost CPU system time (s): 1.08
Real time (s): 1798.4
CPU time (s): 1797.91
CPU user time (s): 1796.83
CPU system time (s): 1.08
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 244576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.93
system time used= 1.08483
maximum resident set size= 234816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59416
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= 107
involuntary context switches= 1847
runsolver used 2.59461 second user time and 7.2219 second system time
The end