PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.95:100.opb
MD5SUM	f82b685b64af240616b701a750c82883
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10
Optimality of the best value was proved	NO
Number of terms in the objective function	934
Biggest coefficient in the objective function	546
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	2594
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	546
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	2594
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03784
Number of variables	934
Total number of constraints	1996
Number of constraints which are clauses	879
Number of constraints which are cardinality constraints (but not clauses)	1117
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	20
Trace number 24973

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 11:51:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3296 boxname=wulflinc31 idbench=367 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  f82b685b64af240616b701a750c82883  /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.95:100.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.95:100.opb
IDLAUNCH: 3296
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        814340 kB
Buffers:         41324 kB
Cached:         157480 kB
SwapCached:       1932 kB
Active:         162616 kB
Inactive:        39332 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        814088 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12596 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 12:11:35 (client local time) WITH STATUS 10 IN 1175.05 SECONDS
stats: 3296 0 1175.05 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 934 variables and 1063 constraints.
c After prepocess the problem consists of 933 variables and 1095 constraints.
c preprocess terminated 0.912 s
c Initial Lower Bound: 1
c Lower Bound Elapsed time: 1.605
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1499 @ 7.476
c NEW SOLUTION FOUND: 1498 @ 7.482
c NEW SOLUTION FOUND: 1489 @ 7.494
c NEW SOLUTION FOUND: 1488 @ 7.505
c NEW SOLUTION FOUND: 1485 @ 7.517
c NEW SOLUTION FOUND: 1479 @ 7.531
c NEW SOLUTION FOUND: 1471 @ 7.544
c NEW SOLUTION FOUND: 1465 @ 7.557
c NEW SOLUTION FOUND: 1464 @ 7.57
c NEW SOLUTION FOUND: 1459 @ 7.584
c NEW SOLUTION FOUND: 1449 @ 7.598
c NEW SOLUTION FOUND: 1439 @ 7.612
c NEW SOLUTION FOUND: 1438 @ 7.625
c NEW SOLUTION FOUND: 1436 @ 7.654
c NEW SOLUTION FOUND: 1434 @ 7.672
c NEW SOLUTION FOUND: 1432 @ 7.689
c NEW SOLUTION FOUND: 1428 @ 7.708
c NEW SOLUTION FOUND: 1425 @ 7.725
c NEW SOLUTION FOUND: 1424 @ 7.744
c NEW SOLUTION FOUND: 1421 @ 7.762
c NEW SOLUTION FOUND: 1417 @ 7.779
c NEW SOLUTION FOUND: 1413 @ 7.798
c NEW SOLUTION FOUND: 1412 @ 7.816
c NEW SOLUTION FOUND: 1411 @ 7.834
c NEW SOLUTION FOUND: 1410 @ 7.852
c NEW SOLUTION FOUND: 1409 @ 7.871
c NEW SOLUTION FOUND: 1408 @ 7.889
c NEW SOLUTION FOUND: 1407 @ 7.907
c NEW SOLUTION FOUND: 1406 @ 7.926
c NEW SOLUTION FOUND: 1405 @ 7.944
c NEW SOLUTION FOUND: 1404 @ 7.962
c NEW SOLUTION FOUND: 1403 @ 7.98
c NEW SOLUTION FOUND: 1402 @ 7.999
c NEW SOLUTION FOUND: 1401 @ 8.035
c NEW SOLUTION FOUND: 1398 @ 8.054
c NEW SOLUTION FOUND: 1397 @ 8.073
c NEW SOLUTION FOUND: 1395 @ 8.092
c NEW SOLUTION FOUND: 1393 @ 8.111
c NEW SOLUTION FOUND: 1391 @ 8.13
c NEW SOLUTION FOUND: 1389 @ 8.149
c NEW SOLUTION FOUND: 1387 @ 8.169
c NEW SOLUTION FOUND: 1385 @ 8.188
c NEW SOLUTION FOUND: 1383 @ 8.207
c NEW SOLUTION FOUND: 1381 @ 8.226
c NEW SOLUTION FOUND: 1379 @ 8.246
c NEW SOLUTION FOUND: 1377 @ 8.265
c NEW SOLUTION FOUND: 1375 @ 8.284
c NEW SOLUTION FOUND: 1373 @ 8.303
c NEW SOLUTION FOUND: 1371 @ 8.323
c NEW SOLUTION FOUND: 1369 @ 8.361
c NEW SOLUTION FOUND: 1365 @ 8.381
c NEW SOLUTION FOUND: 1361 @ 8.4
c NEW SOLUTION FOUND: 1358 @ 8.42
c NEW SOLUTION FOUND: 1354 @ 8.441
c NEW SOLUTION FOUND: 1352 @ 8.46
c NEW SOLUTION FOUND: 1350 @ 8.48
c NEW SOLUTION FOUND: 1344 @ 8.758
c NEW SOLUTION FOUND: 1341 @ 8.799
c NEW SOLUTION FOUND: 1340 @ 8.896
c NEW SOLUTION FOUND: 1337 @ 8.937
c NEW SOLUTION FOUND: 1335 @ 8.958
c NEW SOLUTION FOUND: 1332 @ 8.979
c NEW SOLUTION FOUND: 1329 @ 9
c NEW SOLUTION FOUND: 1328 @ 9.059
c NEW SOLUTION FOUND: 1326 @ 9.08
c NEW SOLUTION FOUND: 1325 @ 9.156
c NEW SOLUTION FOUND: 1324 @ 10.179
c NEW SOLUTION FOUND: 1323 @ 10.319
c NEW SOLUTION FOUND: 1321 @ 10.395
c NEW SOLUTION FOUND: 1320 @ 10.627
c NEW SOLUTION FOUND: 1318 @ 10.725
c NEW SOLUTION FOUND: 1317 @ 10.858
c NEW SOLUTION FOUND: 1315 @ 10.901
c NEW SOLUTION FOUND: 1314 @ 11.01
c NEW SOLUTION FOUND: 1312 @ 11.053
c NEW SOLUTION FOUND: 1311 @ 11.21
c NEW SOLUTION FOUND: 1309 @ 11.274
c NEW SOLUTION FOUND: 1306 @ 11.828
c NEW SOLUTION FOUND: 1305 @ 12.072
c NEW SOLUTION FOUND: 1303 @ 12.114
c NEW SOLUTION FOUND: 1300 @ 12.221
c NEW SOLUTION FOUND: 1298 @ 12.379
c NEW SOLUTION FOUND: 1295 @ 12.419
c NEW SOLUTION FOUND: 1292 @ 12.578
c NEW SOLUTION FOUND: 1289 @ 12.72
c NEW SOLUTION FOUND: 1281 @ 12.744
c NEW SOLUTION FOUND: 1278 @ 12.8
c NEW SOLUTION FOUND: 1275 @ 12.859
c NEW SOLUTION FOUND: 1271 @ 12.971
c NEW SOLUTION FOUND: 1268 @ 12.994
c NEW SOLUTION FOUND: 1265 @ 13.017
c NEW SOLUTION FOUND: 1262 @ 13.163
c NEW SOLUTION FOUND: 1256 @ 13.209
c NEW SOLUTION FOUND: 1253 @ 13.232
c NEW SOLUTION FOUND: 1250 @ 13.381
c NEW SOLUTION FOUND: 1247 @ 13.537
c NEW SOLUTION FOUND: 1244 @ 13.58
c NEW SOLUTION FOUND: 1241 @ 13.623
c NEW SOLUTION FOUND: 1238 @ 13.723
c NEW SOLUTION FOUND: 1235 @ 13.997
c NEW SOLUTION FOUND: 1232 @ 14.069
c NEW SOLUTION FOUND: 1231 @ 14.115
c NEW SOLUTION FOUND: 1228 @ 14.266
c NEW SOLUTION FOUND: 1225 @ 14.447
c NEW SOLUTION FOUND: 1222 @ 14.521
c NEW SOLUTION FOUND: 1219 @ 14.63
c NEW SOLUTION FOUND: 1216 @ 14.721
c NEW SOLUTION FOUND: 1213 @ 14.748
c NEW SOLUTION FOUND: 1210 @ 14.818
c NEW SOLUTION FOUND: 1207 @ 14.986
c NEW SOLUTION FOUND: 1202 @ 15.036
c NEW SOLUTION FOUND: 1199 @ 15.236
c NEW SOLUTION FOUND: 1196 @ 15.263
c NEW SOLUTION FOUND: 1189 @ 15.381
c NEW SOLUTION FOUND: 1182 @ 15.522
c NEW SOLUTION FOUND: 1175 @ 15.574
c NEW SOLUTION FOUND: 1168 @ 15.602
c NEW SOLUTION FOUND: 1161 @ 15.63
c NEW SOLUTION FOUND: 1154 @ 15.682
c NEW SOLUTION FOUND: 1147 @ 15.874
c NEW SOLUTION FOUND: 1140 @ 16.184
c NEW SOLUTION FOUND: 1133 @ 16.261
c NEW SOLUTION FOUND: 1126 @ 16.629
c NEW SOLUTION FOUND: 1119 @ 16.711
c NEW SOLUTION FOUND: 1112 @ 16.765
c NEW SOLUTION FOUND: 1105 @ 16.893
c NEW SOLUTION FOUND: 1102 @ 16.923
c NEW SOLUTION FOUND: 1095 @ 16.954
c NEW SOLUTION FOUND: 1088 @ 17.087
c NEW SOLUTION FOUND: 1081 @ 17.301
c NEW SOLUTION FOUND: 1071 @ 17.519
c NEW SOLUTION FOUND: 1064 @ 17.633
c NEW SOLUTION FOUND: 1057 @ 17.745
c NEW SOLUTION FOUND: 1050 @ 17.964
c NEW SOLUTION FOUND: 1046 @ 18.023
c NEW SOLUTION FOUND: 1039 @ 18.11
c NEW SOLUTION FOUND: 1035 @ 18.25
c NEW SOLUTION FOUND: 1030 @ 18.282
c NEW SOLUTION FOUND: 1023 @ 18.342
c NEW SOLUTION FOUND: 1016 @ 18.429
c NEW SOLUTION FOUND: 1009 @ 18.544
c NEW SOLUTION FOUND: 1002 @ 18.772
c NEW SOLUTION FOUND: 995 @ 18.862
c NEW SOLUTION FOUND: 991 @ 18.922
c NEW SOLUTION FOUND: 987 @ 18.983
c NEW SOLUTION FOUND: 980 @ 19.188
c NEW SOLUTION FOUND: 973 @ 19.308
c NEW SOLUTION FOUND: 969 @ 19.513
c NEW SOLUTION FOUND: 962 @ 19.692
c NEW SOLUTION FOUND: 955 @ 19.759
c NEW SOLUTION FOUND: 948 @ 19.883
c NEW SOLUTION FOUND: 941 @ 19.918
c NEW SOLUTION FOUND: 937 @ 20.16
c NEW SOLUTION FOUND: 930 @ 20.318
c NEW SOLUTION FOUND: 923 @ 20.353
c NEW SOLUTION FOUND: 919 @ 20.419
c NEW SOLUTION FOUND: 912 @ 20.485
c NEW SOLUTION FOUND: 905 @ 20.552
c NEW SOLUTION FOUND: 898 @ 20.679
c NEW SOLUTION FOUND: 891 @ 20.747
c NEW SOLUTION FOUND: 887 @ 20.844
c NEW SOLUTION FOUND: 880 @ 20.881
c NEW SOLUTION FOUND: 873 @ 21.133
c NEW SOLUTION FOUND: 866 @ 21.169
c NEW SOLUTION FOUND: 859 @ 21.237
c NEW SOLUTION FOUND: 852 @ 21.586
c NEW SOLUTION FOUND: 848 @ 21.623
c NEW SOLUTION FOUND: 841 @ 21.658
c NEW SOLUTION FOUND: 837 @ 21.694
c NEW SOLUTION FOUND: 833 @ 21.731
c NEW SOLUTION FOUND: 826 @ 22.186
c NEW SOLUTION FOUND: 819 @ 22.324
c NEW SOLUTION FOUND: 812 @ 22.462
c NEW SOLUTION FOUND: 805 @ 22.5
c NEW SOLUTION FOUND: 798 @ 22.803
c NEW SOLUTION FOUND: 788 @ 22.842
c NEW SOLUTION FOUND: 778 @ 22.95
c NEW SOLUTION FOUND: 771 @ 23.162
c NEW SOLUTION FOUND: 764 @ 23.271
c NEW SOLUTION FOUND: 757 @ 23.345
c NEW SOLUTION FOUND: 750 @ 23.453
c NEW SOLUTION FOUND: 746 @ 23.492
c NEW SOLUTION FOUND: 739 @ 23.846
c NEW SOLUTION FOUND: 732 @ 23.957
c NEW SOLUTION FOUND: 728 @ 24.033
c NEW SOLUTION FOUND: 721 @ 24.107
c NEW SOLUTION FOUND: 714 @ 24.323
c NEW SOLUTION FOUND: 707 @ 24.434
c NEW SOLUTION FOUND: 705 @ 24.475
c NEW SOLUTION FOUND: 698 @ 24.516
c NEW SOLUTION FOUND: 694 @ 24.593
c NEW SOLUTION FOUND: 687 @ 24.634
c NEW SOLUTION FOUND: 683 @ 24.749
c NEW SOLUTION FOUND: 676 @ 24.79
c NEW SOLUTION FOUND: 669 @ 24.868
c NEW SOLUTION FOUND: 665 @ 24.947
c NEW SOLUTION FOUND: 658 @ 24.989
c NEW SOLUTION FOUND: 652 @ 25.031
c NEW SOLUTION FOUND: 645 @ 25.147
c NEW SOLUTION FOUND: 638 @ 25.23
c NEW SOLUTION FOUND: 634 @ 25.309
c NEW SOLUTION FOUND: 627 @ 25.39
c NEW SOLUTION FOUND: 620 @ 25.434
c NEW SOLUTION FOUND: 613 @ 25.514
c NEW SOLUTION FOUND: 610 @ 25.557
c NEW SOLUTION FOUND: 607 @ 25.715
c NEW SOLUTION FOUND: 604 @ 25.876
c NEW SOLUTION FOUND: 601 @ 25.919
c NEW SOLUTION FOUND: 596 @ 26.042
c NEW SOLUTION FOUND: 594 @ 26.125
c NEW SOLUTION FOUND: 591 @ 26.369
c NEW SOLUTION FOUND: 590 @ 26.658
c NEW SOLUTION FOUND: 589 @ 27.16
c NEW SOLUTION FOUND: 587 @ 27.283
c NEW SOLUTION FOUND: 586 @ 28.046
c NEW SOLUTION FOUND: 584 @ 28.556
c NEW SOLUTION FOUND: 583 @ 28.844
c NEW SOLUTION FOUND: 581 @ 29.529
c NEW SOLUTION FOUND: 580 @ 29.822
c NEW SOLUTION FOUND: 579 @ 102.015
c NEW SOLUTION FOUND: 578 @ 271.5
c NEW SOLUTION FOUND: 577 @ 304.782
c NEW SOLUTION FOUND: 576 @ 313.071
c NEW SOLUTION FOUND: 573 @ 313.833
c NEW SOLUTION FOUND: 571 @ 314.554
c NEW SOLUTION FOUND: 568 @ 315.383
c NEW SOLUTION FOUND: 566 @ 316.209
c NEW SOLUTION FOUND: 564 @ 317.277
c NEW SOLUTION FOUND: 561 @ 318.458
c NEW SOLUTION FOUND: 558 @ 319.728
c NEW SOLUTION FOUND: 557 @ 407.524
c NEW SOLUTION FOUND: 556 @ 407.58
c NEW SOLUTION FOUND: 555 @ 414.403
c NEW SOLUTION FOUND: 554 @ 414.617
c NEW SOLUTION FOUND: 553 @ 415.146
c NEW SOLUTION FOUND: 551 @ 418.629
c NEW SOLUTION FOUND: 550 @ 419.232
c NEW SOLUTION FOUND: 549 @ 422.731
c NEW SOLUTION FOUND: 548 @ 422.786
c NEW SOLUTION FOUND: 547 @ 426.406
c NEW SOLUTION FOUND: 546 @ 427.217
c NEW SOLUTION FOUND: 545 @ 608.267
c NEW SOLUTION FOUND: 544 @ 620.86
c NEW SOLUTION FOUND: 543 @ 624.853
c NEW SOLUTION FOUND: 542 @ 641.421
c NEW SOLUTION FOUND: 541 @ 653.501
c NEW SOLUTION FOUND: 540 @ 669.329
c NEW SOLUTION FOUND: 538 @ 710.66
c NEW SOLUTION FOUND: 537 @ 766.016
c NEW SOLUTION FOUND: 536 @ 766.735
c NEW SOLUTION FOUND: 535 @ 836.749
c NEW SOLUTION FOUND: 534 @ 837.283
c NEW SOLUTION FOUND: 533 @ 870.638
c NEW SOLUTION FOUND: 532 @ 929.737
c NEW SOLUTION FOUND: 531 @ 934.477
c NEW SOLUTION FOUND: 530 @ 959.95
c NEW SOLUTION FOUND: 529 @ 1015.13
c NEW SOLUTION FOUND: 528 @ 1016.28
c NEW SOLUTION FOUND: 527 @ 1081.54
c NEW SOLUTION FOUND: 526 @ 1082.91
c NEW SOLUTION FOUND: 525 @ 1123.28
c NEW SOLUTION FOUND: 524 @ 1169.09
c NEW SOLUTION FOUND: 523 @ 1171.47
s SATISFIABLE
v v853 -v782 v197 v102 v21 v2 v855 v103 v1 -v785 -v384 -v272 v196 v20 v3 -v856 -v786 -v76 -v55 v23 v4 -v383 v275 -v202 v75 -v54 -v11 -v763 v387 v276 -v200 -v56 v24 -v5 v762 v247 v150 v77 -v57 v26 -v6 v764 -v613 v388 -v201 -v79 v58 v39 -v27 -v7 v765 -v612 -v513 v250 v205 v149 v65 v38 v766 v618 -v251 -v80 v59 v40 v773 v617 -v512 -v326 v155 v125 -v82 -v60 v41 -v767 v619 v153 -v83 -v61 v42 -v768 v623 v593 -v573 v518 v128 v49 -v769 v622 v577 v516 -v154 -v129 -v43 -v729 v620 v596 v576 -v158 -v44 -v621 v597 v517 -v45 -v881 v728 -v521 v852 v781 v192 v104 v17 v857 -v787 -v537 v468 v271 v198 v22 v14 -v541 v71 v25 v15 -v859 v385 v277 -v203 v108 v70 v29 -v10 -v860 v389 v28 -v790 v246 v206 -v145 v78 v68 -v8 v204 -v81 v69 -v811 -v776 v638 -v508 -v391 -v322 v280 v252 v151 v85 v64 -v777 -v642 v614 -v392 v84 v772 v615 v514 -v325 v156 v124 -v62 v52 v616 v53 -v770 v627 v592 v519 -v255 v159 v130 v48 -v572 -v157 -v877 v598 v574 v522 -v46 v578 -v520 -v880 v730 -v133 v601 v854 v783 -v464 v267 v105 v13 v858 -v379 v191 v16 v12 v862 v788 -v536 -v488 v467 -v378 v273 v193 v109 v18 v861 -v540 -v492 v199 v107 v19 v791 v386 v278 v242 v195 -v67 v33 v789 v390 v207 v72 -v66 -v807 -v775 v394 v301 v281 v248 v73 -v9 -v774 v393 v279 -v144 v74 -v810 v637 v321 v253 v146 -v120 v89 -v51 -v641 -v507 v152 -v50 v630 v588 v509 -v327 v256 v148 v126 -v63 v631 v515 v254 v160 -v771 v626 v594 v511 v131 v725 v523 -v876 v724 -v709 v624 v599 v330 v134 -v47 v575 -v132 v882 v731 v602 v586 v600 v582 -v900 v732 v581 -v904 v733 -v851 v779 v463 -v422 v106 v850 v784 v426 v266 v110 v866 v780 -v662 v538 -v487 v469 v268 -v177 v36 v792 -v666 v542 -v491 v380 v274 v194 v37 v381 v297 v270 -v222 v215 v32 v382 v282 v241 -v226 v211 -v806 v544 -v472 v398 -v317 v300 v243 v210 v92 -v30 v545 v249 v93 v812 v639 -v629 v323 v245 v88 v643 -v628 v257 v147 -v119 v913 v836 -v328 v168 v121 -v86 -v917 v587 v510 v164 v127 v872 -v815 -v705 v645 v589 v531 -v347 v331 v163 v123 v646 v595 v527 -v351 v329 v135 v878 -v708 v625 v591 -v583 v526 v726 v603 v585 v95 v883 v727 v94 v899 v884 v737 v579 -v903 v885 v869 v533 v465 -v421 v173 v118 -v35 v870 v778 v425 v114 -v34 v865 v800 v661 v539 v489 v470 -v212 -v176 v113 v796 v665 v543 v493 v269 v214 -v863 -v802 v795 v547 v473 v450 v401 v296 v290 -v221 -v91 v633 v546 -v471 v402 v286 v225 v90 v808 v632 -v495 v397 v302 v285 -v208 -v31 -v496 -v316 v244 -v832 v813 -v752 v640 -v395 v318 v265 -v209 v165 v644 v324 v261 v167 v912 v835 v816 v648 -v528 v320 v305 v260 -v87 -v916 -v814 v647 v530 v332 v122 v704 -v346 -v161 v143 v871 v590 -v584 -v350 -v139 v873 v710 v611 -v524 -v162 -v138 v879 v607 v875 v740 v606 v561 -v525 v886 v741 -v565 v96 v901 v736 -v713 -v580 v97 -v905 v867 -v797 -v484 v461 -v423 v172 v117 v799 v532 v466 v427 -v213 v663 v534 v490 v462 v446 -v400 v292 -v287 v178 v111 v667 v535 v494 v474 -v399 v289 -v864 v793 v551 v498 v449 v429 v298 v223 -v112 -v801 v497 -v430 v227 v803 v794 v748 v687 -v669 v303 -v283 -v262 -v181 v809 v691 -v670 v634 v264 v166 -v831 v805 -v751 v635 -v396 v306 -v284 -v229 v817 v636 -v529 v319 v304 -v230 v914 v837 -v700 v652 -v340 -v258 -v140 v918 v336 v142 v706 -v608 v348 v335 -v259 v610 v352 -v920 -v840 -v739 v711 v412 -v371 -v136 -v921 v896 v874 v738 -v375 v895 v894 v714 -v604 v560 -v354 -v137 v890 v712 -v564 -v355 v902 v889 v734 -v605 v100 -v906 v101 -v868 -v798 -v658 -v424 v174 -v115 v483 v460 v428 -v288 -v217 v664 v554 v485 v482 v445 v432 -v216 v179 v668 v555 v486 v478 v431 v291 v672 v550 -v502 v477 v451 v293 v224 -v182 v671 v299 -v263 v228 -v180 v827 v747 v686 -v548 v295 v232 -v908 v804 v690 v307 -v231 -v907 v833 -v825 -v753 v655 -v454 -v337 -v821 v656 -v342 -v339 -v141 v915 v838 -v820 -v651 -v341 v919 -v699 -v609 -v923 -v841 -v756 v701 -v649 -v408 v349 v333 -v922 -v839 v707 v353 -v891 v703 v411 -v370 -v357 v334 -v893 v715 -v374 -v356 v562 -v99 v897 v566 -v98 v898 -v887 v735 -v553 -v479 v441 v420 v170 -v116 -v657 -v552 -v481 v419 v175 -v659 -v505 v447 -v436 v171 v660 -v506 -v218 -v183 -v743 -v676 -v501 -v475 v452 -v219 v294 v220 -v822 v749 v688 v654 -v549 -v499 -v476 -v455 -v315 -v236 v826 -v824 v692 v653 -v453 -v338 -v311 v828 -v754 -v310 -v909 v834 -v910 v830 -v818 v757 -v694 v911 v842 -v755 -v695 -v343 v927 -v819 -v650 -v407 v344 -v892 v702 v557 v345 v723 v556 v413 -v372 -v361 v719 v376 -v718 v563 v567 -v888 v568 -v416 v569 -v504 -v480 v437 -v503 v440 v439 v169 -v679 v442 -v435 v190 -v682 -v680 v448 v187 -v681 -v675 v444 -v433 -v312 v239 v186 -v823 -v742 v456 -v314 v240 v744 v689 -v673 -v500 -v235 v750 v693 v746 -v697 -v308 -v233 v829 v758 -v696 v930 v849 -v405 -v309 v931 v846 -v367 -v926 v845 -v720 -v409 v366 v364 v722 v365 -v924 v414 -v373 -v360 v558 v377 v932 -v716 v559 v417 -v358 -v415 -v717 -v678 v438 v189 -v677 v188 v238 v443 -v313 v237 v459 -v434 v184 -v683 v457 -v684 -v674 v458 -v185 v745 v685 v929 v848 -v761 v698 -v234 v928 v847 -v759 -v760 v363 -v721 v404 v362 -v843 v403 -v410 v368 -v925 -v844 v406 v369 v418 v571 v933 -v359 v570 one 
c Exit Code: 10
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.06 1.00 1.00 2/55 2031
Raw data (stat): 2031 (runsolver) R 2030 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 752232198 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 2966 0 0 0 986 9 0 0 25 0 1 0 752232198 8720384 1446 4294967295 134512640 134714508 3221221776 3221220160 1074153848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2129 1446 1111 63 0 2066 0
vsize: 8516
[startup+20.001 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 4045 0 0 0 1980 15 0 0 25 0 1 0 752232198 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+30.0009 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 10216 0 0 0 2962 33 0 0 25 0 1 0 752232198 8843264 1477 4294967295 134512640 134714508 3221221776 3221220176 1074153648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2159 1477 1111 63 0 2096 0
vsize: 8636
[startup+40.0012 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 23277 0 0 0 3926 69 0 0 25 0 1 0 752232198 9170944 1556 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2239 1556 1111 63 0 2176 0
vsize: 8956
[startup+50.0018 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 39357 0 0 0 4878 117 0 0 25 0 1 0 752232198 10027008 1669 4294967295 134512640 134714508 3221221776 3221218816 1075971389 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2448 1669 1111 63 0 2385 0
vsize: 9792
[startup+60.0017 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 52452 0 0 0 5840 156 0 0 25 0 1 0 752232198 9998336 1759 4294967295 134512640 134714508 3221221776 3221219504 1075635930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2441 1759 1111 63 0 2378 0
vsize: 9764
[startup+70.0034 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 69928 0 0 0 6792 204 0 0 25 0 1 0 752232198 10539008 1890 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2573 1890 1111 63 0 2510 0
vsize: 10292
[startup+80.0035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 78388 0 0 0 7768 228 0 0 25 0 1 0 752232198 10752000 1945 4294967295 134512640 134714508 3221221776 3221220176 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1945 1111 63 0 2562 0
vsize: 10500
[startup+90.0035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 90885 0 0 0 8730 266 0 0 25 0 1 0 752232198 11186176 2051 4294967295 134512640 134714508 3221221776 3221219776 1074056273 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2731 2051 1111 63 0 2668 0
vsize: 10924
[startup+100.004 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 105689 0 0 0 9690 306 0 0 25 0 1 0 752232198 11816960 2200 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2885 2200 1111 63 0 2822 0
vsize: 11540
[startup+110.003 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 118204 0 0 0 10655 342 0 0 25 0 1 0 752232198 12087296 2271 4294967295 134512640 134714508 3221221776 3221220088 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2951 2271 1111 63 0 2888 0
vsize: 11804
[startup+120.004 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 130491 0 0 0 11619 378 0 0 25 0 1 0 752232198 12574720 2377 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3070 2377 1111 63 0 3007 0
vsize: 12280
[startup+130.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 143612 0 0 0 12581 416 0 0 25 0 1 0 752232198 13021184 2499 4294967295 134512640 134714508 3221221776 3221219960 1077378283 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3179 2499 1111 63 0 3116 0
vsize: 12716
[startup+140.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 155560 0 0 0 13548 448 0 0 25 0 1 0 752232198 13451264 2604 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3284 2604 1111 63 0 3221 0
vsize: 13136
[startup+150.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 167978 0 0 0 14514 483 0 0 25 0 1 0 752232198 13885440 2710 4294967295 134512640 134714508 3221221776 3221220192 1074116195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3390 2710 1111 63 0 3327 0
vsize: 13560
[startup+160.005 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 181285 0 0 0 15474 523 0 0 25 0 1 0 752232198 14385152 2829 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3512 2829 1111 63 0 3449 0
vsize: 14048
[startup+170.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 193123 0 0 0 16443 554 0 0 25 0 1 0 752232198 14802944 2934 4294967295 134512640 134714508 3221221776 3221220060 1074206265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3614 2934 1111 63 0 3551 0
vsize: 14456
[startup+180.006 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 204785 0 0 0 17407 590 0 0 25 0 1 0 752232198 15290368 3049 4294967295 134512640 134714508 3221221776 3221219776 1075006706 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3733 3049 1111 63 0 3670 0
vsize: 14932
[startup+190.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 217572 0 0 0 18370 628 0 0 25 0 1 0 752232198 15777792 3172 4294967295 134512640 134714508 3221221776 3221219696 1075799512 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3852 3172 1111 63 0 3789 0
vsize: 15408
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 227638 0 0 0 19340 657 0 0 25 0 1 0 752232198 16117760 3255 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3935 3255 1111 63 0 3872 0
vsize: 15740
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 241319 0 0 0 20303 695 0 0 25 0 1 0 752232198 16752640 3383 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4090 3383 1111 63 0 4027 0
vsize: 16360
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 252919 0 0 0 21271 727 0 0 25 0 1 0 752232198 16990208 3468 4294967295 134512640 134714508 3221221776 3221220088 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4148 3468 1111 63 0 4085 0
vsize: 16592
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 265856 0 0 0 22234 764 0 0 25 0 1 0 752232198 17588224 3611 4294967295 134512640 134714508 3221221776 3221220088 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4294 3611 1111 63 0 4231 0
vsize: 17176
[startup+240.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 276546 0 0 0 23202 796 0 0 25 0 1 0 752232198 17993728 3709 4294967295 134512640 134714508 3221221776 3221219352 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4393 3709 1111 63 0 4330 0
vsize: 17572
[startup+250.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 289381 0 0 0 24167 831 0 0 25 0 1 0 752232198 18325504 3794 4294967295 134512640 134714508 3221221776 3221220112 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4474 3794 1111 63 0 4411 0
vsize: 17896
[startup+260.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 301202 0 0 0 25133 866 0 0 25 0 1 0 752232198 18780160 3905 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4585 3905 1111 63 0 4522 0
vsize: 18340
[startup+270.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 313790 0 0 0 26096 903 0 0 25 0 1 0 752232198 19226624 4013 4294967295 134512640 134714508 3221221776 3221220040 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4694 4013 1111 63 0 4631 0
vsize: 18776
[startup+280.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 324878 0 0 0 27064 935 0 0 25 0 1 0 752232198 19582976 4101 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4781 4101 1111 63 0 4718 0
vsize: 19124
[startup+290.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 337090 0 0 0 28030 970 0 0 25 0 1 0 752232198 20070400 4216 4294967295 134512640 134714508 3221221776 3221220088 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4900 4216 1111 63 0 4837 0
vsize: 19600
[startup+300.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 348801 0 0 0 28994 1005 0 0 25 0 1 0 752232198 20484096 4319 4294967295 134512640 134714508 3221221776 3221220128 1074115241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5001 4319 1111 63 0 4938 0
vsize: 20004
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 360034 0 0 0 29964 1036 0 0 25 0 1 0 752232198 20926464 4426 4294967295 134512640 134714508 3221221776 3221219776 1074140701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5109 4426 1111 63 0 5046 0
vsize: 20436
[startup+320.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 369321 0 0 0 30939 1061 0 0 25 0 1 0 752232198 21217280 4500 4294967295 134512640 134714508 3221221776 3221219980 1074206432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5180 4500 1111 63 0 5117 0
vsize: 20720
[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 381460 0 0 0 31908 1092 0 0 25 0 1 0 752232198 21536768 4578 4294967295 134512640 134714508 3221221776 3221220088 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5258 4578 1111 63 0 5195 0
vsize: 21032
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 395183 0 0 0 32869 1131 0 0 25 0 1 0 752232198 21995520 4683 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5366 4683 1111 63 0 5303 0
vsize: 21480
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 406888 0 0 0 33835 1165 0 0 25 0 1 0 752232198 22323200 4769 4294967295 134512640 134714508 3221221776 3221220052 1077374469 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4769 1111 63 0 5387 0
vsize: 21800
[startup+360.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 418612 0 0 0 34803 1198 0 0 25 0 1 0 752232198 22720512 4867 4294967295 134512640 134714508 3221221776 3221220176 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5547 4867 1111 63 0 5484 0
vsize: 22188
[startup+370.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 429093 0 0 0 35771 1230 0 0 25 0 1 0 752232198 23203840 4984 4294967295 134512640 134714508 3221221776 3221219172 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5665 4984 1111 63 0 5602 0
vsize: 22660
[startup+380.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 438830 0 0 0 36743 1257 0 0 25 0 1 0 752232198 24100864 5091 4294967295 134512640 134714508 3221221776 3221218432 1075969308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5884 5091 1111 63 0 5821 0
vsize: 23536
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 449462 0 0 0 37706 1295 0 0 25 0 1 0 752232198 24633344 5191 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6014 5191 1111 63 0 5951 0
vsize: 24056
[startup+400.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 457463 0 0 0 38682 1319 0 0 25 0 1 0 752232198 24322048 5258 4294967295 134512640 134714508 3221221776 3221220176 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5938 5258 1111 63 0 5875 0
vsize: 23752
[startup+410.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 465957 0 0 0 39657 1344 0 0 25 0 1 0 752232198 24711168 5353 4294967295 134512640 134714508 3221221776 3221220040 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6033 5353 1111 63 0 5970 0
vsize: 24132
[startup+420.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 474249 0 0 0 40633 1368 0 0 25 0 1 0 752232198 25006080 5425 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6105 5425 1111 63 0 6042 0
vsize: 24420
[startup+430.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 482418 0 0 0 41607 1394 0 0 25 0 1 0 752232198 25403392 5522 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6202 5522 1111 63 0 6139 0
vsize: 24808
[startup+440.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 491670 0 0 0 42579 1422 0 0 25 0 1 0 752232198 26173440 5604 4294967295 134512640 134714508 3221221776 3221218848 1075896005 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6390 5604 1111 63 0 6327 0
vsize: 25560
[startup+450.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 500282 0 0 0 43553 1448 0 0 25 0 1 0 752232198 26116096 5696 4294967295 134512640 134714508 3221221776 3221220128 1074115275 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6376 5696 1111 63 0 6313 0
vsize: 25504
[startup+460.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 510208 0 0 0 44521 1481 0 0 25 0 1 0 752232198 26468352 5782 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6462 5782 1111 63 0 6399 0
vsize: 25848
[startup+470.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 520248 0 0 0 45491 1511 0 0 25 0 1 0 752232198 27013120 5894 4294967295 134512640 134714508 3221221776 3221220176 1074118790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6580 5894 1111 63 0 6517 0
vsize: 26380
[startup+480.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2031
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 529899 0 0 0 46462 1540 0 0 25 0 1 0 752232198 27332608 5992 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6673 5992 1111 63 0 6610 0
vsize: 26692
[startup+490.256 s]
Raw data (loadavg): 1.08 1.02 1.00 3/58 2053
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 538214 0 0 0 47462 1564 0 0 25 0 1 0 752232198 27680768 6077 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6758 6077 1111 63 0 6695 0
vsize: 27032
[startup+500.428 s]
Raw data (loadavg): 1.14 1.03 1.01 3/58 2075
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 546456 0 0 0 48452 1590 0 0 25 0 1 0 752232198 28028928 6163 4294967295 134512640 134714508 3221221776 3221220128 1074143105 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6843 6163 1111 63 0 6780 0
vsize: 27372
[startup+510.431 s]
Raw data (loadavg): 1.27 1.06 1.02 2/55 2084
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 554707 0 0 0 49428 1614 0 0 25 0 1 0 752232198 28426240 6260 4294967295 134512640 134714508 3221221776 3221219740 1077378064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6940 6260 1111 63 0 6877 0
vsize: 27760
[startup+520.638 s]
Raw data (loadavg): 1.23 1.06 1.02 2/55 2084
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 563365 0 0 0 50425 1638 0 0 25 0 1 0 752232198 28803072 6352 4294967295 134512640 134714508 3221221776 3221220176 1074153669 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7032 6352 1111 63 0 6969 0
vsize: 28128
[startup+530.638 s]
Raw data (loadavg): 1.19 1.06 1.02 2/55 2084
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 571542 0 0 0 51399 1665 0 0 25 0 1 0 752232198 29253632 6450 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7142 6450 1111 63 0 7079 0
vsize: 28568
[startup+540.639 s]
Raw data (loadavg): 1.16 1.06 1.02 2/55 2084
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 579729 0 0 0 52375 1688 0 0 25 0 1 0 752232198 29540352 6532 4294967295 134512640 134714508 3221221776 3221220256 1074039475 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7212 6532 1111 63 0 7149 0
vsize: 28848
[startup+550.639 s]
Raw data (loadavg): 1.14 1.05 1.02 2/55 2084
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 587558 0 0 0 53352 1712 0 0 25 0 1 0 752232198 29958144 6634 4294967295 134512640 134714508 3221221776 3221219960 1077378310 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7314 6634 1111 63 0 7251 0
vsize: 29256
[startup+560.639 s]
Raw data (loadavg): 1.12 1.05 1.01 2/55 2084
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 595283 0 0 0 54330 1734 0 0 25 0 1 0 752232198 30806016 6744 4294967295 134512640 134714508 3221221776 3221218432 1075966531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7521 6744 1111 63 0 7458 0
vsize: 30084
[startup+570.64 s]
Raw data (loadavg): 1.10 1.05 1.01 2/55 2084
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 603276 0 0 0 55306 1758 0 0 25 0 1 0 752232198 30695424 6814 4294967295 134512640 134714508 3221221776 3221219756 1073967528 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7527 6815 1111 63 0 7464 0
vsize: 29976
[startup+580.64 s]
Raw data (loadavg): 1.08 1.05 1.01 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 611098 0 0 0 56284 1781 0 0 25 0 1 0 752232198 31133696 6921 4294967295 134512640 134714508 3221221776 3221219172 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7601 6921 1111 63 0 7538 0
vsize: 30404
[startup+590.641 s]
Raw data (loadavg): 1.07 1.05 1.01 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 619256 0 0 0 57257 1807 0 0 25 0 1 0 752232198 31510528 7013 4294967295 134512640 134714508 3221221776 3221220176 1074153753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7693 7013 1111 63 0 7630 0
vsize: 30772
[startup+600.642 s]
Raw data (loadavg): 1.06 1.04 1.01 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 627500 0 0 0 58232 1833 0 0 25 0 1 0 752232198 32395264 7115 4294967295 134512640 134714508 3221221776 3221218432 1075966471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7909 7115 1111 63 0 7846 0
vsize: 31636
[startup+610.642 s]
Raw data (loadavg): 1.05 1.04 1.01 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 635442 0 0 0 59207 1858 0 0 25 0 1 0 752232198 32190464 7179 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7859 7179 1111 63 0 7796 0
vsize: 31436
[startup+620.643 s]
Raw data (loadavg): 1.04 1.04 1.01 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 643484 0 0 0 60182 1883 0 0 25 0 1 0 752232198 32591872 7277 4294967295 134512640 134714508 3221221776 3221220176 1074153648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7957 7277 1111 63 0 7894 0
vsize: 31828
[startup+630.643 s]
Raw data (loadavg): 1.03 1.04 1.01 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 651511 0 0 0 61160 1905 0 0 25 0 1 0 752232198 32964608 7368 4294967295 134512640 134714508 3221221776 3221220128 1073986877 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8048 7368 1111 63 0 7985 0
vsize: 32192
[startup+640.643 s]
Raw data (loadavg): 1.03 1.04 1.01 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 658943 0 0 0 62139 1926 0 0 25 0 1 0 752232198 33247232 7437 4294967295 134512640 134714508 3221221776 3221219800 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8117 7437 1111 63 0 8054 0
vsize: 32468
[startup+650.643 s]
Raw data (loadavg): 1.02 1.03 1.01 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 666707 0 0 0 63115 1950 0 0 25 0 1 0 752232198 33603584 7524 4294967295 134512640 134714508 3221221776 3221220096 1074146146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8204 7524 1111 63 0 8141 0
vsize: 32816
[startup+660.643 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 674700 0 0 0 64093 1972 0 0 25 0 1 0 752232198 33964032 7612 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8292 7612 1111 63 0 8229 0
vsize: 33168
[startup+670.644 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 683098 0 0 0 65067 1998 0 0 25 0 1 0 752232198 34144256 7654 4294967295 134512640 134714508 3221221776 3221220040 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8336 7654 1111 63 0 8273 0
vsize: 33344
[startup+680.644 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 691486 0 0 0 66041 2024 0 0 25 0 1 0 752232198 34492416 7739 4294967295 134512640 134714508 3221221776 3221219740 1077378064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8421 7739 1111 63 0 8358 0
vsize: 33684
[startup+690.645 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 700073 0 0 0 67016 2049 0 0 25 0 1 0 752232198 34775040 7810 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8490 7810 1111 63 0 8427 0
vsize: 33960
[startup+700.646 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 709429 0 0 0 67989 2077 0 0 25 0 1 0 752232198 35115008 7893 4294967295 134512640 134714508 3221221776 3221219864 1077378310 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8573 7893 1111 63 0 8510 0
vsize: 34292
[startup+710.646 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 718973 0 0 0 68963 2103 0 0 25 0 1 0 752232198 35454976 7976 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8656 7976 1111 63 0 8593 0
vsize: 34624
[startup+720.646 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 727771 0 0 0 69937 2129 0 0 25 0 1 0 752232198 35803136 8060 4294967295 134512640 134714508 3221221776 3221219696 1075799638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8741 8060 1111 63 0 8678 0
vsize: 34964
[startup+730.646 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 736559 0 0 0 70910 2156 0 0 25 0 1 0 752232198 36171776 8151 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8831 8151 1111 63 0 8768 0
vsize: 35324
[startup+740.647 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 744604 0 0 0 71887 2179 0 0 25 0 1 0 752232198 36446208 8218 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8898 8218 1111 63 0 8835 0
vsize: 35592
[startup+750.647 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 753184 0 0 0 72861 2206 0 0 25 0 1 0 752232198 36806656 8306 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8986 8306 1111 63 0 8923 0
vsize: 35944
[startup+760.647 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 761789 0 0 0 73836 2230 0 0 25 0 1 0 752232198 37158912 8392 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9072 8392 1111 63 0 9009 0
vsize: 36288
[startup+770.646 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 771041 0 0 0 74808 2259 0 0 25 0 1 0 752232198 38019072 8489 4294967295 134512640 134714508 3221221776 3221218800 1074810412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9282 8490 1111 63 0 9219 0
vsize: 37128
[startup+780.646 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 779648 0 0 0 75784 2283 0 0 25 0 1 0 752232198 37847040 8560 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9240 8560 1111 63 0 9177 0
vsize: 36960
[startup+790.648 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 788602 0 0 0 76757 2310 0 0 25 0 1 0 752232198 38203392 8647 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9327 8647 1111 63 0 9264 0
vsize: 37308
[startup+800.648 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 797112 0 0 0 77733 2335 0 0 25 0 1 0 752232198 38989824 8737 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9519 8737 1111 63 0 9456 0
vsize: 38076
[startup+810.648 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 2086
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 805868 0 0 0 78707 2361 0 0 25 0 1 0 752232198 38912000 8816 4294967295 134512640 134714508 3221221776 3221218888 1077378310 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9599 8818 1111 63 0 9536 0
vsize: 38000
[startup+820.649 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 814709 0 0 0 79682 2386 0 0 25 0 1 0 752232198 39186432 8887 4294967295 134512640 134714508 3221221776 3221220176 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9567 8887 1111 63 0 9504 0
vsize: 38268
[startup+830.649 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 824395 0 0 0 80655 2414 0 0 25 0 1 0 752232198 39542784 8974 4294967295 134512640 134714508 3221221776 3221219960 1077378310 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9654 8974 1111 63 0 9591 0
vsize: 38616
[startup+840.65 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 834174 0 0 0 81625 2443 0 0 25 0 1 0 752232198 40050688 9082 4294967295 134512640 134714508 3221221776 3221220392 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9778 9082 1111 63 0 9715 0
vsize: 39112
[startup+850.651 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 842993 0 0 0 82599 2469 0 0 25 0 1 0 752232198 40304640 9160 4294967295 134512640 134714508 3221221776 3221220080 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9840 9160 1111 63 0 9777 0
vsize: 39360
[startup+860.651 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 851373 0 0 0 83574 2494 0 0 25 0 1 0 752232198 40628224 9239 4294967295 134512640 134714508 3221221776 3221219740 1077378064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9919 9239 1111 63 0 9856 0
vsize: 39676
[startup+870.652 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 860033 0 0 0 84550 2519 0 0 25 0 1 0 752232198 40976384 9324 4294967295 134512640 134714508 3221221776 3221219744 1075961322 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10004 9324 1111 63 0 9941 0
vsize: 40016
[startup+880.652 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 869167 0 0 0 85525 2544 0 0 25 0 1 0 752232198 41361408 9417 4294967295 134512640 134714508 3221221776 3221220176 1074153698 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10098 9417 1111 63 0 10035 0
vsize: 40392
[startup+890.653 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 877563 0 0 0 86501 2569 0 0 25 0 1 0 752232198 41623552 9482 4294967295 134512640 134714508 3221221776 3221219960 1077377398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10162 9482 1111 63 0 10099 0
vsize: 40648
[startup+900.653 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 886249 0 0 0 87475 2595 0 0 25 0 1 0 752232198 42524672 9587 4294967295 134512640 134714508 3221221776 3221218144 1075894487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10382 9592 1111 63 0 10319 0
vsize: 41528
[startup+910.653 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 895422 0 0 0 88447 2623 0 0 25 0 1 0 752232198 42352640 9660 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10340 9660 1111 63 0 10277 0
vsize: 41360
[startup+920.653 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 904097 0 0 0 89424 2646 0 0 25 0 1 0 752232198 42840064 9764 4294967295 134512640 134714508 3221221776 3221220416 134649075 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10459 9764 1111 63 0 10396 0
vsize: 41836
[startup+930.653 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 912534 0 0 0 90397 2673 0 0 25 0 1 0 752232198 43061248 9833 4294967295 134512640 134714508 3221221776 3221220176 1074153648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10513 9833 1111 63 0 10450 0
vsize: 42052
[startup+940.654 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 921934 0 0 0 91367 2703 0 0 25 0 1 0 752232198 43466752 9932 4294967295 134512640 134714508 3221221776 3221220024 1074138153 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10612 9932 1111 63 0 10549 0
vsize: 42448
[startup+950.655 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 929684 0 0 0 92345 2725 0 0 25 0 1 0 752232198 43757568 10003 4294967295 134512640 134714508 3221221776 3221219696 1075799652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10683 10003 1111 63 0 10620 0
vsize: 42732
[startup+960.655 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 938468 0 0 0 93319 2752 0 0 25 0 1 0 752232198 44134400 10087 4294967295 134512640 134714508 3221221776 3221218840 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10775 10088 1111 63 0 10712 0
vsize: 43100
[startup+970.656 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 946865 0 0 0 94294 2777 0 0 25 0 1 0 752232198 44474368 10169 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10858 10169 1111 63 0 10795 0
vsize: 43432
[startup+980.657 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 955706 0 0 0 95267 2804 0 0 25 0 1 0 752232198 44777472 10252 4294967295 134512640 134714508 3221221776 3221220088 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10932 10252 1111 63 0 10869 0
vsize: 43728
[startup+990.658 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 963737 0 0 0 96243 2829 0 0 25 0 1 0 752232198 45125632 10337 4294967295 134512640 134714508 3221221776 3221220088 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11017 10337 1111 63 0 10954 0
vsize: 44068
[startup+1000.66 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 972633 0 0 0 97216 2856 0 0 25 0 1 0 752232198 45481984 10424 4294967295 134512640 134714508 3221221776 3221219240 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11104 10424 1111 63 0 11041 0
vsize: 44416
[startup+1010.66 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 981061 0 0 0 98191 2881 0 0 25 0 1 0 752232198 45817856 10506 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11186 10506 1111 63 0 11123 0
vsize: 44744
[startup+1020.66 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 990464 0 0 0 99164 2908 0 0 25 0 1 0 752232198 46166016 10591 4294967295 134512640 134714508 3221221776 3221219592 1077378310 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11271 10591 1111 63 0 11208 0
vsize: 45084
[startup+1030.66 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 998525 0 0 0 100143 2929 0 0 25 0 1 0 752232198 46473216 10666 4294967295 134512640 134714508 3221221776 3221219960 1077378307 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11346 10666 1111 63 0 11283 0
vsize: 45384
[startup+1040.66 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 1006888 0 0 0 101118 2955 0 0 25 0 1 0 752232198 46825472 10752 4294967295 134512640 134714508 3221221776 3221219800 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11432 10752 1111 63 0 11369 0
vsize: 45728
[startup+1050.66 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 1014911 0 0 0 102095 2978 0 0 25 0 1 0 752232198 47169536 10836 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11516 10836 1111 63 0 11453 0
vsize: 46064
[startup+1060.66 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 1023178 0 0 0 103070 3003 0 0 25 0 1 0 752232198 47611904 10910 4294967295 134512640 134714508 3221221776 3221219888 1074867278 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11624 10910 1111 63 0 11561 0
vsize: 46496
[startup+1070.66 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 1032661 0 0 0 104041 3032 0 0 25 0 1 0 752232198 47816704 10994 4294967295 134512640 134714508 3221221776 3221219960 1077377485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11674 10994 1111 63 0 11611 0
vsize: 46696
[startup+1080.66 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 1041739 0 0 0 105017 3056 0 0 25 0 1 0 752232198 48173056 11081 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11761 11081 1111 63 0 11698 0
vsize: 47044
[startup+1090.66 s]
Raw data (loadavg): 1.15 1.03 1.01 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 1050821 0 0 0 105989 3084 0 0 25 0 1 0 752232198 48529408 11168 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11848 11168 1111 63 0 11785 0
vsize: 47392
[startup+1100.66 s]
Raw data (loadavg): 1.13 1.03 1.01 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 1059085 0 0 0 106966 3108 0 0 25 0 1 0 752232198 49381376 11264 4294967295 134512640 134714508 3221221776 3221218816 1075971389 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12056 11265 1111 63 0 11993 0
vsize: 48224
[startup+1110.66 s]
Raw data (loadavg): 1.11 1.03 1.01 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 1066754 0 0 0 107942 3132 0 0 25 0 1 0 752232198 49213440 11335 4294967295 134512640 134714508 3221221776 3221219676 1077378064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12015 11335 1111 63 0 11952 0
vsize: 48060
[startup+1120.66 s]
Raw data (loadavg): 1.09 1.03 1.01 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 1075274 0 0 0 108920 3154 0 0 25 0 1 0 752232198 49569792 11418 4294967295 134512640 134714508 3221221776 3221219352 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12102 11418 1111 63 0 12039 0
vsize: 48408
[startup+1130.66 s]
Raw data (loadavg): 1.08 1.03 1.01 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 1084536 0 0 0 109896 3179 0 0 25 0 1 0 752232198 49901568 11501 4294967295 134512640 134714508 3221221776 3221219736 1074138262 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12183 11501 1111 63 0 12120 0
vsize: 48732
[startup+1140.66 s]
Raw data (loadavg): 1.06 1.03 1.01 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 1093290 0 0 0 110872 3203 0 0 25 0 1 0 752232198 50266112 11584 4294967295 134512640 134714508 3221221776 3221218840 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12387 11588 1111 63 0 12324 0
vsize: 49088
[startup+1150.67 s]
Raw data (loadavg): 1.05 1.02 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 1101086 0 0 0 111849 3225 0 0 25 0 1 0 752232198 50794496 11682 4294967295 134512640 134714508 3221221776 3221219956 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12353 11661 1111 63 0 12290 0
vsize: 49604
[startup+1160.67 s]
Raw data (loadavg): 1.05 1.02 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 1109634 0 0 0 112827 3247 0 0 25 0 1 0 752232198 50839552 11732 4294967295 134512640 134714508 3221221776 3221219960 1077378310 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12412 11732 1111 63 0 12349 0
vsize: 49648
[startup+1170.67 s]
Raw data (loadavg): 1.04 1.02 1.00 2/55 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 1117999 0 0 0 113805 3270 0 0 25 0 1 0 752232198 51195904 11819 4294967295 134512640 134714508 3221221776 3221220028 1077404770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12499 11819 1111 63 0 12436 0
vsize: 49996
[startup+1174.96 s]
Raw data (loadavg): 1.04 1.02 1.00 1/54 2088
Raw data (stat): 2031 (bsolo_lpr_cuts) R 2030 7876 7672 0 -1 0 1117999 0 0 0 113805 3270 0 0 25 0 1 0 752232198 51195904 11819 4294967295 134512640 134714508 3221221776 3221220028 1077404770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12499 11819 1111 63 0 12436 0
vsize: 0

Child status: 10
Real time (s): 1174.96
CPU time (s): 1175.05
CPU user time (s): 1142.21
CPU system time (s): 32.841
CPU usage (%): 100.008
Max. virtual memory (Kb): 49996
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	523
#### END VERIFIER DATA ####