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-3708359-1338240753/watcher-3708359-1338240753 -o /tmp/evaluation-result-3708359-1338240753/solver-3708359-1338240753 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708359-1338240753.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 25484
/proc/meminfo: memFree=30955100/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=21468 CPUtime=0 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 340 0 0 0 0 0 0 0 20 0 1 0 290199876 21983232 294 33554432000 134512640 137138936 4293867856 4293866072 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25484/statm: 5367 294 174 642 0 4048 0
[startup+0.0448339 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25484
/proc/meminfo: memFree=30955100/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=16640 CPUtime=0.04 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 1237 0 0 0 4 0 0 0 20 0 1 0 290199876 17039360 1151 33554432000 134512640 137138936 4293867856 4293865432 136660686 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25484/statm: 4160 1151 285 642 0 2841 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16640
[startup+0.100218 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25484
/proc/meminfo: memFree=30955100/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=18308 CPUtime=0.09 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 1844 0 0 0 9 0 0 0 20 0 1 0 290199876 18747392 1679 33554432000 134512640 137138936 4293867856 4293866104 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25484/statm: 4577 1679 443 642 0 3258 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18308
[startup+0.300194 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25484
/proc/meminfo: memFree=30955100/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=27148 CPUtime=0.29 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 5102 0 0 0 29 0 0 0 20 0 1 0 290199876 27799552 4205 33554432000 134512640 137138936 4293867856 4293380944 134542128 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25484/statm: 6787 4205 184 642 0 6143 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27148
[startup+0.700173 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25484
/proc/meminfo: memFree=30955100/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=27148 CPUtime=0.69 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 5121 0 0 0 69 0 0 0 20 0 1 0 290199876 27799552 4224 33554432000 134512640 137138936 4293867856 4293381132 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25484/statm: 6787 4224 184 642 0 6143 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27148
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25485
/proc/meminfo: memFree=30938584/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=27148 CPUtime=1.49 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 5121 0 0 0 148 1 0 0 20 0 1 0 290199876 27799552 4224 33554432000 134512640 137138936 4293867856 4293381132 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 6787 4224 184 642 0 6143 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27148
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25485
/proc/meminfo: memFree=30938088/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=27148 CPUtime=3.09 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 5121 0 0 0 308 1 0 0 20 0 1 0 290199876 27799552 4224 33554432000 134512640 137138936 4293867856 4293380644 136500388 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 6787 4224 184 642 0 6143 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27148
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25485
/proc/meminfo: memFree=30937964/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=27412 CPUtime=6.28 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 5174 0 0 0 627 1 0 0 20 0 1 0 290199876 28069888 4277 33554432000 134512640 137138936 4293867856 4293381132 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 6853 4277 184 642 0 6209 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27412
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25485
/proc/meminfo: memFree=30937376/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=27544 CPUtime=12.68 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 5223 0 0 0 1267 1 0 0 20 0 1 0 290199876 28205056 4326 33554432000 134512640 137138936 4293867856 4293381132 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 6886 4326 184 642 0 6242 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27544
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25485
/proc/meminfo: memFree=30936508/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=27544 CPUtime=25.48 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 5223 0 0 0 2546 2 0 0 20 0 1 0 290199876 28205056 4326 33554432000 134512640 137138936 4293867856 4293380944 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 6886 4326 184 642 0 6242 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27544
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25485
/proc/meminfo: memFree=30933196/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=29904 CPUtime=51.07 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 95851 0 0 0 5085 22 0 0 20 0 1 0 290199876 30621696 4885 33554432000 134512640 137138936 4293867856 4293866372 134551457 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 7476 4885 192 642 0 6832 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29904
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25485
/proc/meminfo: memFree=30918988/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=30768 CPUtime=102.27 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 586385 0 0 0 10143 84 0 0 20 0 1 0 290199876 31506432 5171 33554432000 134512640 137138936 4293867856 4293866464 134552089 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 7692 5171 192 642 0 7048 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 30768
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25485
/proc/meminfo: memFree=30901048/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=35348 CPUtime=162.26 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 1160184 0 0 0 16067 159 0 0 20 0 1 0 290199876 36196352 6316 33554432000 134512640 137138936 4293867856 4293866372 134551207 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 8837 6316 192 642 0 8193 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 35348
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25485
/proc/meminfo: memFree=30887576/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=36476 CPUtime=222.25 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 1773235 0 0 0 21982 243 0 0 20 0 1 0 290199876 37351424 6630 33554432000 134512640 137138936 4293867856 4293866280 134606839 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 9119 6630 192 642 0 8475 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 36476
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 25485
/proc/meminfo: memFree=30880504/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=37620 CPUtime=282.24 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 2519371 0 0 0 27867 357 0 0 20 0 1 0 290199876 38522880 6917 33554432000 134512640 137138936 4293867856 4293866784 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 9405 6917 192 642 0 8761 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 37620
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25486
/proc/meminfo: memFree=30872620/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=38764 CPUtime=342.23 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 3219181 0 0 0 33762 461 0 0 20 0 1 0 290199876 39694336 7185 33554432000 134512640 137138936 4293867856 4293866136 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 9691 7185 192 642 0 9047 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 38764
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25486
/proc/meminfo: memFree=30864124/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=41080 CPUtime=402.22 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 4054470 0 0 0 39626 596 0 0 20 0 1 0 290199876 42065920 7750 33554432000 134512640 137138936 4293867856 4293866372 134551362 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 10270 7750 192 642 0 9626 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 41080
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25489
/proc/meminfo: memFree=30855356/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=41960 CPUtime=462.21 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 4701853 0 0 0 45529 692 0 0 20 0 1 0 290199876 42967040 7970 33554432000 134512640 137138936 4293867856 4293866280 134606620 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 10490 7970 192 642 0 9846 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 41960
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25489
/proc/meminfo: memFree=30847056/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=44240 CPUtime=522.2 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 5449638 0 0 0 51420 800 0 0 20 0 1 0 290199876 45301760 8540 33554432000 134512640 137138936 4293867856 4293866464 134552089 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 11060 8540 192 642 0 10416 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 44240
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25489
/proc/meminfo: memFree=30840284/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=45180 CPUtime=582.19 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 6107467 0 0 0 57321 898 0 0 20 0 1 0 290199876 46264320 8695 33554432000 134512640 137138936 4293867856 4293866384 134603271 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 11295 8702 192 642 0 10651 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 45180
[startup+642.3 s]
################
# More data... #
################
[pid=25484] ppid=25482 vsize=62760 CPUtime=1422.07 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 19451452 0 0 0 139533 2674 0 0 20 0 1 0 290199876 64266240 13202 33554432000 134512640 137138936 4293867856 4293866136 136504518 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 15690 13202 192 642 0 15046 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 62760
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 25544
/proc/meminfo: memFree=30920532/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=63584 CPUtime=1482.05 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 20335934 0 0 0 145405 2800 0 0 20 0 1 0 290199876 65110016 13408 33554432000 134512640 137138936 4293867856 4293866280 134606598 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 15896 13408 192 642 0 15252 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 63584
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25545
/proc/meminfo: memFree=30908248/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=71464 CPUtime=1542.05 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 21058424 0 0 0 151299 2906 0 0 20 0 1 0 290199876 73179136 15346 33554432000 134512640 137138936 4293867856 4293866372 134551101 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 17866 15346 192 642 0 17222 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 71464
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25545
/proc/meminfo: memFree=30899000/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=74836 CPUtime=1602.03 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 21698507 0 0 0 157200 3003 0 0 20 0 1 0 290199876 76632064 16189 33554432000 134512640 137138936 4293867856 4293866352 134618200 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 18709 16189 192 642 0 18065 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 74836
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25548
/proc/meminfo: memFree=30887636/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=79568 CPUtime=1662.02 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 22333423 0 0 0 163102 3100 0 0 20 0 1 0 290199876 81477632 17404 33554432000 134512640 137138936 4293867856 4293866352 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 19892 17404 192 642 0 19248 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 79568
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25571
/proc/meminfo: memFree=30876336/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=85360 CPUtime=1722.01 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 22998712 0 0 0 169000 3201 0 0 20 0 1 0 290199876 87408640 18820 33554432000 134512640 137138936 4293867856 4293866372 134550957 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 21340 18820 192 642 0 20696 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 85360
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25571
/proc/meminfo: memFree=30865796/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=88628 CPUtime=1782.01 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 23584519 0 0 0 174909 3292 0 0 20 0 1 0 290199876 90755072 19645 33554432000 134512640 137138936 4293867856 4293866352 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 22157 19645 192 642 0 21513 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 88628
############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1798 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1798 s) to the 'lost time'.
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25571
/proc/meminfo: memFree=30863068/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=91172 CPUtime=1798 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 23714707 0 0 0 176490 3310 0 0 20 0 1 0 290199876 93360128 20273 33554432000 134512640 137138936 4293867856 4293866384 134603100 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 22793 20273 192 642 0 22149 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 91172
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25571
/proc/meminfo: memFree=30862820/32873844 swapFree=6080/6080
[pid=25484] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/25484/stat : -- couldn't open stat file --/proc/25484/statm: 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.00 2.00 2.00 3/177 25571
/proc/meminfo: memFree=30864060/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=89532 CPUtime=1791.61 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 23662595 0 0 0 175859 3302 0 0 20 0 1 0 290199876 91680768 19895 33554432000 134512640 137138936 4293867856 4293866352 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 22383 19895 192 642 0 21739 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 89532
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25571
/proc/meminfo: memFree=30863936/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=89628 CPUtime=1794.81 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 23687857 0 0 0 176175 3306 0 0 20 0 1 0 290199876 91779072 19919 33554432000 134512640 137138936 4293867856 4293866280 134606839 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 22407 19919 192 642 0 21763 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 89628
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25571
/proc/meminfo: memFree=30862324/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=91016 CPUtime=1796.41 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 23702218 0 0 0 176332 3309 0 0 20 0 1 0 290199876 93200384 20234 33554432000 134512640 137138936 4293867856 4293866384 134603105 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 22754 20234 192 642 0 22110 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 91016
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25571
/proc/meminfo: memFree=30863068/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=90008 CPUtime=1797.2 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 23708890 0 0 0 176411 3309 0 0 20 0 1 0 290199876 92168192 19982 33554432000 134512640 137138936 4293867856 4293866280 134606982 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 22502 19982 192 642 0 21858 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (KiB) 90008
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25571
/proc/meminfo: memFree=30863068/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=90384 CPUtime=1797.6 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 23712204 0 0 0 176450 3310 0 0 20 0 1 0 290199876 92553216 20076 33554432000 134512640 137138936 4293867856 4293478696 134600022 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 22596 20076 192 642 0 21952 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (KiB) 90384
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25571
/proc/meminfo: memFree=30863068/32873844 swapFree=6080/6080
[pid=25484] ppid=25482 vsize=91172 CPUtime=1798 cores=0,2,4,6
/proc/25484/stat : 25484 (bsolo) R 25482 25484 24091 0 -1 4202496 23714707 0 0 0 176490 3310 0 0 20 0 1 0 290199876 93360128 20273 33554432000 134512640 137138936 4293867856 4293866384 134603100 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25484/statm: 22793 20273 192 642 0 22149 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 91172
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25571
/proc/meminfo: memFree=30862820/32873844 swapFree=6080/6080
[pid=25484] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/25484/stat : -- couldn't open stat file --/proc/25484/statm: 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 25484 and gives
# childrusage.ru_utime.tv_sec=1765
# childrusage.ru_utime.tv_usec=4678
# childrusage.ru_stime.tv_sec=33
# childrusage.ru_stime.tv_usec=109966
# CPU time returned by wait4() is 1798.11
# 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): 1798
# lost CPU user time (s): 1764.9
# lost CPU system time (s): 33.1
Real time (s): 1798.4
CPU time (s): 1798
CPU user time (s): 1764.9
CPU system time (s): 33.1
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 91172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1765
system time used= 33.11
maximum resident set size= 81092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23715376
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= 35
involuntary context switches= 1936
runsolver used 2.69059 second user time and 7.12592 second system time
The end