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-3707773-1338142711/watcher-3707773-1338142711 -o /tmp/evaluation-result-3707773-1338142711/solver-3707773-1338142711 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707773-1338142711.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 1.93 2/176 14161
/proc/meminfo: memFree=29581744/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=18608 CPUtime=0 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 294 0 0 0 0 0 0 0 20 0 1 0 280395149 19054592 243 33554432000 134512640 137138936 4293824496 4293822024 136621744 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 4652 243 186 642 0 4008 0
[startup+0.085711 s]
/proc/loadavg: 2.00 2.00 1.93 2/176 14161
/proc/meminfo: memFree=29581744/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=19104 CPUtime=0.07 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 5677 0 0 0 7 0 0 0 20 0 1 0 280395149 19562496 387 33554432000 134512640 137138936 4293824496 4293822392 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 4827 392 287 642 0 4183 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19104
[startup+0.100211 s]
/proc/loadavg: 2.00 2.00 1.93 2/176 14161
/proc/meminfo: memFree=29581744/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=19308 CPUtime=0.08 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 6711 0 0 0 8 0 0 0 20 0 1 0 280395149 19771392 392 33554432000 134512640 137138936 4293824496 4293822152 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 4827 392 287 642 0 4183 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19308
[startup+0.300176 s]
/proc/loadavg: 2.00 2.00 1.93 2/176 14161
/proc/meminfo: memFree=29581744/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=19324 CPUtime=0.29 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 20396 0 0 0 26 3 0 0 20 0 1 0 280395149 19787776 417 33554432000 134512640 137138936 4293824496 4293822216 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 4707 404 287 642 0 4063 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19324
[startup+0.700173 s]
/proc/loadavg: 2.00 2.00 1.93 2/176 14161
/proc/meminfo: memFree=29581744/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=12228 CPUtime=0.69 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 42343 0 0 0 62 7 0 0 20 0 1 0 280395149 12521472 706 33554432000 134512640 137138936 4293824496 4293823424 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 3057 706 287 642 0 2413 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12228
[startup+1.50017 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14162
/proc/meminfo: memFree=29579480/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=14144 CPUtime=1.49 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 84954 0 0 0 137 12 0 0 20 0 1 0 280395149 14483456 1186 33554432000 134512640 137138936 4293824496 4293822384 134750862 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 3628 1194 287 642 0 2984 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14144
[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14162
/proc/meminfo: memFree=29575140/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=21528 CPUtime=3.09 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 135496 0 0 0 288 21 0 0 20 0 1 0 280395149 22044672 3030 33554432000 134512640 137138936 4293824496 4293822840 134599706 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 5382 3030 287 642 0 4738 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21528
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14200
/proc/meminfo: memFree=29962536/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=28184 CPUtime=6.29 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 170664 0 0 0 600 29 0 0 20 0 1 0 280395149 28860416 4659 33554432000 134512640 137138936 4293824496 4293822704 135251088 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 7046 4659 287 642 0 6402 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28184
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14200
/proc/meminfo: memFree=29954120/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=29632 CPUtime=12.68 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 213722 0 0 0 1225 43 0 0 20 0 1 0 280395149 30343168 5052 33554432000 134512640 137138936 4293824496 4293823612 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 7408 5052 287 642 0 6764 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 29632
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14200
/proc/meminfo: memFree=29937828/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=29664 CPUtime=25.48 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 489790 0 0 0 2419 129 0 0 20 0 1 0 280395149 30375936 5059 33554432000 134512640 137138936 4293824496 4293822480 135783878 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 7544 5065 287 642 0 6900 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29664
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 14200
/proc/meminfo: memFree=29894916/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=32712 CPUtime=51.07 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 862884 0 0 0 4867 240 0 0 20 0 1 0 280395149 33497088 5826 33554432000 134512640 137138936 4293824496 4293820152 134601095 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 8178 5826 287 642 0 7534 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 32712
[startup+102.306 s]
/proc/loadavg: 2.07 2.02 1.94 3/178 14203
/proc/meminfo: memFree=29848716/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=41164 CPUtime=102.27 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 1108259 0 0 0 9909 318 0 0 20 0 1 0 280395149 42151936 7868 33554432000 134512640 137138936 4293824496 4293821880 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 10213 7865 287 642 0 9569 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 41164
[startup+162.3 s]
/proc/loadavg: 2.09 2.03 1.94 3/177 14203
/proc/meminfo: memFree=29748852/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=44160 CPUtime=162.25 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 1252674 0 0 0 15858 367 0 0 20 0 1 0 280395149 45219840 8701 33554432000 134512640 137138936 4293824496 4293823392 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 11040 8701 287 642 0 10396 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 44160
[startup+222.3 s]
/proc/loadavg: 2.03 2.02 1.94 3/177 14204
/proc/meminfo: memFree=29718004/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=44708 CPUtime=222.25 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 1552534 0 0 0 21758 467 0 0 20 0 1 0 280395149 45780992 8790 33554432000 134512640 137138936 4293824496 4293822480 135783682 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 11177 8790 287 642 0 10533 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 44708
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 14204
/proc/meminfo: memFree=29715620/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=46808 CPUtime=282.23 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 1764979 0 0 0 27693 530 0 0 20 0 1 0 280395149 47931392 9355 33554432000 134512640 137138936 4293824496 4293823392 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 11702 9355 287 642 0 11058 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 46808
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 14204
/proc/meminfo: memFree=29687228/32873648 swapFree=7372/7372
[pid=14161] ppid=14159 vsize=47028 CPUtime=342.23 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 2429945 0 0 0 33507 716 0 0 20 0 1 0 280395149 48156672 9408 33554432000 134512640 137138936 4293824496 4293823076 136502635 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 11757 9408 287 642 0 11113 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 47028
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 14204
/proc/meminfo: memFree=29683760/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=50484 CPUtime=402.21 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 3646584 0 0 0 39170 1051 0 0 20 0 1 0 280395149 51695616 10271 33554432000 134512640 137138936 4293824496 4293823612 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12621 10271 287 642 0 11977 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 50484
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 14204
/proc/meminfo: memFree=29683232/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=50632 CPUtime=462.21 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4064230 0 0 0 45027 1194 0 0 20 0 1 0 280395149 51847168 10273 33554432000 134512640 137138936 4293824496 4293822640 134909619 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12658 10273 287 642 0 12014 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 50632
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 14205
/proc/meminfo: memFree=29683980/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=50632 CPUtime=522.2 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4064230 0 0 0 50997 1223 0 0 20 0 1 0 280395149 51847168 10273 33554432000 134512640 137138936 4293824496 4293823612 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12658 10273 287 642 0 12014 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 50632
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 14205
/proc/meminfo: memFree=29683980/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=50440 CPUtime=582.18 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4064230 0 0 0 56964 1254 0 0 20 0 1 0 280395149 51650560 10272 33554432000 134512640 137138936 4293824496 4293822432 135250978 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12610 10272 287 642 0 11966 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 50440
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29655680/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=50596 CPUtime=642.18 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4064289 0 0 0 62951 1267 0 0 20 0 1 0 280395149 51810304 10276 33554432000 134512640 137138936 4293824496 4293823612 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12649 10276 287 642 0 12005 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 50596
[startup+702.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 14208
/proc/meminfo: memFree=29652828/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=53072 CPUtime=702.17 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467290 0 0 0 68814 1403 0 0 20 0 1 0 280395149 54345728 10920 33554432000 134512640 137138936 4293824496 4293822384 134750313 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 13268 10920 287 642 0 12624 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 53072
[startup+762.306 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 14208
/proc/meminfo: memFree=29653080/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=52880 CPUtime=762.17 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467290 0 0 0 74781 1436 0 0 20 0 1 0 280395149 54149120 10889 33554432000 134512640 137138936 4293824496 4293823612 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 13220 10889 287 642 0 12576 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 52880
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 14209
/proc/meminfo: memFree=29630016/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=52880 CPUtime=822.15 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467290 0 0 0 80747 1468 0 0 20 0 1 0 280395149 54149120 10889 33554432000 134512640 137138936 4293824496 4293822160 135388353 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 13220 10889 287 642 0 12576 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 52880
[startup+882.3 s]
/proc/loadavg: 2.07 2.02 1.95 3/177 14209
/proc/meminfo: memFree=29629496/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=52880 CPUtime=882.14 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 86717 1497 0 0 20 0 1 0 280395149 54149120 10889 33554432000 134512640 137138936 4293824496 4293823424 134542333 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 13220 10889 287 642 0 12576 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 52880
[startup+942.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 14209
/proc/meminfo: memFree=29629808/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=52880 CPUtime=942.13 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 92687 1526 0 0 20 0 1 0 280395149 54149120 10889 33554432000 134512640 137138936 4293824496 4293822080 135381829 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 13220 10889 287 642 0 12576 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 52880
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 1.95 3/177 14209
/proc/meminfo: memFree=29616168/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=52660 CPUtime=1002.12 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 98659 1553 0 0 20 0 1 0 280395149 53923840 10834 33554432000 134512640 137138936 4293824496 4293823424 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 13165 10834 287 642 0 12521 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 52660
[startup+1062.3 s]
/proc/loadavg: 2.06 2.01 1.95 3/177 14209
/proc/meminfo: memFree=29562372/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51764 CPUtime=1062.12 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 104642 1570 0 0 20 0 1 0 280395149 53006336 10610 33554432000 134512640 137138936 4293824496 4293823248 134575873 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12941 10610 287 642 0 12297 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 51764
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/177 14210
/proc/meminfo: memFree=29558088/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1122.1 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 110621 1589 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293822432 135251804 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 51444
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 14210
/proc/meminfo: memFree=29558532/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1182.09 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 116593 1616 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293823392 134542463 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 51444
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 14210
/proc/meminfo: memFree=29558408/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1242.08 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 122573 1635 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293819756 136521046 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 51444
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 14213
/proc/meminfo: memFree=29558044/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1302.08 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 128555 1653 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293823612 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 51444
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/177 14213
/proc/meminfo: memFree=29516128/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1362.07 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 134534 1673 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293823612 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 51444
Solver just ended. Dumping a history of the last processes samples
[startup+1369.51 s]
/proc/loadavg: 2.07 2.02 1.96 3/177 14213
/proc/meminfo: memFree=29516184/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1369.27 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 135252 1675 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293822480 135783682 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1369.27
Current children cumulated vsize (KiB) 51444
[startup+1372.7 s]
/proc/loadavg: 2.06 2.02 1.96 3/177 14213
/proc/meminfo: memFree=29516044/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1372.47 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 135570 1677 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293822920 134606997 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1372.47
Current children cumulated vsize (KiB) 51444
[startup+1375.9 s]
/proc/loadavg: 2.06 2.01 1.96 3/177 14213
/proc/meminfo: memFree=29516168/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1375.66 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 135887 1679 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293822912 134924016 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1375.66
Current children cumulated vsize (KiB) 51444
[startup+1377.5 s]
/proc/loadavg: 2.06 2.01 1.96 3/177 14213
/proc/meminfo: memFree=29516168/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1377.26 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 136047 1679 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293823024 134602864 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1377.26
Current children cumulated vsize (KiB) 51444
[startup+1378.31 s]
/proc/loadavg: 2.06 2.01 1.96 3/177 14213
/proc/meminfo: memFree=29516168/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1378.07 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 136127 1680 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293823616 134633796 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1378.07
Current children cumulated vsize (KiB) 51444
[startup+1378.5 s]
/proc/loadavg: 2.06 2.01 1.96 3/177 14213
/proc/meminfo: memFree=29516168/32873648 swapFree=7368/7368
[pid=14161] ppid=14159 vsize=51444 CPUtime=1378.27 cores=0,2,4,6
/proc/14161/stat : 14161 (bsolo) R 14159 14161 11017 0 -1 4202496 4467291 0 0 0 136147 1680 0 0 20 0 1 0 280395149 52678656 10530 33554432000 134512640 137138936 4293824496 4293822640 134909751 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/14161/statm: 12861 10530 287 642 0 12217 0
Current children cumulated CPU time (s) 1378.27
Current children cumulated vsize (KiB) 51444
Child status: 0
Real time (s): 1378.53
CPU time (s): 1378.3
CPU user time (s): 1361.5
CPU system time (s): 16.8014
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 53388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1361.5
system time used= 16.8014
maximum resident set size= 43692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4467291
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= 24
involuntary context switches= 1528
runsolver used 2.15767 second user time and 5.36718 second system time
The end