Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb |
MD5SUM | 9cfcc49797c7ac58bfef2056b3d91b66 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 7500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 7500 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 7500 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.065989 |
Number of variables | 7500 |
Total number of constraints | 237715 |
Number of constraints which are clauses | 237715 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 15 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-07 11:05:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27574 boxname=wulflinc6 idbench=132 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 9cfcc49797c7ac58bfef2056b3d91b66 /oldhome/oroussel/tmp/wulflinc6/normalized-g250.15.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-g250.15.opb IDLAUNCH: 27574 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 240548 kB Buffers: 34152 kB Cached: 736772 kB SwapCached: 536 kB Active: 65368 kB Inactive: 707632 kB HighTotal: 131008 kB HighFree: 504 kB LowTotal: 903652 kB LowFree: 240044 kB SwapTotal: 2097136 kB SwapFree: 2095656 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5208 kB Slab: 15396 kB Committed_AS: 63724 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 11:25:44 (client local time) WITH STATUS 0 IN 1204.85 SECONDS stats: 27574 7 1204.85 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 7500 variables and 237715 constraints. #### 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): 0.93 0.97 0.91 2/54 14043 Raw data (stat): 14043 (runsolver) R 14042 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892494823 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+9.99996 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 14043 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 9299 0 0 0 973 24 0 0 25 0 1 0 892494823 51220480 9219 4294967295 134512640 134716908 3221224576 3221223220 1077374528 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12505 9219 1111 63 0 12442 0 vsize: 50020 [startup+20.0003 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 19880 0 0 0 1938 60 0 0 25 0 1 0 892494823 94486528 19800 4294967295 134512640 134716908 3221224576 3221221340 1077191126 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23068 19800 1111 63 0 23005 0 vsize: 92272 [startup+29.9995 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 113104 0 0 0 2721 277 0 0 25 0 1 0 892494823 466616320 113006 4294967295 134512640 134716908 3221224576 3221223104 134554866 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 113920 113013 1111 63 0 113857 0 vsize: 455680 [startup+39.9995 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 191133 0 0 0 3528 458 0 0 25 0 1 0 892494823 785534976 190909 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 190909 1111 63 0 191718 0 vsize: 767124 [startup+50.0005 s] Raw data (loadavg): 1.13 1.00 0.92 1/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) D 14042 25568 25567 0 -1 2048 201312 0 1 0 4487 489 0 0 24 0 1 0 892494823 825147392 196152 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 3223805148 0 0 17 0 0 0 Raw data (statm): 201452 196152 1111 63 0 201389 0 vsize: 805808 [startup+59.9998 s] Raw data (loadavg): 1.11 1.00 0.92 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 223514 0 302 0 4934 545 0 0 25 0 1 0 892494823 785534976 188004 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 188004 1111 63 0 191718 0 vsize: 767124 [startup+69.999 s] Raw data (loadavg): 1.09 1.00 0.92 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 274695 0 304 0 5795 681 0 0 25 0 1 0 892494823 785534976 188006 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 188006 1111 63 0 191718 0 vsize: 767124 [startup+79.9999 s] Raw data (loadavg): 1.08 1.00 0.92 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 326075 0 306 0 6665 808 0 0 25 0 1 0 892494823 855904256 205157 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 208961 205157 1111 63 0 208898 0 vsize: 835844 [startup+90.0003 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 343721 0 490 0 7455 858 0 0 21 0 1 0 892494823 785534976 188447 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 188447 1111 63 0 191718 0 vsize: 767124 [startup+99.9994 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 356970 0 566 0 8346 891 0 0 25 0 1 0 892494823 802791424 193158 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 195994 193158 1111 63 0 195931 0 vsize: 783976 [startup+110 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 381926 0 583 0 9265 953 0 0 25 0 1 0 892494823 785534976 189169 4294967295 134512640 134716908 3221224576 3221222976 1076999584 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 189169 1111 63 0 191718 0 vsize: 767124 [startup+120 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 414215 0 587 0 10176 1036 0 0 25 0 1 0 892494823 804888576 193963 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 196506 193963 1111 63 0 196443 0 vsize: 786024 [startup+130 s] Raw data (loadavg): 1.10 1.02 0.93 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 458362 0 692 0 10770 1155 0 0 25 0 1 0 892494823 785534976 188507 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 188507 1111 63 0 191718 0 vsize: 767124 [startup+140.001 s] Raw data (loadavg): 1.09 1.02 0.93 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 522361 0 703 0 11593 1320 0 0 25 0 1 0 892494823 785534976 188399 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 188399 1111 63 0 191718 0 vsize: 767124 [startup+150 s] Raw data (loadavg): 1.07 1.01 0.93 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 609043 0 715 0 12366 1534 0 0 25 0 1 0 892494823 874356736 210128 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 213466 210128 1111 63 0 213403 0 vsize: 853864 [startup+159.999 s] Raw data (loadavg): 1.06 1.01 0.93 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 674199 0 718 0 13193 1704 0 0 24 0 1 0 892494823 785534976 188460 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 188460 1111 63 0 191718 0 vsize: 767124 [startup+169.999 s] Raw data (loadavg): 1.05 1.01 0.93 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 747656 0 719 0 14008 1888 0 0 25 0 1 0 892494823 818995200 196626 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 199986 196631 1111 63 0 199923 0 vsize: 799800 [startup+180 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 790720 0 719 0 14902 1994 0 0 25 0 1 0 892494823 785534976 188463 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 188463 1111 63 0 191718 0 vsize: 767124 [startup+189.999 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 833643 0 719 0 15793 2103 0 0 25 0 1 0 892494823 785985536 188554 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191891 188560 1111 63 0 191828 0 vsize: 767564 [startup+200 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 888814 0 719 0 16657 2240 0 0 25 0 1 0 892494823 785534976 188463 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 188463 1111 63 0 191718 0 vsize: 767124 [startup+210 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 899910 0 719 0 17629 2268 0 0 25 0 1 0 892494823 785534976 188463 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 188463 1111 63 0 191718 0 vsize: 767124 [startup+219.999 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 899916 0 720 0 18628 2268 0 0 25 0 1 0 892494823 785534976 188470 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 188470 1111 63 0 191718 0 vsize: 767124 [startup+229.999 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 899935 0 723 0 19624 2268 0 0 25 0 1 0 892494823 785534976 188492 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 188492 1111 63 0 191718 0 vsize: 767124 [startup+239.999 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 899943 0 723 0 20624 2268 0 0 25 0 1 0 892494823 785534976 188500 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 188500 1111 63 0 191718 0 vsize: 767124 [startup+250 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 899958 0 729 0 21619 2269 0 0 25 0 1 0 892494823 785534976 188521 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 188521 1111 63 0 191718 0 vsize: 767124 [startup+260 s] Raw data (loadavg): 1.16 1.04 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 926199 0 821 0 22224 2343 0 0 20 0 1 0 892494823 785534976 186717 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 186717 1111 63 0 191718 0 vsize: 767124 [startup+270 s] Raw data (loadavg): 1.13 1.03 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1003818 0 841 0 23005 2539 0 0 25 0 1 0 892494823 785534976 186893 4294967295 134512640 134716908 3221224576 3221223220 134606371 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 186893 1111 63 0 191718 0 vsize: 767124 [startup+280 s] Raw data (loadavg): 1.11 1.03 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1087036 0 842 0 23790 2752 0 0 25 0 1 0 892494823 808493056 192493 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 197386 192500 1111 63 0 197323 0 vsize: 789544 [startup+290 s] Raw data (loadavg): 1.09 1.03 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1185109 0 843 0 24551 2990 0 0 25 0 1 0 892494823 891314176 212711 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 217606 212717 1111 63 0 217543 0 vsize: 870424 [startup+299.999 s] Raw data (loadavg): 1.08 1.03 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1263455 0 843 0 25358 3184 0 0 25 0 1 0 892494823 785534976 186926 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 186926 1111 63 0 191718 0 vsize: 767124 [startup+310 s] Raw data (loadavg): 1.07 1.03 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1289562 0 843 0 26293 3249 0 0 25 0 1 0 892494823 785534976 186932 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 186932 1111 63 0 191718 0 vsize: 767124 [startup+319.999 s] Raw data (loadavg): 1.06 1.03 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1292191 0 843 0 27286 3256 0 0 25 0 1 0 892494823 796336128 189561 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 194418 189561 1111 63 0 194355 0 vsize: 777672 [startup+329.999 s] Raw data (loadavg): 1.05 1.03 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1305381 0 845 0 28247 3293 0 0 25 0 1 0 892494823 785534976 186945 4294967295 134512640 134716908 3221224576 3221222980 134542747 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 186945 1111 63 0 191718 0 vsize: 767124 [startup+339.999 s] Raw data (loadavg): 1.04 1.02 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1318648 0 850 0 29210 3327 0 0 25 0 1 0 892494823 785534976 186963 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 186963 1111 63 0 191718 0 vsize: 767124 [startup+349.999 s] Raw data (loadavg): 1.03 1.02 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329396 0 861 0 30170 3356 0 0 25 0 1 0 892494823 785534976 186993 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 186993 1111 63 0 191718 0 vsize: 767124 [startup+359.998 s] Raw data (loadavg): 1.03 1.02 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329398 0 862 0 31168 3356 0 0 25 0 1 0 892494823 785534976 186996 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 186996 1111 63 0 191718 0 vsize: 767124 [startup+369.998 s] Raw data (loadavg): 1.02 1.02 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329410 0 862 0 32168 3356 0 0 25 0 1 0 892494823 785534976 187008 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187008 1111 63 0 191718 0 vsize: 767124 [startup+379.999 s] Raw data (loadavg): 1.02 1.02 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329410 0 864 0 33165 3357 0 0 25 0 1 0 892494823 785534976 187010 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187010 1111 63 0 191718 0 vsize: 767124 [startup+389.999 s] Raw data (loadavg): 1.02 1.02 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329414 0 866 0 34163 3357 0 0 25 0 1 0 892494823 785534976 187016 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187016 1111 63 0 191718 0 vsize: 767124 [startup+399.999 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329419 0 866 0 35163 3357 0 0 25 0 1 0 892494823 785534976 187021 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187021 1111 63 0 191718 0 vsize: 767124 [startup+409.999 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329427 0 867 0 36161 3357 0 0 25 0 1 0 892494823 785534976 187030 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187030 1111 63 0 191718 0 vsize: 767124 [startup+419.998 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329444 0 874 0 37156 3357 0 0 25 0 1 0 892494823 785534976 187054 4294967295 134512640 134716908 3221224576 3221223056 134542312 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187054 1111 63 0 191718 0 vsize: 767124 [startup+429.998 s] Raw data (loadavg): 1.01 1.02 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329463 0 876 0 38153 3357 0 0 25 0 1 0 892494823 785534976 187075 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187075 1111 63 0 191718 0 vsize: 767124 [startup+439.998 s] Raw data (loadavg): 1.00 1.02 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329469 0 882 0 39149 3358 0 0 25 0 1 0 892494823 785534976 187087 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187087 1111 63 0 191718 0 vsize: 767124 [startup+449.999 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329474 0 882 0 40149 3358 0 0 25 0 1 0 892494823 785534976 187092 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187092 1111 63 0 191718 0 vsize: 767124 [startup+459.998 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329474 0 882 0 41149 3358 0 0 25 0 1 0 892494823 785534976 187092 4294967295 134512640 134716908 3221224576 3221223216 134606270 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187092 1111 63 0 191718 0 vsize: 767124 [startup+469.998 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329474 0 882 0 42149 3358 0 0 25 0 1 0 892494823 785534976 187092 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187092 1111 63 0 191718 0 vsize: 767124 [startup+479.998 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329474 0 882 0 43150 3358 0 0 25 0 1 0 892494823 785534976 187092 4294967295 134512640 134716908 3221224576 3221223056 134539422 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187092 1111 63 0 191718 0 vsize: 767124 [startup+489.997 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329481 0 883 0 44148 3358 0 0 25 0 1 0 892494823 785534976 187100 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187100 1111 63 0 191718 0 vsize: 767124 [startup+499.998 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329485 0 885 0 45143 3358 0 0 25 0 1 0 892494823 785534976 187106 4294967295 134512640 134716908 3221224576 3221223288 134675265 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187106 1111 63 0 191718 0 vsize: 767124 [startup+509.998 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329495 0 889 0 46139 3359 0 0 25 0 1 0 892494823 785534976 187120 4294967295 134512640 134716908 3221224576 3221222968 134543609 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187120 1111 63 0 191718 0 vsize: 767124 [startup+519.998 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329500 0 889 0 47139 3359 0 0 25 0 1 0 892494823 785534976 187125 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187125 1111 63 0 191718 0 vsize: 767124 [startup+529.997 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329503 0 890 0 48139 3359 0 0 25 0 1 0 892494823 785534976 187129 4294967295 134512640 134716908 3221224576 3221223200 134529232 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187129 1111 63 0 191718 0 vsize: 767124 [startup+539.997 s] Raw data (loadavg): 1.00 1.01 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329507 0 893 0 49135 3359 0 0 25 0 1 0 892494823 785534976 187136 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187136 1111 63 0 191718 0 vsize: 767124 [startup+549.997 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329521 0 897 0 50130 3360 0 0 25 0 1 0 892494823 785534976 187154 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187154 1111 63 0 191718 0 vsize: 767124 [startup+559.997 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329529 0 899 0 51126 3360 0 0 25 0 1 0 892494823 785534976 187164 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187164 1111 63 0 191718 0 vsize: 767124 [startup+569.996 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329534 0 900 0 52123 3361 0 0 25 0 1 0 892494823 785534976 187170 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187170 1111 63 0 191718 0 vsize: 767124 [startup+579.997 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329540 0 902 0 53120 3361 0 0 25 0 1 0 892494823 785534976 187178 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187178 1111 63 0 191718 0 vsize: 767124 [startup+589.997 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329553 0 906 0 54117 3362 0 0 25 0 1 0 892494823 785534976 187195 4294967295 134512640 134716908 3221224576 3221223152 134535742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187195 1111 63 0 191718 0 vsize: 767124 [startup+599.997 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329557 0 908 0 55115 3363 0 0 25 0 1 0 892494823 785534976 187201 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187201 1111 63 0 191718 0 vsize: 767124 [startup+609.997 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329557 0 908 0 56116 3363 0 0 25 0 1 0 892494823 785534976 187201 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187201 1111 63 0 191718 0 vsize: 767124 [startup+619.997 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329557 0 908 0 57116 3363 0 0 25 0 1 0 892494823 785534976 187201 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187201 1111 63 0 191718 0 vsize: 767124 [startup+629.997 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329557 0 908 0 58116 3363 0 0 25 0 1 0 892494823 785534976 187201 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187201 1111 63 0 191718 0 vsize: 767124 [startup+639.996 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329563 0 908 0 59117 3363 0 0 25 0 1 0 892494823 785534976 187207 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187207 1111 63 0 191718 0 vsize: 767124 [startup+649.997 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329574 0 915 0 60110 3363 0 0 25 0 1 0 892494823 785534976 187225 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187225 1111 63 0 191718 0 vsize: 767124 [startup+659.997 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329574 0 915 0 61110 3364 0 0 25 0 1 0 892494823 785534976 187225 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187225 1111 63 0 191718 0 vsize: 767124 [startup+669.997 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329579 0 915 0 62111 3364 0 0 25 0 1 0 892494823 785534976 187230 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187230 1111 63 0 191718 0 vsize: 767124 [startup+679.997 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329583 0 917 0 63108 3364 0 0 25 0 1 0 892494823 785534976 187236 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187236 1111 63 0 191718 0 vsize: 767124 [startup+689.997 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329583 0 917 0 64108 3364 0 0 25 0 1 0 892494823 785534976 187236 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187236 1111 63 0 191718 0 vsize: 767124 [startup+699.997 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329583 0 917 0 65108 3364 0 0 25 0 1 0 892494823 785534976 187236 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187236 1111 63 0 191718 0 vsize: 767124 [startup+709.998 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329587 0 919 0 66107 3364 0 0 25 0 1 0 892494823 785534976 187242 4294967295 134512640 134716908 3221224576 3221223084 134543615 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187242 1111 63 0 191718 0 vsize: 767124 [startup+719.998 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329605 0 920 0 67104 3364 0 0 25 0 1 0 892494823 785534976 187261 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187261 1111 63 0 191718 0 vsize: 767124 [startup+729.998 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329611 0 921 0 68103 3364 0 0 25 0 1 0 892494823 785534976 187268 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187268 1111 63 0 191718 0 vsize: 767124 [startup+739.998 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329611 0 921 0 69103 3364 0 0 25 0 1 0 892494823 785534976 187268 4294967295 134512640 134716908 3221224576 3221222940 134539223 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187268 1111 63 0 191718 0 vsize: 767124 [startup+749.998 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329611 0 921 0 70104 3364 0 0 25 0 1 0 892494823 785534976 187268 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187268 1111 63 0 191718 0 vsize: 767124 [startup+759.999 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329631 0 932 0 71095 3365 0 0 25 0 1 0 892494823 785534976 187299 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187299 1111 63 0 191718 0 vsize: 767124 [startup+769.998 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329634 0 934 0 72094 3365 0 0 25 0 1 0 892494823 785534976 187304 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187304 1111 63 0 191718 0 vsize: 767124 [startup+779.999 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329634 0 934 0 73094 3365 0 0 25 0 1 0 892494823 785534976 187304 4294967295 134512640 134716908 3221224576 3221223064 134543638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187304 1111 63 0 191718 0 vsize: 767124 [startup+789.999 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329641 0 940 0 74091 3365 0 0 25 0 1 0 892494823 785534976 187317 4294967295 134512640 134716908 3221224576 3221222960 134542706 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187317 1111 63 0 191718 0 vsize: 767124 [startup+799.999 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329641 0 940 0 75091 3366 0 0 25 0 1 0 892494823 785534976 187317 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187317 1111 63 0 191718 0 vsize: 767124 [startup+809.999 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329641 0 940 0 76091 3366 0 0 25 0 1 0 892494823 785534976 187317 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187317 1111 63 0 191718 0 vsize: 767124 [startup+820 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329641 0 940 0 77091 3366 0 0 25 0 1 0 892494823 785534976 187317 4294967295 134512640 134716908 3221224576 3221223008 134543674 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187317 1111 63 0 191718 0 vsize: 767124 [startup+829.999 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329641 0 940 0 78091 3366 0 0 25 0 1 0 892494823 785534976 187317 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187317 1111 63 0 191718 0 vsize: 767124 [startup+839.999 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329641 0 940 0 79091 3366 0 0 25 0 1 0 892494823 785534976 187317 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187317 1111 63 0 191718 0 vsize: 767124 [startup+850 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329641 0 940 0 80092 3366 0 0 25 0 1 0 892494823 785534976 187317 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187317 1111 63 0 191718 0 vsize: 767124 [startup+860 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329641 0 940 0 81092 3367 0 0 25 0 1 0 892494823 785534976 187317 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187317 1111 63 0 191718 0 vsize: 767124 [startup+870 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329641 0 940 0 82092 3367 0 0 25 0 1 0 892494823 785534976 187317 4294967295 134512640 134716908 3221224576 3221223064 134539581 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187317 1111 63 0 191718 0 vsize: 767124 [startup+880 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329641 0 940 0 83093 3367 0 0 25 0 1 0 892494823 785534976 187317 4294967295 134512640 134716908 3221224576 3221222988 134543653 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187317 1111 63 0 191718 0 vsize: 767124 [startup+890 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329641 0 940 0 84093 3367 0 0 25 0 1 0 892494823 785534976 187317 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187317 1111 63 0 191718 0 vsize: 767124 [startup+900 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329641 0 940 0 85093 3367 0 0 25 0 1 0 892494823 785534976 187317 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187317 1111 63 0 191718 0 vsize: 767124 [startup+910.001 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329641 0 940 0 86093 3367 0 0 25 0 1 0 892494823 785534976 187317 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187317 1111 63 0 191718 0 vsize: 767124 [startup+920.001 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329641 0 940 0 87094 3367 0 0 25 0 1 0 892494823 785534976 187317 4294967295 134512640 134716908 3221224576 3221223176 134557227 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187317 1111 63 0 191718 0 vsize: 767124 [startup+930.001 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329641 0 940 0 88094 3367 0 0 25 0 1 0 892494823 785534976 187317 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187317 1111 63 0 191718 0 vsize: 767124 [startup+940.001 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329641 0 940 0 89094 3367 0 0 25 0 1 0 892494823 785534976 187317 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187317 1111 63 0 191718 0 vsize: 767124 [startup+950.001 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329651 0 941 0 90093 3367 0 0 25 0 1 0 892494823 785534976 187328 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187328 1111 63 0 191718 0 vsize: 767124 [startup+960.001 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329655 0 943 0 91091 3367 0 0 25 0 1 0 892494823 785534976 187334 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187334 1111 63 0 191718 0 vsize: 767124 [startup+970.002 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329656 0 943 0 92091 3367 0 0 25 0 1 0 892494823 785534976 187335 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187335 1111 63 0 191718 0 vsize: 767124 [startup+980.002 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329656 0 943 0 93091 3367 0 0 25 0 1 0 892494823 785534976 187335 4294967295 134512640 134716908 3221224576 3221223060 134542296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187335 1111 63 0 191718 0 vsize: 767124 [startup+990.002 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329656 0 943 0 94091 3367 0 0 25 0 1 0 892494823 785534976 187335 4294967295 134512640 134716908 3221224576 3221222968 134543589 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187335 1111 63 0 191718 0 vsize: 767124 [startup+1000 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329656 0 943 0 95091 3367 0 0 25 0 1 0 892494823 785534976 187335 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187335 1111 63 0 191718 0 vsize: 767124 [startup+1010 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329672 0 945 0 96090 3367 0 0 25 0 1 0 892494823 785534976 187353 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187353 1111 63 0 191718 0 vsize: 767124 [startup+1020 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329709 0 952 0 97083 3368 0 0 25 0 1 0 892494823 785534976 187397 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187397 1111 63 0 191718 0 vsize: 767124 [startup+1030 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329709 0 952 0 98083 3368 0 0 25 0 1 0 892494823 785534976 187397 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187397 1111 63 0 191718 0 vsize: 767124 [startup+1040 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329709 0 952 0 99084 3368 0 0 25 0 1 0 892494823 785534976 187397 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187397 1111 63 0 191718 0 vsize: 767124 [startup+1050 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329714 0 953 0 100081 3368 0 0 25 0 1 0 892494823 785534976 187403 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187403 1111 63 0 191718 0 vsize: 767124 [startup+1060 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329724 0 954 0 101080 3368 0 0 25 0 1 0 892494823 785534976 187414 4294967295 134512640 134716908 3221224576 3221223104 134542848 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187414 1111 63 0 191718 0 vsize: 767124 [startup+1070 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329726 0 955 0 102077 3369 0 0 25 0 1 0 892494823 785534976 187417 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 191781 187417 1111 63 0 191718 0 vsize: 767124 [startup+1080 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329726 0 955 0 103077 3369 0 0 25 0 1 0 892494823 785534976 187417 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187417 1111 63 0 191718 0 vsize: 767124 [startup+1090 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329726 0 955 0 104077 3369 0 0 25 0 1 0 892494823 785534976 187417 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187417 1111 63 0 191718 0 vsize: 767124 [startup+1100 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329726 0 955 0 105077 3369 0 0 25 0 1 0 892494823 785534976 187417 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187417 1111 63 0 191718 0 vsize: 767124 [startup+1110.01 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329726 0 955 0 106078 3369 0 0 25 0 1 0 892494823 785534976 187417 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187417 1111 63 0 191718 0 vsize: 767124 [startup+1120.01 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329726 0 955 0 107078 3369 0 0 25 0 1 0 892494823 785534976 187417 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187417 1111 63 0 191718 0 vsize: 767124 [startup+1130.01 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329726 0 955 0 108078 3369 0 0 25 0 1 0 892494823 785534976 187417 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187417 1111 63 0 191718 0 vsize: 767124 [startup+1140.01 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329726 0 955 0 109079 3369 0 0 25 0 1 0 892494823 785534976 187417 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187417 1111 63 0 191718 0 vsize: 767124 [startup+1150.01 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329726 0 955 0 110079 3369 0 0 25 0 1 0 892494823 785534976 187417 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187417 1111 63 0 191718 0 vsize: 767124 [startup+1160.01 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329726 0 955 0 111079 3369 0 0 25 0 1 0 892494823 785534976 187417 4294967295 134512640 134716908 3221224576 3221223084 134539344 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187417 1111 63 0 191718 0 vsize: 767124 [startup+1170.01 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329726 0 955 0 112080 3369 0 0 25 0 1 0 892494823 785534976 187417 4294967295 134512640 134716908 3221224576 3221223248 134606902 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187417 1111 63 0 191718 0 vsize: 767124 [startup+1180.01 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329726 0 955 0 113080 3369 0 0 25 0 1 0 892494823 785534976 187417 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187417 1111 63 0 191718 0 vsize: 767124 [startup+1190.01 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329726 0 955 0 114080 3369 0 0 25 0 1 0 892494823 785534976 187417 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187417 1111 63 0 191718 0 vsize: 767124 [startup+1200.01 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329728 0 956 0 115078 3370 0 0 25 0 1 0 892494823 785534976 187420 4294967295 134512640 134716908 3221224576 3221223124 134524197 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187420 1111 63 0 191718 0 vsize: 767124 [startup+1210.01 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329730 0 957 0 116077 3370 0 0 25 0 1 0 892494823 785534976 187423 4294967295 134512640 134716908 3221224576 3221223040 134542342 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187423 1111 63 0 191718 0 vsize: 767124 [startup+1220.01 s] Raw data (loadavg): 1.00 1.00 0.94 2/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) R 14042 25568 25567 0 -1 0 1329730 0 957 0 117077 3370 0 0 25 0 1 0 892494823 785534976 187423 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 191781 187423 1111 63 0 191718 0 vsize: 767124 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.39 s] Raw data (loadavg): 1.00 1.00 0.94 1/54 14045 Raw data (stat): 14043 (bsolo_lpr-v2) Z 14042 25568 25567 0 -1 1036 1329730 0 957 0 117077 3407 0 0 25 0 1 0 892494823 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1220.39 CPU time (s): 1204.85 CPU user time (s): 1170.78 CPU system time (s): 34.0798 CPU usage (%): 98.7274 Max. virtual memory (Kb): 870424 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####