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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb
MD5SUM	ee388359e66788d310d5d5b34d6465c1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63236
Optimality of the best value was proved	NO
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
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	1185.16
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 26595

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-24 16:21:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12429 boxname=wulflinc1 idbench=957 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  ee388359e66788d310d5d5b34d6465c1  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 12429
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        393016 kB
Buffers:         38412 kB
Cached:         572228 kB
SwapCached:          0 kB
Active:          84784 kB
Inactive:       528992 kB
HighTotal:      131008 kB
HighFree:        28420 kB
LowTotal:       903652 kB
LowFree:        364596 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           7144 kB
Slab:            22160 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:41:14 (client local time) WITH STATUS 0 IN 1175.28 SECONDS
stats: 12429 7 1175.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8904 variables and 1646 constraints.
c After prepocess the problem consists of 7524 variables and 1269 constraints.
c preprocess terminated 373.259 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 75.731
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.1 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/55 9496
Raw data (stat): 9496 (runsolver) R 9495 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 716560941 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99994 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 42625 0 0 0 909 85 0 0 25 0 1 0 716560941 187613184 42549 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45804 42549 1111 63 0 45741 0
vsize: 183216
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 55579 0 0 0 1886 107 0 0 25 0 1 0 716560941 240803840 55503 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58790 55503 1111 63 0 58727 0
vsize: 235160
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 56980 0 0 0 2883 111 0 0 25 0 1 0 716560941 246480896 56904 4294967295 134512640 134714508 3221224592 3221221068 1077191424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60176 56904 1111 63 0 60113 0
vsize: 240704
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 60235 0 0 0 3875 119 0 0 25 0 1 0 716560941 249958400 60123 4294967295 134512640 134714508 3221224592 3221223096 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61025 60123 1111 63 0 60962 0
vsize: 244100
[startup+50.002 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 62914 0 0 0 4869 125 0 0 25 0 1 0 716560941 260919296 62802 4294967295 134512640 134714508 3221224592 3221223000 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63701 62802 1111 63 0 63638 0
vsize: 254804
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 65315 0 0 0 5864 130 0 0 25 0 1 0 716560941 270811136 65203 4294967295 134512640 134714508 3221224592 3221223008 134542668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66116 65203 1111 63 0 66053 0
vsize: 264464
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 67712 0 0 0 6859 135 0 0 25 0 1 0 716560941 280563712 67600 4294967295 134512640 134714508 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68497 67600 1111 63 0 68434 0
vsize: 273988
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 69831 0 0 0 7856 138 0 0 25 0 1 0 716560941 289226752 69719 4294967295 134512640 134714508 3221224592 3221223216 134528996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70612 69719 1111 63 0 70549 0
vsize: 282448
[startup+90.0022 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 71973 0 0 0 8852 142 0 0 25 0 1 0 716560941 298029056 71861 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72761 71861 1111 63 0 72698 0
vsize: 291044
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 73975 0 0 0 9849 145 0 0 25 0 1 0 716560941 306294784 73863 4294967295 134512640 134714508 3221224592 3221222992 134542753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74779 73863 1111 63 0 74716 0
vsize: 299116
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 75922 0 0 0 10845 149 0 0 25 0 1 0 716560941 314290176 75810 4294967295 134512640 134714508 3221224592 3221223392 134617242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76731 75810 1111 63 0 76668 0
vsize: 306924
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 77681 0 0 0 11842 153 0 0 25 0 1 0 716560941 321482752 77569 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78487 77569 1111 63 0 78424 0
vsize: 313948
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 79333 0 0 0 12839 156 0 0 25 0 1 0 716560941 328253440 79221 4294967295 134512640 134714508 3221224592 3221223004 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80140 79221 1111 63 0 80077 0
vsize: 320560
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 81071 0 0 0 13835 160 0 0 25 0 1 0 716560941 335306752 80959 4294967295 134512640 134714508 3221224592 3221223008 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81862 80959 1111 63 0 81799 0
vsize: 327448
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 82632 0 0 0 14832 163 0 0 25 0 1 0 716560941 341667840 82520 4294967295 134512640 134714508 3221224592 3221223092 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83415 82520 1111 63 0 83352 0
vsize: 333660
[startup+160.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 84113 0 0 0 15829 166 0 0 25 0 1 0 716560941 347770880 84001 4294967295 134512640 134714508 3221224592 3221223104 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84905 84001 1111 63 0 84842 0
vsize: 339620
[startup+170.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 85398 0 0 0 16826 170 0 0 25 0 1 0 716560941 353050624 85286 4294967295 134512640 134714508 3221224592 3221223004 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86194 85286 1111 63 0 86131 0
vsize: 344776
[startup+180.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 86653 0 0 0 17822 173 0 0 25 0 1 0 716560941 358195200 86541 4294967295 134512640 134714508 3221224592 3221223060 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87450 86541 1111 63 0 87387 0
vsize: 349800
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 87834 0 0 0 18821 175 0 0 25 0 1 0 716560941 363073536 87722 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88641 87722 1111 63 0 88578 0
vsize: 354564
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 88794 0 0 0 19819 178 0 0 25 0 1 0 716560941 367005696 88682 4294967295 134512640 134714508 3221224592 3221223304 134586779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89601 88682 1111 63 0 89538 0
vsize: 358404
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 89705 0 0 0 20817 180 0 0 25 0 1 0 716560941 370667520 89593 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90495 89593 1111 63 0 90432 0
vsize: 361980
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 90446 0 0 0 21816 181 0 0 25 0 1 0 716560941 373784576 90334 4294967295 134512640 134714508 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91256 90334 1111 63 0 91193 0
vsize: 365024
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 91122 0 0 0 22814 183 0 0 25 0 1 0 716560941 376496128 91010 4294967295 134512640 134714508 3221224592 3221223080 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91918 91010 1111 63 0 91855 0
vsize: 367672
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 91713 0 0 0 23813 184 0 0 25 0 1 0 716560941 378929152 91601 4294967295 134512640 134714508 3221224592 3221223320 134672921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92512 91601 1111 63 0 92449 0
vsize: 370048
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 92133 0 0 0 24812 185 0 0 25 0 1 0 716560941 380698624 92021 4294967295 134512640 134714508 3221224592 3221223072 134536724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92944 92021 1111 63 0 92881 0
vsize: 371776
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 92617 0 0 0 25810 187 0 0 25 0 1 0 716560941 382599168 92505 4294967295 134512640 134714508 3221224592 3221223056 134542342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93408 92505 1111 63 0 93345 0
vsize: 373632
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 92941 0 0 0 26810 188 0 0 25 0 1 0 716560941 383954944 92829 4294967295 134512640 134714508 3221224592 3221223240 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93739 92829 1111 63 0 93676 0
vsize: 374956
[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 92953 0 0 0 27810 188 0 0 25 0 1 0 716560941 383954944 92841 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93739 92841 1111 63 0 93676 0
vsize: 374956
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 92962 0 0 0 28810 188 0 0 25 0 1 0 716560941 384090112 92850 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92850 1111 63 0 93709 0
vsize: 375088
[startup+300.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 92973 0 0 0 29810 188 0 0 25 0 1 0 716560941 384090112 92861 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92861 1111 63 0 93709 0
vsize: 375088
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 92976 0 0 0 30810 188 0 0 25 0 1 0 716560941 384090112 92864 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92864 1111 63 0 93709 0
vsize: 375088
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 92980 0 0 0 31811 188 0 0 25 0 1 0 716560941 384090112 92868 4294967295 134512640 134714508 3221224592 3221223240 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92868 1111 63 0 93709 0
vsize: 375088
[startup+330.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 92981 0 0 0 32811 188 0 0 25 0 1 0 716560941 384090112 92869 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92869 1111 63 0 93709 0
vsize: 375088
[startup+340.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 92984 0 0 0 33811 188 0 0 25 0 1 0 716560941 384090112 92872 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92872 1111 63 0 93709 0
vsize: 375088
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 92989 0 0 0 34811 188 0 0 25 0 1 0 716560941 384090112 92877 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92877 1111 63 0 93709 0
vsize: 375088
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 92993 0 0 0 35811 188 0 0 25 0 1 0 716560941 384225280 92881 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93805 92881 1111 63 0 93742 0
vsize: 375220
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 92994 0 0 0 36811 188 0 0 25 0 1 0 716560941 384225280 92882 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93805 92882 1111 63 0 93742 0
vsize: 375220
[startup+380.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 94626 0 1 0 37783 193 0 0 25 0 1 0 716560941 390995968 94449 4294967295 134512640 134714508 3221224592 3221222624 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95458 94449 1111 63 0 95395 0
vsize: 381832
[startup+390.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 96041 0 2 0 38778 197 0 0 25 0 1 0 716560941 391757824 94793 4294967295 134512640 134714508 3221224592 3221220556 1074873543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95644 94793 1111 63 0 95581 0
vsize: 382576
[startup+400.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 96048 0 2 0 39778 197 0 0 25 0 1 0 716560941 391770112 94800 4294967295 134512640 134714508 3221224592 3221221432 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95647 94800 1111 63 0 95584 0
vsize: 382588
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 96091 0 2 0 40778 197 0 0 25 0 1 0 716560941 391786496 94829 4294967295 134512640 134714508 3221224592 3221220544 1074790218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95651 94829 1111 63 0 95588 0
vsize: 382604
[startup+420.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 96091 0 2 0 41778 197 0 0 25 0 1 0 716560941 391786496 94829 4294967295 134512640 134714508 3221224592 3221220368 1074868434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95651 94829 1111 63 0 95588 0
vsize: 382604
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 96091 0 2 0 42778 197 0 0 25 0 1 0 716560941 391786496 94829 4294967295 134512640 134714508 3221224592 3221220368 1074871213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95651 94829 1111 63 0 95588 0
vsize: 382604
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97520 0 2 0 43775 201 0 0 25 0 1 0 716560941 388399104 94068 4294967295 134512640 134714508 3221224592 3221223040 134648630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94824 94068 1111 63 0 94761 0
vsize: 379296
[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97521 0 2 0 44775 201 0 0 25 0 1 0 716560941 388399104 94069 4294967295 134512640 134714508 3221224592 3221223344 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94824 94069 1111 63 0 94761 0
vsize: 379296
[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97521 0 2 0 45774 202 0 0 25 0 1 0 716560941 388399104 94069 4294967295 134512640 134714508 3221224592 3221223344 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94824 94069 1111 63 0 94761 0
vsize: 379296
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97557 0 2 0 46773 202 0 0 25 0 1 0 716560941 388534272 94105 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94857 94105 1111 63 0 94794 0
vsize: 379428
[startup+480.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97569 0 2 0 47773 203 0 0 25 0 1 0 716560941 388669440 94117 4294967295 134512640 134714508 3221224592 3221222680 134697437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94890 94117 1111 63 0 94827 0
vsize: 379560
[startup+490.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97646 0 2 0 48772 204 0 0 25 0 1 0 716560941 388898816 94194 4294967295 134512640 134714508 3221224592 3221223216 134542365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94946 94194 1111 63 0 94883 0
vsize: 379784
[startup+500.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97651 0 2 0 49772 204 0 0 25 0 1 0 716560941 388947968 94199 4294967295 134512640 134714508 3221224592 3221223228 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94958 94199 1111 63 0 94895 0
vsize: 379832
[startup+510.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97689 0 2 0 50771 205 0 0 25 0 1 0 716560941 389083136 94237 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94991 94237 1111 63 0 94928 0
vsize: 379964
[startup+520.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97713 0 2 0 51771 205 0 0 25 0 1 0 716560941 389214208 94261 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95023 94261 1111 63 0 94960 0
vsize: 380092
[startup+530.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97727 0 2 0 52771 205 0 0 25 0 1 0 716560941 389234688 94275 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95028 94275 1111 63 0 94965 0
vsize: 380112
[startup+540.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97778 0 2 0 53771 206 0 0 25 0 1 0 716560941 389398528 94289 4294967295 134512640 134714508 3221224592 3221223184 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95068 94289 1111 63 0 95005 0
vsize: 380272
[startup+550.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97792 0 2 0 54771 206 0 0 25 0 1 0 716560941 389246976 94282 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95031 94282 1111 63 0 94968 0
vsize: 380124
[startup+560.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97800 0 2 0 55771 206 0 0 25 0 1 0 716560941 389382144 94290 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95064 94290 1111 63 0 95001 0
vsize: 380256
[startup+570.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97800 0 2 0 56771 207 0 0 25 0 1 0 716560941 389382144 94290 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95064 94290 1111 63 0 95001 0
vsize: 380256
[startup+580.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97812 0 2 0 57771 207 0 0 25 0 1 0 716560941 389382144 94302 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95064 94302 1111 63 0 95001 0
vsize: 380256
[startup+590.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97816 0 2 0 58771 207 0 0 25 0 1 0 716560941 389382144 94306 4294967295 134512640 134714508 3221224592 3221223296 134524477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95064 94306 1111 63 0 95001 0
vsize: 380256
[startup+600.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97845 0 2 0 59771 207 0 0 25 0 1 0 716560941 389414912 94323 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95072 94323 1111 63 0 95009 0
vsize: 380288
[startup+610.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97845 0 2 0 60771 208 0 0 25 0 1 0 716560941 389414912 94323 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95072 94323 1111 63 0 95009 0
vsize: 380288
[startup+620.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97850 0 2 0 61770 208 0 0 25 0 1 0 716560941 389550080 94328 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95105 94328 1111 63 0 95042 0
vsize: 380420
[startup+630.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97850 0 2 0 62770 209 0 0 25 0 1 0 716560941 389435392 94328 4294967295 134512640 134714508 3221224592 3221223184 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95077 94328 1111 63 0 95014 0
vsize: 380308
[startup+640.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97861 0 2 0 63769 209 0 0 25 0 1 0 716560941 389574656 94339 4294967295 134512640 134714508 3221224592 3221222988 1077379941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95111 94339 1111 63 0 95048 0
vsize: 380444
[startup+650.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97886 0 2 0 64769 210 0 0 25 0 1 0 716560941 389582848 94351 4294967295 134512640 134714508 3221224592 3221223200 134543674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95113 94351 1111 63 0 95050 0
vsize: 380452
[startup+660.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97886 0 2 0 65769 210 0 0 25 0 1 0 716560941 389582848 94351 4294967295 134512640 134714508 3221224592 3221223256 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95113 94351 1111 63 0 95050 0
vsize: 380452
[startup+670.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97886 0 2 0 66769 210 0 0 25 0 1 0 716560941 389582848 94351 4294967295 134512640 134714508 3221224592 3221223376 134597580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95113 94351 1111 63 0 95050 0
vsize: 380452
[startup+680.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97924 0 2 0 67768 211 0 0 25 0 1 0 716560941 389718016 94389 4294967295 134512640 134714508 3221224592 3221223220 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95146 94389 1111 63 0 95083 0
vsize: 380584
[startup+690.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97924 0 2 0 68767 212 0 0 25 0 1 0 716560941 389718016 94389 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95146 94389 1111 63 0 95083 0
vsize: 380584
[startup+700.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97924 0 2 0 69767 213 0 0 25 0 1 0 716560941 389718016 94389 4294967295 134512640 134714508 3221224592 3221223296 134528428 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95146 94389 1111 63 0 95083 0
vsize: 380584
[startup+710.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97930 0 2 0 70766 214 0 0 25 0 1 0 716560941 389750784 94395 4294967295 134512640 134714508 3221224592 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95154 94395 1111 63 0 95091 0
vsize: 380616
[startup+720.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 97946 0 2 0 71765 215 0 0 25 0 1 0 716560941 389885952 94411 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95187 94411 1111 63 0 95124 0
vsize: 380748
[startup+730.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98001 0 2 0 72763 217 0 0 25 0 1 0 716560941 389939200 94451 4294967295 134512640 134714508 3221224592 3221223200 134543759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95200 94451 1111 63 0 95137 0
vsize: 380800
[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98040 0 2 0 73764 218 0 0 25 0 1 0 716560941 390127616 94490 4294967295 134512640 134714508 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95246 94490 1111 63 0 95183 0
vsize: 380984
[startup+750.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98068 0 2 0 74763 218 0 0 25 0 1 0 716560941 390262784 94518 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95279 94518 1111 63 0 95216 0
vsize: 381116
[startup+760.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98068 0 2 0 75763 219 0 0 25 0 1 0 716560941 390213632 94518 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95267 94518 1111 63 0 95204 0
vsize: 381068
[startup+770.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98084 0 2 0 76762 220 0 0 25 0 1 0 716560941 390275072 94533 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95282 94533 1111 63 0 95219 0
vsize: 381128
[startup+780.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98131 0 2 0 77761 220 0 0 25 0 1 0 716560941 390545408 94580 4294967295 134512640 134714508 3221224592 3221222772 134697500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95348 94580 1111 63 0 95285 0
vsize: 381392
[startup+790.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98147 0 2 0 78761 221 0 0 25 0 1 0 716560941 390545408 94596 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95348 94596 1111 63 0 95285 0
vsize: 381392
[startup+800.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98147 0 2 0 79761 222 0 0 25 0 1 0 716560941 390545408 94596 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95348 94596 1111 63 0 95285 0
vsize: 381392
[startup+810.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98147 0 2 0 80760 222 0 0 25 0 1 0 716560941 390545408 94596 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95348 94596 1111 63 0 95285 0
vsize: 381392
[startup+820.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98169 0 2 0 81760 223 0 0 25 0 1 0 716560941 390631424 94618 4294967295 134512640 134714508 3221224592 3221223152 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95369 94618 1111 63 0 95306 0
vsize: 381476
[startup+830.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98195 0 2 0 82760 224 0 0 25 0 1 0 716560941 390766592 94644 4294967295 134512640 134714508 3221224592 3221223160 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95402 94644 1111 63 0 95339 0
vsize: 381608
[startup+840.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98196 0 2 0 83758 225 0 0 25 0 1 0 716560941 390766592 94645 4294967295 134512640 134714508 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95402 94645 1111 63 0 95339 0
vsize: 381608
[startup+850.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98237 0 2 0 84758 226 0 0 25 0 1 0 716560941 390987776 94686 4294967295 134512640 134714508 3221224592 3221223176 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95456 94686 1111 63 0 95393 0
vsize: 381824
[startup+860.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98237 0 2 0 85758 226 0 0 25 0 1 0 716560941 390987776 94686 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95456 94686 1111 63 0 95393 0
vsize: 381824
[startup+870.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98239 0 2 0 86757 227 0 0 25 0 1 0 716560941 390987776 94688 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95456 94688 1111 63 0 95393 0
vsize: 381824
[startup+880.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98239 0 2 0 87757 227 0 0 25 0 1 0 716560941 390987776 94688 4294967295 134512640 134714508 3221224592 3221222916 134697199 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95456 94688 1111 63 0 95393 0
vsize: 381824
[startup+890.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98239 0 2 0 88757 228 0 0 25 0 1 0 716560941 390975488 94688 4294967295 134512640 134714508 3221224592 3221223160 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95453 94688 1111 63 0 95390 0
vsize: 381812
[startup+900.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98239 0 2 0 89757 228 0 0 25 0 1 0 716560941 390975488 94688 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95453 94688 1111 63 0 95390 0
vsize: 381812
[startup+910.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98272 0 2 0 90756 228 0 0 25 0 1 0 716560941 391110656 94721 4294967295 134512640 134714508 3221224592 3221223232 134696088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95486 94721 1111 63 0 95423 0
vsize: 381944
[startup+920.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98279 0 2 0 91756 229 0 0 25 0 1 0 716560941 391106560 94728 4294967295 134512640 134714508 3221224592 3221223232 134696094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95485 94728 1111 63 0 95422 0
vsize: 381940
[startup+930.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98304 0 2 0 92755 230 0 0 25 0 1 0 716560941 391225344 94753 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95514 94753 1111 63 0 95451 0
vsize: 382056
[startup+940.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98305 0 2 0 93755 230 0 0 25 0 1 0 716560941 391225344 94754 4294967295 134512640 134714508 3221224592 3221223248 134536743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95514 94754 1111 63 0 95451 0
vsize: 382056
[startup+950.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98362 0 2 0 94755 231 0 0 25 0 1 0 716560941 391409664 94810 4294967295 134512640 134714508 3221224592 3221223200 134549450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95559 94810 1111 63 0 95496 0
vsize: 382236
[startup+960.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98373 0 2 0 95754 232 0 0 25 0 1 0 716560941 391454720 94821 4294967295 134512640 134714508 3221224592 3221223240 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95570 94821 1111 63 0 95507 0
vsize: 382280
[startup+970.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98373 0 2 0 96754 232 0 0 25 0 1 0 716560941 391454720 94821 4294967295 134512640 134714508 3221224592 3221223376 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95570 94821 1111 63 0 95507 0
vsize: 382280
[startup+980.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98383 0 2 0 97754 232 0 0 25 0 1 0 716560941 391581696 94831 4294967295 134512640 134714508 3221224592 3221223216 134536680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95601 94831 1111 63 0 95538 0
vsize: 382404
[startup+990.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98391 0 2 0 98754 232 0 0 25 0 1 0 716560941 391536640 94839 4294967295 134512640 134714508 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95590 94839 1111 63 0 95527 0
vsize: 382360
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98414 0 2 0 99754 233 0 0 25 0 1 0 716560941 391667712 94862 4294967295 134512640 134714508 3221224592 3221223132 134539296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95622 94862 1111 63 0 95559 0
vsize: 382488
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98414 0 2 0 100754 233 0 0 25 0 1 0 716560941 391667712 94862 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95622 94862 1111 63 0 95559 0
vsize: 382488
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98414 0 2 0 101754 233 0 0 25 0 1 0 716560941 391667712 94862 4294967295 134512640 134714508 3221224592 3221223332 134535692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95622 94862 1111 63 0 95559 0
vsize: 382488
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98414 0 2 0 102753 234 0 0 25 0 1 0 716560941 391667712 94862 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95622 94862 1111 63 0 95559 0
vsize: 382488
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98414 0 2 0 103753 235 0 0 25 0 1 0 716560941 391667712 94862 4294967295 134512640 134714508 3221224592 3221223384 134558593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95622 94862 1111 63 0 95559 0
vsize: 382488
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98427 0 2 0 104753 235 0 0 25 0 1 0 716560941 391798784 94875 4294967295 134512640 134714508 3221224592 3221223248 134613647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95654 94875 1111 63 0 95591 0
vsize: 382616
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98427 0 2 0 105753 235 0 0 25 0 1 0 716560941 391778304 94875 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98427 0 2 0 106753 235 0 0 25 0 1 0 716560941 391778304 94875 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98427 0 2 0 107752 236 0 0 25 0 1 0 716560941 391778304 94875 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98427 0 2 0 108752 236 0 0 25 0 1 0 716560941 391778304 94875 4294967295 134512640 134714508 3221224592 3221223200 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98427 0 2 0 109752 236 0 0 25 0 1 0 716560941 391778304 94875 4294967295 134512640 134714508 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98427 0 2 0 110752 237 0 0 25 0 1 0 716560941 391778304 94875 4294967295 134512640 134714508 3221224592 3221223244 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98427 0 2 0 111752 237 0 0 25 0 1 0 716560941 391778304 94875 4294967295 134512640 134714508 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98427 0 2 0 112752 237 0 0 25 0 1 0 716560941 391778304 94875 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98427 0 2 0 113752 237 0 0 25 0 1 0 716560941 391778304 94875 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95649 94875 1111 63 0 95586 0
vsize: 382596
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98437 0 2 0 114751 238 0 0 25 0 1 0 716560941 391778304 94885 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95649 94885 1111 63 0 95586 0
vsize: 382596
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98437 0 2 0 115751 238 0 0 25 0 1 0 716560941 391778304 94885 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95649 94885 1111 63 0 95586 0
vsize: 382596
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98437 0 2 0 116751 239 0 0 25 0 1 0 716560941 391778304 94885 4294967295 134512640 134714508 3221224592 3221223360 134592128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95649 94885 1111 63 0 95586 0
vsize: 382596
[startup+1175.41 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 9496
Raw data (stat): 9496 (bsolo_lpr) R 9495 8378 8377 0 -1 0 98437 0 2 0 116751 239 0 0 25 0 1 0 716560941 391778304 94885 4294967295 134512640 134714508 3221224592 3221223360 134592128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95649 94885 1111 63 0 95586 0
vsize: 0

Child status: 0
Real time (s): 1175.41
CPU time (s): 1175.28
CPU user time (s): 1172.71
CPU system time (s): 2.56961
CPU usage (%): 99.989
Max. virtual memory (Kb): 382616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####