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/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-markshare2.opb
MD5SUM	b54bb080800e2327586cd478559c04ff
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10368
Optimality of the best value was proved	NO
Number of terms in the objective function	140
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	7340025
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	7340025
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.09
Number of variables	200
Total number of constraints	67
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	7
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 25654

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 12:13:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18513 boxname=wulflinc31 idbench=1425 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  b54bb080800e2327586cd478559c04ff  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-markshare2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-markshare2.opb
IDLAUNCH: 18513
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        906080 kB
Buffers:         15324 kB
Cached:          93080 kB
SwapCached:       1076 kB
Active:          50956 kB
Inactive:        59788 kB
HighTotal:      131008 kB
HighFree:        69188 kB
LowTotal:       903652 kB
LowFree:        836892 kB
SwapTotal:     2097892 kB
SwapFree:      2095984 kB
Dirty:              68 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            12336 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 12:33:20 (client local time) WITH STATUS 10 IN 1175.39 SECONDS
stats: 18513 0 1175.39 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 200 variables and 14 constraints.
c After prepocess the problem consists of 186 variables and 14 constraints.
c preprocess terminated 0.106 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.019
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 215680 @ 0.393
c NEW SOLUTION FOUND: 185600 @ 0.395
c NEW SOLUTION FOUND: 110592 @ 0.467
c NEW SOLUTION FOUND: 109952 @ 2.332
c NEW SOLUTION FOUND: 102144 @ 2.438
c NEW SOLUTION FOUND: 92032 @ 4.161
c NEW SOLUTION FOUND: 64896 @ 8.55
c NEW SOLUTION FOUND: 61184 @ 11.704
c NEW SOLUTION FOUND: 57344 @ 324.992
c NEW SOLUTION FOUND: 47872 @ 517.912
c NEW SOLUTION FOUND: 46336 @ 666.592
c NEW SOLUTION FOUND: 36352 @ 684.309
c NEW SOLUTION FOUND: 35712 @ 778.424
c NEW SOLUTION FOUND: 31616 @ 779.354
c NEW SOLUTION FOUND: 30336 @ 779.821
c NEW SOLUTION FOUND: 26496 @ 1005.65
c NEW SOLUTION FOUND: 23680 @ 1007.07
c NEW SOLUTION FOUND: 19712 @ 1094.74
s SATISFIABLE
v -s01_bit_7 -s01_bit_6 -s01_bit_5 -s01_bit_4 -s01_bit_3 -s01_bit_2 -s01_bit_1 -s01_bit0 -s01_bit1 s01_bit2 s01_bit3 s01_bit4 -s01_bit5 -s01_bit6 -s01_bit7 -s01_bit8 -s01_bit9 -s01_bit10 -s01_bit11 -s01_bit12 -s11_bit_7 -s11_bit_6 -s11_bit_5 -s11_bit_4 -s11_bit_3 -s11_bit_2 -s11_bit_1 -s11_bit0 s11_bit1 -s11_bit2 s11_bit3 -s11_bit4 -s11_bit5 -s11_bit6 -s11_bit7 -s11_bit8 -s11_bit9 -s11_bit10 -s11_bit11 -s11_bit12 -s21_bit_7 -s21_bit_6 -s21_bit_5 -s21_bit_4 -s21_bit_3 -s21_bit_2 -s21_bit_1 -s21_bit0 -s21_bit1 -s21_bit2 -s21_bit3 s21_bit4 s21_bit5 -s21_bit6 -s21_bit7 -s21_bit8 -s21_bit9 -s21_bit10 -s21_bit11 -s21_bit12 -s31_bit_7 -s31_bit_6 -s31_bit_5 -s31_bit_4 -s31_bit_3 -s31_bit_2 -s31_bit_1 -s31_bit0 s31_bit1 s31_bit2 -s31_bit3 -s31_bit4 -s31_bit5 -s31_bit6 -s31_bit7 -s31_bit8 -s31_bit9 -s31_bit10 -s31_bit11 -s31_bit12 -s41_bit_7 -s41_bit_6 -s41_bit_5 -s41_bit_4 -s41_bit_3 -s41_bit_2 -s41_bit_1 s41_bit0 -s41_bit1 s41_bit2 s41_bit3 -s41_bit4 -s41_bit5 -s41_bit6 -s41_bit7 -s41_bit8 -s41_bit9 -s41_bit10 -s41_bit11 -s41_bit12 -s51_bit_7 -s51_bit_6 -s51_bit_5 -s51_bit_4 -s51_bit_3 -s51_bit_2 -s51_bit_1 -s51_bit0 s51_bit1 s51_bit2 -s51_bit3 -s51_bit4 s51_bit5 -s51_bit6 -s51_bit7 -s51_bit8 -s51_bit9 -s51_bit10 -s51_bit11 -s51_bit12 -s61_bit_7 -s61_bit_6 -s61_bit_5 -s61_bit_4 -s61_bit_3 -s61_bit_2 -s61_bit_1 s61_bit0 s61_bit1 -s61_bit2 s61_bit3 -s61_bit4 -s61_bit5 -s61_bit6 -s61_bit7 -s61_bit8 -s61_bit9 -s61_bit10 -s61_bit11 -s61_bit12 x0_bit0 x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 x5_bit0 -x6_bit0 x7_bit0 -x8_bit0 -x9_bit0 -x10_bit0 -x11_bit0 x12_bit0 -x13_bit0 x14_bit0 x15_bit0 -x16_bit0 x17_bit0 x18_bit0 -x19_bit0 x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 x25_bit0 -x26_bit0 -x27_bit0 -x28_bit0 x29_bit0 x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 x35_bit0 -x36_bit0 x37_bit0 -x38_bit0 -x39_bit0 -x40_bit0 x41_bit0 x42_bit0 -x43_bit0 x44_bit0 x45_bit0 x46_bit0 x47_bit0 -x48_bit0 -x49_bit0 x50_bit0 x51_bit0 x52_bit0 -x53_bit0 -x54_bit0 x55_bit0 x56_bit0 x57_bit0 x58_bit0 x59_bit0 
c Exit Code: 10
c Total time: 1175.28 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.96 2/55 10649
Raw data (stat): 10649 (runsolver) R 10648 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 804208656 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 7018 0 0 0 965 30 0 0 25 0 1 0 804208656 11677696 2140 4294967295 134512640 134714508 3221221776 3221218840 1074845845 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2851 2140 1111 63 0 2788 0
vsize: 11404
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 15017 0 0 0 1939 56 0 0 25 0 1 0 804208656 15585280 3117 4294967295 134512640 134714508 3221221776 3221220128 1074142742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3805 3117 1111 63 0 3742 0
vsize: 15220
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 24070 0 0 0 2908 87 0 0 25 0 1 0 804208656 20439040 4309 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4990 4309 1111 63 0 4927 0
vsize: 19960
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 31617 0 0 0 3885 110 0 0 25 0 1 0 804208656 23834624 5109 4294967295 134512640 134714508 3221221776 3221219504 1075828447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5819 5109 1111 63 0 5756 0
vsize: 23276
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 43631 0 0 0 4853 143 0 0 25 0 1 0 804208656 26320896 5709 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6426 5709 1111 63 0 6363 0
vsize: 25704
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 56654 0 0 0 5819 176 0 0 25 0 1 0 804208656 29609984 6467 4294967295 134512640 134714508 3221221776 3221218240 1074786244 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7229 6467 1111 63 0 7166 0
vsize: 28916
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 64410 0 0 0 6799 197 0 0 25 0 1 0 804208656 31367168 6892 4294967295 134512640 134714508 3221221776 3221217984 1074815244 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7658 6892 1111 63 0 7595 0
vsize: 30632
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 73090 0 0 0 7776 220 0 0 25 0 1 0 804208656 32186368 7131 4294967295 134512640 134714508 3221221776 3221218880 1074138863 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7858 7135 1111 63 0 7795 0
vsize: 31432
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 86022 0 0 0 8745 251 0 0 25 0 1 0 804208656 35180544 7888 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8589 7888 1111 63 0 8526 0
vsize: 34356
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 91771 0 0 0 9731 265 0 0 25 0 1 0 804208656 34738176 7785 4294967295 134512640 134714508 3221221776 3221220488 134543165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8481 7785 1111 63 0 8418 0
vsize: 33924
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 108469 0 0 0 10692 305 0 0 25 0 1 0 804208656 36962304 8198 4294967295 134512640 134714508 3221221776 3221217744 1074872719 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8856 8160 1111 63 0 8793 0
vsize: 36096
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 122789 0 0 0 11659 338 0 0 25 0 1 0 804208656 39632896 8734 4294967295 134512640 134714508 3221221776 3221217920 1074968830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9676 8734 1111 63 0 9613 0
vsize: 38704
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 133232 0 0 0 12637 360 0 0 25 0 1 0 804208656 40673280 8972 4294967295 134512640 134714508 3221221776 3221217744 1074872882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9930 8972 1111 63 0 9867 0
vsize: 39720
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 142169 0 0 0 13617 380 0 0 25 0 1 0 804208656 40345600 9028 4294967295 134512640 134714508 3221221776 3221220044 1074207648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9850 9028 1111 63 0 9787 0
vsize: 39400
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 149319 0 0 0 14599 399 0 0 25 0 1 0 804208656 41086976 9205 4294967295 134512640 134714508 3221221776 3221219776 1074918769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10031 9205 1111 63 0 9968 0
vsize: 40124
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 155248 0 0 0 15585 413 0 0 25 0 1 0 804208656 41775104 9346 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10199 9346 1111 63 0 10136 0
vsize: 40796
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 170487 0 0 0 16550 448 0 0 25 0 1 0 804208656 43184128 9619 4294967295 134512640 134714508 3221221776 3221218040 1074950096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10543 9619 1111 63 0 10480 0
vsize: 42172
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 183575 0 0 0 17517 481 0 0 25 0 1 0 804208656 44437504 9893 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10849 9893 1111 63 0 10786 0
vsize: 43396
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 190993 0 0 0 18499 499 0 0 25 0 1 0 804208656 44322816 10022 4294967295 134512640 134714508 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10821 10022 1111 63 0 10758 0
vsize: 43284
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 197866 0 0 0 19483 516 0 0 25 0 1 0 804208656 44326912 10023 4294967295 134512640 134714508 3221221776 3221219744 1075809612 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10822 10023 1111 63 0 10759 0
vsize: 43288
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 219793 0 0 0 20431 568 0 0 25 0 1 0 804208656 46309376 10501 4294967295 134512640 134714508 3221221776 3221219424 1075818335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11306 10501 1111 63 0 11243 0
vsize: 45224
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 241784 0 0 0 21382 617 0 0 25 0 1 0 804208656 48910336 10991 4294967295 134512640 134714508 3221221776 3221218048 1074961253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11941 10991 1111 63 0 11878 0
vsize: 47764
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 254232 0 0 0 22353 645 0 0 25 0 1 0 804208656 49823744 11226 4294967295 134512640 134714508 3221221776 3221218144 1075894549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12164 11226 1111 63 0 12101 0
vsize: 48656
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 265113 0 0 0 23326 673 0 0 25 0 1 0 804208656 49958912 11392 4294967295 134512640 134714508 3221221776 3221219596 1077377725 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12197 11392 1111 63 0 12134 0
vsize: 48788
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 274019 0 0 0 24305 694 0 0 25 0 1 0 804208656 50683904 11553 4294967295 134512640 134714508 3221221776 3221220144 1074140701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12374 11553 1111 63 0 12311 0
vsize: 49496
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 284195 0 0 0 25279 720 0 0 25 0 1 0 804208656 52170752 11760 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12737 11760 1111 63 0 12674 0
vsize: 50948
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 293586 0 0 0 26255 744 0 0 25 0 1 0 804208656 52236288 11917 4294967295 134512640 134714508 3221221776 3221218968 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12940 11923 1111 63 0 12877 0
vsize: 51012
[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 301074 0 0 0 27237 762 0 0 25 0 1 0 804208656 53727232 12167 4294967295 134512640 134714508 3221221776 3221217820 1074873474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13117 12167 1111 63 0 13054 0
vsize: 52468
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 307342 0 0 0 28221 778 0 0 25 0 1 0 804208656 53805056 12151 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13136 12151 1111 63 0 13073 0
vsize: 52544
[startup+300.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 314090 0 0 0 29205 794 0 0 25 0 1 0 804208656 54403072 12336 4294967295 134512640 134714508 3221221776 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13282 12336 1111 63 0 13219 0
vsize: 53128
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 320247 0 0 0 30190 810 0 0 25 0 1 0 804208656 53620736 12288 4294967295 134512640 134714508 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13091 12288 1111 63 0 13028 0
vsize: 52364
[startup+320.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 328142 0 0 0 31170 830 0 0 25 0 1 0 804208656 55197696 12537 4294967295 134512640 134714508 3221221776 3221218840 1077410190 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13476 12537 1111 63 0 13413 0
vsize: 53904
[startup+330.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 336754 0 0 0 32148 852 0 0 25 0 1 0 804208656 54763520 12583 4294967295 134512640 134714508 3221221776 3221220544 134556617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13370 12583 1111 63 0 13307 0
vsize: 53480
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 347410 0 0 0 33120 878 0 0 25 0 1 0 804208656 55508992 12765 4294967295 134512640 134714508 3221221776 3221220500 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13552 12765 1111 63 0 13489 0
vsize: 54208
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 354623 0 0 0 34103 896 0 0 25 0 1 0 804208656 57065472 13023 4294967295 134512640 134714508 3221221776 3221218376 1075850656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13932 13023 1111 63 0 13869 0
vsize: 55728
[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 365648 0 0 0 35076 923 0 0 25 0 1 0 804208656 56745984 13067 4294967295 134512640 134714508 3221221776 3221219984 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13854 13067 1111 63 0 13791 0
vsize: 55416
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 371884 0 0 0 36060 939 0 0 25 0 1 0 804208656 57065472 13127 4294967295 134512640 134714508 3221221776 3221219776 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13932 13127 1111 63 0 13869 0
vsize: 55728
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 376142 0 0 0 37049 950 0 0 25 0 1 0 804208656 57634816 13284 4294967295 134512640 134714508 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14071 13284 1111 63 0 14008 0
vsize: 56284
[startup+390.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 383244 0 0 0 38033 966 0 0 25 0 1 0 804208656 58183680 13407 4294967295 134512640 134714508 3221221776 3221219776 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14205 13407 1111 63 0 14142 0
vsize: 56820
[startup+400.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 398549 0 0 0 38997 1003 0 0 25 0 1 0 804208656 59555840 13624 4294967295 134512640 134714508 3221221776 3221217772 1074788177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14540 13624 1111 63 0 14477 0
vsize: 58160
[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 421568 0 0 0 39947 1052 0 0 25 0 1 0 804208656 61943808 14166 4294967295 134512640 134714508 3221221776 3221217868 1075663448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15123 14166 1111 63 0 15060 0
vsize: 60492
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 431963 0 0 0 40922 1078 0 0 25 0 1 0 804208656 61693952 14278 4294967295 134512640 134714508 3221221776 3221220032 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15062 14278 1111 63 0 14999 0
vsize: 60248
[startup+430.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 443401 0 0 0 41894 1106 0 0 25 0 1 0 804208656 62726144 14499 4294967295 134512640 134714508 3221221776 3221218812 1077386340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15314 14499 1111 63 0 15251 0
vsize: 61256
[startup+440.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 454918 0 0 0 42865 1135 0 0 25 0 1 0 804208656 63311872 14666 4294967295 134512640 134714508 3221221776 3221219776 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15457 14666 1111 63 0 15394 0
vsize: 61828
[startup+450.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 464846 0 0 0 43841 1159 0 0 25 0 1 0 804208656 63918080 14814 4294967295 134512640 134714508 3221221776 3221219968 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15605 14814 1111 63 0 15542 0
vsize: 62420
[startup+460.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 475895 0 0 0 44816 1184 0 0 25 0 1 0 804208656 65605632 15011 4294967295 134512640 134714508 3221221776 3221217920 1074969474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16017 15020 1111 63 0 15954 0
vsize: 64068
[startup+470.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 485471 0 0 0 45794 1207 0 0 25 0 1 0 804208656 65404928 15169 4294967295 134512640 134714508 3221221776 3221220488 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15968 15169 1111 63 0 15905 0
vsize: 63872
[startup+480.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 497743 0 0 0 46763 1237 0 0 25 0 1 0 804208656 66097152 15346 4294967295 134512640 134714508 3221221776 3221220252 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16137 15346 1111 63 0 16074 0
vsize: 64548
[startup+490.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 511521 0 0 0 47731 1270 0 0 25 0 1 0 804208656 68112384 15670 4294967295 134512640 134714508 3221221776 3221218148 1075964271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16629 15670 1111 63 0 16566 0
vsize: 66516
[startup+500.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 527477 0 0 0 48694 1307 0 0 25 0 1 0 804208656 70922240 16257 4294967295 134512640 134714508 3221221776 3221219776 1074918347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17315 16257 1111 63 0 17252 0
vsize: 69260
[startup+510.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 543292 0 0 0 49659 1342 0 0 25 0 1 0 804208656 72773632 16703 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17767 16703 1111 63 0 17704 0
vsize: 71068
[startup+520.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 562776 0 0 0 50614 1388 0 0 25 0 1 0 804208656 73654272 16925 4294967295 134512640 134714508 3221221776 3221219520 1075646807 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17982 16925 1111 63 0 17919 0
vsize: 71928
[startup+530.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 587391 0 0 0 51557 1444 0 0 25 0 1 0 804208656 76537856 17476 4294967295 134512640 134714508 3221221776 3221217740 1074860617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18686 17477 1111 63 0 18623 0
vsize: 74744
[startup+540.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 602107 0 0 0 52521 1480 0 0 25 0 1 0 804208656 77160448 17759 4294967295 134512640 134714508 3221221776 3221219776 1074918206 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18838 17759 1111 63 0 18775 0
vsize: 75352
[startup+550.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 609510 0 0 0 53504 1498 0 0 25 0 1 0 804208656 78245888 17888 4294967295 134512640 134714508 3221221776 3221217932 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19103 17888 1111 63 0 19040 0
vsize: 76412
[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 618447 0 0 0 54484 1517 0 0 25 0 1 0 804208656 79183872 18118 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19332 18118 1111 63 0 19269 0
vsize: 77328
[startup+570.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 627660 0 0 0 55463 1539 0 0 25 0 1 0 804208656 78520320 18093 4294967295 134512640 134714508 3221221776 3221219504 1075828545 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19170 18093 1111 63 0 19107 0
vsize: 76680
[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 637546 0 0 0 56439 1563 0 0 25 0 1 0 804208656 79454208 18329 4294967295 134512640 134714508 3221221776 3221220492 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19398 18329 1111 63 0 19335 0
vsize: 77592
[startup+590.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 643255 0 0 0 57424 1578 0 0 25 0 1 0 804208656 80523264 18444 4294967295 134512640 134714508 3221221776 3221218848 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19659 18444 1111 63 0 19596 0
vsize: 78636
[startup+600.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 649220 0 0 0 58409 1594 0 0 25 0 1 0 804208656 80773120 18494 4294967295 134512640 134714508 3221221776 3221218048 1074961253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18494 1111 63 0 19657 0
vsize: 78880
[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 654007 0 0 0 59396 1606 0 0 25 0 1 0 804208656 81244160 18687 4294967295 134512640 134714508 3221221776 3221219056 1074140035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19835 18691 1111 63 0 19772 0
vsize: 79340
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 656454 0 0 0 60391 1612 0 0 25 0 1 0 804208656 79974400 18457 4294967295 134512640 134714508 3221221776 3221219928 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19525 18457 1111 63 0 19462 0
vsize: 78100
[startup+630.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 663200 0 0 0 61375 1628 0 0 25 0 1 0 804208656 81309696 18642 4294967295 134512640 134714508 3221221776 3221218048 1074961375 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19851 18642 1111 63 0 19788 0
vsize: 79404
[startup+640.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 669389 0 0 0 62360 1643 0 0 25 0 1 0 804208656 82280448 18870 4294967295 134512640 134714508 3221221776 3221217936 1075093729 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20088 18870 1111 63 0 20025 0
vsize: 80352
[startup+650.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 677757 0 0 0 63340 1663 0 0 25 0 1 0 804208656 80695296 18603 4294967295 134512640 134714508 3221221776 3221220024 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19701 18603 1111 63 0 19638 0
vsize: 78804
[startup+660.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 686524 0 0 0 64321 1683 0 0 25 0 1 0 804208656 82079744 18775 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20039 18777 1111 63 0 19976 0
vsize: 80156
[startup+670.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 700756 0 0 0 65289 1715 0 0 25 0 1 0 804208656 81883136 18919 4294967295 134512640 134714508 3221221776 3221219908 1077374082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19991 18919 1111 63 0 19928 0
vsize: 79964
[startup+680.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 708516 0 0 0 66271 1732 0 0 25 0 1 0 804208656 82206720 18998 4294967295 134512640 134714508 3221221776 3221219936 1074206277 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20070 18998 1111 63 0 20007 0
vsize: 80280
[startup+690.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 717749 0 0 0 67250 1753 0 0 25 0 1 0 804208656 82636800 19103 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20175 19103 1111 63 0 20112 0
vsize: 80700
[startup+700.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 733926 0 0 0 68213 1791 0 0 25 0 1 0 804208656 83628032 19326 4294967295 134512640 134714508 3221221776 3221219776 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20417 19326 1111 63 0 20354 0
vsize: 81668
[startup+710.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 744963 0 0 0 69189 1815 0 0 25 0 1 0 804208656 85086208 19544 4294967295 134512640 134714508 3221221776 3221217740 1074861049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20773 19544 1111 63 0 20710 0
vsize: 83092
[startup+720.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 758796 0 0 0 70157 1847 0 0 25 0 1 0 804208656 85266432 19729 4294967295 134512640 134714508 3221221776 3221219608 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20817 19737 1111 63 0 20754 0
vsize: 83268
[startup+730.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 772265 0 0 0 71127 1877 0 0 25 0 1 0 804208656 86224896 19993 4294967295 134512640 134714508 3221221776 3221220592 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21051 19993 1111 63 0 20988 0
vsize: 84204
[startup+740.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 779158 0 0 0 72112 1893 0 0 25 0 1 0 804208656 87711744 20229 4294967295 134512640 134714508 3221221776 3221217740 1074788177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21414 20229 1111 63 0 21351 0
vsize: 85656
[startup+750.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 788938 0 0 0 73089 1915 0 0 25 0 1 0 804208656 86843392 20147 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21202 20147 1111 63 0 21139 0
vsize: 84808
[startup+760.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 818759 0 0 0 74020 1985 0 0 25 0 1 0 804208656 91164672 21055 4294967295 134512640 134714508 3221221776 3221217920 1074969654 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22257 21055 1111 63 0 22194 0
vsize: 89028
[startup+770.022 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 842975 0 0 0 74964 2041 0 0 25 0 1 0 804208656 92930048 21619 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22688 21620 1111 63 0 22625 0
vsize: 90752
[startup+780.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 873729 0 0 0 75897 2108 0 0 25 0 1 0 804208656 97271808 22434 4294967295 134512640 134714508 3221221776 3221218704 1075960483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23748 22446 1111 63 0 23685 0
vsize: 94992
[startup+790.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 907045 0 0 0 76820 2186 0 0 25 0 1 0 804208656 101818368 23544 4294967295 134512640 134714508 3221221776 3221218156 1075112635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24858 23544 1111 63 0 24795 0
vsize: 99432
[startup+800.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 941787 0 0 0 77740 2265 0 0 25 0 1 0 804208656 105672704 24559 4294967295 134512640 134714508 3221221776 3221220112 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25799 24559 1111 63 0 25736 0
vsize: 103196
[startup+810.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 977074 0 0 0 78661 2345 0 0 25 0 1 0 804208656 109453312 25481 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26722 25481 1111 63 0 26659 0
vsize: 106888
[startup+820.023 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1013230 0 0 0 79582 2424 0 0 25 0 1 0 804208656 112463872 26163 4294967295 134512640 134714508 3221221776 3221220624 134643423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27457 26163 1111 63 0 27394 0
vsize: 109828
[startup+830.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1048478 0 0 0 80506 2500 0 0 25 0 1 0 804208656 115982336 26804 4294967295 134512640 134714508 3221221776 3221217952 1074882620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28146 26767 1111 63 0 28083 0
vsize: 113264
[startup+840.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1070332 0 0 0 81458 2548 0 0 25 0 1 0 804208656 116994048 27265 4294967295 134512640 134714508 3221221776 3221220220 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28563 27265 1111 63 0 28500 0
vsize: 114252
[startup+850.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1092225 0 0 0 82407 2599 0 0 25 0 1 0 804208656 119668736 27734 4294967295 134512640 134714508 3221221776 3221217936 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29216 27746 1111 63 0 29153 0
vsize: 116864
[startup+860.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1117790 0 0 0 83354 2652 0 0 25 0 1 0 804208656 121794560 28232 4294967295 134512640 134714508 3221221776 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29735 28232 1111 63 0 29672 0
vsize: 118940
[startup+870.024 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1146362 0 0 0 84292 2715 0 0 25 0 1 0 804208656 124870656 28974 4294967295 134512640 134714508 3221221776 3221217868 1075663503 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30486 28974 1111 63 0 30423 0
vsize: 121944
[startup+880.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1172736 0 0 0 85235 2772 0 0 25 0 1 0 804208656 125812736 29380 4294967295 134512640 134714508 3221221776 3221219976 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30716 29380 1111 63 0 30653 0
vsize: 122864
[startup+890.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1199347 0 0 0 86177 2831 0 0 25 0 1 0 804208656 128008192 29919 4294967295 134512640 134714508 3221221776 3221220336 1073989433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31252 29919 1111 63 0 31189 0
vsize: 125008
[startup+900.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1229832 0 0 0 87113 2896 0 0 25 0 1 0 804208656 136519680 31253 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33216 31249 1111 63 0 33153 0
vsize: 133320
[startup+910.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1263552 0 0 0 88037 2971 0 0 25 0 1 0 804208656 137908224 31649 4294967295 134512640 134714508 3221221776 3221220104 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33669 31649 1111 63 0 33606 0
vsize: 134676
[startup+920.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1296722 0 0 0 88965 3044 0 0 25 0 1 0 804208656 141021184 32189 4294967295 134512640 134714508 3221221776 3221217740 1074860632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34429 32189 1111 63 0 34366 0
vsize: 137716
[startup+930.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1329444 0 0 0 89893 3116 0 0 25 0 1 0 804208656 143904768 32915 4294967295 134512640 134714508 3221221776 3221217748 1074786567 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35133 32915 1111 63 0 35070 0
vsize: 140532
[startup+940.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1353293 0 0 0 90840 3169 0 0 25 0 1 0 804208656 144789504 33286 4294967295 134512640 134714508 3221221776 3221219520 1074051973 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35349 33286 1111 63 0 35286 0
vsize: 141396
[startup+950.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1386772 0 0 0 91765 3244 0 0 25 0 1 0 804208656 149024768 34064 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36383 34072 1111 63 0 36320 0
vsize: 145532
[startup+960.036 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1408494 0 0 0 92717 3293 0 0 25 0 1 0 804208656 150831104 34562 4294967295 134512640 134714508 3221221776 3221218048 1074961132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36824 34562 1111 63 0 36761 0
vsize: 147296
[startup+970.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1426309 0 0 0 93675 3334 0 0 25 0 1 0 804208656 151216128 34852 4294967295 134512640 134714508 3221221776 3221219720 1077377516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36918 34852 1111 63 0 36855 0
vsize: 147672
[startup+980.035 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1447148 0 0 0 94628 3381 0 0 25 0 1 0 804208656 152711168 35224 4294967295 134512640 134714508 3221221776 3221220488 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37283 35224 1111 63 0 37220 0
vsize: 149132
[startup+990.037 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1466018 0 0 0 95585 3425 0 0 25 0 1 0 804208656 154505216 35642 4294967295 134512640 134714508 3221221776 3221220240 1074121049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37721 35642 1111 63 0 37658 0
vsize: 150884
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1483727 0 0 0 96544 3466 0 0 25 0 1 0 804208656 156262400 36060 4294967295 134512640 134714508 3221221776 3221220332 134536845 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38150 36060 1111 63 0 38087 0
vsize: 152600
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1510637 0 0 0 97485 3525 0 0 25 0 1 0 804208656 159555584 36820 4294967295 134512640 134714508 3221221776 3221219776 1074915850 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38954 36820 1111 63 0 38891 0
vsize: 155816
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1533630 0 0 0 98432 3578 0 0 25 0 1 0 804208656 161947648 37395 4294967295 134512640 134714508 3221221776 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39538 37395 1111 63 0 39475 0
vsize: 158152
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1554692 0 0 0 99383 3627 0 0 25 0 1 0 804208656 164032512 37910 4294967295 134512640 134714508 3221221776 3221219888 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40047 37910 1111 63 0 39984 0
vsize: 160188
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1584512 0 0 0 100315 3696 0 0 25 0 1 0 804208656 168304640 38878 4294967295 134512640 134714508 3221221776 3221219968 1074153673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41090 38878 1111 63 0 41027 0
vsize: 164360
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1607528 0 0 0 101264 3746 0 0 25 0 1 0 804208656 170622976 39453 4294967295 134512640 134714508 3221221776 3221219968 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41656 39453 1111 63 0 41593 0
vsize: 166624
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1626283 0 0 0 102223 3788 0 0 25 0 1 0 804208656 173285376 39828 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42306 39829 1111 63 0 42243 0
vsize: 169224
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1648501 0 0 0 103173 3838 0 0 25 0 1 0 804208656 174551040 40328 4294967295 134512640 134714508 3221221776 3221219888 1074867296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42615 40328 1111 63 0 42552 0
vsize: 170460
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1668929 0 0 0 104126 3886 0 0 25 0 1 0 804208656 177246208 40941 4294967295 134512640 134714508 3221221776 3221220156 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43273 40941 1111 63 0 43210 0
vsize: 173092
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1692158 0 0 0 105074 3937 0 0 25 0 1 0 804208656 179552256 41539 4294967295 134512640 134714508 3221221776 3221220204 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43836 41539 1111 63 0 43773 0
vsize: 175344
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1713520 0 0 0 106026 3986 0 0 25 0 1 0 804208656 181628928 42020 4294967295 134512640 134714508 3221221776 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44343 42020 1111 63 0 44280 0
vsize: 177372
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1740555 0 0 0 106968 4044 0 0 25 0 1 0 804208656 184070144 42620 4294967295 134512640 134714508 3221221776 3221219776 1074916908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44939 42620 1111 63 0 44876 0
vsize: 179756
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1755281 0 0 0 107936 4076 0 0 25 0 1 0 804208656 185085952 42889 4294967295 134512640 134714508 3221221776 3221219888 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45187 42889 1111 63 0 45124 0
vsize: 180748
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1765883 0 0 0 108909 4103 0 0 25 0 1 0 804208656 185778176 43038 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45356 43038 1111 63 0 45293 0
vsize: 181424
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1779600 0 0 0 109877 4135 0 0 25 0 1 0 804208656 186687488 43263 4294967295 134512640 134714508 3221221776 3221219968 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45578 43263 1111 63 0 45515 0
vsize: 182312
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1790907 0 0 0 110851 4161 0 0 25 0 1 0 804208656 187777024 43455 4294967295 134512640 134714508 3221221776 3221219504 1075828775 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45844 43455 1111 63 0 45781 0
vsize: 183376
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1815205 0 0 0 111799 4214 0 0 25 0 1 0 804208656 190570496 44172 4294967295 134512640 134714508 3221221776 3221219776 1074913896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46526 44172 1111 63 0 46463 0
vsize: 186104
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1834797 0 0 0 112754 4258 0 0 25 0 1 0 804208656 192503808 44626 4294967295 134512640 134714508 3221221776 3221219920 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46998 44626 1111 63 0 46935 0
vsize: 187992
[startup+1175.3 s]
Raw data (loadavg): 0.99 0.98 0.96 1/54 10649
Raw data (stat): 10649 (bsolo_lpr) R 10648 7876 7672 0 -1 0 1834797 0 0 0 112754 4258 0 0 25 0 1 0 804208656 192503808 44626 4294967295 134512640 134714508 3221221776 3221219920 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46998 44626 1111 63 0 46935 0
vsize: 0

Child status: 10
Real time (s): 1175.3
CPU time (s): 1175.39
CPU user time (s): 1132.6
CPU system time (s): 42.7935
CPU usage (%): 100.008
Max. virtual memory (Kb): 187992
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	19712
#### END VERIFIER DATA ####