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 24972

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 11:32:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3295 boxname=wulflinc31 idbench=367 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  f82b685b64af240616b701a750c82883  /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.95:100.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-10:20:4.5:0.95:100.opb
IDLAUNCH: 3295
/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:        814468 kB
Buffers:         41304 kB
Cached:         157432 kB
SwapCached:       1932 kB
Active:         162556 kB
Inactive:        39360 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        814216 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:             300 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12640 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 11:51:49 (client local time) WITH STATUS 10 IN 1175.04 SECONDS
stats: 3295 0 1175.04 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.9 s
c Initial Lower Bound: 1
c Lower Bound Elapsed time: 1.5785
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1499 @ 7.355
c NEW SOLUTION FOUND: 1498 @ 7.36
c NEW SOLUTION FOUND: 1489 @ 7.372
c NEW SOLUTION FOUND: 1488 @ 7.383
c NEW SOLUTION FOUND: 1485 @ 7.396
c NEW SOLUTION FOUND: 1479 @ 7.409
c NEW SOLUTION FOUND: 1471 @ 7.422
c NEW SOLUTION FOUND: 1465 @ 7.435
c NEW SOLUTION FOUND: 1464 @ 7.448
c NEW SOLUTION FOUND: 1459 @ 7.462
c NEW SOLUTION FOUND: 1449 @ 7.476
c NEW SOLUTION FOUND: 1439 @ 7.49
c NEW SOLUTION FOUND: 1438 @ 7.503
c NEW SOLUTION FOUND: 1436 @ 7.532
c NEW SOLUTION FOUND: 1434 @ 7.55
c NEW SOLUTION FOUND: 1432 @ 7.567
c NEW SOLUTION FOUND: 1428 @ 7.586
c NEW SOLUTION FOUND: 1425 @ 7.603
c NEW SOLUTION FOUND: 1424 @ 7.622
c NEW SOLUTION FOUND: 1421 @ 7.64
c NEW SOLUTION FOUND: 1417 @ 7.659
c NEW SOLUTION FOUND: 1413 @ 7.677
c NEW SOLUTION FOUND: 1412 @ 7.695
c NEW SOLUTION FOUND: 1411 @ 7.713
c NEW SOLUTION FOUND: 1410 @ 7.732
c NEW SOLUTION FOUND: 1409 @ 7.75
c NEW SOLUTION FOUND: 1408 @ 7.768
c NEW SOLUTION FOUND: 1407 @ 7.786
c NEW SOLUTION FOUND: 1406 @ 7.804
c NEW SOLUTION FOUND: 1405 @ 7.822
c NEW SOLUTION FOUND: 1404 @ 7.841
c NEW SOLUTION FOUND: 1403 @ 7.859
c NEW SOLUTION FOUND: 1402 @ 7.877
c NEW SOLUTION FOUND: 1401 @ 7.914
c NEW SOLUTION FOUND: 1398 @ 7.933
c NEW SOLUTION FOUND: 1397 @ 7.951
c NEW SOLUTION FOUND: 1395 @ 7.97
c NEW SOLUTION FOUND: 1393 @ 7.99
c NEW SOLUTION FOUND: 1391 @ 8.009
c NEW SOLUTION FOUND: 1389 @ 8.028
c NEW SOLUTION FOUND: 1387 @ 8.047
c NEW SOLUTION FOUND: 1385 @ 8.066
c NEW SOLUTION FOUND: 1383 @ 8.085
c NEW SOLUTION FOUND: 1381 @ 8.105
c NEW SOLUTION FOUND: 1379 @ 8.124
c NEW SOLUTION FOUND: 1377 @ 8.143
c NEW SOLUTION FOUND: 1375 @ 8.162
c NEW SOLUTION FOUND: 1373 @ 8.182
c NEW SOLUTION FOUND: 1371 @ 8.201
c NEW SOLUTION FOUND: 1369 @ 8.239
c NEW SOLUTION FOUND: 1365 @ 8.259
c NEW SOLUTION FOUND: 1361 @ 8.279
c NEW SOLUTION FOUND: 1358 @ 8.299
c NEW SOLUTION FOUND: 1354 @ 8.319
c NEW SOLUTION FOUND: 1352 @ 8.338
c NEW SOLUTION FOUND: 1350 @ 8.359
c NEW SOLUTION FOUND: 1344 @ 8.64
c NEW SOLUTION FOUND: 1341 @ 8.681
c NEW SOLUTION FOUND: 1340 @ 8.777
c NEW SOLUTION FOUND: 1337 @ 8.819
c NEW SOLUTION FOUND: 1335 @ 8.839
c NEW SOLUTION FOUND: 1332 @ 8.861
c NEW SOLUTION FOUND: 1329 @ 8.881
c NEW SOLUTION FOUND: 1328 @ 8.941
c NEW SOLUTION FOUND: 1326 @ 8.961
c NEW SOLUTION FOUND: 1325 @ 9.038
c NEW SOLUTION FOUND: 1324 @ 10.054
c NEW SOLUTION FOUND: 1323 @ 10.192
c NEW SOLUTION FOUND: 1321 @ 10.267
c NEW SOLUTION FOUND: 1320 @ 10.496
c NEW SOLUTION FOUND: 1318 @ 10.591
c NEW SOLUTION FOUND: 1317 @ 10.724
c NEW SOLUTION FOUND: 1315 @ 10.766
c NEW SOLUTION FOUND: 1314 @ 10.873
c NEW SOLUTION FOUND: 1312 @ 10.915
c NEW SOLUTION FOUND: 1311 @ 11.071
c NEW SOLUTION FOUND: 1309 @ 11.133
c NEW SOLUTION FOUND: 1306 @ 11.682
c NEW SOLUTION FOUND: 1305 @ 11.923
c NEW SOLUTION FOUND: 1303 @ 11.964
c NEW SOLUTION FOUND: 1300 @ 12.072
c NEW SOLUTION FOUND: 1298 @ 12.229
c NEW SOLUTION FOUND: 1295 @ 12.269
c NEW SOLUTION FOUND: 1292 @ 12.427
c NEW SOLUTION FOUND: 1289 @ 12.568
c NEW SOLUTION FOUND: 1281 @ 12.592
c NEW SOLUTION FOUND: 1278 @ 12.649
c NEW SOLUTION FOUND: 1275 @ 12.706
c NEW SOLUTION FOUND: 1271 @ 12.817
c NEW SOLUTION FOUND: 1268 @ 12.84
c NEW SOLUTION FOUND: 1265 @ 12.863
c NEW SOLUTION FOUND: 1262 @ 13.009
c NEW SOLUTION FOUND: 1256 @ 13.054
c NEW SOLUTION FOUND: 1253 @ 13.077
c NEW SOLUTION FOUND: 1250 @ 13.225
c NEW SOLUTION FOUND: 1247 @ 13.381
c NEW SOLUTION FOUND: 1244 @ 13.423
c NEW SOLUTION FOUND: 1241 @ 13.466
c NEW SOLUTION FOUND: 1238 @ 13.567
c NEW SOLUTION FOUND: 1235 @ 13.839
c NEW SOLUTION FOUND: 1232 @ 13.912
c NEW SOLUTION FOUND: 1231 @ 13.956
c NEW SOLUTION FOUND: 1228 @ 14.107
c NEW SOLUTION FOUND: 1225 @ 14.287
c NEW SOLUTION FOUND: 1222 @ 14.36
c NEW SOLUTION FOUND: 1219 @ 14.468
c NEW SOLUTION FOUND: 1216 @ 14.557
c NEW SOLUTION FOUND: 1213 @ 14.583
c NEW SOLUTION FOUND: 1210 @ 14.653
c NEW SOLUTION FOUND: 1207 @ 14.819
c NEW SOLUTION FOUND: 1202 @ 14.868
c NEW SOLUTION FOUND: 1199 @ 15.068
c NEW SOLUTION FOUND: 1196 @ 15.095
c NEW SOLUTION FOUND: 1189 @ 15.211
c NEW SOLUTION FOUND: 1182 @ 15.351
c NEW SOLUTION FOUND: 1175 @ 15.401
c NEW SOLUTION FOUND: 1168 @ 15.43
c NEW SOLUTION FOUND: 1161 @ 15.457
c NEW SOLUTION FOUND: 1154 @ 15.508
c NEW SOLUTION FOUND: 1147 @ 15.699
c NEW SOLUTION FOUND: 1140 @ 16.006
c NEW SOLUTION FOUND: 1133 @ 16.083
c NEW SOLUTION FOUND: 1126 @ 16.447
c NEW SOLUTION FOUND: 1119 @ 16.528
c NEW SOLUTION FOUND: 1112 @ 16.581
c NEW SOLUTION FOUND: 1105 @ 16.708
c NEW SOLUTION FOUND: 1102 @ 16.737
c NEW SOLUTION FOUND: 1095 @ 16.767
c NEW SOLUTION FOUND: 1088 @ 16.899
c NEW SOLUTION FOUND: 1081 @ 17.11
c NEW SOLUTION FOUND: 1071 @ 17.328
c NEW SOLUTION FOUND: 1064 @ 17.44
c NEW SOLUTION FOUND: 1057 @ 17.552
c NEW SOLUTION FOUND: 1050 @ 17.768
c NEW SOLUTION FOUND: 1046 @ 17.826
c NEW SOLUTION FOUND: 1039 @ 17.913
c NEW SOLUTION FOUND: 1035 @ 18.052
c NEW SOLUTION FOUND: 1030 @ 18.084
c NEW SOLUTION FOUND: 1023 @ 18.143
c NEW SOLUTION FOUND: 1016 @ 18.23
c NEW SOLUTION FOUND: 1009 @ 18.344
c NEW SOLUTION FOUND: 1002 @ 18.571
c NEW SOLUTION FOUND: 995 @ 18.659
c NEW SOLUTION FOUND: 991 @ 18.719
c NEW SOLUTION FOUND: 987 @ 18.779
c NEW SOLUTION FOUND: 980 @ 18.982
c NEW SOLUTION FOUND: 973 @ 19.099
c NEW SOLUTION FOUND: 969 @ 19.304
c NEW SOLUTION FOUND: 962 @ 19.483
c NEW SOLUTION FOUND: 955 @ 19.549
c NEW SOLUTION FOUND: 948 @ 19.672
c NEW SOLUTION FOUND: 941 @ 19.707
c NEW SOLUTION FOUND: 937 @ 19.947
c NEW SOLUTION FOUND: 930 @ 20.102
c NEW SOLUTION FOUND: 923 @ 20.136
c NEW SOLUTION FOUND: 919 @ 20.2
c NEW SOLUTION FOUND: 912 @ 20.264
c NEW SOLUTION FOUND: 905 @ 20.329
c NEW SOLUTION FOUND: 898 @ 20.454
c NEW SOLUTION FOUND: 891 @ 20.52
c NEW SOLUTION FOUND: 887 @ 20.614
c NEW SOLUTION FOUND: 880 @ 20.651
c NEW SOLUTION FOUND: 873 @ 20.899
c NEW SOLUTION FOUND: 866 @ 20.934
c NEW SOLUTION FOUND: 859 @ 21
c NEW SOLUTION FOUND: 852 @ 21.344
c NEW SOLUTION FOUND: 848 @ 21.38
c NEW SOLUTION FOUND: 841 @ 21.416
c NEW SOLUTION FOUND: 837 @ 21.451
c NEW SOLUTION FOUND: 833 @ 21.486
c NEW SOLUTION FOUND: 826 @ 21.928
c NEW SOLUTION FOUND: 819 @ 22.06
c NEW SOLUTION FOUND: 812 @ 22.191
c NEW SOLUTION FOUND: 805 @ 22.227
c NEW SOLUTION FOUND: 798 @ 22.518
c NEW SOLUTION FOUND: 788 @ 22.555
c NEW SOLUTION FOUND: 778 @ 22.658
c NEW SOLUTION FOUND: 771 @ 22.861
c NEW SOLUTION FOUND: 764 @ 22.965
c NEW SOLUTION FOUND: 757 @ 23.036
c NEW SOLUTION FOUND: 750 @ 23.141
c NEW SOLUTION FOUND: 746 @ 23.178
c NEW SOLUTION FOUND: 739 @ 23.512
c NEW SOLUTION FOUND: 732 @ 23.619
c NEW SOLUTION FOUND: 728 @ 23.691
c NEW SOLUTION FOUND: 721 @ 23.762
c NEW SOLUTION FOUND: 714 @ 23.971
c NEW SOLUTION FOUND: 707 @ 24.079
c NEW SOLUTION FOUND: 705 @ 24.118
c NEW SOLUTION FOUND: 698 @ 24.157
c NEW SOLUTION FOUND: 694 @ 24.232
c NEW SOLUTION FOUND: 687 @ 24.271
c NEW SOLUTION FOUND: 683 @ 24.381
c NEW SOLUTION FOUND: 676 @ 24.42
c NEW SOLUTION FOUND: 669 @ 24.495
c NEW SOLUTION FOUND: 665 @ 24.572
c NEW SOLUTION FOUND: 658 @ 24.611
c NEW SOLUTION FOUND: 652 @ 24.65
c NEW SOLUTION FOUND: 645 @ 24.762
c NEW SOLUTION FOUND: 638 @ 24.841
c NEW SOLUTION FOUND: 634 @ 24.918
c NEW SOLUTION FOUND: 627 @ 24.996
c NEW SOLUTION FOUND: 620 @ 25.037
c NEW SOLUTION FOUND: 613 @ 25.113
c NEW SOLUTION FOUND: 610 @ 25.154
c NEW SOLUTION FOUND: 607 @ 25.305
c NEW SOLUTION FOUND: 604 @ 25.46
c NEW SOLUTION FOUND: 601 @ 25.501
c NEW SOLUTION FOUND: 596 @ 25.62
c NEW SOLUTION FOUND: 594 @ 25.702
c NEW SOLUTION FOUND: 591 @ 25.939
c NEW SOLUTION FOUND: 590 @ 26.218
c NEW SOLUTION FOUND: 589 @ 26.692
c NEW SOLUTION FOUND: 587 @ 26.805
c NEW SOLUTION FOUND: 586 @ 27.524
c NEW SOLUTION FOUND: 584 @ 28.015
c NEW SOLUTION FOUND: 583 @ 28.292
c NEW SOLUTION FOUND: 581 @ 28.951
c NEW SOLUTION FOUND: 580 @ 29.23
c NEW SOLUTION FOUND: 579 @ 97.643
c NEW SOLUTION FOUND: 578 @ 259.064
c NEW SOLUTION FOUND: 577 @ 290.908
c NEW SOLUTION FOUND: 576 @ 298.623
c NEW SOLUTION FOUND: 573 @ 299.337
c NEW SOLUTION FOUND: 571 @ 300.015
c NEW SOLUTION FOUND: 568 @ 300.788
c NEW SOLUTION FOUND: 566 @ 301.575
c NEW SOLUTION FOUND: 564 @ 302.6
c NEW SOLUTION FOUND: 561 @ 303.736
c NEW SOLUTION FOUND: 558 @ 304.957
c NEW SOLUTION FOUND: 557 @ 388.831
c NEW SOLUTION FOUND: 556 @ 388.885
c NEW SOLUTION FOUND: 555 @ 395.177
c NEW SOLUTION FOUND: 554 @ 395.38
c NEW SOLUTION FOUND: 553 @ 395.888
c NEW SOLUTION FOUND: 551 @ 399.172
c NEW SOLUTION FOUND: 550 @ 399.742
c NEW SOLUTION FOUND: 549 @ 403.038
c NEW SOLUTION FOUND: 548 @ 403.09
c NEW SOLUTION FOUND: 547 @ 406.52
c NEW SOLUTION FOUND: 546 @ 407.281
c NEW SOLUTION FOUND: 545 @ 570.707
c NEW SOLUTION FOUND: 544 @ 582.003
c NEW SOLUTION FOUND: 543 @ 585.499
c NEW SOLUTION FOUND: 542 @ 600.068
c NEW SOLUTION FOUND: 541 @ 610.613
c NEW SOLUTION FOUND: 540 @ 624.423
c NEW SOLUTION FOUND: 538 @ 660.674
c NEW SOLUTION FOUND: 537 @ 708.994
c NEW SOLUTION FOUND: 536 @ 709.611
c NEW SOLUTION FOUND: 535 @ 769.915
c NEW SOLUTION FOUND: 534 @ 770.375
c NEW SOLUTION FOUND: 533 @ 798.899
c NEW SOLUTION FOUND: 532 @ 849.171
c NEW SOLUTION FOUND: 531 @ 853.1
c NEW SOLUTION FOUND: 530 @ 874.868
c NEW SOLUTION FOUND: 529 @ 921.336
c NEW SOLUTION FOUND: 528 @ 922.314
c NEW SOLUTION FOUND: 527 @ 977.141
c NEW SOLUTION FOUND: 526 @ 978.289
c NEW SOLUTION FOUND: 525 @ 1010.64
c NEW SOLUTION FOUND: 524 @ 1049.3
c NEW SOLUTION FOUND: 523 @ 1051.25
c NEW SOLUTION FOUND: 522 @ 1091.76
c NEW SOLUTION FOUND: 521 @ 1093.93
c NEW SOLUTION FOUND: 520 @ 1113.47
c NEW SOLUTION FOUND: 519 @ 1153.4
c NEW SOLUTION FOUND: 518 @ 1153.66
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.02 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): 0.92 0.98 0.99 2/55 1938
Raw data (stat): 1938 (runsolver) R 1937 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 752113625 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 2966 0 0 0 984 11 0 0 25 0 1 0 752113625 8720384 1446 4294967295 134512640 134714508 3221221776 3221219600 1075823342 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.0014 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 2969 0 0 0 1982 13 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221218952 1077410279 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.0022 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 2969 0 0 0 2982 14 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 2969 0 0 0 3981 15 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220416 134650146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 3009 0 0 0 4979 17 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219696 1075799500 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 3111 0 0 0 5977 19 0 0 25 0 1 0 752113625 8953856 1451 4294967295 134512640 134714508 3221221776 3221218048 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2186 1451 1111 63 0 2123 0
vsize: 8744
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 4167 0 0 0 6971 25 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221218836 1074617757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 4167 0 0 0 7970 26 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221218848 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 4670 0 0 0 8967 30 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219504 1075635436 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 6607 0 0 0 9958 39 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221218880 1074138614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2186 1449 1111 63 0 2123 0
vsize: 8516
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 8436 0 0 0 10950 47 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219696 1075799550 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 10196 0 0 0 11942 55 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 11935 0 0 0 12933 65 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219948 1076121268 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 13815 0 0 0 13925 72 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219688 1074138333 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 15596 0 0 0 14916 81 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219480 1077377771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 17380 0 0 0 15907 91 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 19205 0 0 0 16899 99 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 20927 0 0 0 17892 107 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 22690 0 0 0 18884 114 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221218888 1077378485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2186 1449 1111 63 0 2123 0
vsize: 8516
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 24504 0 0 0 19878 121 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074118792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 26327 0 0 0 20870 128 0 0 25 0 1 0 752113625 8953856 1451 4294967295 134512640 134714508 3221221776 3221218376 1075850692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2186 1451 1111 63 0 2123 0
vsize: 8744
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 28176 0 0 0 21863 136 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 29990 0 0 0 22856 143 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220088 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 31733 0 0 0 23848 152 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220156 1074152825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 33503 0 0 0 24841 159 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219856 1075963520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 35226 0 0 0 25830 170 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 36993 0 0 0 26821 178 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 38824 0 0 0 27813 187 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219960 1077378180 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 40720 0 0 0 28804 196 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220496 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 42419 0 0 0 29796 203 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220128 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 43869 0 0 0 30790 209 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 45835 0 0 0 31782 218 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220052 1077374576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 49712 0 0 0 32768 231 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 51498 0 0 0 33761 239 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219776 1074056237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 55669 0 0 0 34748 251 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220112 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 60009 0 0 0 35735 265 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220032 1077404709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+370.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 65676 0 0 0 36721 279 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220088 1074138144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 69025 0 0 0 37710 291 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219504 1075828224 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 70423 0 0 0 38704 296 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219772 1074138448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+400.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 71874 0 0 0 39698 303 0 0 25 0 1 0 752113625 8953856 1452 4294967295 134512640 134714508 3221221776 3221218704 1075960462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2186 1452 1111 63 0 2123 0
vsize: 8744
[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 73173 0 0 0 40693 308 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 74731 0 0 0 41687 315 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+430.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 76291 0 0 0 42681 321 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220056 1073986673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+440.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 77943 0 0 0 43673 328 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220044 1077404704 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+450.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 79475 0 0 0 44667 335 0 0 25 0 1 0 752113625 8953856 1451 4294967295 134512640 134714508 3221221776 3221218816 1075860599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2186 1451 1111 63 0 2123 0
vsize: 8744
[startup+460.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 80979 0 0 0 45661 341 0 0 25 0 1 0 752113625 8953856 1452 4294967295 134512640 134714508 3221221776 3221218048 1075894913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2186 1452 1111 63 0 2123 0
vsize: 8744
[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 82386 0 0 0 46656 346 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+480.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 83814 0 0 0 47649 353 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220128 1074115328 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 85317 0 0 0 48644 358 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219520 1075640247 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 86829 0 0 0 49638 364 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219520 1075636596 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+510.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 88290 0 0 0 50631 372 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+520.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 89814 0 0 0 51624 379 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+530.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 91314 0 0 0 52618 385 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220584 134556493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+540.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 92826 0 0 0 53612 391 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+550.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 94404 0 0 0 54606 397 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220012 1077377191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+560.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 95952 0 0 0 55600 403 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+570.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 97473 0 0 0 56595 409 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220320 1073989433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+580.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 98898 0 0 0 57589 415 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220088 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+590.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 100350 0 0 0 58583 421 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+600.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 101766 0 0 0 59578 427 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+610.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 103200 0 0 0 60572 432 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+620.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 104692 0 0 0 61567 438 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+630.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 106177 0 0 0 62561 444 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220128 1074115304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+640.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 107680 0 0 0 63554 451 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+650.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 109216 0 0 0 64548 457 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+660.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 110770 0 0 0 65541 464 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+670.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 112202 0 0 0 66535 471 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+680.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 114466 0 0 0 67527 478 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+690.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 116018 0 0 0 68520 486 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219936 1074050818 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+700.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 117554 0 0 0 69515 491 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220512 134529225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+710.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 120014 0 0 0 70506 501 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220404 134649040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+720.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 122262 0 0 0 71497 509 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220460 134532458 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+730.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 124729 0 0 0 72490 517 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+740.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 126664 0 0 0 73482 525 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+750.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 128214 0 0 0 74474 533 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+760.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 130126 0 0 0 75467 540 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+770.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 131711 0 0 0 76460 547 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+780.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 134140 0 0 0 77451 556 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+790.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 136102 0 0 0 78444 563 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219912 1077377881 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+800.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 137982 0 0 0 79437 571 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219888 1074867352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+810.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 139514 0 0 0 80431 577 0 0 25 0 1 0 752113625 8953856 1451 4294967295 134512640 134714508 3221221776 3221217936 1075094519 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2186 1451 1111 63 0 2123 0
vsize: 8744
[startup+820.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 141074 0 0 0 81425 583 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220192 1074116558 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+830.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 142730 0 0 0 82417 591 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+840.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 144344 0 0 0 83411 598 0 0 25 0 1 0 752113625 8953856 1452 4294967295 134512640 134714508 3221221776 3221218816 1075860483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2186 1452 1111 63 0 2123 0
vsize: 8744
[startup+850.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 145936 0 0 0 84402 607 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219556 1074206252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+860.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 147446 0 0 0 85395 614 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219120 1074839043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2186 1451 1111 63 0 2123 0
vsize: 8516
[startup+870.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 148984 0 0 0 86388 621 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219956 1077378607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+880.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 150505 0 0 0 87382 627 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220476 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+890.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 152083 0 0 0 88375 634 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+900.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 153581 0 0 0 89370 640 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+910.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 155193 0 0 0 90362 648 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+920.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 156783 0 0 0 91354 656 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+930.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 158313 0 0 0 92348 662 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+940.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 159791 0 0 0 93341 670 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219504 1075828201 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+950.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 161357 0 0 0 94334 677 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+960.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 162909 0 0 0 95328 683 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220416 134650068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+970.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 164527 0 0 0 96322 689 0 0 25 0 1 0 752113625 8953856 1452 4294967295 134512640 134714508 3221221776 3221218760 1074831396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2186 1452 1111 63 0 2123 0
vsize: 8744
[startup+980.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 166173 0 0 0 97314 697 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221219696 1075799550 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+990.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 167778 0 0 0 98307 704 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221218888 1077377281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 169261 0 0 0 99301 711 0 0 25 0 1 0 752113625 8953856 1452 4294967295 134512640 134714508 3221221776 3221218816 1075860321 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2186 1452 1111 63 0 2123 0
vsize: 8744
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 170776 0 0 0 100295 716 0 0 25 0 1 0 752113625 8953856 1452 4294967295 134512640 134714508 3221221776 3221218720 1074620113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8744
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 172375 0 0 0 101289 723 0 0 25 0 1 0 752113625 8953856 1452 4294967295 134512640 134714508 3221221776 3221218432 1075969171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8744
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 173882 0 0 0 102284 728 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 175464 0 0 0 103278 734 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 177094 0 0 0 104271 741 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 178588 0 0 0 105266 747 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220476 134535652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 180126 0 0 0 106258 754 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220128 1074057783 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 3/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 181730 0 0 0 107253 760 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153669 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 183354 0 0 0 108245 768 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220056 1073987068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 184948 0 0 0 109237 776 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220128 1074115331 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 186568 0 0 0 110232 781 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 188156 0 0 0 111226 787 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 189677 0 0 0 112219 795 0 0 25 0 1 0 752113625 8953856 1452 4294967295 134512640 134714508 3221221776 3221218816 1075860321 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2186 1452 1111 63 0 2123 0
vsize: 8744
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 191293 0 0 0 113212 801 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220092 1074205872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 192895 0 0 0 114205 809 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220128 1074153673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 194487 0 0 0 115199 815 0 0 25 0 1 0 752113625 8720384 1449 4294967295 134512640 134714508 3221221776 3221220108 1077402400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1449 1111 63 0 2066 0
vsize: 8516
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 196014 0 0 0 116193 822 0 0 25 0 1 0 752113625 8953856 1452 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2186 1452 1111 63 0 2123 0
vsize: 8744
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 1938
Raw data (stat): 1938 (bsolo_lpr) R 1937 7876 7672 0 -1 0 196014 0 0 0 116193 822 0 0 25 0 1 0 752113625 8953856 1452 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2186 1452 1111 63 0 2123 0
vsize: 0

Child status: 10
Real time (s): 1174.93
CPU time (s): 1175.04
CPU user time (s): 1166.79
CPU system time (s): 8.25075
CPU usage (%): 100.01
Max. virtual memory (Kb): 8744
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	518
#### END VERIFIER DATA ####