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:98.opb
MD5SUM	a89f4ed95903fddf213992506514bcf0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	16
Optimality of the best value was proved	NO
Number of terms in the objective function	906
Biggest coefficient in the objective function	553
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	2526
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	553
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	2526
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.04184
Number of variables	906
Total number of constraints	1944
Number of constraints which are clauses	852
Number of constraints which are cardinality constraints (but not clauses)	1092
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	18
Trace number 40919

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 02:23:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28985 boxname=wulflinc2 idbench=371 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  a89f4ed95903fddf213992506514bcf0  /oldhome/oroussel/tmp/wulflinc2/normalized-10:20:4.5:0.95:98.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-10:20:4.5:0.95:98.opb
IDLAUNCH: 28985
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        887248 kB
Buffers:         19068 kB
Cached:         103824 kB
SwapCached:       4472 kB
Active:          25072 kB
Inactive:       102944 kB
HighTotal:      131008 kB
HighFree:        28000 kB
LowTotal:       903652 kB
LowFree:        859248 kB
SwapTotal:     2097136 kB
SwapFree:      2091616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            13712 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 02:42:43 (client local time) WITH STATUS 10 IN 1175.05 SECONDS
stats: 28985 0 1175.05 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 906 variables and 1039 constraints.
c After prepocess the problem consists of 905 variables and 1071 constraints.
c preprocess terminated 0.867 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 2.362
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1413 @ 3.338
c NEW SOLUTION FOUND: 1407 @ 3.349
c NEW SOLUTION FOUND: 1399 @ 3.361
c NEW SOLUTION FOUND: 1397 @ 3.373
c NEW SOLUTION FOUND: 1396 @ 3.385
c NEW SOLUTION FOUND: 1393 @ 3.397
c NEW SOLUTION FOUND: 1387 @ 3.41
c NEW SOLUTION FOUND: 1386 @ 3.422
c NEW SOLUTION FOUND: 1385 @ 3.434
c NEW SOLUTION FOUND: 1384 @ 3.447
c NEW SOLUTION FOUND: 1380 @ 3.459
c NEW SOLUTION FOUND: 1374 @ 3.472
c NEW SOLUTION FOUND: 1372 @ 3.484
c NEW SOLUTION FOUND: 1366 @ 3.498
c NEW SOLUTION FOUND: 1365 @ 3.51
c NEW SOLUTION FOUND: 1363 @ 3.523
c NEW SOLUTION FOUND: 1360 @ 3.537
c NEW SOLUTION FOUND: 1350 @ 3.55
c NEW SOLUTION FOUND: 1346 @ 3.563
c NEW SOLUTION FOUND: 1342 @ 3.577
c NEW SOLUTION FOUND: 1332 @ 3.591
c NEW SOLUTION FOUND: 1329 @ 3.605
c NEW SOLUTION FOUND: 1320 @ 3.619
c NEW SOLUTION FOUND: 1319 @ 3.633
c NEW SOLUTION FOUND: 1318 @ 3.647
c NEW SOLUTION FOUND: 1317 @ 3.661
c NEW SOLUTION FOUND: 1316 @ 3.675
c NEW SOLUTION FOUND: 1315 @ 3.689
c NEW SOLUTION FOUND: 1314 @ 3.704
c NEW SOLUTION FOUND: 1313 @ 3.718
c NEW SOLUTION FOUND: 1312 @ 3.732
c NEW SOLUTION FOUND: 1311 @ 3.76
c NEW SOLUTION FOUND: 1310 @ 3.774
c NEW SOLUTION FOUND: 1309 @ 3.789
c NEW SOLUTION FOUND: 1308 @ 3.803
c NEW SOLUTION FOUND: 1307 @ 3.817
c NEW SOLUTION FOUND: 1306 @ 3.831
c NEW SOLUTION FOUND: 1305 @ 3.846
c NEW SOLUTION FOUND: 1304 @ 3.86
c NEW SOLUTION FOUND: 1303 @ 3.874
c NEW SOLUTION FOUND: 1302 @ 3.888
c NEW SOLUTION FOUND: 1301 @ 3.903
c NEW SOLUTION FOUND: 1299 @ 3.917
c NEW SOLUTION FOUND: 1296 @ 3.931
c NEW SOLUTION FOUND: 1293 @ 3.946
c NEW SOLUTION FOUND: 1286 @ 3.96
c NEW SOLUTION FOUND: 1284 @ 3.975
c NEW SOLUTION FOUND: 1283 @ 3.989
c NEW SOLUTION FOUND: 1282 @ 4.003
c NEW SOLUTION FOUND: 1281 @ 4.018
c NEW SOLUTION FOUND: 1278 @ 4.034
c NEW SOLUTION FOUND: 1277 @ 4.049
c NEW SOLUTION FOUND: 1276 @ 4.064
c NEW SOLUTION FOUND: 1275 @ 4.08
c NEW SOLUTION FOUND: 1273 @ 4.096
c NEW SOLUTION FOUND: 1269 @ 4.112
c NEW SOLUTION FOUND: 1265 @ 4.128
c NEW SOLUTION FOUND: 1263 @ 4.144
c NEW SOLUTION FOUND: 1260 @ 4.16
c NEW SOLUTION FOUND: 1258 @ 4.176
c NEW SOLUTION FOUND: 1256 @ 4.192
c NEW SOLUTION FOUND: 1249 @ 4.209
c NEW SOLUTION FOUND: 1247 @ 4.225
c NEW SOLUTION FOUND: 1243 @ 4.242
c NEW SOLUTION FOUND: 1241 @ 4.258
c NEW SOLUTION FOUND: 1237 @ 4.275
c NEW SOLUTION FOUND: 1235 @ 4.293
c NEW SOLUTION FOUND: 1233 @ 4.31
c NEW SOLUTION FOUND: 1232 @ 4.642
c NEW SOLUTION FOUND: 1231 @ 4.965
c NEW SOLUTION FOUND: 1230 @ 4.982
c NEW SOLUTION FOUND: 1228 @ 5.332
c NEW SOLUTION FOUND: 1227 @ 5.348
c NEW SOLUTION FOUND: 1226 @ 5.712
c NEW SOLUTION FOUND: 1225 @ 5.729
c NEW SOLUTION FOUND: 1223 @ 6.102
c NEW SOLUTION FOUND: 1222 @ 6.119
c NEW SOLUTION FOUND: 1221 @ 6.514
c NEW SOLUTION FOUND: 1220 @ 6.531
c NEW SOLUTION FOUND: 1218 @ 6.956
c NEW SOLUTION FOUND: 1217 @ 6.973
c NEW SOLUTION FOUND: 1216 @ 7.398
c NEW SOLUTION FOUND: 1215 @ 7.415
c NEW SOLUTION FOUND: 1213 @ 7.873
c NEW SOLUTION FOUND: 1212 @ 7.89
c NEW SOLUTION FOUND: 1210 @ 8.376
c NEW SOLUTION FOUND: 1209 @ 8.393
c NEW SOLUTION FOUND: 1205 @ 8.931
c NEW SOLUTION FOUND: 1204 @ 8.948
c NEW SOLUTION FOUND: 1203 @ 9.581
c NEW SOLUTION FOUND: 1202 @ 9.598
c NEW SOLUTION FOUND: 1201 @ 10.167
c NEW SOLUTION FOUND: 1200 @ 10.185
c NEW SOLUTION FOUND: 1197 @ 10.787
c NEW SOLUTION FOUND: 1196 @ 10.805
c NEW SOLUTION FOUND: 1194 @ 11.464
c NEW SOLUTION FOUND: 1193 @ 11.482
c NEW SOLUTION FOUND: 1191 @ 12.193
c NEW SOLUTION FOUND: 1190 @ 12.21
c NEW SOLUTION FOUND: 1188 @ 12.948
c NEW SOLUTION FOUND: 1187 @ 12.965
c NEW SOLUTION FOUND: 1185 @ 13.717
c NEW SOLUTION FOUND: 1184 @ 13.735
c NEW SOLUTION FOUND: 1183 @ 14.534
c NEW SOLUTION FOUND: 1182 @ 15.337
c NEW SOLUTION FOUND: 1180 @ 16.173
c NEW SOLUTION FOUND: 1179 @ 16.19
c NEW SOLUTION FOUND: 1178 @ 17.668
c NEW SOLUTION FOUND: 1177 @ 17.684
c NEW SOLUTION FOUND: 1174 @ 18.42
c NEW SOLUTION FOUND: 1173 @ 18.437
c NEW SOLUTION FOUND: 1172 @ 19.363
c NEW SOLUTION FOUND: 1171 @ 20.059
c NEW SOLUTION FOUND: 1170 @ 20.364
c NEW SOLUTION FOUND: 1168 @ 21.122
c NEW SOLUTION FOUND: 1167 @ 21.138
c NEW SOLUTION FOUND: 1166 @ 21.704
c NEW SOLUTION FOUND: 1165 @ 22.718
c NEW SOLUTION FOUND: 1164 @ 22.734
c NEW SOLUTION FOUND: 1163 @ 23.293
c NEW SOLUTION FOUND: 1162 @ 24.356
c NEW SOLUTION FOUND: 1159 @ 24.939
c NEW SOLUTION FOUND: 1158 @ 25.894
c NEW SOLUTION FOUND: 1156 @ 26.61
c NEW SOLUTION FOUND: 1155 @ 27.753
c NEW SOLUTION FOUND: 1153 @ 28.649
c NEW SOLUTION FOUND: 1152 @ 29.27
c NEW SOLUTION FOUND: 1151 @ 30.199
c NEW SOLUTION FOUND: 1150 @ 31.435
c NEW SOLUTION FOUND: 1149 @ 33.898
c NEW SOLUTION FOUND: 1148 @ 37.743
c NEW SOLUTION FOUND: 1146 @ 38.346
c NEW SOLUTION FOUND: 1145 @ 40.083
c NEW SOLUTION FOUND: 1144 @ 42.597
c NEW SOLUTION FOUND: 1143 @ 46.264
c NEW SOLUTION FOUND: 1141 @ 48.326
c NEW SOLUTION FOUND: 1140 @ 49.765
c NEW SOLUTION FOUND: 1139 @ 52.259
c NEW SOLUTION FOUND: 1138 @ 64.618
c NEW SOLUTION FOUND: 1137 @ 70.549
c NEW SOLUTION FOUND: 1135 @ 73.658
c NEW SOLUTION FOUND: 1134 @ 74.248
c NEW SOLUTION FOUND: 1133 @ 82.704
c NEW SOLUTION FOUND: 1132 @ 87.839
c NEW SOLUTION FOUND: 1131 @ 88.25
c NEW SOLUTION FOUND: 1130 @ 95.431
c NEW SOLUTION FOUND: 1129 @ 98.032
c NEW SOLUTION FOUND: 1128 @ 98.954
c NEW SOLUTION FOUND: 1127 @ 105.964
c NEW SOLUTION FOUND: 1126 @ 117.759
c NEW SOLUTION FOUND: 1125 @ 121.317
c NEW SOLUTION FOUND: 1124 @ 123.028
c NEW SOLUTION FOUND: 1123 @ 130.187
c NEW SOLUTION FOUND: 1122 @ 135.97
c NEW SOLUTION FOUND: 1121 @ 137.267
c NEW SOLUTION FOUND: 1120 @ 137.431
c NEW SOLUTION FOUND: 1119 @ 144.181
c NEW SOLUTION FOUND: 1118 @ 154.561
c NEW SOLUTION FOUND: 1117 @ 160
c NEW SOLUTION FOUND: 1116 @ 160.143
c NEW SOLUTION FOUND: 1115 @ 166.236
c NEW SOLUTION FOUND: 1114 @ 176.52
c NEW SOLUTION FOUND: 1113 @ 177.322
c NEW SOLUTION FOUND: 1112 @ 178.263
c NEW SOLUTION FOUND: 1111 @ 184.127
c NEW SOLUTION FOUND: 1109 @ 189.349
c NEW SOLUTION FOUND: 1108 @ 190.125
c NEW SOLUTION FOUND: 1107 @ 191.019
c NEW SOLUTION FOUND: 1106 @ 191.802
c NEW SOLUTION FOUND: 1105 @ 192.516
c NEW SOLUTION FOUND: 1104 @ 199.792
c NEW SOLUTION FOUND: 1103 @ 216.993
c NEW SOLUTION FOUND: 1102 @ 222.508
c NEW SOLUTION FOUND: 1101 @ 223.527
c NEW SOLUTION FOUND: 1100 @ 231.17
c NEW SOLUTION FOUND: 1099 @ 242.267
c NEW SOLUTION FOUND: 1098 @ 243.214
c NEW SOLUTION FOUND: 1097 @ 244.282
c NEW SOLUTION FOUND: 1096 @ 251.619
c NEW SOLUTION FOUND: 1095 @ 257.145
c NEW SOLUTION FOUND: 1094 @ 265.582
c NEW SOLUTION FOUND: 1093 @ 267.532
c NEW SOLUTION FOUND: 1092 @ 268.517
c NEW SOLUTION FOUND: 1090 @ 270.361
c NEW SOLUTION FOUND: 1089 @ 270.448
c NEW SOLUTION FOUND: 1088 @ 270.692
c NEW SOLUTION FOUND: 1087 @ 280.626
c NEW SOLUTION FOUND: 1086 @ 282.425
c NEW SOLUTION FOUND: 1085 @ 283.379
c NEW SOLUTION FOUND: 1084 @ 296.753
c NEW SOLUTION FOUND: 1083 @ 302.843
c NEW SOLUTION FOUND: 1082 @ 304.35
c NEW SOLUTION FOUND: 1081 @ 306.09
c NEW SOLUTION FOUND: 1080 @ 323.336
c NEW SOLUTION FOUND: 1079 @ 343.6
c NEW SOLUTION FOUND: 1078 @ 346.919
c NEW SOLUTION FOUND: 1077 @ 348.213
c NEW SOLUTION FOUND: 1076 @ 363.989
c NEW SOLUTION FOUND: 1075 @ 367.696
c NEW SOLUTION FOUND: 1074 @ 383.942
c NEW SOLUTION FOUND: 1073 @ 391.602
c NEW SOLUTION FOUND: 1072 @ 391.626
c NEW SOLUTION FOUND: 1071 @ 392.04
c NEW SOLUTION FOUND: 1070 @ 392.287
c NEW SOLUTION FOUND: 1069 @ 402.582
c NEW SOLUTION FOUND: 1068 @ 409.016
c NEW SOLUTION FOUND: 1067 @ 411.802
c NEW SOLUTION FOUND: 1066 @ 430.431
c NEW SOLUTION FOUND: 1065 @ 438.243
c NEW SOLUTION FOUND: 1064 @ 440.323
c NEW SOLUTION FOUND: 1063 @ 443.354
c NEW SOLUTION FOUND: 1062 @ 455.221
c NEW SOLUTION FOUND: 1061 @ 470.206
c NEW SOLUTION FOUND: 1060 @ 473.301
c NEW SOLUTION FOUND: 1059 @ 475.777
c NEW SOLUTION FOUND: 1058 @ 486.413
c NEW SOLUTION FOUND: 1057 @ 548.716
c NEW SOLUTION FOUND: 1056 @ 554.841
c NEW SOLUTION FOUND: 1055 @ 575.927
c NEW SOLUTION FOUND: 1054 @ 595.031
c NEW SOLUTION FOUND: 1053 @ 599.235
c NEW SOLUTION FOUND: 1052 @ 626.031
c NEW SOLUTION FOUND: 1051 @ 643.633
c NEW SOLUTION FOUND: 1050 @ 664.747
c NEW SOLUTION FOUND: 1049 @ 670.494
c NEW SOLUTION FOUND: 1048 @ 677.342
c NEW SOLUTION FOUND: 1047 @ 692.704
c NEW SOLUTION FOUND: 1046 @ 698.577
c NEW SOLUTION FOUND: 1045 @ 727.936
c NEW SOLUTION FOUND: 1044 @ 751.884
c NEW SOLUTION FOUND: 1043 @ 758.609
c NEW SOLUTION FOUND: 1042 @ 798.893
c NEW SOLUTION FOUND: 1041 @ 810.248
c NEW SOLUTION FOUND: 1040 @ 820.482
c NEW SOLUTION FOUND: 1039 @ 853.694
c NEW SOLUTION FOUND: 1038 @ 894.989
c NEW SOLUTION FOUND: 1037 @ 896.44
c NEW SOLUTION FOUND: 1036 @ 940.323
c NEW SOLUTION FOUND: 1035 @ 985.786
c NEW SOLUTION FOUND: 1034 @ 1018.31
c NEW SOLUTION FOUND: 1033 @ 1022.81
c NEW SOLUTION FOUND: 1032 @ 1030.72
c NEW SOLUTION FOUND: 1031 @ 1058.54
c NEW SOLUTION FOUND: 1030 @ 1080.99
c NEW SOLUTION FOUND: 1029 @ 1091.43
c NEW SOLUTION FOUND: 1028 @ 1139.2
c NEW SOLUTION FOUND: 1027 @ 1140.85
c NEW SOLUTION FOUND: 1026 @ 1144.42
c NEW SOLUTION FOUND: 1025 @ 1165.64
s SATISFIABLE
v -v785 v740 v420 v82 -v860 v744 v418 -v859 -v784 v501 v307 -v85 -v788 v419 -v86 -v63 -v861 -v504 v424 v354 v306 -v62 v863 -v789 -v573 -v505 -v64 -v572 -v478 -v441 v353 v312 -v65 -v27 -v864 v574 -v477 v310 v102 v66 v866 -v810 v575 v479 -v440 v359 v262 v185 v101 v73 -v26 v867 v814 v576 -v482 v357 v311 -v190 v107 -v67 -v30 -v697 v583 v481 -v446 -v399 v315 -v265 v216 -v189 v143 v106 -v68 v701 -v577 v486 -v444 -v358 -v266 v142 v108 -v69 -v31 v2 -v578 v485 v398 v362 -v192 -v166 v144 v112 v1 v660 -v579 -v483 -v445 -v193 -v147 v111 -v7 v659 v594 -v558 -v484 -v449 -v404 v196 v165 v146 -v109 -v6 v661 v598 -v557 -v402 v194 v151 -v110 -v8 v662 -v559 v332 -v195 -v171 v150 -v12 v663 -v562 -v403 -v169 v148 -v11 -v668 v561 v407 v335 v149 -v9 v664 v563 v336 -v170 -v10 v739 v421 v81 v855 v743 v854 -v786 v500 v425 v302 v87 -v790 v423 -v862 -v506 v349 v308 v865 v869 v835 v792 v436 v355 v313 v90 v76 v868 v839 v793 v77 v809 v586 v509 -v442 v360 v316 v261 v212 v72 -v28 v813 v587 v480 v314 v184 v103 -v32 v696 v582 v494 -v447 v394 v363 -v267 v215 v186 v104 v70 v700 v490 v361 -v191 v105 v580 v489 -v450 v400 v188 v161 v116 -v34 -v448 v197 v145 -v35 v3 v593 v542 -v405 -v270 v167 v159 v4 v597 -v155 v5 v671 v408 v331 -v172 -v154 v16 v672 -v560 v406 -v667 v571 v466 v337 v173 -v567 v470 v174 -v781 v741 v496 v422 v83 v745 v426 -v787 v502 v88 v856 -v791 v301 v857 v795 v747 v507 v303 v91 v75 v858 v794 v748 v348 v309 v89 v74 v22 v873 v834 v761 v585 v510 v350 v305 v257 v21 v838 v765 v584 v508 v435 v356 v317 v811 v491 v437 v352 v263 v211 -v29 v815 v493 -v443 v364 -v33 v698 v439 -v268 v217 v119 v71 -v37 v702 -v451 v393 v187 v120 -v36 v817 v581 v538 v487 v395 v271 v205 v156 v115 v818 v401 v269 v201 v160 v158 v704 v670 v595 v541 v488 v397 v327 v220 v200 v162 v113 v19 v705 v669 v599 v409 v168 v20 -v722 v568 v333 v164 -v152 v15 -v726 v570 v175 -v665 v601 v465 v338 -v153 -v131 v13 -v602 -v566 v469 v742 v434 -v79 -v780 v746 v495 v430 v84 -v782 v750 v497 v429 v80 v783 v749 v503 v92 v876 v799 v499 v877 v805 v511 v304 v872 v836 v804 v760 v325 v207 v840 v764 v692 v492 v351 v321 v256 v23 -v884 v870 v812 v691 v372 v320 v258 v213 v118 v24 v888 v816 v438 v368 v264 v117 v25 v842 v820 v699 v459 v367 v260 v218 v202 v41 v843 v819 v703 v589 v455 v272 v204 v157 v707 v588 v537 v454 v221 v18 v706 v396 v219 v17 v596 v543 v417 -v198 -v114 v600 v569 v413 v326 v163 v721 v604 v412 v328 -v199 v183 -v127 v725 v603 v334 v179 -v666 v546 v467 v330 v178 -v130 v14 -v564 v471 v339 v903 v433 v78 v875 v802 v754 v427 v100 v874 v830 v803 v498 v96 v829 v798 v519 v428 v322 v95 -v515 v324 v837 v796 v762 -v514 v369 v841 v806 v766 v371 v206 v883 v871 v845 v807 v456 v318 v291 v208 v44 v887 v844 v808 v693 v458 v259 v214 v203 v45 v824 v768 v694 v533 v383 v365 v319 v280 v210 v40 v769 v695 v276 v222 v711 v619 v539 v452 v414 v366 v275 v38 v623 v590 v416 v591 v544 v453 v180 v592 v461 v182 v723 v608 v547 v460 v410 -v126 v727 v545 v329 v468 v411 v347 v176 -v132 -v565 v472 v343 v801 v431 v97 v800 v99 v753 -v654 v516 v756 v518 v323 v755 v751 v521 v93 v831 -v525 v370 v832 v797 v763 -v512 v287 -v249 v94 v43 v833 v767 v457 v42 v885 v849 v827 v771 -v513 v379 v290 v277 v889 v828 v770 v279 v209 v823 v714 v382 v230 v715 v532 -v415 v226 v891 v821 v710 v641 v618 v534 v273 v225 v39 v892 v717 v645 v622 v540 v181 v716 v708 v679 v611 v536 v274 -v122 v55 v683 v612 v548 v724 v607 v344 -v128 v728 v462 v346 v729 v605 v463 v240 -v177 -v133 v730 v464 v342 -v904 v432 v98 v517 -v653 v752 v520 v245 v879 v757 v524 v878 v852 v826 v758 v286 v248 v853 v825 v759 -v278 v886 v848 v775 v713 v378 v292 v227 v890 v712 v229 v894 v846 v384 v893 v822 v640 v620 v610 v295 v223 v51 v644 v624 v609 v535 v709 v678 v556 v387 v224 v54 v718 v682 v552 v345 v121 v719 v626 v551 v236 v123 v720 -v627 -v129 v734 -v606 v475 v239 v125 v476 -v340 -v134 -v655 -v851 v522 -v282 v244 -v850 v526 -v778 -v657 -v374 v288 v250 v880 -v779 v228 v881 v774 v528 v380 v293 v882 -v614 -v529 v898 v847 v772 v613 v385 v296 v253 v294 v642 v621 v553 v388 v50 v646 v625 v555 v386 v680 v629 v56 v684 v628 v737 v648 v549 v474 v235 v738 -v649 v473 v124 v733 v686 v550 v241 v141 -v59 -v687 -v341 -v137 -v777 v658 v523 v246 -v776 -v656 v527 v281 v531 v283 v251 v530 v373 v289 v901 v375 v285 v254 v902 -v636 v381 v297 v252 v897 v773 v635 v377 -v48 v674 v615 -v554 v389 v895 v673 v643 v616 v52 v647 v617 -v736 v681 v651 v632 -v233 v57 v735 v685 v650 v689 v237 v138 v60 v688 v140 v58 v731 v242 -v135 v247 v900 -v905 v899 v284 v255 -v300 v376 -v298 v392 -v299 v637 v390 -v47 -v896 v638 -v634 -v391 -v46 v675 v639 v633 v53 v676 -v652 v630 v49 v677 -v232 -v139 v61 v690 -v631 -v231 v238 v732 v234 v243 -v136 one 
c Exit Code: 10
c Total time: 1175.03 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.07 1.00 0.92 1/54 18171
Raw data (stat): 18171 (runsolver) R 18170 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906647891 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 7216 0 0 0 975 21 0 0 25 0 1 0 906647891 7553024 1068 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 1068 1111 63 0 1781 0
vsize: 7376
[startup+20.0005 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 22377 0 0 0 1929 68 0 0 25 0 1 0 906647891 8024064 1142 4294967295 134512640 134716908 3221224560 3221220944 1074972325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1959 1142 1111 63 0 1896 0
vsize: 7836
[startup+30.0016 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 36964 0 0 0 2883 114 0 0 25 0 1 0 906647891 8228864 1226 4294967295 134512640 134716908 3221224560 3221221392 1075115286 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2009 1226 1111 63 0 1946 0
vsize: 8036
[startup+40.0019 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 51599 0 0 0 3841 156 0 0 25 0 1 0 906647891 8347648 1330 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2038 1330 1111 63 0 1975 0
vsize: 8152
[startup+50.0026 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 64851 0 0 0 4805 192 0 0 25 0 1 0 906647891 8626176 1419 4294967295 134512640 134716908 3221224560 3221222560 1074915904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2106 1419 1111 63 0 2043 0
vsize: 8424
[startup+60.0023 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 79355 0 0 0 5765 232 0 0 25 0 1 0 906647891 9146368 1546 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2233 1546 1111 63 0 2170 0
vsize: 8932
[startup+70.002 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 92801 0 0 0 6726 271 0 0 25 0 1 0 906647891 9363456 1599 4294967295 134512640 134716908 3221224560 3221222740 1075606105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2286 1599 1111 63 0 2223 0
vsize: 9144
[startup+80.0027 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 106939 0 0 0 7689 308 0 0 25 0 1 0 906647891 9814016 1705 4294967295 134512640 134716908 3221224560 3221222960 1074118806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2396 1705 1111 63 0 2333 0
vsize: 9584
[startup+90.0029 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 118846 0 0 0 8656 342 0 0 25 0 1 0 906647891 10530816 1783 4294967295 134512640 134716908 3221224560 3221221088 1075890968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2571 1783 1111 63 0 2508 0
vsize: 10284
[startup+100.003 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 129684 0 0 0 9624 374 0 0 25 0 1 0 906647891 10534912 1885 4294967295 134512640 134716908 3221224560 3221222524 1074206256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2572 1885 1111 63 0 2509 0
vsize: 10288
[startup+110.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 141599 0 0 0 10590 408 0 0 25 0 1 0 906647891 10801152 1948 4294967295 134512640 134716908 3221224560 3221222540 1073968440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2637 1948 1111 63 0 2574 0
vsize: 10548
[startup+120.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 153698 0 0 0 11557 441 0 0 25 0 1 0 906647891 11096064 2022 4294967295 134512640 134716908 3221224560 3221222884 1077402407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2709 2022 1111 63 0 2646 0
vsize: 10836
[startup+130.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 165634 0 0 0 12521 477 0 0 25 0 1 0 906647891 11411456 2094 4294967295 134512640 134716908 3221224560 3221222976 1074116266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2786 2094 1111 63 0 2723 0
vsize: 11144
[startup+140.004 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 176077 0 0 0 13491 507 0 0 25 0 1 0 906647891 11726848 2176 4294967295 134512640 134716908 3221224560 3221222960 1074118784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2863 2176 1111 63 0 2800 0
vsize: 11452
[startup+150.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 187967 0 0 0 14459 540 0 0 25 0 1 0 906647891 11870208 2201 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2898 2201 1111 63 0 2835 0
vsize: 11592
[startup+160.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 202952 0 0 0 15420 579 0 0 25 0 1 0 906647891 12132352 2272 4294967295 134512640 134716908 3221224560 3221222384 1075824347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2962 2272 1111 63 0 2899 0
vsize: 11848
[startup+170.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 215707 0 0 0 16383 616 0 0 25 0 1 0 906647891 12439552 2350 4294967295 134512640 134716908 3221224560 3221222480 1075799408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3037 2350 1111 63 0 2974 0
vsize: 12148
[startup+180.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 227502 0 0 0 17352 648 0 0 25 0 1 0 906647891 12693504 2407 4294967295 134512640 134716908 3221224560 3221222560 1074921327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3099 2407 1111 63 0 3036 0
vsize: 12396
[startup+190.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 240269 0 0 0 18312 687 0 0 25 0 1 0 906647891 13037568 2492 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3183 2492 1111 63 0 3120 0
vsize: 12732
[startup+200.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 252927 0 0 0 19277 723 0 0 25 0 1 0 906647891 13459456 2551 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3286 2551 1111 63 0 3223 0
vsize: 13144
[startup+210.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 265728 0 0 0 20239 761 0 0 25 0 1 0 906647891 13524992 2614 4294967295 134512640 134716908 3221224560 3221223120 134523396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3302 2614 1111 63 0 3239 0
vsize: 13208
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 281065 0 0 0 21197 803 0 0 25 0 1 0 906647891 13803520 2683 4294967295 134512640 134716908 3221224560 3221222288 1075828228 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3370 2683 1111 63 0 3307 0
vsize: 13480
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 294695 0 0 0 22159 841 0 0 25 0 1 0 906647891 14069760 2748 4294967295 134512640 134716908 3221224560 3221222280 1077380446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3435 2748 1111 63 0 3372 0
vsize: 13740
[startup+240.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 307451 0 0 0 23119 881 0 0 25 0 1 0 906647891 14376960 2823 4294967295 134512640 134716908 3221224560 3221222672 1074867334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3510 2823 1111 63 0 3447 0
vsize: 14040
[startup+250.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 320349 0 0 0 24077 924 0 0 25 0 1 0 906647891 14680064 2894 4294967295 134512640 134716908 3221224560 3221222304 1075640552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3584 2894 1111 63 0 3521 0
vsize: 14336
[startup+260.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 332994 0 0 0 25042 959 0 0 25 0 1 0 906647891 14938112 2960 4294967295 134512640 134716908 3221224560 3221222480 1075802492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3647 2960 1111 63 0 3584 0
vsize: 14588
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 346466 0 0 0 26003 998 0 0 25 0 1 0 906647891 15204352 3025 4294967295 134512640 134716908 3221224560 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3712 3025 1111 63 0 3649 0
vsize: 14848
[startup+280.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 361070 0 0 0 26963 1038 0 0 25 0 1 0 906647891 15605760 3096 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3800 3093 1111 63 0 3737 0
vsize: 15240
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 374481 0 0 0 27924 1077 0 0 25 0 1 0 906647891 15757312 3158 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3847 3158 1111 63 0 3784 0
vsize: 15388
[startup+300.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 386881 0 0 0 28884 1117 0 0 25 0 1 0 906647891 16076800 3232 4294967295 134512640 134716908 3221224560 3221222304 1075640210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3916 3229 1111 63 0 3853 0
vsize: 15700
[startup+310.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 399582 0 0 0 29847 1155 0 0 25 0 1 0 906647891 16314368 3296 4294967295 134512640 134716908 3221224560 3221222960 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3983 3296 1111 63 0 3920 0
vsize: 15932
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 411407 0 0 0 30810 1192 0 0 25 0 1 0 906647891 16662528 3375 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4068 3375 1111 63 0 4005 0
vsize: 16272
[startup+330.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 423938 0 0 0 31773 1229 0 0 25 0 1 0 906647891 16928768 3446 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4133 3446 1111 63 0 4070 0
vsize: 16532
[startup+340.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 438532 0 0 0 32733 1270 0 0 25 0 1 0 906647891 17190912 3510 4294967295 134512640 134716908 3221224560 3221222692 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4197 3510 1111 63 0 4134 0
vsize: 16788
[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 452029 0 0 0 33694 1309 0 0 25 0 1 0 906647891 17469440 3578 4294967295 134512640 134716908 3221224560 3221222744 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4265 3578 1111 63 0 4202 0
vsize: 17060
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 464120 0 0 0 34657 1346 0 0 25 0 1 0 906647891 17743872 3645 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4332 3645 1111 63 0 4269 0
vsize: 17328
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 476059 0 0 0 35620 1383 0 0 25 0 1 0 906647891 18030592 3715 4294967295 134512640 134716908 3221224560 3221222608 1074139394 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4402 3715 1111 63 0 4339 0
vsize: 17608
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 486936 0 0 0 36588 1415 0 0 25 0 1 0 906647891 18329600 3788 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4475 3788 1111 63 0 4412 0
vsize: 17900
[startup+390.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 499411 0 0 0 37549 1455 0 0 25 0 1 0 906647891 18604032 3855 4294967295 134512640 134716908 3221224560 3221222960 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4542 3855 1111 63 0 4479 0
vsize: 18168
[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 513895 0 0 0 38507 1497 0 0 25 0 1 0 906647891 18923520 3933 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4620 3933 1111 63 0 4557 0
vsize: 18480
[startup+410.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 528014 0 0 0 39464 1540 0 0 25 0 1 0 906647891 19218432 4005 4294967295 134512640 134716908 3221224560 3221222500 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4692 4005 1111 63 0 4629 0
vsize: 18768
[startup+420.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 540571 0 0 0 40426 1578 0 0 25 0 1 0 906647891 19554304 4087 4294967295 134512640 134716908 3221224560 3221222960 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4774 4087 1111 63 0 4711 0
vsize: 19096
[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 552582 0 0 0 41390 1614 0 0 25 0 1 0 906647891 19886080 4167 4294967295 134512640 134716908 3221224560 3221221872 1075006839 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4960 4171 1111 63 0 4897 0
vsize: 19420
[startup+440.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 564121 0 0 0 42357 1648 0 0 25 0 1 0 906647891 20254720 4244 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4945 4244 1111 63 0 4882 0
vsize: 19780
[startup+450.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 576237 0 0 0 43321 1683 0 0 25 0 1 0 906647891 20512768 4320 4294967295 134512640 134716908 3221224560 3221222524 1077378064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5008 4320 1111 63 0 4945 0
vsize: 20032
[startup+460.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 587488 0 0 0 44287 1718 0 0 25 0 1 0 906647891 20774912 4382 4294967295 134512640 134716908 3221224560 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5072 4382 1111 63 0 5009 0
vsize: 20288
[startup+470.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 601060 0 0 0 45246 1759 0 0 25 0 1 0 906647891 21041152 4449 4294967295 134512640 134716908 3221224560 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5137 4449 1111 63 0 5074 0
vsize: 20548
[startup+480.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 612713 0 0 0 46211 1795 0 0 25 0 1 0 906647891 21311488 4514 4294967295 134512640 134716908 3221224560 3221222976 1074116233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5203 4514 1111 63 0 5140 0
vsize: 20812
[startup+490.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 624104 0 0 0 47176 1830 0 0 25 0 1 0 906647891 21561344 4577 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5264 4577 1111 63 0 5201 0
vsize: 21056
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 635298 0 0 0 48142 1864 0 0 25 0 1 0 906647891 21868544 4651 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5339 4651 1111 63 0 5276 0
vsize: 21356
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 645874 0 0 0 49106 1900 0 0 25 0 1 0 906647891 22163456 4724 4294967295 134512640 134716908 3221224560 3221222880 1074146275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5411 4724 1111 63 0 5348 0
vsize: 21644
[startup+520.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 656355 0 0 0 50075 1931 0 0 25 0 1 0 906647891 22478848 4800 4294967295 134512640 134716908 3221224560 3221222892 1074143376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5488 4800 1111 63 0 5425 0
vsize: 21952
[startup+530.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 667774 0 0 0 51041 1965 0 0 25 0 1 0 906647891 22798336 4873 4294967295 134512640 134716908 3221224560 3221222304 1075646754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5558 4870 1111 63 0 5495 0
vsize: 22264
[startup+540.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 678232 0 0 0 52009 1997 0 0 25 0 1 0 906647891 23040000 4938 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5625 4938 1111 63 0 5562 0
vsize: 22500
[startup+550.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 688595 0 0 0 52978 2028 0 0 25 0 1 0 906647891 23339008 5005 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5698 5005 1111 63 0 5635 0
vsize: 22792
[startup+560.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 699354 0 0 0 53943 2063 0 0 25 0 1 0 906647891 23961600 5059 4294967295 134512640 134716908 3221224560 3221221452 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5850 5060 1111 63 0 5787 0
vsize: 23400
[startup+570.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 710466 0 0 0 54908 2099 0 0 25 0 1 0 906647891 23797760 5122 4294967295 134512640 134716908 3221224560 3221222584 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5810 5122 1111 63 0 5747 0
vsize: 23240
[startup+580.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 719330 0 0 0 55882 2125 0 0 25 0 1 0 906647891 24035328 5181 4294967295 134512640 134716908 3221224560 3221222672 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5868 5181 1111 63 0 5805 0
vsize: 23472
[startup+590.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 730332 0 0 0 56849 2158 0 0 25 0 1 0 906647891 24276992 5240 4294967295 134512640 134716908 3221224560 3221222700 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5927 5240 1111 63 0 5864 0
vsize: 23708
[startup+600.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 742975 0 0 0 57813 2194 0 0 25 0 1 0 906647891 24522752 5300 4294967295 134512640 134716908 3221224560 3221222744 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5987 5300 1111 63 0 5924 0
vsize: 23948
[startup+610.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 754897 0 0 0 58779 2228 0 0 25 0 1 0 906647891 24813568 5369 4294967295 134512640 134716908 3221224560 3221222304 1075646673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6058 5369 1111 63 0 5995 0
vsize: 24232
[startup+620.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 766121 0 0 0 59744 2263 0 0 25 0 1 0 906647891 25051136 5429 4294967295 134512640 134716908 3221224560 3221222744 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6116 5429 1111 63 0 6053 0
vsize: 24464
[startup+630.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 776669 0 0 0 60713 2295 0 0 25 0 1 0 906647891 25321472 5495 4294967295 134512640 134716908 3221224560 3221223344 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6182 5495 1111 63 0 6119 0
vsize: 24728
[startup+640.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 786671 0 0 0 61680 2327 0 0 25 0 1 0 906647891 25571328 5555 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6243 5555 1111 63 0 6180 0
vsize: 24972
[startup+650.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 797757 0 0 0 62646 2362 0 0 25 0 1 0 906647891 25808896 5613 4294967295 134512640 134716908 3221224560 3221222912 1074142985 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6301 5613 1111 63 0 6238 0
vsize: 25204
[startup+660.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 807585 0 0 0 63613 2395 0 0 25 0 1 0 906647891 26071040 5677 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6365 5677 1111 63 0 6302 0
vsize: 25460
[startup+670.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 819659 0 0 0 64576 2432 0 0 25 0 1 0 906647891 26316800 5734 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6425 5734 1111 63 0 6362 0
vsize: 25700
[startup+680.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 832043 0 0 0 65539 2470 0 0 25 0 1 0 906647891 26533888 5791 4294967295 134512640 134716908 3221224560 3221222524 1077377331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6478 5791 1111 63 0 6415 0
vsize: 25912
[startup+690.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 842672 0 0 0 66505 2504 0 0 25 0 1 0 906647891 27201536 5860 4294967295 134512640 134716908 3221224560 3221221944 1076066963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6641 5860 1111 63 0 6578 0
vsize: 26564
[startup+700.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 855112 0 0 0 67472 2537 0 0 25 0 1 0 906647891 27066368 5920 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6608 5920 1111 63 0 6545 0
vsize: 26432
[startup+710.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 865996 0 0 0 68440 2569 0 0 25 0 1 0 906647891 27369472 5990 4294967295 134512640 134716908 3221224560 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6682 5990 1111 63 0 6619 0
vsize: 26728
[startup+720.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 876490 0 0 0 69406 2603 0 0 25 0 1 0 906647891 27611136 6054 4294967295 134512640 134716908 3221224560 3221222976 1074116259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6741 6054 1111 63 0 6678 0
vsize: 26964
[startup+730.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 887035 0 0 0 70375 2634 0 0 25 0 1 0 906647891 27873280 6118 4294967295 134512640 134716908 3221224560 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6805 6118 1111 63 0 6742 0
vsize: 27220
[startup+740.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 897424 0 0 0 71339 2670 0 0 25 0 1 0 906647891 28123136 6179 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6900 6181 1111 63 0 6837 0
vsize: 27464
[startup+750.014 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 907841 0 0 0 72310 2700 0 0 25 0 1 0 906647891 28426240 6250 4294967295 134512640 134716908 3221224560 3221222944 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6940 6250 1111 63 0 6877 0
vsize: 27760
[startup+760.015 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 918005 0 0 0 73279 2731 0 0 25 0 1 0 906647891 28614656 6299 4294967295 134512640 134716908 3221224560 3221222384 1075824347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6986 6299 1111 63 0 6923 0
vsize: 27944
[startup+770.015 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 927398 0 0 0 74248 2762 0 0 25 0 1 0 906647891 28913664 6370 4294967295 134512640 134716908 3221224560 3221222976 1074116407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7059 6370 1111 63 0 6996 0
vsize: 28236
[startup+780.015 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 937770 0 0 0 75217 2793 0 0 25 0 1 0 906647891 29134848 6426 4294967295 134512640 134716908 3221224560 3221222960 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7113 6426 1111 63 0 7050 0
vsize: 28452
[startup+790.015 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 948825 0 0 0 76182 2828 0 0 25 0 1 0 906647891 29442048 6498 4294967295 134512640 134716908 3221224560 3221222912 1074115296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7188 6498 1111 63 0 7125 0
vsize: 28752
[startup+800.014 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 960762 0 0 0 77148 2863 0 0 25 0 1 0 906647891 29675520 6558 4294967295 134512640 134716908 3221224560 3221222960 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7245 6558 1111 63 0 7182 0
vsize: 28980
[startup+810.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 972296 0 0 0 78112 2898 0 0 25 0 1 0 906647891 29966336 6629 4294967295 134512640 134716908 3221224560 3221222976 1074116193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7316 6629 1111 63 0 7253 0
vsize: 29264
[startup+820.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 983924 0 0 0 79081 2929 0 0 25 0 1 0 906647891 30208000 6687 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7482 6691 1111 63 0 7419 0
vsize: 29500
[startup+830.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 994377 0 0 0 80052 2959 0 0 25 0 1 0 906647891 30474240 6750 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7440 6750 1111 63 0 7377 0
vsize: 29760
[startup+840.014 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1005726 0 0 0 81017 2994 0 0 25 0 1 0 906647891 30699520 6808 4294967295 134512640 134716908 3221224560 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7495 6808 1111 63 0 7432 0
vsize: 29980
[startup+850.014 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1017450 0 0 0 81982 3029 0 0 25 0 1 0 906647891 30973952 6873 4294967295 134512640 134716908 3221224560 3221222960 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7562 6873 1111 63 0 7499 0
vsize: 30248
[startup+860.016 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1028383 0 0 0 82947 3065 0 0 25 0 1 0 906647891 31207424 6932 4294967295 134512640 134716908 3221224560 3221222912 1074115311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7652 6933 1111 63 0 7589 0
vsize: 30476
[startup+870.016 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1039062 0 0 0 83913 3099 0 0 25 0 1 0 906647891 31453184 6992 4294967295 134512640 134716908 3221224560 3221223208 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7679 6992 1111 63 0 7616 0
vsize: 30716
[startup+880.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1050459 0 0 0 84880 3132 0 0 25 0 1 0 906647891 31817728 7070 4294967295 134512640 134716908 3221224560 3221222960 1074119048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7768 7070 1111 63 0 7705 0
vsize: 31072
[startup+890.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1061342 0 0 0 85847 3165 0 0 25 0 1 0 906647891 32010240 7124 4294967295 134512640 134716908 3221224560 3221222872 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7815 7124 1111 63 0 7752 0
vsize: 31260
[startup+900.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1072496 0 0 0 86814 3198 0 0 25 0 1 0 906647891 32210944 7177 4294967295 134512640 134716908 3221224560 3221222524 1077378064 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7864 7177 1111 63 0 7801 0
vsize: 31456
[startup+910.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1083033 0 0 0 87782 3230 0 0 25 0 1 0 906647891 33058816 7254 4294967295 134512640 134716908 3221224560 3221221216 1075966477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8071 7255 1111 63 0 8008 0
vsize: 32284
[startup+920.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1094156 0 0 0 88744 3268 0 0 25 0 1 0 906647891 32739328 7306 4294967295 134512640 134716908 3221224560 3221222496 1074057902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7993 7306 1111 63 0 7930 0
vsize: 31972
[startup+930.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1105255 0 0 0 89711 3302 0 0 25 0 1 0 906647891 33026048 7376 4294967295 134512640 134716908 3221224560 3221222540 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8063 7376 1111 63 0 8000 0
vsize: 32252
[startup+940.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1116059 0 0 0 90680 3333 0 0 25 0 1 0 906647891 33259520 7432 4294967295 134512640 134716908 3221224560 3221222960 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8120 7432 1111 63 0 8057 0
vsize: 32480
[startup+950.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1126803 0 0 0 91648 3365 0 0 25 0 1 0 906647891 33497088 7489 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8178 7489 1111 63 0 8115 0
vsize: 32712
[startup+960.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1137306 0 0 0 92618 3395 0 0 25 0 1 0 906647891 33771520 7558 4294967295 134512640 134716908 3221224560 3221222560 1074052248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8245 7558 1111 63 0 8182 0
vsize: 32980
[startup+970.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1148110 0 0 0 93583 3430 0 0 25 0 1 0 906647891 33988608 7611 4294967295 134512640 134716908 3221224560 3221223120 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8298 7611 1111 63 0 8235 0
vsize: 33192
[startup+980.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1158490 0 0 0 94552 3461 0 0 25 0 1 0 906647891 34291712 7683 4294967295 134512640 134716908 3221224560 3221222304 1075640405 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8372 7683 1111 63 0 8309 0
vsize: 33488
[startup+990.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1168211 0 0 0 95522 3492 0 0 25 0 1 0 906647891 34484224 7732 4294967295 134512640 134716908 3221224560 3221222840 1074207169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8419 7732 1111 63 0 8356 0
vsize: 33676
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1178086 0 0 0 96492 3521 0 0 25 0 1 0 906647891 34824192 7795 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8502 7795 1111 63 0 8439 0
vsize: 34008
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1188593 0 0 0 97461 3553 0 0 25 0 1 0 906647891 34967552 7850 4294967295 134512640 134716908 3221224560 3221222920 1074207671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8537 7850 1111 63 0 8474 0
vsize: 34148
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1199037 0 0 0 98431 3583 0 0 25 0 1 0 906647891 35217408 7911 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8598 7911 1111 63 0 8535 0
vsize: 34392
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1208908 0 0 0 99402 3613 0 0 25 0 1 0 906647891 35549184 7986 4294967295 134512640 134716908 3221224560 3221222892 1077402447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8679 7986 1111 63 0 8616 0
vsize: 34716
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1218867 0 0 0 100373 3641 0 0 25 0 1 0 906647891 35737600 8038 4294967295 134512640 134716908 3221224560 3221222804 1077374082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8725 8038 1111 63 0 8662 0
vsize: 34900
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1229154 0 0 0 101344 3670 0 0 25 0 1 0 906647891 36020224 8102 4294967295 134512640 134716908 3221224560 3221222560 1074051973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8794 8102 1111 63 0 8731 0
vsize: 35176
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1238946 0 0 0 102316 3699 0 0 25 0 1 0 906647891 36712448 8169 4294967295 134512640 134716908 3221224560 3221221504 1074620107 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8861 8166 1111 63 0 8798 0
vsize: 35852
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1249119 0 0 0 103284 3731 0 0 25 0 1 0 906647891 36909056 8247 4294967295 134512640 134716908 3221224560 3221220556 1074860991 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9011 8247 1111 63 0 8948 0
vsize: 36044
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1259446 0 0 0 104255 3760 0 0 25 0 1 0 906647891 36732928 8280 4294967295 134512640 134716908 3221224560 3221222976 1074116576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8968 8280 1111 63 0 8905 0
vsize: 35872
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1269264 0 0 0 105227 3788 0 0 25 0 1 0 906647891 37048320 8349 4294967295 134512640 134716908 3221224560 3221222524 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9045 8349 1111 63 0 8982 0
vsize: 36180
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1279096 0 0 0 106200 3816 0 0 25 0 1 0 906647891 37265408 8407 4294967295 134512640 134716908 3221224560 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9098 8407 1111 63 0 9035 0
vsize: 36392
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1289203 0 0 0 107170 3845 0 0 25 0 1 0 906647891 37515264 8466 4294967295 134512640 134716908 3221224560 3221222912 1074115306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9159 8466 1111 63 0 9096 0
vsize: 36636
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1299493 0 0 0 108142 3874 0 0 25 0 1 0 906647891 37797888 8532 4294967295 134512640 134716908 3221224560 3221222288 1075635987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9228 8532 1111 63 0 9165 0
vsize: 36912
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1309199 0 0 0 109118 3898 0 0 25 0 1 0 906647891 38039552 8592 4294967295 134512640 134716908 3221224560 3221222288 1075635641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9287 8592 1111 63 0 9224 0
vsize: 37148
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1319400 0 0 0 110089 3927 0 0 25 0 1 0 906647891 38260736 8648 4294967295 134512640 134716908 3221224560 3221222960 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9341 8648 1111 63 0 9278 0
vsize: 37364
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1329251 0 0 0 111059 3957 0 0 25 0 1 0 906647891 38555648 8722 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9413 8722 1111 63 0 9350 0
vsize: 37652
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1339072 0 0 0 112031 3985 0 0 25 0 1 0 906647891 38838272 8788 4294967295 134512640 134716908 3221224560 3221222472 1074138233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9482 8788 1111 63 0 9419 0
vsize: 37928
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1348777 0 0 0 113007 4010 0 0 25 0 1 0 906647891 39088128 8850 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9543 8850 1111 63 0 9480 0
vsize: 38172
[startup+1174.89 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 18171
Raw data (stat): 18171 (bsolo_lpr_cuts-) R 18170 31399 31398 0 -1 0 1348777 0 0 0 113007 4010 0 0 25 0 1 0 906647891 39088128 8850 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9543 8850 1111 63 0 9480 0
vsize: 0

Child status: 10
Real time (s): 1174.89
CPU time (s): 1175.05
CPU user time (s): 1134.79
CPU system time (s): 40.2669
CPU usage (%): 100.014
Max. virtual memory (Kb): 38172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1025
#### END VERIFIER DATA ####