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-3463650-1307177294/watcher-3463650-1307177294 -o /tmp/evaluation-result-3463650-1307177294/solver-3463650-1307177294 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463650-1307177294.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.02 2.03 2.00 2/437 11040
/proc/meminfo: memFree=24572608/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=11492 CPUtime=0 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 371 0 0 0 0 0 0 0 25 0 1 0 810145014 11767808 325 33554432000 134512640 137138936 4286709360 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11040/statm: 2873 325 195 642 0 2120 0
[startup+0.024882 s]
/proc/loadavg: 2.02 2.03 2.00 2/437 11040
/proc/meminfo: memFree=24572608/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=12456 CPUtime=0.02 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 681 0 0 0 2 0 0 0 25 0 1 0 810145014 12754944 635 33554432000 134512640 137138936 4286709360 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11040/statm: 3114 635 253 642 0 2361 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12456
[startup+0.100894 s]
/proc/loadavg: 2.02 2.03 2.00 2/437 11040
/proc/meminfo: memFree=24572608/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=13888 CPUtime=0.09 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 1183 0 0 0 9 0 0 0 25 0 1 0 810145014 14221312 1028 33554432000 134512640 137138936 4286709360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11040/statm: 3472 1028 185 642 0 2828 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13888
[startup+0.300868 s]
/proc/loadavg: 2.02 2.03 2.00 2/437 11040
/proc/meminfo: memFree=24572608/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=14380 CPUtime=0.29 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 1503 0 0 0 29 0 0 0 25 0 1 0 810145014 14725120 1172 33554432000 134512640 137138936 4286709360 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11040/statm: 3595 1172 192 642 0 2951 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14380
[startup+0.700774 s]
/proc/loadavg: 2.02 2.03 2.00 2/437 11040
/proc/meminfo: memFree=24572608/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=15276 CPUtime=0.69 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 1773 0 0 0 69 0 0 0 25 0 1 0 810145014 15642624 1396 33554432000 134512640 137138936 4286709360 18446744073709551615 136511179 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11040/statm: 3819 1396 192 642 0 3175 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15276
[startup+1.50059 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 11041
/proc/meminfo: memFree=24563796/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=20916 CPUtime=1.49 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 3630 0 0 0 148 1 0 0 25 0 1 0 810145014 21417984 2807 33554432000 134512640 137138936 4286709360 18446744073709551615 136500372 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11040/statm: 5229 2807 192 642 0 4585 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20916
[startup+3.1003 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 11041
/proc/meminfo: memFree=24552892/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=31500 CPUtime=3.09 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 7444 0 0 0 307 2 0 0 25 0 1 0 810145014 32256000 5453 33554432000 134512640 137138936 4286709360 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11040/statm: 7875 5453 192 642 0 7231 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31500
[startup+6.30067 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 11041
/proc/meminfo: memFree=24533548/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=49672 CPUtime=6.29 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 12842 0 0 0 626 3 0 0 25 0 1 0 810145014 50864128 9996 33554432000 134512640 137138936 4286709360 18446744073709551615 136502600 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11040/statm: 12418 9996 192 642 0 11774 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49672
[startup+12.7004 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 11042
/proc/meminfo: memFree=24503756/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=76140 CPUtime=12.7 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 19474 0 0 0 1265 5 0 0 25 0 1 0 810145014 77967360 16611 33554432000 134512640 137138936 4286709360 18446744073709551615 134551859 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11040/statm: 19035 16611 192 642 0 18391 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 76140
[startup+25.5009 s]
/proc/loadavg: 2.02 2.02 2.00 3/438 11042
/proc/meminfo: memFree=24459476/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=95520 CPUtime=25.49 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 24315 0 0 0 2543 6 0 0 25 0 1 0 810145014 97812480 21452 33554432000 134512640 137138936 4286709360 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11040/statm: 23880 21452 192 642 0 23236 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 95520
[startup+51.1008 s]
/proc/loadavg: 2.01 2.02 2.00 3/438 11042
/proc/meminfo: memFree=24315408/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=129604 CPUtime=51.09 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 32830 0 0 0 5101 8 0 0 25 0 1 0 810145014 132714496 29967 33554432000 134512640 137138936 4286709360 18446744073709551615 136504500 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11040/statm: 32401 29967 192 642 0 31757 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 129604
[startup+102.317 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11044
/proc/meminfo: memFree=24145776/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=130324 CPUtime=102.31 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 46715 0 0 0 10217 14 0 0 25 0 1 0 810145014 133451776 30159 33554432000 134512640 137138936 4286709360 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11040/statm: 32581 30159 192 642 0 31937 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 130324
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 11046
/proc/meminfo: memFree=24008116/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=185468 CPUtime=162.3 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 60495 0 0 0 16211 19 0 0 25 0 1 0 810145014 189919232 43939 33554432000 134512640 137138936 4286709360 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/11040/statm: 46367 43939 192 642 0 45723 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 185468
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11047
/proc/meminfo: memFree=23949204/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=216204 CPUtime=222.24 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 68181 0 0 0 22201 23 0 0 25 0 1 0 810145014 221392896 51625 33554432000 134512640 137138936 4286709360 18446744073709551615 136500398 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 54051 51625 192 642 0 53407 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 216204
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11049
/proc/meminfo: memFree=23949568/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=216204 CPUtime=282.23 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 68181 0 0 0 28199 24 0 0 25 0 1 0 810145014 221392896 51625 33554432000 134512640 137138936 4286709360 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 54051 51625 192 642 0 53407 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 216204
[startup+342.301 s]
/proc/loadavg: 2.18 2.05 2.01 3/438 11050
/proc/meminfo: memFree=23911868/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=205892 CPUtime=342.24 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 73543 0 0 0 34194 30 0 0 25 0 1 0 810145014 210833408 49045 33554432000 134512640 137138936 4286709360 18446744073709551615 136501687 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 51473 49045 192 642 0 50829 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 205892
[startup+402.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/438 11052
/proc/meminfo: memFree=23833236/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=214640 CPUtime=402.25 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 75733 0 0 0 40193 32 0 0 25 0 1 0 810145014 219791360 51235 33554432000 134512640 137138936 4286709360 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 53660 51235 192 642 0 53016 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 214640
[startup+462.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/438 11054
/proc/meminfo: memFree=23833348/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=214640 CPUtime=462.25 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 75733 0 0 0 46192 33 0 0 25 0 1 0 810145014 219791360 51235 33554432000 134512640 137138936 4286709360 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 53660 51235 192 642 0 53016 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 214640
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/438 11055
/proc/meminfo: memFree=23769976/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=238140 CPUtime=522.24 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 81611 0 0 0 52188 36 0 0 25 0 1 0 810145014 243855360 57113 33554432000 134512640 137138936 4286709360 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 59535 57113 192 642 0 58891 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 238140
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 11057
/proc/meminfo: memFree=23769712/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=238560 CPUtime=582.25 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 81715 0 0 0 58187 38 0 0 25 0 1 0 810145014 244285440 57217 33554432000 134512640 137138936 4286709360 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 59640 57217 192 642 0 58996 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 238560
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23683624/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=259580 CPUtime=1122.27 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 92553 0 0 0 112172 55 0 0 25 0 1 0 810145014 265809920 62470 33554432000 134512640 137138936 4286709360 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 64895 62470 192 642 0 64251 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 259580
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11082
/proc/meminfo: memFree=23678392/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=264140 CPUtime=1182.28 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 93687 0 0 0 118170 58 0 0 25 0 1 0 810145014 270479360 63604 33554432000 134512640 137138936 4286709360 18446744073709551615 134607253 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 66035 63604 192 642 0 65391 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 264140
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11083
/proc/meminfo: memFree=23660012/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=264168 CPUtime=1242.28 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 93703 0 0 0 124168 60 0 0 25 0 1 0 810145014 270508032 63620 33554432000 134512640 137138936 4286709360 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 66042 63620 192 642 0 65398 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 264168
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11085
/proc/meminfo: memFree=23611768/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=282040 CPUtime=1302.29 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 98168 0 0 0 130166 63 0 0 25 0 1 0 810145014 288808960 68085 33554432000 134512640 137138936 4286709360 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 70510 68085 192 642 0 69866 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 282040
[startup+1362.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/438 11087
/proc/meminfo: memFree=23611624/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=282040 CPUtime=1362.28 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 98168 0 0 0 136164 64 0 0 25 0 1 0 810145014 288808960 68085 33554432000 134512640 137138936 4286709360 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 70510 68085 192 642 0 69866 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 282040
[startup+1422.32 s]
/proc/loadavg: 2.06 2.03 2.01 3/438 11088
/proc/meminfo: memFree=23621908/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=272232 CPUtime=1422.3 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 98168 0 0 0 142164 66 0 0 25 0 1 0 810145014 278765568 65636 33554432000 134512640 137138936 4286709360 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 68058 65636 192 642 0 67414 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 272232
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/438 11090
/proc/meminfo: memFree=23612844/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=281744 CPUtime=1482.28 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 100546 0 0 0 148160 68 0 0 25 0 1 0 810145014 288505856 68014 33554432000 134512640 137138936 4286709360 18446744073709551615 136504658 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 70436 68014 192 642 0 69792 0
Current children cumulated CPU time (s) 1482.28
Current children cumulated vsize (KiB) 281744
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/438 11091
/proc/meminfo: memFree=23609840/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=281744 CPUtime=1542.28 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 100546 0 0 0 154159 69 0 0 25 0 1 0 810145014 288505856 68014 33554432000 134512640 137138936 4286709360 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 70436 68014 192 642 0 69792 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 281744
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 11093
/proc/meminfo: memFree=23606232/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=272232 CPUtime=1602.29 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 100546 0 0 0 160158 71 0 0 25 0 1 0 810145014 278765568 65636 33554432000 134512640 137138936 4286709360 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 68058 65636 192 642 0 67414 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 272232
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 11095
/proc/meminfo: memFree=23606840/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=272232 CPUtime=1662.29 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 100546 0 0 0 166158 71 0 0 25 0 1 0 810145014 278765568 65636 33554432000 134512640 137138936 4286709360 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 68058 65636 192 642 0 67414 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 272232
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11096
/proc/meminfo: memFree=23606196/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=272220 CPUtime=1722.29 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 100546 0 0 0 172157 72 0 0 25 0 1 0 810145014 278753280 65633 33554432000 134512640 137138936 4286709360 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 68055 65633 192 642 0 67411 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 272220
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11125
/proc/meminfo: memFree=24409856/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=272220 CPUtime=1782.29 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 100546 0 0 0 178155 74 0 0 25 0 1 0 810145014 278753280 65633 33554432000 134512640 137138936 4286709360 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 68055 65633 192 642 0 67411 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 272220
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11125
/proc/meminfo: memFree=24410728/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=272220 CPUtime=1785.5 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 100546 0 0 0 178475 75 0 0 25 0 1 0 810145014 278753280 65633 33554432000 134512640 137138936 4286709360 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 68055 65633 192 642 0 67411 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (KiB) 272220
[startup+1791.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11125
/proc/meminfo: memFree=24410440/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=272220 CPUtime=1791.92 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 100546 0 0 0 179117 75 0 0 25 0 1 0 810145014 278753280 65633 33554432000 134512640 137138936 4286709360 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 68055 65633 192 642 0 67411 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 272220
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11125
/proc/meminfo: memFree=24410316/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=272220 CPUtime=1795.11 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 100546 0 0 0 179436 75 0 0 25 0 1 0 810145014 278753280 65633 33554432000 134512640 137138936 4286709360 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 68055 65633 192 642 0 67411 0
Current children cumulated CPU time (s) 1795.11
Current children cumulated vsize (KiB) 272220
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11125
/proc/meminfo: memFree=24410076/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=272220 CPUtime=1796.7 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 100546 0 0 0 179595 75 0 0 25 0 1 0 810145014 278753280 65633 33554432000 134512640 137138936 4286709360 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 68055 65633 192 642 0 67411 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 272220
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11125
/proc/meminfo: memFree=24409456/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=272220 CPUtime=1797.5 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 100546 0 0 0 179675 75 0 0 25 0 1 0 810145014 278753280 65633 33554432000 134512640 137138936 4286709360 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 68055 65633 192 642 0 67411 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 272220
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11125
/proc/meminfo: memFree=24409456/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=272220 CPUtime=1797.9 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202496 100546 0 0 0 179715 75 0 0 25 0 1 0 810145014 278753280 65633 33554432000 134512640 137138936 4286709360 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11040/statm: 68055 65633 192 642 0 67411 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 272220
[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/438 11125
/proc/meminfo: memFree=24409456/32951124 swapFree=50923800/67111528
[pid=11040] ppid=11038 vsize=0 CPUtime=1798 cores=0,2,4,6
/proc/11040/stat : 11040 (bsolo) R 11038 11040 9722 0 -1 4202500 100547 0 0 0 179725 75 0 0 25 0 1 0 810145014 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/11040/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.01
CPU time (s): 1798.02
CPU user time (s): 1797.25
CPU system time (s): 0.762884
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 282040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.25
system time used= 0.762884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100547
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= 4
involuntary context switches= 8343
runsolver used 8.29574 second user time and 16.7904 second system time
The end