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-3708361-1338245414/watcher-3708361-1338245414 -o /tmp/evaluation-result-3708361-1338245414/solver-3708361-1338245414 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708361-1338245414.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.01 2.01 2.00 3/177 5222
/proc/meminfo: memFree=31297592/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/5222/stat : 5222 (runsolver) D 5220 5222 4099 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 290666830 12095488 52 33554432000 4194304 5436572 140735670120880 140735670117176 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/5222/statm: 2953 52 31 304 0 2645 0
[startup+0.0659561 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5222
/proc/meminfo: memFree=31297592/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=15924 CPUtime=0.05 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 1147 0 0 0 5 0 0 0 20 0 1 0 290666830 16306176 1101 33554432000 134512640 137138936 4289374096 4289372448 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 3981 1103 354 642 0 2728 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15924
[startup+0.10016 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5222
/proc/meminfo: memFree=31297592/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=17944 CPUtime=0.09 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 1777 0 0 0 9 0 0 0 20 0 1 0 290666830 18374656 1691 33554432000 134512640 137138936 4289374096 4289372376 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 4486 1691 455 642 0 3233 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17944
[startup+0.30014 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5222
/proc/meminfo: memFree=31297592/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=26608 CPUtime=0.28 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 4814 0 0 0 28 0 0 0 20 0 1 0 290666830 27246592 4040 33554432000 134512640 137138936 4289374096 4288881516 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 6652 4040 184 642 0 6008 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 26608
[startup+0.700143 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5222
/proc/meminfo: memFree=31297592/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=26608 CPUtime=0.68 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 4816 0 0 0 68 0 0 0 20 0 1 0 290666830 27246592 4042 33554432000 134512640 137138936 4289374096 4288881112 136504449 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 6652 4042 184 642 0 6008 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 26608
[startup+1.50023 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5223
/proc/meminfo: memFree=31281216/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=27268 CPUtime=1.48 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 5001 0 0 0 148 0 0 0 20 0 1 0 290666830 27922432 4227 33554432000 134512640 137138936 4289374096 4288881112 136504207 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 6817 4227 184 642 0 6173 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 27268
[startup+3.10014 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5223
/proc/meminfo: memFree=31280644/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=27268 CPUtime=3.09 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 5003 0 0 0 308 1 0 0 20 0 1 0 290666830 27922432 4229 33554432000 134512640 137138936 4289374096 4288881328 134542412 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 6817 4229 184 642 0 6173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27268
[startup+6.30014 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5223
/proc/meminfo: memFree=31280156/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=27268 CPUtime=6.29 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 5003 0 0 0 628 1 0 0 20 0 1 0 290666830 27922432 4229 33554432000 134512640 137138936 4289374096 4288881328 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 6817 4229 184 642 0 6173 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27268
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 5223
/proc/meminfo: memFree=31279224/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=27268 CPUtime=12.68 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 5003 0 0 0 1267 1 0 0 20 0 1 0 290666830 27922432 4229 33554432000 134512640 137138936 4289374096 4288881516 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 6817 4229 184 642 0 6173 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27268
[startup+25.5001 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 5223
/proc/meminfo: memFree=31276936/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=27848 CPUtime=25.48 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 56728 0 0 0 2535 13 0 0 20 0 1 0 290666830 28516352 4440 33554432000 134512640 137138936 4289374096 4289372640 134618964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 6962 4440 192 642 0 6318 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27848
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5223
/proc/meminfo: memFree=31273664/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=29380 CPUtime=51.07 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 84252 0 0 0 5088 19 0 0 20 0 1 0 290666830 30085120 4823 33554432000 134512640 137138936 4289374096 4289372520 134606683 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 7345 4823 192 642 0 6701 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 29380
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5223
/proc/meminfo: memFree=31266968/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=31380 CPUtime=102.27 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 155102 0 0 0 10198 29 0 0 20 0 1 0 290666830 32133120 5346 33554432000 134512640 137138936 4289374096 4289372520 134606670 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 7845 5346 192 642 0 7201 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 31380
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 5223
/proc/meminfo: memFree=31260156/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=35896 CPUtime=162.26 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 347439 0 0 0 16170 56 0 0 20 0 1 0 290666830 36757504 6469 33554432000 134512640 137138936 4289374096 4289372520 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 8974 6469 192 642 0 8330 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 35896
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5224
/proc/meminfo: memFree=31253648/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=38972 CPUtime=222.24 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 513035 0 0 0 22146 78 0 0 20 0 1 0 290666830 39907328 7224 33554432000 134512640 137138936 4289374096 4289291072 134602746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 9743 7224 192 642 0 9099 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 38972
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5224
/proc/meminfo: memFree=31246088/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=42572 CPUtime=282.23 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 657111 0 0 0 28125 98 0 0 20 0 1 0 290666830 43593728 8156 33554432000 134512640 137138936 4289374096 4289373024 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 10643 8156 192 642 0 9999 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 42572
[startup+342.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 5224
/proc/meminfo: memFree=31235108/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=48596 CPUtime=342.22 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 806774 0 0 0 34105 117 0 0 20 0 1 0 290666830 49762304 9650 33554432000 134512640 137138936 4289374096 4289372848 134575759 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 12149 9650 192 642 0 11505 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 48596
[startup+402.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5224
/proc/meminfo: memFree=31227852/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=51692 CPUtime=402.21 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 1014214 0 0 0 40080 141 0 0 20 0 1 0 290666830 52932608 10424 33554432000 134512640 137138936 4289374096 4289372848 134575626 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 12923 10424 192 642 0 12279 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 51692
[startup+462.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 5224
/proc/meminfo: memFree=31220096/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=54524 CPUtime=462.2 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 1105344 0 0 0 46067 153 0 0 20 0 1 0 290666830 55832576 11112 33554432000 134512640 137138936 4289374096 4289372520 134606686 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 13631 11112 192 642 0 12987 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 54524
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5224
/proc/meminfo: memFree=31213216/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=58312 CPUtime=522.19 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 1413902 0 0 0 52021 198 0 0 20 0 1 0 290666830 59711488 12090 33554432000 134512640 137138936 4289374096 4289373212 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 14578 12090 192 642 0 13934 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 58312
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5225
/proc/meminfo: memFree=31200520/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=65448 CPUtime=582.18 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 1951927 0 0 0 57946 272 0 0 20 0 1 0 290666830 67018752 13863 33554432000 134512640 137138936 4289374096 4289372520 134606691 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 16362 13863 192 642 0 15718 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 65448
[startup+642.3 s]
################
# More data... #
################
[pid=5222] ppid=5220 vsize=146368 CPUtime=1422.02 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 8003577 0 0 0 141078 1124 0 0 20 0 1 0 290666830 149880832 34104 33554432000 134512640 137138936 4289374096 4289372588 136700814 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 36592 34104 192 642 0 35948 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 146368
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5294
/proc/meminfo: memFree=31012612/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=150120 CPUtime=1482 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 8426166 0 0 0 147016 1184 0 0 20 0 1 0 290666830 153722880 35031 33554432000 134512640 137138936 4289374096 4289372520 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 37530 35031 192 642 0 36886 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 150120
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5294
/proc/meminfo: memFree=31005876/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=158060 CPUtime=1541.98 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 8711488 0 0 0 152968 1230 0 0 20 0 1 0 290666830 161853440 36998 33554432000 134512640 137138936 4289374096 4289372376 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 39557 37014 192 642 0 38913 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 158060
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5294
/proc/meminfo: memFree=30982004/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=177040 CPUtime=1601.97 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 8896141 0 0 0 158936 1261 0 0 20 0 1 0 290666830 181288960 41761 33554432000 134512640 137138936 4289374096 4289372520 134606697 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 44260 41761 192 642 0 43616 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 177040
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 5294
/proc/meminfo: memFree=30961568/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=192148 CPUtime=1661.97 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 9095557 0 0 0 164907 1290 0 0 20 0 1 0 290666830 196759552 45519 33554432000 134512640 137138936 4289374096 4289372592 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 48037 45519 192 642 0 47393 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 192148
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5294
/proc/meminfo: memFree=30945936/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=207840 CPUtime=1721.96 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 9239598 0 0 0 170884 1312 0 0 20 0 1 0 290666830 212828160 49473 33554432000 134512640 137138936 4289374096 4289372808 136504225 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 51960 49473 192 642 0 51316 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 207840
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5295
/proc/meminfo: memFree=30926644/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=226468 CPUtime=1781.92 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 9414453 0 0 0 176855 1337 0 0 20 0 1 0 290666830 231903232 54080 33554432000 134512640 137138936 4289374096 4289372624 134602746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 56617 54088 192 642 0 55973 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 226468
############
# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (1797.92 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (1797.92 s) to the 'lost time'.
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5298
/proc/meminfo: memFree=30923664/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=229648 CPUtime=1797.92 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 9463521 0 0 0 178446 1346 0 0 20 0 1 0 290666830 235159552 54911 33554432000 134512640 137138936 4289374096 4289372640 134607560 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 57412 54911 192 642 0 56768 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 229648
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5298
/proc/meminfo: memFree=30960092/32873648 swapFree=7116/7116
[pid=5222] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/5222/stat : -- couldn't open stat file --/proc/5222/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/178 5298
/proc/meminfo: memFree=30924148/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=228664 CPUtime=1791.53 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 9443095 0 0 0 177811 1342 0 0 20 0 1 0 290666830 234151936 54676 33554432000 134512640 137138936 4289374096 4289372592 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 57166 54676 192 642 0 56522 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 228664
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5298
/proc/meminfo: memFree=30923904/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=229192 CPUtime=1794.73 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 9458389 0 0 0 178128 1345 0 0 20 0 1 0 290666830 234692608 54778 33554432000 134512640 137138936 4289374096 4289372520 134606839 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 57298 54778 192 642 0 56654 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 229192
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5298
/proc/meminfo: memFree=30923904/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=229176 CPUtime=1796.32 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 9460645 0 0 0 178287 1345 0 0 20 0 1 0 290666830 234676224 54777 33554432000 134512640 137138936 4289374096 4289372840 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 57294 54777 192 642 0 56650 0
Current children cumulated CPU time (s) 1796.32
Current children cumulated vsize (KiB) 229176
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5298
/proc/meminfo: memFree=30923664/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=229488 CPUtime=1797.12 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 9463485 0 0 0 178366 1346 0 0 20 0 1 0 290666830 234995712 54875 33554432000 134512640 137138936 4289374096 4289373024 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 57372 54875 192 642 0 56728 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 229488
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5298
/proc/meminfo: memFree=30923664/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=229648 CPUtime=1797.52 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 9463503 0 0 0 178406 1346 0 0 20 0 1 0 290666830 235159552 54893 33554432000 134512640 137138936 4289374096 4289372676 136501673 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 57412 54893 192 642 0 56768 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 229648
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5298
/proc/meminfo: memFree=30923664/32873648 swapFree=7116/7116
[pid=5222] ppid=5220 vsize=229648 CPUtime=1797.92 cores=0,2,4,6
/proc/5222/stat : 5222 (bsolo) R 5220 5222 4099 0 -1 4202496 9463521 0 0 0 178446 1346 0 0 20 0 1 0 290666830 235159552 54911 33554432000 134512640 137138936 4289374096 4289372640 134607560 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/5222/statm: 57412 54911 192 642 0 56768 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 229648
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5298
/proc/meminfo: memFree=30960092/32873648 swapFree=7116/7116
[pid=5222] ppid=-1 vsize=0 CPUtime=0 cores=
/proc/5222/stat : -- couldn't open stat file --/proc/5222/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 5222 and gives
# childrusage.ru_utime.tv_sec=1784
# childrusage.ru_utime.tv_usec=567704
# childrusage.ru_stime.tv_sec=13
# childrusage.ru_stime.tv_usec=465952
# CPU time returned by wait4() is 1798.03
# 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.92
# lost CPU user time (s): 1784.46
# lost CPU system time (s): 13.46
Real time (s): 1798.4
CPU time (s): 1797.92
CPU user time (s): 1784.46
CPU system time (s): 13.46
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 229648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.57
system time used= 13.466
maximum resident set size= 219672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9463528
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= 101
involuntary context switches= 1950
runsolver used 2.76258 second user time and 7.05293 second system time
The end