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-3462991-1307178918/watcher-3462991-1307178918 -o /tmp/evaluation-result-3462991-1307178918/solver-3462991-1307178918 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462991-1307178918.opb
running on 4 cores: 1,3,5,7
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.01 2.00 3/477 30172
/proc/meminfo: memFree=21142340/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=17212 CPUtime=0.01 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 374 0 0 0 1 0 0 0 25 0 1 0 810307101 17625088 329 33554432000 134512640 137138936 4288650672 18446744073709551615 134517511 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30172/statm: 4303 329 211 642 0 2119 0
[startup+0.0331331 s]
/proc/loadavg: 2.00 2.01 2.00 3/477 30172
/proc/meminfo: memFree=21142340/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=17604 CPUtime=0.02 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 521 0 0 0 2 0 0 0 25 0 1 0 810307101 18026496 476 33554432000 134512640 137138936 4288650672 18446744073709551615 134517302 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30172/statm: 4401 476 263 642 0 2217 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17604
[startup+0.101119 s]
/proc/loadavg: 2.00 2.01 2.00 3/477 30172
/proc/meminfo: memFree=21142340/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=19432 CPUtime=0.09 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 1232 0 0 0 9 0 0 0 25 0 1 0 810307101 19898368 1187 33554432000 134512640 137138936 4288650672 18446744073709551615 134517403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30172/statm: 4858 1187 512 642 0 2674 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19432
[startup+0.301083 s]
/proc/loadavg: 2.00 2.01 2.00 3/477 30172
/proc/meminfo: memFree=21142340/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=24772 CPUtime=0.29 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 3281 0 0 0 29 0 0 0 25 0 1 0 810307101 25366528 3236 33554432000 134512640 137138936 4288650672 18446744073709551615 136660303 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30172/statm: 6193 3237 1223 642 0 4009 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24772
[startup+0.701016 s]
/proc/loadavg: 2.00 2.01 2.00 3/477 30172
/proc/meminfo: memFree=21142340/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=39560 CPUtime=0.69 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 9020 0 0 0 67 2 0 0 18 0 1 0 810307101 40509440 7435 33554432000 134512640 137138936 4288650672 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30172/statm: 9890 7435 185 642 0 9246 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39560
[startup+1.50087 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 30173
/proc/meminfo: memFree=21112696/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=39560 CPUtime=1.49 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 9020 0 0 0 146 3 0 0 19 0 1 0 810307101 40509440 7435 33554432000 134512640 137138936 4288650672 18446744073709551615 134540164 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30172/statm: 9890 7435 185 642 0 9246 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39560
[startup+3.10059 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 30173
/proc/meminfo: memFree=21118648/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=35612 CPUtime=3.08 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 10979 0 0 0 303 5 0 0 22 0 1 0 810307101 36466688 6440 33554432000 134512640 137138936 4288650672 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30172/statm: 8903 6440 192 642 0 8259 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 35612
[startup+6.30099 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 30173
/proc/meminfo: memFree=21115192/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=35976 CPUtime=6.25 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 11070 0 0 0 620 5 0 0 25 0 1 0 810307101 36839424 6531 33554432000 134512640 137138936 4288650672 18446744073709551615 134542963 0 0 4096 16384 0 0 0 17 7 0 0 0
/proc/30172/statm: 8994 6531 192 642 0 8350 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 35976
[startup+12.7009 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 30174
/proc/meminfo: memFree=21110064/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=40920 CPUtime=12.65 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 12330 0 0 0 1259 6 0 0 25 0 1 0 810307101 41902080 7791 33554432000 134512640 137138936 4288650672 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 10230 7791 192 642 0 9586 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 40920
[startup+25.5006 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 30174
/proc/meminfo: memFree=21101020/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=49932 CPUtime=25.45 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 14559 0 0 0 2537 8 0 0 25 0 1 0 810307101 51130368 10020 33554432000 134512640 137138936 4288650672 18446744073709551615 134542313 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 12483 10020 192 642 0 11839 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 49932
[startup+51.1011 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 30175
/proc/meminfo: memFree=21081064/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=69628 CPUtime=51.06 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 19505 0 0 0 5095 11 0 0 25 0 1 0 810307101 71299072 14966 33554432000 134512640 137138936 4288650672 18446744073709551615 136504268 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 17407 14966 192 642 0 16763 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 69628
[startup+102.318 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 30176
/proc/meminfo: memFree=21041108/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=108408 CPUtime=102.27 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 29205 0 0 0 10211 16 0 0 25 0 1 0 810307101 111009792 24666 33554432000 134512640 137138936 4288650672 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 27102 24666 192 642 0 26458 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 108408
[startup+162.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/478 30237
/proc/meminfo: memFree=21249868/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=146836 CPUtime=162.26 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 38807 0 0 0 16205 21 0 0 25 0 1 0 810307101 150360064 34268 33554432000 134512640 137138936 4288650672 18446744073709551615 136511087 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 36709 34268 192 642 0 36065 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 146836
[startup+222.301 s]
/proc/loadavg: 2.04 2.02 2.00 3/478 30239
/proc/meminfo: memFree=21183452/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=177452 CPUtime=222.26 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 46461 0 0 0 22200 26 0 0 25 0 1 0 810307101 181710848 41922 33554432000 134512640 137138936 4288650672 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 44363 41922 192 642 0 43719 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 177452
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/478 30241
/proc/meminfo: memFree=21160352/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=201132 CPUtime=282.26 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 52382 0 0 0 28196 30 0 0 25 0 1 0 810307101 205959168 47843 33554432000 134512640 137138936 4288650672 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 50283 47843 192 642 0 49639 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 201132
[startup+342.301 s]
/proc/loadavg: 2.06 2.03 2.00 3/478 30242
/proc/meminfo: memFree=21139864/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=220932 CPUtime=342.26 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 57310 0 0 0 34193 33 0 0 25 0 1 0 810307101 226234368 52771 33554432000 134512640 137138936 4288650672 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 55233 52771 192 642 0 54589 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 220932
[startup+402.301 s]
/proc/loadavg: 2.07 2.04 2.00 3/478 30244
/proc/meminfo: memFree=21122684/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=239820 CPUtime=402.26 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 62031 0 0 0 40190 36 0 0 25 0 1 0 810307101 245575680 57492 33554432000 134512640 137138936 4288650672 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 59955 57492 192 642 0 59311 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 239820
[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/478 30246
/proc/meminfo: memFree=21093864/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=268104 CPUtime=462.26 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 69103 0 0 0 46185 41 0 0 25 0 1 0 810307101 274538496 64564 33554432000 134512640 137138936 4288650672 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 67026 64564 192 642 0 66382 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 268104
[startup+522.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/478 30247
/proc/meminfo: memFree=21073208/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=289400 CPUtime=522.26 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 74426 0 0 0 52181 45 0 0 25 0 1 0 810307101 296345600 69887 33554432000 134512640 137138936 4288650672 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 72350 69887 192 642 0 71706 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 289400
[startup+582.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/478 30249
/proc/meminfo: memFree=21054928/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=307392 CPUtime=582.27 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 78940 0 0 0 58179 48 0 0 25 0 1 0 810307101 314769408 74401 33554432000 134512640 137138936 4288650672 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 76848 74401 192 642 0 76204 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 307392
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=20894328/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=458024 CPUtime=1122.28 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 116608 0 0 0 112147 81 0 0 25 0 1 0 810307101 469016576 112069 33554432000 134512640 137138936 4288650672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 114506 112069 192 642 0 113862 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 458024
[startup+1182.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/478 30270
/proc/meminfo: memFree=20879652/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=472724 CPUtime=1182.28 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 120282 0 0 0 118144 84 0 0 25 0 1 0 810307101 484069376 115743 33554432000 134512640 137138936 4288650672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 118181 115743 192 642 0 117537 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 472724
[startup+1242.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/478 30271
/proc/meminfo: memFree=20865572/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=486252 CPUtime=1242.28 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 123639 0 0 0 124141 87 0 0 25 0 1 0 810307101 497922048 119100 33554432000 134512640 137138936 4288650672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 121563 119100 192 642 0 120919 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 486252
[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/478 30273
/proc/meminfo: memFree=20852120/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=499680 CPUtime=1302.3 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 127017 0 0 0 130141 89 0 0 25 0 1 0 810307101 511672320 122478 33554432000 134512640 137138936 4288650672 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 124920 122478 192 642 0 124276 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 499680
[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 30275
/proc/meminfo: memFree=20840276/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=511692 CPUtime=1362.28 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 130021 0 0 0 136136 92 0 0 25 0 1 0 810307101 523972608 125482 33554432000 134512640 137138936 4288650672 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 127923 125482 192 642 0 127279 0
Current children cumulated CPU time (s) 1362.28
Current children cumulated vsize (KiB) 511692
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 30276
/proc/meminfo: memFree=20828700/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=523112 CPUtime=1422.3 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 132878 0 0 0 142135 95 0 0 25 0 1 0 810307101 535666688 128339 33554432000 134512640 137138936 4288650672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 130778 128339 192 642 0 130134 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 523112
[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/478 30278
/proc/meminfo: memFree=20814996/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=534820 CPUtime=1482.29 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 135803 0 0 0 148131 98 0 0 25 0 1 0 810307101 547655680 131264 33554432000 134512640 137138936 4288650672 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 133705 131264 192 642 0 133061 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 534820
[startup+1542.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/478 30279
/proc/meminfo: memFree=20815688/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=535544 CPUtime=1542.29 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 136505 0 0 0 154131 98 0 0 25 0 1 0 810307101 548397056 131423 33554432000 134512640 137138936 4288650672 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 133886 131423 192 642 0 133242 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 535544
[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/478 30281
/proc/meminfo: memFree=20815864/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=535544 CPUtime=1602.29 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 136505 0 0 0 160131 98 0 0 25 0 1 0 810307101 548397056 131423 33554432000 134512640 137138936 4288650672 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 133886 131423 192 642 0 133242 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 535544
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/478 30283
/proc/meminfo: memFree=20815940/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=535544 CPUtime=1662.29 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 136505 0 0 0 166131 98 0 0 25 0 1 0 810307101 548397056 131423 33554432000 134512640 137138936 4288650672 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 133886 131423 192 642 0 133242 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 535544
[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/478 30284
/proc/meminfo: memFree=20815996/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=535544 CPUtime=1722.29 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 136505 0 0 0 172131 98 0 0 25 0 1 0 810307101 548397056 131423 33554432000 134512640 137138936 4288650672 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 133886 131423 192 642 0 133242 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 535544
[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/478 30286
/proc/meminfo: memFree=20815084/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=535544 CPUtime=1782.29 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 136505 0 0 0 178131 98 0 0 25 0 1 0 810307101 548397056 131423 33554432000 134512640 137138936 4288650672 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 133886 131423 192 642 0 133242 0
Current children cumulated CPU time (s) 1782.29
Current children cumulated vsize (KiB) 535544
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.07 2.05 2.01 3/478 30286
/proc/meminfo: memFree=20816200/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=535544 CPUtime=1785.49 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 136505 0 0 0 178451 98 0 0 25 0 1 0 810307101 548397056 131423 33554432000 134512640 137138936 4288650672 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 133886 131423 192 642 0 133242 0
Current children cumulated CPU time (s) 1785.49
Current children cumulated vsize (KiB) 535544
[startup+1791.92 s]
/proc/loadavg: 2.07 2.05 2.01 3/478 30286
/proc/meminfo: memFree=20816192/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=535544 CPUtime=1791.92 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 136505 0 0 0 179093 99 0 0 25 0 1 0 810307101 548397056 131423 33554432000 134512640 137138936 4288650672 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 133886 131423 192 642 0 133242 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 535544
[startup+1795.1 s]
/proc/loadavg: 2.06 2.05 2.01 3/478 30286
/proc/meminfo: memFree=20816192/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=535544 CPUtime=1795.11 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 136505 0 0 0 179412 99 0 0 25 0 1 0 810307101 548397056 131423 33554432000 134512640 137138936 4288650672 18446744073709551615 134543124 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 133886 131423 192 642 0 133242 0
Current children cumulated CPU time (s) 1795.11
Current children cumulated vsize (KiB) 535544
[startup+1796.7 s]
/proc/loadavg: 2.06 2.05 2.01 3/478 30286
/proc/meminfo: memFree=20816192/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=535544 CPUtime=1796.69 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 136505 0 0 0 179570 99 0 0 25 0 1 0 810307101 548397056 131423 33554432000 134512640 137138936 4288650672 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 133886 131423 192 642 0 133242 0
Current children cumulated CPU time (s) 1796.69
Current children cumulated vsize (KiB) 535544
[startup+1797.5 s]
/proc/loadavg: 2.06 2.05 2.01 3/478 30286
/proc/meminfo: memFree=20815820/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=535544 CPUtime=1797.49 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 136505 0 0 0 179650 99 0 0 25 0 1 0 810307101 548397056 131423 33554432000 134512640 137138936 4288650672 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 133886 131423 192 642 0 133242 0
Current children cumulated CPU time (s) 1797.49
Current children cumulated vsize (KiB) 535544
[startup+1797.9 s]
/proc/loadavg: 2.06 2.05 2.01 3/478 30286
/proc/meminfo: memFree=20815820/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=535544 CPUtime=1797.89 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202496 136505 0 0 0 179690 99 0 0 25 0 1 0 810307101 548397056 131423 33554432000 134512640 137138936 4288650672 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30172/statm: 133886 131423 192 642 0 133242 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 535544
[startup+1798 s]
/proc/loadavg: 2.06 2.05 2.01 3/478 30286
/proc/meminfo: memFree=20815820/32951124 swapFree=67057928/67111528
[pid=30172] ppid=30170 vsize=0 CPUtime=1797.99 cores=1,3,5,7
/proc/30172/stat : 30172 (bsolo) R 30170 30172 28116 0 -1 4202500 136505 0 0 0 179700 99 0 0 25 0 1 0 810307101 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/30172/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.03
CPU time (s): 1798.03
CPU user time (s): 1797.01
CPU system time (s): 1.02084
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 537716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.01
system time used= 1.02084
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136505
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= 6
involuntary context switches= 1251
runsolver used 8.11477 second user time and 19.677 second system time
The end