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-f2000.opb
MD5SUM	4675a5d50c7e04c9a0597ae768da1a88
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4000
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	4000
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	4000
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4000
Total number of constraints	10500
Number of constraints which are clauses	10500
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 23777

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 16:41:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1144 boxname=wulflinc31 idbench=128 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  4675a5d50c7e04c9a0597ae768da1a88  /oldhome/oroussel/tmp/wulflinc31/normalized-f2000.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-f2000.opb
IDLAUNCH: 1144
/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:        906736 kB
Buffers:         44512 kB
Cached:          61100 kB
SwapCached:        944 kB
Active:          86800 kB
Inactive:        21300 kB
HighTotal:      131008 kB
HighFree:        68908 kB
LowTotal:       903652 kB
LowFree:        837828 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             648 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14348 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 17:01:49 (client local time) WITH STATUS 0 IN 1200.59 SECONDS
stats: 1144 7 1200.59 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4000 variables and 10500 constraints.
c After prepocess the problem consists of 4000 variables and 10500 constraints.
c preprocess terminated 2.643 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.95 2/54 4811
Raw data (stat): 4811 (runsolver) R 4810 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 658920230 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 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.0012 s]
Raw data (loadavg): 0.93 0.95 0.95 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 2956 0 0 0 985 10 0 0 25 0 1 0 658920230 15212544 2869 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3714 2869 1111 63 0 3651 0
vsize: 14856
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 4700 0 0 0 1981 14 0 0 25 0 1 0 658920230 22601728 4283 4294967295 134512640 134714508 3221221792 3221217824 1074790218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5518 4283 1111 63 0 5455 0
vsize: 22072
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 5068 0 0 0 2980 15 0 0 25 0 1 0 658920230 21258240 4018 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5190 4018 1111 63 0 5127 0
vsize: 20760
[startup+40.0027 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 5419 0 0 0 3979 16 0 0 25 0 1 0 658920230 21258240 4052 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5190 4052 1111 63 0 5127 0
vsize: 20760
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 5784 0 0 0 4979 16 0 0 25 0 1 0 658920230 22601728 4417 4294967295 134512640 134714508 3221221792 3221217920 1075895652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5518 4417 1111 63 0 5455 0
vsize: 22072
[startup+60.0043 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 5864 0 0 0 5979 17 0 0 25 0 1 0 658920230 21532672 4169 4294967295 134512640 134714508 3221221792 3221217824 1075895891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5257 4169 1111 63 0 5194 0
vsize: 21028
[startup+70.0055 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6405 0 0 0 6978 17 0 0 25 0 1 0 658920230 21680128 4349 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5293 4349 1111 63 0 5230 0
vsize: 21172
[startup+80.0051 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6440 0 0 0 7978 18 0 0 25 0 1 0 658920230 21831680 4384 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5330 4384 1111 63 0 5267 0
vsize: 21320
[startup+90.005 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6702 0 0 0 8978 18 0 0 25 0 1 0 658920230 23461888 4646 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4646 1111 63 0 5665 0
vsize: 22912
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6703 0 0 0 9978 18 0 0 25 0 1 0 658920230 23461888 4647 4294967295 134512640 134714508 3221221792 3221217684 1074786571 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+110.006 s]
Raw data (loadavg): 1.14 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6703 0 0 0 10978 18 0 0 25 0 1 0 658920230 23461888 4647 4294967295 134512640 134714508 3221221792 3221217920 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+120.007 s]
Raw data (loadavg): 1.12 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6703 0 0 0 11979 18 0 0 25 0 1 0 658920230 23461888 4647 4294967295 134512640 134714508 3221221792 3221217516 1074787795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+130.007 s]
Raw data (loadavg): 1.10 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6703 0 0 0 12979 18 0 0 25 0 1 0 658920230 23461888 4647 4294967295 134512640 134714508 3221221792 3221217932 1075116753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+140.008 s]
Raw data (loadavg): 1.08 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6703 0 0 0 13979 18 0 0 25 0 1 0 658920230 23461888 4647 4294967295 134512640 134714508 3221221792 3221217660 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+150.008 s]
Raw data (loadavg): 1.07 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6703 0 0 0 14979 18 0 0 25 0 1 0 658920230 23461888 4647 4294967295 134512640 134714508 3221221792 3221218240 1075397215 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+160.009 s]
Raw data (loadavg): 1.06 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6703 0 0 0 15979 18 0 0 25 0 1 0 658920230 23461888 4647 4294967295 134512640 134714508 3221221792 3221217676 1074787861 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+170.009 s]
Raw data (loadavg): 1.05 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6703 0 0 0 16979 18 0 0 25 0 1 0 658920230 23461888 4647 4294967295 134512640 134714508 3221221792 3221218048 1075113481 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+180.008 s]
Raw data (loadavg): 1.04 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6703 0 0 0 17980 18 0 0 25 0 1 0 658920230 23461888 4647 4294967295 134512640 134714508 3221221792 3221217660 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+190.009 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6703 0 0 0 18980 18 0 0 25 0 1 0 658920230 23461888 4647 4294967295 134512640 134714508 3221221792 3221217888 1074882610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+200.009 s]
Raw data (loadavg): 1.03 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6703 0 0 0 19980 18 0 0 25 0 1 0 658920230 23461888 4647 4294967295 134512640 134714508 3221221792 3221217612 1074787561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+210.009 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6703 0 0 0 20980 18 0 0 25 0 1 0 658920230 23461888 4647 4294967295 134512640 134714508 3221221792 3221217920 1074815247 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+220.01 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6703 0 0 0 21980 19 0 0 25 0 1 0 658920230 23461888 4647 4294967295 134512640 134714508 3221221792 3221218680 1075112600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+230.011 s]
Raw data (loadavg): 1.02 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6703 0 0 0 22980 19 0 0 25 0 1 0 658920230 23461888 4647 4294967295 134512640 134714508 3221221792 3221217872 1075091205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4647 1111 63 0 5665 0
vsize: 22912
[startup+240.011 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6707 0 0 0 23980 19 0 0 25 0 1 0 658920230 23461888 4651 4294967295 134512640 134714508 3221221792 3221217920 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4651 1111 63 0 5665 0
vsize: 22912
[startup+250.011 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6707 0 0 0 24981 19 0 0 25 0 1 0 658920230 23461888 4651 4294967295 134512640 134714508 3221221792 3221217768 1074789806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4651 1111 63 0 5665 0
vsize: 22912
[startup+260.011 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6711 0 0 0 25981 19 0 0 25 0 1 0 658920230 23461888 4655 4294967295 134512640 134714508 3221221792 3221217932 1075116489 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5728 4655 1111 63 0 5665 0
vsize: 22912
[startup+270.011 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6849 0 0 0 26981 19 0 0 25 0 1 0 658920230 21831680 4395 4294967295 134512640 134714508 3221221792 3221218240 1075397189 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5330 4395 1111 63 0 5267 0
vsize: 21320
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6851 0 0 0 27981 19 0 0 25 0 1 0 658920230 21831680 4397 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5330 4397 1111 63 0 5267 0
vsize: 21320
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6853 0 0 0 28981 19 0 0 25 0 1 0 658920230 21831680 4399 4294967295 134512640 134714508 3221221792 3221217804 1075663457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5330 4399 1111 63 0 5267 0
vsize: 21320
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6886 0 0 0 29981 19 0 0 25 0 1 0 658920230 21995520 4432 4294967295 134512640 134714508 3221221792 3221217940 1075115003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5370 4432 1111 63 0 5307 0
vsize: 21480
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6886 0 0 0 30981 19 0 0 25 0 1 0 658920230 21995520 4432 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5370 4432 1111 63 0 5307 0
vsize: 21480
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6970 0 0 0 31981 20 0 0 25 0 1 0 658920230 22351872 4516 4294967295 134512640 134714508 3221221792 3221218088 1075112606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4516 1111 63 0 5394 0
vsize: 21828
[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6970 0 0 0 32981 20 0 0 25 0 1 0 658920230 22351872 4516 4294967295 134512640 134714508 3221221792 3221217924 1075117518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4516 1111 63 0 5394 0
vsize: 21828
[startup+340.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6972 0 0 0 33981 20 0 0 25 0 1 0 658920230 22351872 4518 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4518 1111 63 0 5394 0
vsize: 21828
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 6975 0 0 0 34981 20 0 0 25 0 1 0 658920230 22351872 4521 4294967295 134512640 134714508 3221221792 3221217776 1074881470 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5457 4521 1111 63 0 5394 0
vsize: 21828
[startup+360.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7021 0 0 0 35981 20 0 0 25 0 1 0 658920230 22536192 4567 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4567 1111 63 0 5439 0
vsize: 22008
[startup+370.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7023 0 0 0 36981 20 0 0 25 0 1 0 658920230 22536192 4569 4294967295 134512640 134714508 3221221792 3221217680 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4569 1111 63 0 5439 0
vsize: 22008
[startup+380.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7026 0 0 0 37981 20 0 0 25 0 1 0 658920230 22536192 4572 4294967295 134512640 134714508 3221221792 3221218044 1076111491 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4572 1111 63 0 5439 0
vsize: 22008
[startup+390.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7028 0 0 0 38981 20 0 0 25 0 1 0 658920230 22536192 4574 4294967295 134512640 134714508 3221221792 3221217776 1074881563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4574 1111 63 0 5439 0
vsize: 22008
[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7034 0 0 0 39982 20 0 0 25 0 1 0 658920230 22536192 4580 4294967295 134512640 134714508 3221221792 3221217776 1074881459 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4580 1111 63 0 5439 0
vsize: 22008
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7045 0 0 0 40982 20 0 0 25 0 1 0 658920230 22536192 4591 4294967295 134512640 134714508 3221221792 3221217984 1074960789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4591 1111 63 0 5439 0
vsize: 22008
[startup+420.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7047 0 0 0 41982 20 0 0 25 0 1 0 658920230 22536192 4593 4294967295 134512640 134714508 3221221792 3221217940 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4593 1111 63 0 5439 0
vsize: 22008
[startup+430.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7050 0 0 0 42982 20 0 0 25 0 1 0 658920230 22536192 4596 4294967295 134512640 134714508 3221221792 3221218088 1075112606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4596 1111 63 0 5439 0
vsize: 22008
[startup+440.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7050 0 0 0 43982 20 0 0 25 0 1 0 658920230 22536192 4596 4294967295 134512640 134714508 3221221792 3221217812 1075964282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4596 1111 63 0 5439 0
vsize: 22008
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7061 0 0 0 44982 20 0 0 25 0 1 0 658920230 22536192 4607 4294967295 134512640 134714508 3221221792 3221218048 1075114265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4607 1111 63 0 5439 0
vsize: 22008
[startup+460.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7061 0 0 0 45983 20 0 0 25 0 1 0 658920230 22536192 4607 4294967295 134512640 134714508 3221221792 3221217776 1074881396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4607 1111 63 0 5439 0
vsize: 22008
[startup+470.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7061 0 0 0 46983 20 0 0 25 0 1 0 658920230 22536192 4607 4294967295 134512640 134714508 3221221792 3221217940 1075114984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4607 1111 63 0 5439 0
vsize: 22008
[startup+480.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7061 0 0 0 47983 20 0 0 25 0 1 0 658920230 22536192 4607 4294967295 134512640 134714508 3221221792 3221217676 1074788201 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4607 1111 63 0 5439 0
vsize: 22008
[startup+490.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7061 0 0 0 48983 20 0 0 25 0 1 0 658920230 22536192 4607 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4607 1111 63 0 5439 0
vsize: 22008
[startup+500.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7061 0 0 0 49983 20 0 0 25 0 1 0 658920230 22536192 4607 4294967295 134512640 134714508 3221221792 3221218048 1075114268 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4607 1111 63 0 5439 0
vsize: 22008
[startup+510.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7066 0 0 0 50983 20 0 0 25 0 1 0 658920230 22536192 4612 4294967295 134512640 134714508 3221221792 3221217924 1075117761 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 4612 1111 63 0 5439 0
vsize: 22008
[startup+520.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7117 0 0 0 51984 20 0 0 25 0 1 0 658920230 22732800 4663 4294967295 134512640 134714508 3221221792 3221217584 1074786849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5550 4663 1111 63 0 5487 0
vsize: 22200
[startup+530.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7129 0 0 0 52984 20 0 0 25 0 1 0 658920230 22732800 4675 4294967295 134512640 134714508 3221221792 3221217776 1074881396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5550 4675 1111 63 0 5487 0
vsize: 22200
[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7188 0 0 0 53985 20 0 0 25 0 1 0 658920230 22941696 4734 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4734 1111 63 0 5538 0
vsize: 22404
[startup+550.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7188 0 0 0 54985 20 0 0 25 0 1 0 658920230 22941696 4734 4294967295 134512640 134714508 3221221792 3221217544 1074789281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4734 1111 63 0 5538 0
vsize: 22404
[startup+560.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7188 0 0 0 55985 20 0 0 25 0 1 0 658920230 22941696 4734 4294967295 134512640 134714508 3221221792 3221217608 1074787081 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4734 1111 63 0 5538 0
vsize: 22404
[startup+570.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7205 0 0 0 56985 20 0 0 25 0 1 0 658920230 22941696 4751 4294967295 134512640 134714508 3221221792 3221217952 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4751 1111 63 0 5538 0
vsize: 22404
[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7205 0 0 0 57985 20 0 0 25 0 1 0 658920230 22941696 4751 4294967295 134512640 134714508 3221221792 3221217584 1074786849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4751 1111 63 0 5538 0
vsize: 22404
[startup+590.028 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7205 0 0 0 58986 20 0 0 25 0 1 0 658920230 22941696 4751 4294967295 134512640 134714508 3221221792 3221217776 1074880982 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4751 1111 63 0 5538 0
vsize: 22404
[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7205 0 0 0 59986 20 0 0 25 0 1 0 658920230 22941696 4751 4294967295 134512640 134714508 3221221792 3221217544 1074789193 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4751 1111 63 0 5538 0
vsize: 22404
[startup+610.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7206 0 0 0 60986 20 0 0 25 0 1 0 658920230 22941696 4752 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4752 1111 63 0 5538 0
vsize: 22404
[startup+620.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7206 0 0 0 61986 20 0 0 25 0 1 0 658920230 22941696 4752 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4752 1111 63 0 5538 0
vsize: 22404
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7207 0 0 0 62987 20 0 0 25 0 1 0 658920230 22941696 4753 4294967295 134512640 134714508 3221221792 3221217672 1074789286 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4753 1111 63 0 5538 0
vsize: 22404
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7207 0 0 0 63987 21 0 0 25 0 1 0 658920230 22941696 4753 4294967295 134512640 134714508 3221221792 3221217616 1074786835 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5601 4753 1111 63 0 5538 0
vsize: 22404
[startup+650.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7254 0 0 0 64987 21 0 0 25 0 1 0 658920230 23158784 4800 4294967295 134512640 134714508 3221221792 3221217544 1074789281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4800 1111 63 0 5591 0
vsize: 22616
[startup+660.03 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7257 0 0 0 65987 21 0 0 25 0 1 0 658920230 23158784 4803 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4803 1111 63 0 5591 0
vsize: 22616
[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7261 0 0 0 66987 21 0 0 25 0 1 0 658920230 23158784 4807 4294967295 134512640 134714508 3221221792 3221217872 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4807 1111 63 0 5591 0
vsize: 22616
[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7261 0 0 0 67987 21 0 0 25 0 1 0 658920230 23158784 4807 4294967295 134512640 134714508 3221221792 3221217616 1074786854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4807 1111 63 0 5591 0
vsize: 22616
[startup+690.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7261 0 0 0 68987 21 0 0 25 0 1 0 658920230 23158784 4807 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4807 1111 63 0 5591 0
vsize: 22616
[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7261 0 0 0 69988 21 0 0 25 0 1 0 658920230 23158784 4807 4294967295 134512640 134714508 3221221792 3221217616 1074786835 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4807 1111 63 0 5591 0
vsize: 22616
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7261 0 0 0 70988 21 0 0 25 0 1 0 658920230 23158784 4807 4294967295 134512640 134714508 3221221792 3221217680 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4807 1111 63 0 5591 0
vsize: 22616
[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7261 0 0 0 71988 21 0 0 25 0 1 0 658920230 23158784 4807 4294967295 134512640 134714508 3221221792 3221217984 1074960759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4807 1111 63 0 5591 0
vsize: 22616
[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7261 0 0 0 72988 21 0 0 25 0 1 0 658920230 23158784 4807 4294967295 134512640 134714508 3221221792 3221218048 1075114277 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5654 4807 1111 63 0 5591 0
vsize: 22616
[startup+740.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7315 0 0 0 73988 21 0 0 25 0 1 0 658920230 23388160 4861 4294967295 134512640 134714508 3221221792 3221217632 1074893228 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4861 1111 63 0 5647 0
vsize: 22840
[startup+750.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7316 0 0 0 74988 21 0 0 25 0 1 0 658920230 23388160 4862 4294967295 134512640 134714508 3221221792 3221217576 1074787033 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4862 1111 63 0 5647 0
vsize: 22840
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7317 0 0 0 75988 21 0 0 25 0 1 0 658920230 23388160 4863 4294967295 134512640 134714508 3221221792 3221217576 1074787033 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4863 1111 63 0 5647 0
vsize: 22840
[startup+770.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7317 0 0 0 76989 21 0 0 25 0 1 0 658920230 23388160 4863 4294967295 134512640 134714508 3221221792 3221218784 1074867344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4863 1111 63 0 5647 0
vsize: 22840
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7317 0 0 0 77989 21 0 0 25 0 1 0 658920230 23388160 4863 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4863 1111 63 0 5647 0
vsize: 22840
[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7317 0 0 0 78989 21 0 0 25 0 1 0 658920230 23388160 4863 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4863 1111 63 0 5647 0
vsize: 22840
[startup+800.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 79989 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221218304 1074886262 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 80989 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217952 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+820.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 81989 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217776 1074880982 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+830.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 82989 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 83990 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217872 1075095094 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 84990 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217872 1075095184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 85990 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 86990 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217544 1074789228 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+880.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 87990 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217924 1075117370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 88990 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217568 1074870807 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 89991 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217960 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 90991 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217616 1074786854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 91991 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221218088 1075112600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 92991 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 93991 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217984 1074960771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+950.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 94991 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217952 1075088560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 95991 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217544 1074789281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+970.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 96992 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217680 1075965299 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+980.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 97992 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 98992 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217776 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7319 0 0 0 99992 21 0 0 25 0 1 0 658920230 23388160 4865 4294967295 134512640 134714508 3221221792 3221217872 1075095115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5710 4865 1111 63 0 5647 0
vsize: 22840
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7376 0 0 0 100992 22 0 0 25 0 1 0 658920230 23629824 4922 4294967295 134512640 134714508 3221221792 3221217680 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5769 4922 1111 63 0 5706 0
vsize: 23076
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7376 0 0 0 101992 22 0 0 25 0 1 0 658920230 23629824 4922 4294967295 134512640 134714508 3221221792 3221217984 1074960765 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5769 4922 1111 63 0 5706 0
vsize: 23076
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7377 0 0 0 102992 22 0 0 25 0 1 0 658920230 23629824 4923 4294967295 134512640 134714508 3221221792 3221217616 1074786849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5769 4923 1111 63 0 5706 0
vsize: 23076
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7377 0 0 0 103993 22 0 0 25 0 1 0 658920230 23629824 4923 4294967295 134512640 134714508 3221221792 3221217632 1074890816 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5769 4923 1111 63 0 5706 0
vsize: 23076
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7377 0 0 0 104993 22 0 0 25 0 1 0 658920230 23629824 4923 4294967295 134512640 134714508 3221221792 3221217940 1075115106 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5769 4923 1111 63 0 5706 0
vsize: 23076
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7377 0 0 0 105993 22 0 0 25 0 1 0 658920230 23629824 4923 4294967295 134512640 134714508 3221221792 3221217608 1074787033 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5769 4923 1111 63 0 5706 0
vsize: 23076
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7377 0 0 0 106993 22 0 0 25 0 1 0 658920230 23629824 4923 4294967295 134512640 134714508 3221221792 3221217924 1075117518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5769 4923 1111 63 0 5706 0
vsize: 23076
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7437 0 0 0 107993 22 0 0 25 0 1 0 658920230 23879680 4983 4294967295 134512640 134714508 3221221792 3221218240 1075397167 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5830 4983 1111 63 0 5767 0
vsize: 23320
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 4811
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7437 0 0 0 108993 22 0 0 25 0 1 0 658920230 23879680 4983 4294967295 134512640 134714508 3221221792 3221217544 1074789286 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5830 4983 1111 63 0 5767 0
vsize: 23320
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.96 3/55 4812
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7439 0 0 0 109993 22 0 0 25 0 1 0 658920230 23879680 4985 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5830 4985 1111 63 0 5767 0
vsize: 23320
[startup+1110.22 s]
Raw data (loadavg): 1.08 1.01 0.97 2/58 4854
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7439 0 0 0 111011 22 0 0 25 0 1 0 658920230 23879680 4985 4294967295 134512640 134714508 3221221792 3221217644 1074788177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5830 4985 1111 63 0 5767 0
vsize: 23320
[startup+1120.35 s]
Raw data (loadavg): 1.15 1.03 0.98 2/54 4864
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7439 0 0 0 112024 22 0 0 25 0 1 0 658920230 23879680 4985 4294967295 134512640 134714508 3221221792 3221217648 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5830 4985 1111 63 0 5767 0
vsize: 23320
[startup+1130.35 s]
Raw data (loadavg): 1.12 1.03 0.98 2/54 4864
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7439 0 0 0 113024 22 0 0 25 0 1 0 658920230 23879680 4985 4294967295 134512640 134714508 3221221792 3221218304 1074886995 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5830 4985 1111 63 0 5767 0
vsize: 23320
[startup+1140.44 s]
Raw data (loadavg): 1.10 1.03 0.98 2/54 4864
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7439 0 0 0 114033 22 0 0 25 0 1 0 658920230 23879680 4985 4294967295 134512640 134714508 3221221792 3221217872 1075095094 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5830 4985 1111 63 0 5767 0
vsize: 23320
[startup+1150.44 s]
Raw data (loadavg): 1.09 1.03 0.98 2/54 4864
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7439 0 0 0 115033 22 0 0 25 0 1 0 658920230 23879680 4985 4294967295 134512640 134714508 3221221792 3221217924 1075117530 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5830 4985 1111 63 0 5767 0
vsize: 23320
[startup+1160.44 s]
Raw data (loadavg): 1.07 1.03 0.98 2/54 4864
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7501 0 0 0 116033 23 0 0 25 0 1 0 658920230 24154112 5047 4294967295 134512640 134714508 3221221792 3221217568 1074867700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5897 5047 1111 63 0 5834 0
vsize: 23588
[startup+1170.44 s]
Raw data (loadavg): 1.06 1.02 0.98 2/54 4864
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7501 0 0 0 117033 23 0 0 25 0 1 0 658920230 24154112 5047 4294967295 134512640 134714508 3221221792 3221217596 1074788937 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5897 5047 1111 63 0 5834 0
vsize: 23588
[startup+1180.44 s]
Raw data (loadavg): 1.05 1.02 0.98 2/54 4864
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7502 0 0 0 118033 23 0 0 25 0 1 0 658920230 24154112 5048 4294967295 134512640 134714508 3221221792 3221217544 1074789196 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5897 5048 1111 63 0 5834 0
vsize: 23588
[startup+1190.44 s]
Raw data (loadavg): 1.04 1.02 0.98 2/54 4864
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7502 0 0 0 119034 23 0 0 25 0 1 0 658920230 24154112 5048 4294967295 134512640 134714508 3221221792 3221217924 1075117424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5897 5048 1111 63 0 5834 0
vsize: 23588
[startup+1200.44 s]
Raw data (loadavg): 1.04 1.02 0.98 2/54 4866
Raw data (stat): 4811 (bsolo_lpr) R 4810 7876 7672 0 -1 0 7502 0 0 0 120034 23 0 0 25 0 1 0 658920230 24154112 5048 4294967295 134512640 134714508 3221221792 3221217608 1074787084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5897 5048 1111 63 0 5834 0
vsize: 23588
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.46 s]
Raw data (loadavg): 1.04 1.02 0.98 1/54 4866
Raw data (stat): 4811 (bsolo_lpr) Z 4810 7876 7672 0 -1 1036 7502 0 0 0 120034 24 0 0 25 0 1 0 658920230 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.46
CPU time (s): 1200.59
CPU user time (s): 1200.34
CPU system time (s): 0.244962
CPU usage (%): 100.011
Max. virtual memory (Kb): 23588
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####