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-3708368-1338241973/watcher-3708368-1338241973 -o /tmp/evaluation-result-3708368-1338241973/solver-3708368-1338241973 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708368-1338241973.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.00 2.00 3/174 19235
/proc/meminfo: memFree=28949772/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=13376 CPUtime=0 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 340 0 0 0 0 0 0 0 20 0 1 0 290323216 13697024 293 33554432000 134512640 137138936 4289447408 4289445768 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 3344 293 181 642 0 2091 0
[startup+0.103994 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 19235
/proc/meminfo: memFree=28949772/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=18376 CPUtime=0.09 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 1904 0 0 0 9 0 0 0 20 0 1 0 290323216 18817024 1817 33554432000 134512640 137138936 4289447408 4289445624 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 4594 1818 479 642 0 3341 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18376
[startup+0.200326 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 19235
/proc/meminfo: memFree=28949772/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=21696 CPUtime=0.19 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 3017 0 0 0 19 0 0 0 20 0 1 0 290323216 22216704 2851 33554432000 134512640 137138936 4289447408 4289444888 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 5424 2851 741 642 0 4171 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 21696
[startup+0.300316 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 19235
/proc/meminfo: memFree=28949772/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=26608 CPUtime=0.29 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 4816 0 0 0 28 1 0 0 20 0 1 0 290323216 27246592 4041 33554432000 134512640 137138936 4289447408 4288954828 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 6652 4041 184 642 0 6008 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26608
[startup+0.700304 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 19235
/proc/meminfo: memFree=28949772/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=26608 CPUtime=0.69 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 4818 0 0 0 68 1 0 0 20 0 1 0 290323216 27246592 4043 33554432000 134512640 137138936 4289447408 4288954640 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 6652 4043 184 642 0 6008 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26608
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19236
/proc/meminfo: memFree=28934256/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=27268 CPUtime=1.49 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 5003 0 0 0 148 1 0 0 20 0 1 0 290323216 27922432 4228 33554432000 134512640 137138936 4289447408 4288954828 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 6817 4228 184 642 0 6173 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27268
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19236
/proc/meminfo: memFree=28932992/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=27268 CPUtime=3.09 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 5005 0 0 0 308 1 0 0 20 0 1 0 290323216 27922432 4230 33554432000 134512640 137138936 4289447408 4288954640 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 6817 4230 184 642 0 6173 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27268
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19236
/proc/meminfo: memFree=28933116/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=27268 CPUtime=6.29 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 5005 0 0 0 628 1 0 0 20 0 1 0 290323216 27922432 4230 33554432000 134512640 137138936 4289447408 4288954340 136500226 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 6817 4230 184 642 0 6173 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27268
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19247
/proc/meminfo: memFree=28932116/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=27268 CPUtime=12.68 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 5005 0 0 0 1267 1 0 0 20 0 1 0 290323216 27922432 4230 33554432000 134512640 137138936 4289447408 4288954640 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 6817 4230 184 642 0 6173 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 27268
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19247
/proc/meminfo: memFree=28931224/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=28732 CPUtime=25.48 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 45393 0 0 0 2536 12 0 0 20 0 1 0 290323216 29421568 4653 33554432000 134512640 137138936 4289447408 4289442520 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 7183 4653 192 642 0 6539 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28732
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19247
/proc/meminfo: memFree=28924948/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=34556 CPUtime=51.07 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 245052 0 0 0 5067 40 0 0 20 0 1 0 290323216 35385344 6117 33554432000 134512640 137138936 4289447408 4289445904 134618111 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 8639 6117 192 642 0 7995 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34556
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19247
/proc/meminfo: memFree=28913236/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=45824 CPUtime=102.27 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 785222 0 0 0 10119 108 0 0 20 0 1 0 290323216 46923776 8914 33554432000 134512640 137138936 4289447408 4289446524 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 11456 8914 192 642 0 10812 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 45824
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19247
/proc/meminfo: memFree=28898272/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=61220 CPUtime=162.25 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 996301 0 0 0 16084 141 0 0 20 0 1 0 290323216 62689280 12769 33554432000 134512640 137138936 4289447408 4289445904 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 15305 12769 192 642 0 14661 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 61220
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19247
/proc/meminfo: memFree=28881076/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=78104 CPUtime=222.24 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 1228456 0 0 0 22049 175 0 0 20 0 1 0 290323216 79978496 17004 33554432000 134512640 137138936 4289447408 4289445904 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 19526 17004 192 642 0 18882 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 78104
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 19247
/proc/meminfo: memFree=28865388/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=94160 CPUtime=282.22 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 1457141 0 0 0 28015 207 0 0 20 0 1 0 290323216 96419840 21021 33554432000 134512640 137138936 4289447408 4289445832 134606673 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 23540 21021 192 642 0 22896 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 94160
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19248
/proc/meminfo: memFree=28852028/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=107576 CPUtime=342.2 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 1682879 0 0 0 33978 242 0 0 20 0 1 0 290323216 110157824 24354 33554432000 134512640 137138936 4289447408 4289445832 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 26894 24354 192 642 0 26250 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 107576
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19248
/proc/meminfo: memFree=28845640/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=114244 CPUtime=402.18 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 1881960 0 0 0 39946 272 0 0 20 0 1 0 290323216 116985856 26019 33554432000 134512640 137138936 4289447408 4289445936 134603268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 28561 26019 192 642 0 27917 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 114244
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19251
/proc/meminfo: memFree=28836752/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=122532 CPUtime=462.17 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 2130026 0 0 0 45905 312 0 0 20 0 1 0 290323216 125472768 28091 33554432000 134512640 137138936 4289447408 4289445904 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 30633 28091 192 642 0 29989 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 122532
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 19274
/proc/meminfo: memFree=28826024/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=133476 CPUtime=522.16 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 2390609 0 0 0 51862 354 0 0 20 0 1 0 290323216 136679424 30827 33554432000 134512640 137138936 4289447408 4289445904 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 33369 30827 192 642 0 32725 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 133476
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19274
/proc/meminfo: memFree=28815528/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=143756 CPUtime=582.14 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 2623682 0 0 0 57823 391 0 0 20 0 1 0 290323216 147206144 33399 33554432000 134512640 137138936 4289447408 4289445832 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 35939 33399 192 642 0 35295 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 143756
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28767232/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=192296 CPUtime=1062.04 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 4534557 0 0 0 105487 717 0 0 20 0 1 0 290323216 196911104 45552 33554432000 134512640 137138936 4289447408 4289445904 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 48074 45552 192 642 0 47430 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 192296
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19279
/proc/meminfo: memFree=28761596/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=197860 CPUtime=1122.04 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 4690894 0 0 0 111459 745 0 0 20 0 1 0 290323216 202608640 46943 33554432000 134512640 137138936 4289447408 4289445832 134606686 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 49465 46943 192 642 0 48821 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 197860
[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 19279
/proc/meminfo: memFree=28757628/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=201728 CPUtime=1182.02 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 4991437 0 0 0 117406 796 0 0 20 0 1 0 290323216 206569472 47912 33554432000 134512640 137138936 4289447408 4289445904 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 50432 47912 192 642 0 49788 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 201728
[startup+1242.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/175 19280
/proc/meminfo: memFree=28753524/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=205804 CPUtime=1242.01 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 5111793 0 0 0 123381 820 0 0 20 0 1 0 290323216 210743296 48929 33554432000 134512640 137138936 4289447408 4289445832 134606673 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 51451 48929 192 642 0 50807 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 205804
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/175 19280
/proc/meminfo: memFree=28746764/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=212552 CPUtime=1302 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 5267878 0 0 0 129354 846 0 0 20 0 1 0 290323216 217653248 50596 33554432000 134512640 137138936 4289447408 4289445904 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 53138 50596 192 642 0 52494 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 212552
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19319
/proc/meminfo: memFree=28745048/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=226028 CPUtime=1361.99 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 5413214 0 0 0 135323 876 0 0 20 0 1 0 290323216 231452672 53980 33554432000 134512640 137138936 4289447408 4289445752 134599706 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 56507 53980 192 642 0 55863 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 226028
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19319
/proc/meminfo: memFree=28730560/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=236304 CPUtime=1421.97 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 5490418 0 0 0 141304 893 0 0 20 0 1 0 290323216 241975296 56554 33554432000 134512640 137138936 4289447408 4289446160 134575850 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 59076 56554 192 642 0 58432 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 236304
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19319
/proc/meminfo: memFree=28714624/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=248976 CPUtime=1481.96 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 5600558 0 0 0 147280 916 0 0 20 0 1 0 290323216 254951424 59723 33554432000 134512640 137138936 4289447408 4289445636 136500372 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 62244 59723 192 642 0 61600 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 248976
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19320
/proc/meminfo: memFree=28699000/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=259304 CPUtime=1541.96 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 5726969 0 0 0 153256 940 0 0 20 0 1 0 290323216 265527296 62284 33554432000 134512640 137138936 4289447408 4289445904 134618200 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 64826 62284 192 642 0 64182 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 259304
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 19320
/proc/meminfo: memFree=28670000/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=279512 CPUtime=1601.92 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 5805932 0 0 0 159237 955 0 0 20 0 1 0 290323216 286220288 67363 33554432000 134512640 137138936 4289447408 4289445832 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 69878 67363 192 642 0 69234 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 279512
[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/176 19323
/proc/meminfo: memFree=28661044/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=285536 CPUtime=1661.91 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 5995427 0 0 0 165198 993 0 0 20 0 1 0 290323216 292388864 68874 33554432000 134512640 137138936 4289447408 4289446336 134542972 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 71384 68874 192 642 0 70740 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 285536
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/175 19323
/proc/meminfo: memFree=28654108/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=290992 CPUtime=1721.9 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 6217553 0 0 0 171152 1038 0 0 20 0 1 0 290323216 297975808 70210 33554432000 134512640 137138936 4289447408 4289445752 134599724 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 72748 70210 192 642 0 72104 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 290992
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19323
/proc/meminfo: memFree=28643320/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=298296 CPUtime=1781.88 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 6412341 0 0 0 177117 1071 0 0 20 0 1 0 290323216 305455104 72064 33554432000 134512640 137138936 4289447408 4289446092 136520979 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 74574 72064 192 642 0 73930 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 298296
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19323
/proc/meminfo: memFree=28642452/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=298580 CPUtime=1791.59 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 6500521 0 0 0 178075 1084 0 0 20 0 1 0 290323216 305745920 72124 33554432000 134512640 137138936 4289447408 4289445904 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 74645 72124 192 642 0 74001 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 298580
[startup+1795.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19323
/proc/meminfo: memFree=28642080/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=299132 CPUtime=1794.8 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 6507025 0 0 0 178395 1085 0 0 20 0 1 0 290323216 306311168 72255 33554432000 134512640 137138936 4289447408 4289445896 136297617 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 74783 72255 192 642 0 74139 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 299132
[startup+1796.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19323
/proc/meminfo: memFree=28641956/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=299036 CPUtime=1796.39 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 6512805 0 0 0 178553 1086 0 0 20 0 1 0 290323216 306212864 72239 33554432000 134512640 137138936 4289447408 4289446080 134609268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 74801 72249 192 642 0 74157 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 299036
[startup+1797.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19323
/proc/meminfo: memFree=28641832/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=299288 CPUtime=1797.19 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 6522639 0 0 0 178631 1088 0 0 20 0 1 0 290323216 306470912 72311 33554432000 134512640 137138936 4289447408 4289446120 136505649 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 74822 72311 192 642 0 74178 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 299288
[startup+1798 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19323
/proc/meminfo: memFree=28641832/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=299544 CPUtime=1797.58 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 6526848 0 0 0 178670 1088 0 0 20 0 1 0 290323216 306733056 72344 33554432000 134512640 137138936 4289447408 4289445924 134551138 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 74886 72344 192 642 0 74242 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 299544
[startup+1798.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19323
/proc/meminfo: memFree=28641832/32873852 swapFree=6856/6856
[pid=19235] ppid=19233 vsize=298984 CPUtime=1797.98 cores=1,3,5,7
/proc/19235/stat : 19235 (bsolo) R 19233 19235 18303 0 -1 4202496 6531683 0 0 0 178709 1089 0 0 20 0 1 0 290323216 306159616 72236 33554432000 134512640 137138936 4289447408 4289445884 136700814 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/19235/statm: 74746 72236 192 642 0 74102 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 298984
Child status: 0
Real time (s): 1798.41
CPU time (s): 1798.01
CPU user time (s): 1787.11
CPU system time (s): 10.9033
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 299596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.11
system time used= 10.9033
maximum resident set size= 289468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6531811
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= 132
involuntary context switches= 1872
runsolver used 2.5976 second user time and 7.27989 second system time
The end