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/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb
MD5SUM	e6fecce3dd18220c4b3d8965362801d2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1359
Optimality of the best value was proved	NO
Number of terms in the objective function	2782
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2782
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2782
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04284
Number of variables	2782
Total number of constraints	4517
Number of constraints which are clauses	4517
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	5
Trace number 24287

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 12:32:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2062 boxname=wulflinc31 idbench=230 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  e6fecce3dd18220c4b3d8965362801d2  /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-160.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-160.opb
IDLAUNCH: 2062
/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:        138392 kB
Buffers:         44132 kB
Cached:         817532 kB
SwapCached:        644 kB
Active:         490884 kB
Inactive:       373152 kB
HighTotal:      131008 kB
HighFree:          924 kB
LowTotal:       903652 kB
LowFree:        137468 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             544 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26444 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 12:52:59 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 2062 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2782 variables and 4517 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (runsolver) R 27909 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 700631963 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.0001 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 18389 0 0 0 952 43 0 0 25 0 1 0 700631963 26402816 5587 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6446 5587 1111 63 0 6383 0
vsize: 25784
[startup+20.0011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 26018 0 0 0 1935 61 0 0 25 0 1 0 700631963 34226176 7500 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8356 7500 1111 63 0 8293 0
vsize: 33424
[startup+30.0024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 31618 0 0 0 2924 72 0 0 25 0 1 0 700631963 38322176 8494 4294967295 134512640 134714508 3221221792 3221220416 134529321 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9356 8494 1111 63 0 9293 0
vsize: 37424
[startup+40.0019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 35474 0 0 0 3915 81 0 0 25 0 1 0 700631963 42586112 9554 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10397 9554 1111 63 0 10334 0
vsize: 41588
[startup+50.0029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 39836 0 0 0 4906 90 0 0 25 0 1 0 700631963 46235648 10419 4294967295 134512640 134714508 3221221792 3221220304 134543671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11288 10419 1111 63 0 11225 0
vsize: 45152
[startup+60.0032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 42236 0 0 0 5901 96 0 0 25 0 1 0 700631963 49389568 11207 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12058 11207 1111 63 0 11995 0
vsize: 48232
[startup+70.0047 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 44614 0 0 0 6895 101 0 0 25 0 1 0 700631963 51789824 11801 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12644 11801 1111 63 0 12581 0
vsize: 50576
[startup+80.0057 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 46395 0 0 0 7892 105 0 0 25 0 1 0 700631963 54226944 12396 4294967295 134512640 134714508 3221221792 3221220172 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13239 12396 1111 63 0 13176 0
vsize: 52956
[startup+90.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 47993 0 0 0 8888 109 0 0 25 0 1 0 700631963 57450496 13178 4294967295 134512640 134714508 3221221792 3221220260 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14026 13178 1111 63 0 13963 0
vsize: 56104
[startup+100.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 49299 0 0 0 9885 112 0 0 25 0 1 0 700631963 59514880 13666 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14530 13666 1111 63 0 14467 0
vsize: 58120
[startup+110.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 56216 0 0 0 10869 128 0 0 25 0 1 0 700631963 60981248 14045 4294967295 134512640 134714508 3221221792 3221220208 134543710 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14888 14045 1111 63 0 14825 0
vsize: 59552
[startup+120.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 57104 0 0 0 11866 131 0 0 25 0 1 0 700631963 61489152 14169 4294967295 134512640 134714508 3221221792 3221220396 134543540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15012 14169 1111 63 0 14949 0
vsize: 60048
[startup+130.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 58623 0 0 0 12862 135 0 0 25 0 1 0 700631963 63438848 14637 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15488 14637 1111 63 0 15425 0
vsize: 61952
[startup+140.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 60508 0 0 0 13858 139 0 0 25 0 1 0 700631963 65134592 15046 4294967295 134512640 134714508 3221221792 3221220236 134536784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15902 15046 1111 63 0 15839 0
vsize: 63608
[startup+150.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 62140 0 0 0 14856 142 0 0 25 0 1 0 700631963 66560000 15407 4294967295 134512640 134714508 3221221792 3221220272 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16250 15407 1111 63 0 16187 0
vsize: 65000
[startup+160.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 64055 0 0 0 15851 147 0 0 25 0 1 0 700631963 68468736 15871 4294967295 134512640 134714508 3221221792 3221220272 134539516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16716 15871 1111 63 0 16653 0
vsize: 66864
[startup+170.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 65177 0 0 0 16849 149 0 0 25 0 1 0 700631963 69836800 16183 4294967295 134512640 134714508 3221221792 3221220144 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17050 16183 1111 63 0 16987 0
vsize: 68200
[startup+180.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 66330 0 0 0 17846 152 0 0 25 0 1 0 700631963 71831552 16667 4294967295 134512640 134714508 3221221792 3221220520 134672911 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17537 16667 1111 63 0 17474 0
vsize: 70148
[startup+190.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 68196 0 0 0 18842 157 0 0 25 0 1 0 700631963 72794112 16905 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17772 16905 1111 63 0 17709 0
vsize: 71088
[startup+200.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 69704 0 0 0 19838 160 0 0 25 0 1 0 700631963 74215424 17253 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18119 17253 1111 63 0 18056 0
vsize: 72476
[startup+210.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 71193 0 0 0 20835 164 0 0 25 0 1 0 700631963 75882496 17654 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18526 17654 1111 63 0 18463 0
vsize: 74104
[startup+220.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 73409 0 0 0 21830 169 0 0 25 0 1 0 700631963 77279232 17992 4294967295 134512640 134714508 3221221792 3221220288 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18867 17992 1111 63 0 18804 0
vsize: 75468
[startup+230.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 74512 0 0 0 22828 171 0 0 25 0 1 0 700631963 78098432 18224 4294967295 134512640 134714508 3221221792 3221220164 134539212 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19067 18224 1111 63 0 19004 0
vsize: 76268
[startup+240.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 76076 0 0 0 23824 175 0 0 25 0 1 0 700631963 78901248 18420 4294967295 134512640 134714508 3221221792 3221220156 134539296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19263 18420 1111 63 0 19200 0
vsize: 77052
[startup+250.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 77021 0 0 0 24822 177 0 0 25 0 1 0 700631963 80465920 18773 4294967295 134512640 134714508 3221221792 3221220408 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19645 18773 1111 63 0 19582 0
vsize: 78580
[startup+260.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 77910 0 0 0 25820 179 0 0 25 0 1 0 700631963 81760256 19094 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19961 19094 1111 63 0 19898 0
vsize: 79844
[startup+270.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 80342 0 0 0 26815 185 0 0 25 0 1 0 700631963 82317312 19254 4294967295 134512640 134714508 3221221792 3221220212 134542821 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20097 19254 1111 63 0 20034 0
vsize: 80388
[startup+280.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 81280 0 0 0 27812 187 0 0 25 0 1 0 700631963 83849216 19599 4294967295 134512640 134714508 3221221792 3221220272 134539382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20471 19599 1111 63 0 20408 0
vsize: 81884
[startup+290.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 82942 0 0 0 28808 192 0 0 25 0 1 0 700631963 84582400 19776 4294967295 134512640 134714508 3221221792 3221220252 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20650 19776 1111 63 0 20587 0
vsize: 82600
[startup+300.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 83723 0 0 0 29807 194 0 0 25 0 1 0 700631963 85958656 20143 4294967295 134512640 134714508 3221221792 3221220320 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20986 20143 1111 63 0 20923 0
vsize: 83944
[startup+310.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 84268 0 0 0 30806 195 0 0 25 0 1 0 700631963 86790144 20330 4294967295 134512640 134714508 3221221792 3221220272 134524102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21189 20330 1111 63 0 21126 0
vsize: 84756
[startup+320.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 86031 0 0 0 31802 198 0 0 25 0 1 0 700631963 88276992 20709 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21552 20709 1111 63 0 21489 0
vsize: 86208
[startup+330.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 86820 0 0 0 32800 200 0 0 25 0 1 0 700631963 89079808 20904 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21748 20904 1111 63 0 21685 0
vsize: 86992
[startup+340.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 87640 0 0 0 33799 202 0 0 25 0 1 0 700631963 90005504 21130 4294967295 134512640 134714508 3221221792 3221220172 134539324 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21974 21130 1111 63 0 21911 0
vsize: 87896
[startup+350.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 88456 0 0 0 34798 203 0 0 25 0 1 0 700631963 90918912 21353 4294967295 134512640 134714508 3221221792 3221220124 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22197 21353 1111 63 0 22134 0
vsize: 88788
[startup+360.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 89231 0 0 0 35796 205 0 0 25 0 1 0 700631963 92229632 21642 4294967295 134512640 134714508 3221221792 3221220408 134543830 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22517 21642 1111 63 0 22454 0
vsize: 90068
[startup+370.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 89946 0 0 0 36795 206 0 0 25 0 1 0 700631963 93110272 21862 4294967295 134512640 134714508 3221221792 3221220520 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22732 21862 1111 63 0 22669 0
vsize: 90928
[startup+380.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 90333 0 0 0 37794 207 0 0 25 0 1 0 700631963 93462528 21975 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22818 21975 1111 63 0 22755 0
vsize: 91272
[startup+390.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 91142 0 0 0 38793 209 0 0 25 0 1 0 700631963 94756864 22289 4294967295 134512640 134714508 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23134 22289 1111 63 0 23071 0
vsize: 92536
[startup+400.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 96006 0 0 0 39782 220 0 0 25 0 1 0 700631963 97705984 22987 4294967295 134512640 134714508 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23854 22987 1111 63 0 23791 0
vsize: 95416
[startup+410.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 96006 0 0 0 40782 220 0 0 25 0 1 0 700631963 97705984 22987 4294967295 134512640 134714508 3221221792 3221220352 134535757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23854 22987 1111 63 0 23791 0
vsize: 95416
[startup+420.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 96009 0 0 0 41782 220 0 0 25 0 1 0 700631963 97705984 22990 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23854 22990 1111 63 0 23791 0
vsize: 95416
[startup+430.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 97085 0 0 0 42780 222 0 0 25 0 1 0 700631963 98078720 23102 4294967295 134512640 134714508 3221221792 3221220320 134528671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23945 23102 1111 63 0 23882 0
vsize: 95780
[startup+440.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 98680 0 0 0 43777 225 0 0 25 0 1 0 700631963 99360768 23410 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24258 23410 1111 63 0 24195 0
vsize: 97032
[startup+450.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 99240 0 0 0 44776 226 0 0 25 0 1 0 700631963 100052992 23552 4294967295 134512640 134714508 3221221792 3221220400 134529115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24427 23552 1111 63 0 24364 0
vsize: 97708
[startup+460.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 100329 0 0 0 45775 228 0 0 25 0 1 0 700631963 100761600 23750 4294967295 134512640 134714508 3221221792 3221220404 134529275 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24600 23750 1111 63 0 24537 0
vsize: 98400
[startup+470.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 100902 0 0 0 46774 229 0 0 25 0 1 0 700631963 101294080 23887 4294967295 134512640 134714508 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24730 23887 1111 63 0 24667 0
vsize: 98920
[startup+480.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 101591 0 0 0 47773 231 0 0 25 0 1 0 700631963 102125568 24082 4294967295 134512640 134714508 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24933 24082 1111 63 0 24870 0
vsize: 99732
[startup+490.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 103827 0 0 0 48769 235 0 0 25 0 1 0 700631963 102744064 24241 4294967295 134512640 134714508 3221221792 3221220300 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25084 24241 1111 63 0 25021 0
vsize: 100336
[startup+500.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 104510 0 0 0 49768 236 0 0 25 0 1 0 700631963 103555072 24431 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25282 24431 1111 63 0 25219 0
vsize: 101128
[startup+510.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 105888 0 0 0 50765 238 0 0 25 0 1 0 700631963 104079360 24567 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25410 24567 1111 63 0 25347 0
vsize: 101640
[startup+520.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 107717 0 0 0 51762 242 0 0 25 0 1 0 700631963 104689664 24714 4294967295 134512640 134714508 3221221792 3221220308 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25559 24714 1111 63 0 25496 0
vsize: 102236
[startup+530.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 108221 0 0 0 52761 243 0 0 25 0 1 0 700631963 105033728 24800 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25643 24800 1111 63 0 25580 0
vsize: 102572
[startup+540.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 109431 0 0 0 53758 246 0 0 25 0 1 0 700631963 106139648 25038 4294967295 134512640 134714508 3221221792 3221220272 134539382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25913 25038 1111 63 0 25850 0
vsize: 103652
[startup+550.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 113350 0 0 0 54750 254 0 0 25 0 1 0 700631963 108032000 25530 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26375 25530 1111 63 0 26312 0
vsize: 105500
[startup+560.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 113350 0 0 0 55750 254 0 0 25 0 1 0 700631963 108032000 25530 4294967295 134512640 134714508 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26375 25530 1111 63 0 26312 0
vsize: 105500
[startup+570.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 113772 0 0 0 56749 255 0 0 25 0 1 0 700631963 108720128 25687 4294967295 134512640 134714508 3221221792 3221220320 134523374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26543 25687 1111 63 0 26480 0
vsize: 106172
[startup+580.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 114289 0 0 0 57748 257 0 0 25 0 1 0 700631963 108761088 25710 4294967295 134512640 134714508 3221221792 3221220272 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26553 25710 1111 63 0 26490 0
vsize: 106212
[startup+590.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 114908 0 0 0 58747 258 0 0 25 0 1 0 700631963 109809664 25934 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26809 25934 1111 63 0 26746 0
vsize: 107236
[startup+600.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 116371 0 0 0 59744 261 0 0 25 0 1 0 700631963 110452736 26110 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26966 26110 1111 63 0 26903 0
vsize: 107864
[startup+610.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 116752 0 0 0 60743 262 0 0 25 0 1 0 700631963 110755840 26197 4294967295 134512640 134714508 3221221792 3221220308 134528706 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27040 26197 1111 63 0 26977 0
vsize: 108160
[startup+620.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 117221 0 0 0 61742 263 0 0 25 0 1 0 700631963 111509504 26349 4294967295 134512640 134714508 3221221792 3221220520 134672897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27224 26349 1111 63 0 27161 0
vsize: 108896
[startup+630.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 117732 0 0 0 62742 264 0 0 25 0 1 0 700631963 111980544 26464 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27339 26464 1111 63 0 27276 0
vsize: 109356
[startup+640.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 118790 0 0 0 63740 266 0 0 25 0 1 0 700631963 112676864 26632 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27509 26637 1111 63 0 27446 0
vsize: 110036
[startup+650.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 120103 0 0 0 64738 268 0 0 25 0 1 0 700631963 113184768 26758 4294967295 134512640 134714508 3221221792 3221220300 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27633 26758 1111 63 0 27570 0
vsize: 110532
[startup+660.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 120452 0 0 0 65738 269 0 0 25 0 1 0 700631963 113217536 26798 4294967295 134512640 134714508 3221221792 3221220156 134539223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27641 26798 1111 63 0 27578 0
vsize: 110564
[startup+670.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 121010 0 0 0 66736 270 0 0 25 0 1 0 700631963 113991680 26985 4294967295 134512640 134714508 3221221792 3221220320 134523171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27830 26985 1111 63 0 27767 0
vsize: 111320
[startup+680.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 121518 0 0 0 67736 271 0 0 25 0 1 0 700631963 114573312 27097 4294967295 134512640 134714508 3221221792 3221220400 134529376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27972 27097 1111 63 0 27909 0
vsize: 111888
[startup+690.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 122749 0 0 0 68733 274 0 0 25 0 1 0 700631963 114626560 27123 4294967295 134512640 134714508 3221221792 3221220308 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27985 27123 1111 63 0 27922 0
vsize: 111940
[startup+700.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 123729 0 0 0 69732 275 0 0 25 0 1 0 700631963 115613696 27370 4294967295 134512640 134714508 3221221792 3221220296 134542289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28226 27370 1111 63 0 28163 0
vsize: 112904
[startup+710.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 125020 0 0 0 70729 278 0 0 25 0 1 0 700631963 116101120 27486 4294967295 134512640 134714508 3221221792 3221220280 134539351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28345 27486 1111 63 0 28282 0
vsize: 113380
[startup+720.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 125523 0 0 0 71728 279 0 0 25 0 1 0 700631963 116305920 27552 4294967295 134512640 134714508 3221221792 3221220272 134536643 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28395 27552 1111 63 0 28332 0
vsize: 113580
[startup+730.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 125909 0 0 0 72728 280 0 0 25 0 1 0 700631963 116502528 27600 4294967295 134512640 134714508 3221221792 3221220200 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28443 27600 1111 63 0 28380 0
vsize: 113772
[startup+740.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 126640 0 0 0 73726 281 0 0 25 0 1 0 700631963 117366784 27809 4294967295 134512640 134714508 3221221792 3221220532 134630783 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28654 27809 1111 63 0 28591 0
vsize: 114616
[startup+750.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 126879 0 0 0 74726 282 0 0 25 0 1 0 700631963 117907456 27911 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28786 27911 1111 63 0 28723 0
vsize: 115144
[startup+760.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 127349 0 0 0 75725 283 0 0 25 0 1 0 700631963 118317056 28013 4294967295 134512640 134714508 3221221792 3221220404 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28886 28013 1111 63 0 28823 0
vsize: 115544
[startup+770.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 128649 0 0 0 76723 285 0 0 25 0 1 0 700631963 118788096 28126 4294967295 134512640 134714508 3221221792 3221220272 134543108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29001 28126 1111 63 0 28938 0
vsize: 116004
[startup+780.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 129660 0 0 0 77721 287 0 0 25 0 1 0 700631963 118943744 28196 4294967295 134512640 134714508 3221221792 3221220124 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29039 28196 1111 63 0 28976 0
vsize: 116156
[startup+790.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 130003 0 0 0 78720 288 0 0 25 0 1 0 700631963 119316480 28287 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29130 28287 1111 63 0 29067 0
vsize: 116520
[startup+800.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 131152 0 0 0 79717 291 0 0 25 0 1 0 700631963 119451648 28320 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29163 28320 1111 63 0 29100 0
vsize: 116652
[startup+810.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 131940 0 0 0 80716 293 0 0 25 0 1 0 700631963 120258560 28517 4294967295 134512640 134714508 3221221792 3221220224 134543671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29360 28517 1111 63 0 29297 0
vsize: 117440
[startup+820.028 s]
Raw data (loadavg): 1.06 1.02 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 132296 0 0 0 81715 294 0 0 25 0 1 0 700631963 120696832 28624 4294967295 134512640 134714508 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29467 28624 1111 63 0 29404 0
vsize: 117868
[startup+830.029 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 132780 0 0 0 82714 295 0 0 25 0 1 0 700631963 121032704 28682 4294967295 134512640 134714508 3221221792 3221220280 134543647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29549 28682 1111 63 0 29486 0
vsize: 118196
[startup+840.03 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 134547 0 0 0 83710 299 0 0 25 0 1 0 700631963 121438208 28792 4294967295 134512640 134714508 3221221792 3221220256 134539471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29648 28792 1111 63 0 29585 0
vsize: 118592
[startup+850.03 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 144490 0 0 0 84689 320 0 0 25 0 1 0 700631963 122478592 29035 4294967295 134512640 134714508 3221221792 3221220284 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29902 29035 1111 63 0 29839 0
vsize: 119608
[startup+860.03 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 144904 0 0 0 85689 321 0 0 25 0 1 0 700631963 122896384 29129 4294967295 134512640 134714508 3221221792 3221220252 134536748 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30004 29129 1111 63 0 29941 0
vsize: 120016
[startup+870.03 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 145391 0 0 0 86688 322 0 0 25 0 1 0 700631963 123273216 29221 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30096 29221 1111 63 0 30033 0
vsize: 120384
[startup+880.031 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 145849 0 0 0 87687 323 0 0 25 0 1 0 700631963 123527168 29313 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30158 29313 1111 63 0 30095 0
vsize: 120632
[startup+890.031 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 146337 0 0 0 88686 324 0 0 25 0 1 0 700631963 124026880 29405 4294967295 134512640 134714508 3221221792 3221220256 134539460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30280 29405 1111 63 0 30217 0
vsize: 121120
[startup+900.032 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 146823 0 0 0 89685 325 0 0 25 0 1 0 700631963 124395520 29495 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30370 29495 1111 63 0 30307 0
vsize: 121480
[startup+910.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 147307 0 0 0 90685 326 0 0 25 0 1 0 700631963 124760064 29584 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30459 29584 1111 63 0 30396 0
vsize: 121836
[startup+920.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 147791 0 0 0 91684 327 0 0 25 0 1 0 700631963 125120512 29672 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30547 29672 1111 63 0 30484 0
vsize: 122188
[startup+930.033 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 148251 0 0 0 92683 329 0 0 25 0 1 0 700631963 125480960 29760 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30635 29760 1111 63 0 30572 0
vsize: 122540
[startup+940.033 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 148630 0 0 0 93682 329 0 0 25 0 1 0 700631963 125284352 29744 4294967295 134512640 134714508 3221221792 3221220296 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30587 29744 1111 63 0 30524 0
vsize: 122348
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 149110 0 0 0 94682 330 0 0 25 0 1 0 700631963 125632512 29829 4294967295 134512640 134714508 3221221792 3221220320 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30672 29829 1111 63 0 30609 0
vsize: 122688
[startup+960.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 149591 0 0 0 95680 331 0 0 25 0 1 0 700631963 125980672 29914 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30757 29914 1111 63 0 30694 0
vsize: 123028
[startup+970.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 150070 0 0 0 96680 332 0 0 25 0 1 0 700631963 126849024 30096 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30969 30096 1111 63 0 30906 0
vsize: 123876
[startup+980.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 151342 0 0 0 97678 335 0 0 25 0 1 0 700631963 127193088 30180 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31053 30180 1111 63 0 30990 0
vsize: 124212
[startup+990.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 151820 0 0 0 98677 336 0 0 25 0 1 0 700631963 127537152 30262 4294967295 134512640 134714508 3221221792 3221220272 134539382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31137 30262 1111 63 0 31074 0
vsize: 124548
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 152019 0 0 0 99676 337 0 0 25 0 1 0 700631963 127385600 30257 4294967295 134512640 134714508 3221221792 3221220320 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31100 30257 1111 63 0 31037 0
vsize: 124400
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 152426 0 0 0 100675 337 0 0 25 0 1 0 700631963 127639552 30289 4294967295 134512640 134714508 3221221792 3221220208 134543686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31162 30289 1111 63 0 31099 0
vsize: 124648
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 152899 0 0 0 101674 338 0 0 25 0 1 0 700631963 128368640 30465 4294967295 134512640 134714508 3221221792 3221220320 134543724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31340 30465 1111 63 0 31277 0
vsize: 125360
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 153373 0 0 0 102674 339 0 0 25 0 1 0 700631963 128688128 30543 4294967295 134512640 134714508 3221221792 3221220392 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31418 30543 1111 63 0 31355 0
vsize: 125672
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 153937 0 0 0 103673 340 0 0 25 0 1 0 700631963 129257472 30712 4294967295 134512640 134714508 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31557 30712 1111 63 0 31494 0
vsize: 126228
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 154405 0 0 0 104672 341 0 0 25 0 1 0 700631963 129548288 30785 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31628 30785 1111 63 0 31565 0
vsize: 126512
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 154875 0 0 0 105671 342 0 0 25 0 1 0 700631963 130265088 30958 4294967295 134512640 134714508 3221221792 3221220404 134529106 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31803 30958 1111 63 0 31740 0
vsize: 127212
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 155342 0 0 0 106670 343 0 0 25 0 1 0 700631963 130555904 31029 4294967295 134512640 134714508 3221221792 3221220368 134523971 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31874 31029 1111 63 0 31811 0
vsize: 127496
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 155844 0 0 0 107669 345 0 0 25 0 1 0 700631963 130764800 31032 4294967295 134512640 134714508 3221221792 3221220260 134536694 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31925 31032 1111 63 0 31862 0
vsize: 127700
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 156196 0 0 0 108669 346 0 0 25 0 1 0 700631963 130801664 31041 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31934 31041 1111 63 0 31871 0
vsize: 127736
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 156662 0 0 0 109668 347 0 0 25 0 1 0 700631963 131629056 31211 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32136 31211 1111 63 0 32073 0
vsize: 128544
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 157127 0 0 0 110667 348 0 0 25 0 1 0 700631963 131907584 31280 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32204 31280 1111 63 0 32141 0
vsize: 128816
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 157481 0 0 0 111667 348 0 0 25 0 1 0 700631963 131637248 31246 4294967295 134512640 134714508 3221221792 3221220320 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32138 31246 1111 63 0 32075 0
vsize: 128552
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 158737 0 0 0 112664 351 0 0 25 0 1 0 700631963 132452352 31413 4294967295 134512640 134714508 3221221792 3221220256 134539460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32337 31413 1111 63 0 32274 0
vsize: 129348
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 158905 0 0 0 113664 352 0 0 25 0 1 0 700631963 132329472 31415 4294967295 134512640 134714508 3221221792 3221220240 134536678 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32307 31415 1111 63 0 32244 0
vsize: 129228
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 159229 0 0 0 114663 353 0 0 25 0 1 0 700631963 132329472 31415 4294967295 134512640 134714508 3221221792 3221220272 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32307 31415 1111 63 0 32244 0
vsize: 129228
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 159687 0 0 0 115662 354 0 0 25 0 1 0 700631963 133124096 31577 4294967295 134512640 134714508 3221221792 3221220256 134539460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32501 31577 1111 63 0 32438 0
vsize: 130004
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 160045 0 0 0 116661 355 0 0 25 0 1 0 700631963 132837376 31539 4294967295 134512640 134714508 3221221792 3221220144 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32431 31539 1111 63 0 32368 0
vsize: 129724
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 160238 0 0 0 117661 355 0 0 25 0 1 0 700631963 133599232 31701 4294967295 134512640 134714508 3221221792 3221220368 134523971 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32617 31701 1111 63 0 32554 0
vsize: 130468
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 160491 0 0 0 118660 356 0 0 25 0 1 0 700631963 133849088 31762 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32678 31762 1111 63 0 32615 0
vsize: 130712
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 27910
Raw data (stat): 27910 (bsolo_lpr) R 27909 7876 7672 0 -1 0 161577 0 0 0 119658 358 0 0 25 0 1 0 700631963 133484544 31697 4294967295 134512640 134714508 3221221792 3221220156 134539265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32589 31697 1111 63 0 32526 0
vsize: 130356
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 27910
Raw data (stat): 27910 (bsolo_lpr) Z 27909 7876 7672 0 -1 1036 161577 0 0 0 119658 364 0 0 25 0 1 0 700631963 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 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.1
CPU time (s): 1200.23
CPU user time (s): 1196.59
CPU system time (s): 3.64645
CPU usage (%): 100.011
Max. virtual memory (Kb): 130712
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####