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-3742167-1338782005/watcher-3742167-1338782005 -o /tmp/evaluation-result-3742167-1338782005/solver-3742167-1338782005 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742167-1338782005.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 31703
/proc/meminfo: memFree=25214728/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=11688 CPUtime=0 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 399 0 0 0 0 0 0 0 20 0 1 0 344325900 11968512 353 33554432000 134512640 137136520 4289155040 4289153432 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 2922 354 186 641 0 2161 0
[startup+0.106328 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31703
/proc/meminfo: memFree=25214728/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=13420 CPUtime=0.1 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 1079 0 0 0 10 0 0 0 20 0 1 0 344325900 13742080 916 33554432000 134512640 137136520 4289155040 4289064796 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 3355 916 189 641 0 2711 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13420
[startup+0.20022 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31703
/proc/meminfo: memFree=25214728/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=13420 CPUtime=0.19 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 1079 0 0 0 19 0 0 0 20 0 1 0 344325900 13742080 916 33554432000 134512640 137136520 4289155040 4289064796 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 3355 916 189 641 0 2711 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13420
[startup+0.300208 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31703
/proc/meminfo: memFree=25214728/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=13420 CPUtime=0.29 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 1080 0 0 0 29 0 0 0 20 0 1 0 344325900 13742080 917 33554432000 134512640 137136520 4289155040 4289064796 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 3355 917 189 641 0 2711 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13420
[startup+0.700184 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31703
/proc/meminfo: memFree=25214728/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=13420 CPUtime=0.69 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 1080 0 0 0 69 0 0 0 20 0 1 0 344325900 13742080 917 33554432000 134512640 137136520 4289155040 4289064796 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 3355 917 189 641 0 2711 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13420
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31704
/proc/meminfo: memFree=25208496/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=14064 CPUtime=1.49 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 1357 0 0 0 149 0 0 0 20 0 1 0 344325900 14401536 1061 33554432000 134512640 137136520 4289155040 4289064588 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 3516 1061 193 641 0 2872 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14064
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31704
/proc/meminfo: memFree=25204280/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=17108 CPUtime=3.09 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 2149 0 0 0 301 8 0 0 20 0 1 0 344325900 17518592 1853 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 4277 1853 198 641 0 3633 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17108
[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31704
/proc/meminfo: memFree=25193864/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=24256 CPUtime=6.29 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 3926 0 0 0 611 18 0 0 20 0 1 0 344325900 24838144 3630 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 6064 3630 198 641 0 5420 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24256
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31704
/proc/meminfo: memFree=25169848/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=38996 CPUtime=12.69 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 7617 0 0 0 1235 34 0 0 20 0 1 0 344325900 39931904 7321 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 9749 7321 198 641 0 9105 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38996
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31704
/proc/meminfo: memFree=25124572/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=63136 CPUtime=25.48 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 13639 0 0 0 2496 52 0 0 20 0 1 0 344325900 64651264 13343 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 15784 13343 198 641 0 15140 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 63136
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31704
/proc/meminfo: memFree=25059300/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=96556 CPUtime=51.08 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 22011 0 0 0 5032 76 0 0 20 0 1 0 344325900 98873344 21712 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 24139 21712 198 641 0 23495 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 96556
[startup+102.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 31704
/proc/meminfo: memFree=24949728/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=155588 CPUtime=102.28 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 36852 0 0 0 10115 113 0 0 20 0 1 0 344325900 159322112 36468 33554432000 134512640 137136520 4289155040 4289153568 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 38897 36468 198 641 0 38253 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 155588
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31704
/proc/meminfo: memFree=24851672/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=211560 CPUtime=162.27 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 51002 0 0 0 16080 147 0 0 20 0 1 0 344325900 216637440 50476 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 52890 50476 198 641 0 52246 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 211560
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31704
/proc/meminfo: memFree=24758816/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=256520 CPUtime=222.26 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 62233 0 0 0 22053 173 0 0 20 0 1 0 344325900 262676480 61707 33554432000 134512640 137136520 4289155040 4289153568 134600585 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 64130 61707 198 641 0 63486 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 256520
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31704
/proc/meminfo: memFree=24661628/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=294076 CPUtime=282.24 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 71670 0 0 0 28030 194 0 0 20 0 1 0 344325900 301133824 71089 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 73519 71089 198 641 0 72875 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 294076
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31705
/proc/meminfo: memFree=24566672/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=327492 CPUtime=342.24 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 80064 0 0 0 34004 220 0 0 20 0 1 0 344325900 335351808 79446 33554432000 134512640 137136520 4289155040 4289153968 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 81873 79446 198 641 0 81229 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 327492
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31708
/proc/meminfo: memFree=24471196/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=359624 CPUtime=402.23 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 88141 0 0 0 39984 239 0 0 20 0 1 0 344325900 368254976 87493 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 89906 87493 198 641 0 89262 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 359624
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31731
/proc/meminfo: memFree=24366244/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=408592 CPUtime=462.22 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 100879 0 0 0 45967 255 0 0 20 0 1 0 344325900 418398208 99727 33554432000 134512640 137136520 4289155040 4289153808 134576272 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 102148 99727 198 641 0 101504 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 408592
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31731
/proc/meminfo: memFree=24276188/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=446020 CPUtime=522.21 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 110245 0 0 0 51954 267 0 0 20 0 1 0 344325900 456724480 109076 33554432000 134512640 137136520 4289155040 4289153968 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 111505 109076 198 641 0 110861 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 446020
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31731
/proc/meminfo: memFree=24177876/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=490384 CPUtime=582.2 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 121507 0 0 0 57940 280 0 0 20 0 1 0 344325900 502153216 120165 33554432000 134512640 137136520 4289155040 4289153968 134544145 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 122596 120165 198 641 0 121952 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 490384
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23411244/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=785632 CPUtime=1122.12 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 199406 0 0 0 111834 378 0 0 20 0 1 0 344325900 804487168 193983 33554432000 134512640 137136520 4289155040 4289153968 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 196408 193983 198 641 0 195764 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 785632
[startup+1182.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/177 31785
/proc/meminfo: memFree=25409988/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=811320 CPUtime=1182.11 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 205864 0 0 0 117824 387 0 0 20 0 1 0 344325900 830791680 200405 33554432000 134512640 137136520 4289155040 4289153968 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 202830 200405 198 641 0 202186 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 811320
[startup+1242.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/177 31786
/proc/meminfo: memFree=25295704/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=848688 CPUtime=1242.07 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 215655 0 0 0 123812 395 0 0 20 0 1 0 344325900 869056512 209769 33554432000 134512640 137136520 4289155040 4289153968 134544116 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 212172 209769 198 641 0 211528 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 848688
[startup+1302.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/177 31786
/proc/meminfo: memFree=25139628/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=944344 CPUtime=1302.03 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 243566 0 0 0 129798 405 0 0 20 0 1 0 344325900 967008256 233678 33554432000 134512640 137136520 4289155040 4289153968 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 236086 233678 198 641 0 235442 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 944344
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/177 31786
/proc/meminfo: memFree=24960600/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1049672 CPUtime=1361.99 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 278522 0 0 0 135782 417 0 0 20 0 1 0 344325900 1074864128 260015 33554432000 134512640 137136520 4289155040 4289153968 134543918 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 262418 260015 198 641 0 261774 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1049672
[startup+1422.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 31786
/proc/meminfo: memFree=24772524/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1145344 CPUtime=1421.96 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 312927 0 0 0 141766 430 0 0 20 0 1 0 344325900 1172832256 283932 33554432000 134512640 137136520 4289155040 4289153592 136502032 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 286336 283932 198 641 0 285692 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1145344
[startup+1482.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 31786
/proc/meminfo: memFree=24673848/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1204040 CPUtime=1481.92 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 335302 0 0 0 147754 438 0 0 20 0 1 0 344325900 1232936960 298589 33554432000 134512640 137136520 4289155040 4289153968 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 301010 298589 198 641 0 300366 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1204040
[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 31787
/proc/meminfo: memFree=24610268/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1228340 CPUtime=1541.88 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 341431 0 0 0 153741 447 0 0 20 0 1 0 344325900 1257820160 304669 33554432000 134512640 137136520 4289155040 4289153968 134543951 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 307085 304669 198 641 0 306441 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1228340
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 31790
/proc/meminfo: memFree=24516780/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1246568 CPUtime=1601.84 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 346076 0 0 0 159728 456 0 0 20 0 1 0 344325900 1276485632 309224 33554432000 134512640 137136520 4289155040 4289153592 136502148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 311642 309224 198 641 0 310998 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1246568
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31790
/proc/meminfo: memFree=24365688/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1352896 CPUtime=1661.81 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 382443 0 0 0 165714 467 0 0 20 0 1 0 344325900 1385365504 335796 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 338224 335796 198 641 0 337580 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1352896
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31790
/proc/meminfo: memFree=24261680/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1409116 CPUtime=1721.77 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 400885 0 0 0 171699 478 0 0 20 0 1 0 344325900 1442934784 349870 33554432000 134512640 137136520 4289155040 4289153968 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 352279 349870 198 641 0 351635 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1409116
[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 31790
/proc/meminfo: memFree=24199460/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1427636 CPUtime=1781.74 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 405575 0 0 0 177689 485 0 0 20 0 1 0 344325900 1461899264 354488 33554432000 134512640 137136520 4289155040 4289153968 134543959 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 356909 354488 198 641 0 356265 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1427636
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31790
/proc/meminfo: memFree=24190020/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1432780 CPUtime=1791.45 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 406878 0 0 0 178658 487 0 0 20 0 1 0 344325900 1467166720 355782 33554432000 134512640 137136520 4289155040 4289153968 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 358195 355782 198 641 0 357551 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 1432780
[startup+1795.2 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31790
/proc/meminfo: memFree=24186424/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1433512 CPUtime=1794.64 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 407053 0 0 0 178977 487 0 0 20 0 1 0 344325900 1467916288 355957 33554432000 134512640 137136520 4289155040 4289153968 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 358378 355957 198 641 0 357734 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 1433512
[startup+1796.8 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31790
/proc/meminfo: memFree=24186052/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1433696 CPUtime=1796.24 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 407105 0 0 0 179137 487 0 0 20 0 1 0 344325900 1468104704 356009 33554432000 134512640 137136520 4289155040 4289153968 134544390 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 358424 356009 198 641 0 357780 0
Current children cumulated CPU time (s) 1796.24
Current children cumulated vsize (KiB) 1433696
[startup+1797.6 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31790
/proc/meminfo: memFree=24184688/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1434104 CPUtime=1797.04 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 407217 0 0 0 179217 487 0 0 20 0 1 0 344325900 1468522496 356121 33554432000 134512640 137136520 4289155040 4289153808 134573554 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 358526 356121 198 641 0 357882 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (KiB) 1434104
[startup+1798 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31790
/proc/meminfo: memFree=24184688/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1434460 CPUtime=1797.43 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 407297 0 0 0 179256 487 0 0 20 0 1 0 344325900 1468887040 356201 33554432000 134512640 137136520 4289155040 4289153968 134543869 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 358615 356201 198 641 0 357971 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (KiB) 1434460
[startup+1798.4 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31790
/proc/meminfo: memFree=24184688/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1434964 CPUtime=1797.83 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 407433 0 0 0 179296 487 0 0 20 0 1 0 344325900 1469403136 356337 33554432000 134512640 137136520 4289155040 4289154156 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 358741 356337 198 641 0 358097 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 1434964
[startup+1798.5 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31790
/proc/meminfo: memFree=24183200/32873648 swapFree=6864/6864
[pid=31703] ppid=31701 vsize=1435224 CPUtime=1797.94 cores=0,2,4,6
/proc/31703/stat : 31703 (bsolo) R 31701 31703 30743 0 -1 4202496 407481 0 0 0 179307 487 0 0 20 0 1 0 344325900 1469669376 356385 33554432000 134512640 137136520 4289155040 4289153968 134543948 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/31703/statm: 358806 356385 198 641 0 358162 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1435224
Child status: 0
Real time (s): 1798.58
CPU time (s): 1798.03
CPU user time (s): 1793.12
CPU system time (s): 4.90725
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 1435224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.12
system time used= 4.90725
maximum resident set size= 1425708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 407524
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= 425
involuntary context switches= 1835
runsolver used 2.58661 second user time and 7.2309 second system time
The end