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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ar.opb
MD5SUM	978e3479aff123296d0a3461e698e01d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	14101
Biggest coefficient in the objective function	292878668
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	975388850291
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	292878668
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	975388850291
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	10.9833
Number of variables	14101
Total number of constraints	15862
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15263
Number of constraints which are nor clauses,nor cardinality constraints	418
Minimum length of a constraint	1
Maximum length of a constraint	2463
Trace number 25328

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-18 12:11:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20229 boxname=wulflinc31 idbench=1557 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  978e3479aff123296d0a3461e698e01d  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ar.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ar.opb
IDLAUNCH: 20229
/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:        714080 kB
Buffers:         24308 kB
Cached:         273416 kB
SwapCached:        932 kB
Active:         106608 kB
Inactive:       194356 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        713828 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13920 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-18 12:31:51 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 20229 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 14101 variables and 1739 constraints.
c After prepocess the problem consists of 14099 variables and 1639 constraints.
c preprocess terminated 295.26 s
c Initial Lower Bound: 2041136373
c Lower Bound Elapsed time: 47.0433
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -561589196 @ 496.414
c NEW SOLUTION FOUND: -572563236 @ 496.429
c NEW SOLUTION FOUND: -2133666157 @ 496.575
#### 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.97 2/55 7836
Raw data (stat): 7836 (runsolver) R 7835 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 778274113 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 s]
Raw data (loadavg): 0.93 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 18657 0 0 0 955 41 0 0 25 0 1 0 778274113 89251840 18580 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21790 18580 1111 63 0 21727 0
vsize: 87160
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 38328 0 0 0 1917 79 0 0 25 0 1 0 778274113 169848832 38251 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41467 38251 1111 63 0 41404 0
vsize: 165868
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 58001 0 0 0 2887 109 0 0 25 0 1 0 778274113 250470400 57924 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61150 57924 1111 63 0 61087 0
vsize: 244600
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 77503 0 0 0 3852 144 0 0 25 0 1 0 778274113 330350592 77426 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80652 77426 1111 63 0 80589 0
vsize: 322608
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 86847 0 0 0 4834 162 0 0 25 0 1 0 778274113 368611328 86770 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89993 86770 1111 63 0 89930 0
vsize: 359972
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 87815 0 0 0 5830 165 0 0 25 0 1 0 778274113 372539392 87738 4294967295 134512640 134714508 3221221776 3221218644 1076880129 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90952 87738 1111 63 0 90889 0
vsize: 363808
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 88779 0 0 0 6825 168 0 0 25 0 1 0 778274113 376471552 88702 4294967295 134512640 134714508 3221221776 3221220080 134566799 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91912 88702 1111 63 0 91849 0
vsize: 367648
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 89781 0 0 0 7823 170 0 0 25 0 1 0 778274113 380682240 89704 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92940 89704 1111 63 0 92877 0
vsize: 371760
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 90910 0 0 0 8820 173 0 0 25 0 1 0 778274113 385286144 90833 4294967295 134512640 134714508 3221221776 3221219796 1077358897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94064 90833 1111 63 0 94001 0
vsize: 376256
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 92950 0 0 0 9814 178 0 0 25 0 1 0 778274113 383979520 92798 4294967295 134512640 134714508 3221221776 3221220256 134543043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93745 92798 1111 63 0 93682 0
vsize: 374980
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 93083 0 0 0 10813 179 0 0 25 0 1 0 778274113 384520192 92931 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93877 92931 1111 63 0 93814 0
vsize: 375508
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 93198 0 0 0 11813 179 0 0 25 0 1 0 778274113 384925696 93046 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93976 93046 1111 63 0 93913 0
vsize: 375904
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 93301 0 0 0 12813 180 0 0 25 0 1 0 778274113 385466368 93149 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94108 93149 1111 63 0 94045 0
vsize: 376432
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 93437 0 0 0 13813 180 0 0 25 0 1 0 778274113 386007040 93285 4294967295 134512640 134714508 3221221776 3221220220 134542656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94240 93285 1111 63 0 94177 0
vsize: 376960
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 93575 0 0 0 14812 180 0 0 25 0 1 0 778274113 386551808 93423 4294967295 134512640 134714508 3221221776 3221220248 134543090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94373 93423 1111 63 0 94310 0
vsize: 377492
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 93702 0 0 0 15812 181 0 0 25 0 1 0 778274113 387092480 93550 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94505 93550 1111 63 0 94442 0
vsize: 378020
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 93828 0 0 0 16812 181 0 0 25 0 1 0 778274113 387497984 93676 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94604 93676 1111 63 0 94541 0
vsize: 378416
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 93958 0 0 0 17812 181 0 0 25 0 1 0 778274113 388038656 93806 4294967295 134512640 134714508 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94736 93806 1111 63 0 94673 0
vsize: 378944
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94088 0 0 0 18811 182 0 0 25 0 1 0 778274113 388579328 93936 4294967295 134512640 134714508 3221221776 3221220224 134536680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94868 93936 1111 63 0 94805 0
vsize: 379472
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94177 0 0 0 19811 183 0 0 25 0 1 0 778274113 388984832 94025 4294967295 134512640 134714508 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94967 94025 1111 63 0 94904 0
vsize: 379868
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94258 0 0 0 20811 183 0 0 25 0 1 0 778274113 389390336 94106 4294967295 134512640 134714508 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95066 94106 1111 63 0 95003 0
vsize: 380264
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94381 0 0 0 21810 184 0 0 25 0 1 0 778274113 389795840 94229 4294967295 134512640 134714508 3221221776 3221220304 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95165 94229 1111 63 0 95102 0
vsize: 380660
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94522 0 0 0 22810 184 0 0 25 0 1 0 778274113 390336512 94370 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95297 94370 1111 63 0 95234 0
vsize: 381188
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94658 0 0 0 23810 184 0 0 25 0 1 0 778274113 391012352 94506 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95462 94506 1111 63 0 95399 0
vsize: 381848
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94663 0 0 0 24810 184 0 0 25 0 1 0 778274113 391012352 94511 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95462 94511 1111 63 0 95399 0
vsize: 381848
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94668 0 0 0 25810 185 0 0 25 0 1 0 778274113 391012352 94516 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95462 94516 1111 63 0 95399 0
vsize: 381848
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94671 0 0 0 26810 185 0 0 25 0 1 0 778274113 391012352 94519 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95462 94519 1111 63 0 95399 0
vsize: 381848
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94676 0 0 0 27810 185 0 0 25 0 1 0 778274113 391012352 94524 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95462 94524 1111 63 0 95399 0
vsize: 381848
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 94681 0 0 0 28810 185 0 0 25 0 1 0 778274113 391012352 94529 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95462 94529 1111 63 0 95399 0
vsize: 381848
[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 96163 0 0 0 29805 190 0 0 25 0 1 0 778274113 396505088 95871 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96803 95871 1111 63 0 96740 0
vsize: 387212
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 96323 0 0 0 30803 191 0 0 25 0 1 0 778274113 397156352 96031 4294967295 134512640 134714508 3221221776 3221220048 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96962 96031 1111 63 0 96899 0
vsize: 387848
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 96348 0 0 0 31803 191 0 0 25 0 1 0 778274113 397258752 96056 4294967295 134512640 134714508 3221221776 3221220080 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96987 96056 1111 63 0 96924 0
vsize: 387948
[startup+330.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 100999 0 0 0 32793 201 0 0 25 0 1 0 778274113 405798912 98082 4294967295 134512640 134714508 3221221776 3221217856 1074794536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99072 98082 1111 63 0 99009 0
vsize: 396288
[startup+340.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 101003 0 0 0 33793 201 0 0 25 0 1 0 778274113 405798912 98086 4294967295 134512640 134714508 3221221776 3221217768 1074950198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99072 98086 1111 63 0 99009 0
vsize: 396288
[startup+350.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 104442 0 0 0 34786 209 0 0 25 0 1 0 778274113 402042880 97108 4294967295 134512640 134714508 3221221776 3221218288 1074887937 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98155 97108 1111 63 0 98092 0
vsize: 392620
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 105157 0 0 0 35784 211 0 0 25 0 1 0 778274113 398585856 96505 4294967295 134512640 134714508 3221221776 3221219848 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97311 96505 1111 63 0 97248 0
vsize: 389244
[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 105924 0 0 0 36783 213 0 0 25 0 1 0 778274113 398925824 96588 4294967295 134512640 134714508 3221221776 3221220200 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97394 96588 1111 63 0 97331 0
vsize: 389576
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 110785 0 0 0 37772 224 0 0 25 0 1 0 778274113 406933504 98445 4294967295 134512640 134714508 3221221776 3221218144 1075132636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99349 98445 1111 63 0 99286 0
vsize: 397396
[startup+390.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 114340 0 0 0 38764 231 0 0 25 0 1 0 778274113 399716352 96752 4294967295 134512640 134714508 3221221776 3221220224 134647074 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97587 96752 1111 63 0 97524 0
vsize: 390348
[startup+400.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 114340 0 0 0 39765 231 0 0 25 0 1 0 778274113 399716352 96752 4294967295 134512640 134714508 3221221776 3221219848 1074950108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97587 96752 1111 63 0 97524 0
vsize: 390348
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 114367 0 0 0 40765 232 0 0 25 0 1 0 778274113 399716352 96779 4294967295 134512640 134714508 3221221776 3221220264 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97587 96779 1111 63 0 97524 0
vsize: 390348
[startup+420.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 118915 0 0 0 41756 241 0 0 25 0 1 0 778274113 407482368 98543 4294967295 134512640 134714508 3221221776 3221217856 1074794640 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99483 98543 1111 63 0 99420 0
vsize: 397932
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 122590 0 0 0 42748 249 0 0 25 0 1 0 778274113 399831040 96791 4294967295 134512640 134714508 3221221776 3221220016 1074039446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97615 96791 1111 63 0 97552 0
vsize: 390460
[startup+440.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 122604 0 0 0 43747 249 0 0 25 0 1 0 778274113 399831040 96805 4294967295 134512640 134714508 3221221776 3221220224 134648533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97615 96805 1111 63 0 97552 0
vsize: 390460
[startup+450.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 124296 0 0 0 44744 253 0 0 25 0 1 0 778274113 407220224 98432 4294967295 134512640 134714508 3221221776 3221219808 1074867299 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99419 98432 1111 63 0 99356 0
vsize: 397676
[startup+460.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 130814 0 0 0 45730 268 0 0 25 0 1 0 778274113 399908864 96816 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97634 96816 1111 63 0 97571 0
vsize: 390536
[startup+470.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 130814 0 0 0 46730 268 0 0 25 0 1 0 778274113 399908864 96816 4294967295 134512640 134714508 3221221776 3221220224 134648133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97634 96816 1111 63 0 97571 0
vsize: 390536
[startup+480.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 130814 0 0 0 47729 268 0 0 25 0 1 0 778274113 399908864 96816 4294967295 134512640 134714508 3221221776 3221220224 134648531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97634 96816 1111 63 0 97571 0
vsize: 390536
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 130814 0 0 0 48729 268 0 0 25 0 1 0 778274113 399908864 96816 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97634 96816 1111 63 0 97571 0
vsize: 390536
[startup+500.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 145884 0 0 0 49695 302 0 0 25 0 1 0 778274113 396496896 95969 4294967295 134512640 134714508 3221221776 3221220192 1074116396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96801 95969 1111 63 0 96738 0
vsize: 387204
[startup+510.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 178126 0 0 0 50624 373 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220176 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 203635 0 0 0 51570 426 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220064 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+530.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 224137 0 0 0 52528 468 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220128 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+540.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 241828 0 0 0 53491 506 0 0 25 0 1 0 778274113 397000704 96093 4294967295 134512640 134714508 3221221776 3221219912 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96924 96097 1111 63 0 96861 0
vsize: 387696
[startup+550.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 257968 0 0 0 54458 539 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220128 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+560.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 273096 0 0 0 55425 573 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219976 1074138163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+570.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 286929 0 0 0 56395 603 0 0 25 0 1 0 778274113 396238848 95938 4294967295 134512640 134714508 3221221776 3221220192 1074116193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96738 95938 1111 63 0 96675 0
vsize: 386952
[startup+580.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 300091 0 0 0 57364 633 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+590.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 312521 0 0 0 58338 660 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220176 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+600.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 324856 0 0 0 59309 689 0 0 25 0 1 0 778274113 396623872 95991 4294967295 134512640 134714508 3221221776 3221219520 1075647078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96832 95991 1111 63 0 96769 0
vsize: 387328
[startup+610.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 336517 0 0 0 60282 716 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219564 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+620.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 347633 0 0 0 61260 739 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+630.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 358036 0 0 0 62238 761 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219944 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+640.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 367845 0 0 0 63215 784 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219928 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+650.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 378192 0 0 0 64191 808 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220104 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+660.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 388188 0 0 0 65168 831 0 0 25 0 1 0 778274113 396447744 95941 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96789 95943 1111 63 0 96726 0
vsize: 387156
[startup+670.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 397653 0 0 0 66150 849 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220336 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+680.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 406690 0 0 0 67130 870 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+690.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 416519 0 0 0 68108 892 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220072 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+700.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 425579 0 0 0 69088 912 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219992 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+710.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 434392 0 0 0 70068 932 0 0 25 0 1 0 778274113 396222464 95775 4294967295 134512640 134714508 3221221776 3221219776 1074056195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95784 1111 63 0 96671 0
vsize: 386936
[startup+720.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 442785 0 0 0 71050 951 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219928 1074138155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+730.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 451050 0 0 0 72030 971 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 459330 0 0 0 73012 989 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220160 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+750.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 467654 0 0 0 73992 1009 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219928 1074138153 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+760.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 475522 0 0 0 74976 1025 0 0 25 0 1 0 778274113 397651968 96082 4294967295 134512640 134714508 3221221776 3221219504 1075828939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97083 96082 1111 63 0 97020 0
vsize: 388332
[startup+770.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 483561 0 0 0 75956 1045 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219880 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+780.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 491067 0 0 0 76941 1061 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219880 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+790.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 498058 0 0 0 77925 1077 0 0 25 0 1 0 778274113 397672448 96085 4294967295 134512640 134714508 3221221776 3221219696 1075799695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97088 96085 1111 63 0 97025 0
vsize: 388352
[startup+800.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 505461 0 0 0 78908 1093 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+810.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 512553 0 0 0 79891 1111 0 0 25 0 1 0 778274113 397672448 96085 4294967295 134512640 134714508 3221221776 3221219696 1075799638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97088 96085 1111 63 0 97025 0
vsize: 388352
[startup+820.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 520016 0 0 0 80876 1126 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219968 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+830.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 526922 0 0 0 81862 1141 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+840.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 533768 0 0 0 82846 1156 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220152 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+850.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 540056 0 0 0 83830 1172 0 0 25 0 1 0 778274113 396713984 96036 4294967295 134512640 134714508 3221221776 3221219776 1074918645 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96854 96036 1111 63 0 96791 0
vsize: 387416
[startup+860.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 546700 0 0 0 84815 1187 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220064 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+870.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 553379 0 0 0 85801 1202 0 0 25 0 1 0 778274113 396574720 95997 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96820 95997 1111 63 0 96757 0
vsize: 387280
[startup+880.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 559808 0 0 0 86787 1217 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+890.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 566106 0 0 0 87771 1232 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221219928 1074138158 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+900.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 572274 0 0 0 88758 1246 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220104 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+910.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 578382 0 0 0 89744 1260 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+920.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 584501 0 0 0 90729 1275 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221219928 1074138158 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+930.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 590613 0 0 0 91715 1289 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219944 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+940.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 596250 0 0 0 92701 1303 0 0 25 0 1 0 778274113 397656064 96100 4294967295 134512640 134714508 3221221776 3221219840 1075961756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97084 96100 1111 63 0 97021 0
vsize: 388336
[startup+950.031 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 602271 0 0 0 93688 1316 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219928 1074138158 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+960.031 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 607957 0 0 0 94676 1328 0 0 25 0 1 0 778274113 397664256 96100 4294967295 134512640 134714508 3221221776 3221219888 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97086 96100 1111 63 0 97023 0
vsize: 388344
[startup+970.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 614042 0 0 0 95662 1342 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220304 134650105 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+980.033 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 619565 0 0 0 96652 1353 0 0 25 0 1 0 778274113 396242944 95939 4294967295 134512640 134714508 3221221776 3221219452 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96739 95939 1111 63 0 96676 0
vsize: 386956
[startup+990.033 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 625073 0 0 0 97641 1364 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220040 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 630586 0 0 0 98629 1376 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220112 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 636077 0 0 0 99616 1390 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 641869 0 0 0 100604 1402 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221219976 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 647722 0 0 0 101591 1415 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219968 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 652839 0 0 0 102579 1427 0 0 25 0 1 0 778274113 396271616 95946 4294967295 134512640 134714508 3221221776 3221220072 1074138153 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96746 95946 1111 63 0 96683 0
vsize: 386984
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 658670 0 0 0 103566 1440 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 663976 0 0 0 104554 1452 0 0 25 0 1 0 778274113 396902400 96068 4294967295 134512640 134714508 3221221776 3221219776 1074915844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96900 96068 1111 63 0 96837 0
vsize: 387600
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 669643 0 0 0 105541 1465 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219928 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 674740 0 0 0 106531 1476 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220072 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 680533 0 0 0 107518 1489 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220160 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 685616 0 0 0 108504 1503 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 690725 0 0 0 109492 1516 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221219944 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 695821 0 0 0 110479 1529 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221219992 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 700954 0 0 0 111467 1540 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220072 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 706069 0 0 0 112455 1553 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220160 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 711183 0 0 0 113444 1564 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220256 134650104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 716340 0 0 0 114431 1577 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 721468 0 0 0 115420 1589 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221219608 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 726556 0 0 0 116409 1599 0 0 25 0 1 0 778274113 396222464 95934 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.97 3/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 730946 0 0 0 117400 1609 0 0 25 0 1 0 778274113 396271616 95946 4294967295 134512640 134714508 3221221776 3221220016 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96746 95946 1111 63 0 96683 0
vsize: 386984
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.97 3/55 7836
Raw data (stat): 7836 (bsolo_lpr) R 7835 7876 7672 0 -1 0 736062 0 0 0 118390 1620 0 0 25 0 1 0 778274113 396247040 95940 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 0.99 0.98 0.97 1/55 7836
Raw data (stat): 7836 (bsolo_lpr) Z 7835 7876 7672 0 -1 1036 736062 0 0 0 118390 1637 0 0 25 0 1 0 778274113 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.22
CPU time (s): 1200.28
CPU user time (s): 1183.9
CPU system time (s): 16.3775
CPU usage (%): 100.005
Max. virtual memory (Kb): 397932
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####