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-dg012142.opb
MD5SUM	d2a2dc4ff7a501b7efb12f8e274e186d
Bench Category	optimization, big integers (OPTBIGINT)
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	16640
Biggest coefficient in the objective function	5242880000
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	1683190350400
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	5242880000
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	1683190350400
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1269.98
Number of variables	29440
Total number of constraints	6310
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	6270
Minimum length of a constraint	1
Maximum length of a constraint	251
Trace number 41702

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 20:14:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29763 boxname=wulflinc3 idbench=1547 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  d2a2dc4ff7a501b7efb12f8e274e186d  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-dg012142.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-dg012142.opb
IDLAUNCH: 29763
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        747384 kB
Buffers:         22576 kB
Cached:         244312 kB
SwapCached:        692 kB
Active:          41184 kB
Inactive:       227704 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        747132 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            12668 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 20:34:50 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 29763 7 1200.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 29440 variables and 2777 constraints.
c After prepocess the problem consists of 27502 variables and 3143 constraints.
c preprocess terminated 794.787 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.01 0.99 0.91 1/54 14949
Raw data (stat): 14949 (runsolver) R 14948 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913066369 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 1635 0 0 0 994 3 0 0 25 0 1 0 913066369 19341312 1555 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4722 1555 1111 63 0 4659 0
vsize: 18888
[startup+20.0013 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 2751 0 0 0 1992 6 0 0 25 0 1 0 913066369 23879680 2671 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5830 2671 1111 63 0 5767 0
vsize: 23320
[startup+30.0013 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 3980 0 0 0 2990 7 0 0 25 0 1 0 913066369 28868608 3900 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7048 3900 1111 63 0 6985 0
vsize: 28192
[startup+40.0021 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 5334 0 0 0 3988 10 0 0 25 0 1 0 913066369 34410496 5254 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8401 5254 1111 63 0 8338 0
vsize: 33604
[startup+50.0028 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 6990 0 0 0 4985 13 0 0 25 0 1 0 913066369 41349120 6910 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10095 6910 1111 63 0 10032 0
vsize: 40380
[startup+60.0026 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 9327 0 0 0 5981 17 0 0 25 0 1 0 913066369 50864128 9247 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12418 9247 1111 63 0 12355 0
vsize: 49672
[startup+70.0036 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 14818 0 0 0 6973 25 0 0 25 0 1 0 913066369 73334784 14738 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17904 14738 1111 63 0 17841 0
vsize: 71616
[startup+80.0043 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 16550 0 0 0 7968 30 0 0 25 0 1 0 913066369 80527360 16470 4294967295 134512640 134716908 3221224560 3221222808 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19660 16470 1111 63 0 19597 0
vsize: 78640
[startup+90.0055 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 24241 0 0 0 8951 47 0 0 25 0 1 0 913066369 111964160 24161 4294967295 134512640 134716908 3221224560 3221221036 1077196847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27335 24161 1111 63 0 27272 0
vsize: 109340
[startup+100.006 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 33829 0 0 0 9926 72 0 0 25 0 1 0 913066369 136024064 32149 4294967295 134512640 134716908 3221224560 3221223088 134554857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33209 32149 1111 63 0 33146 0
vsize: 132836
[startup+110.007 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 40889 0 0 0 10910 88 0 0 25 0 1 0 913066369 164052992 39047 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40052 39047 1111 63 0 39989 0
vsize: 160208
[startup+120.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 40889 0 0 0 11910 88 0 0 25 0 1 0 913066369 164052992 39047 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40052 39047 1111 63 0 39989 0
vsize: 160208
[startup+130.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 41428 0 0 0 12909 89 0 0 25 0 1 0 913066369 165818368 39478 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40483 39478 1111 63 0 40420 0
vsize: 161932
[startup+140.008 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 41428 0 0 0 13909 89 0 0 25 0 1 0 913066369 165818368 39478 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40483 39478 1111 63 0 40420 0
vsize: 161932
[startup+150.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 41428 0 0 0 14909 89 0 0 25 0 1 0 913066369 165818368 39478 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40483 39478 1111 63 0 40420 0
vsize: 161932
[startup+160.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 41428 0 0 0 15909 89 0 0 25 0 1 0 913066369 165818368 39478 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40483 39478 1111 63 0 40420 0
vsize: 161932
[startup+170.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 41428 0 0 0 16910 89 0 0 25 0 1 0 913066369 165818368 39478 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40483 39478 1111 63 0 40420 0
vsize: 161932
[startup+180.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 41428 0 0 0 17910 89 0 0 25 0 1 0 913066369 165818368 39478 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40483 39478 1111 63 0 40420 0
vsize: 161932
[startup+190.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 47866 0 0 0 18896 104 0 0 25 0 1 0 913066369 191963136 45861 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+200.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 47866 0 0 0 19896 104 0 0 25 0 1 0 913066369 191963136 45861 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 47866 0 0 0 20896 104 0 0 25 0 1 0 913066369 191963136 45861 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+220.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 47866 0 0 0 21896 104 0 0 25 0 1 0 913066369 191963136 45861 4294967295 134512640 134716908 3221224560 3221223172 134557822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 47866 0 0 0 22896 104 0 0 25 0 1 0 913066369 191963136 45861 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+240.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 47866 0 0 0 23897 104 0 0 25 0 1 0 913066369 191963136 45861 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+250.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 47866 0 0 0 24897 104 0 0 25 0 1 0 913066369 191963136 45861 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+260.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 47866 0 0 0 25897 104 0 0 25 0 1 0 913066369 191963136 45861 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+270.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 47866 0 0 0 26897 104 0 0 25 0 1 0 913066369 191963136 45861 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 47866 0 0 0 27897 104 0 0 25 0 1 0 913066369 191963136 45861 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+290.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 47866 0 0 0 28898 104 0 0 25 0 1 0 913066369 191963136 45861 4294967295 134512640 134716908 3221224560 3221223272 134618253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46866 45861 1111 63 0 46803 0
vsize: 187464
[startup+300.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 29887 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+310.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 30888 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+320.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 31888 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 32888 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+340.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 33888 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+350.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 34889 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 35889 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 36889 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+380.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 37889 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+390.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 38889 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223172 1077374077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+400.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 39890 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+410.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 40890 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 41890 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+430.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 42890 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+440.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 43891 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+450.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 44891 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+460.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 45892 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+470.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 46892 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223224 134606881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+480.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 47892 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+490.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 48892 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+500.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 49893 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223216 134605798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+510.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 50893 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+520.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 51893 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+530.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 52893 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+540.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 53893 114 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+550.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 54894 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+560.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 55894 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+570.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 56894 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+580.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 57894 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223276 134675288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+590.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 58894 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+600.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 59895 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+610.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 60895 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+620.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 61895 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+630.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 62895 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+640.045 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 63895 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+650.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 64896 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+660.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 65896 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+670.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 66896 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+680.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 67896 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+690.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 68897 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+700.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 69897 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+710.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 70897 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+720.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 71897 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+730.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 72897 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+740.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 73898 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 74898 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+760.052 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 75898 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+770.053 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 76898 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223172 134557818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+780.054 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 77898 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+790.055 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52406 0 0 0 78899 115 0 0 25 0 1 0 913066369 210337792 50347 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50347 1111 63 0 51289 0
vsize: 205408
[startup+800.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52428 0 0 0 79898 115 0 0 25 0 1 0 913066369 210337792 50369 4294967295 134512640 134716908 3221224560 3221222416 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51352 50369 1111 63 0 51289 0
vsize: 205408
[startup+810.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52801 0 0 0 80897 117 0 0 25 0 1 0 913066369 211861504 50742 4294967295 134512640 134716908 3221224560 3221221952 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51724 50742 1111 63 0 51661 0
vsize: 206896
[startup+820.056 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 52950 0 0 0 81896 117 0 0 25 0 1 0 913066369 212471808 50891 4294967295 134512640 134716908 3221224560 3221222008 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51873 50891 1111 63 0 51810 0
vsize: 207492
[startup+830.058 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 56408 0 0 0 82888 126 0 0 25 0 1 0 913066369 218157056 52342 4294967295 134512640 134716908 3221224560 3221220684 1075116489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53261 52342 1111 63 0 53198 0
vsize: 213044
[startup+840.058 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 56707 0 0 0 83888 126 0 0 25 0 1 0 913066369 218767360 52529 4294967295 134512640 134716908 3221224560 3221220672 1074815276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53410 52529 1111 63 0 53347 0
vsize: 213640
[startup+850.058 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 56711 0 0 0 84888 126 0 0 25 0 1 0 913066369 218767360 52533 4294967295 134512640 134716908 3221224560 3221220508 1074873600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53410 52533 1111 63 0 53347 0
vsize: 213640
[startup+860.058 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 56711 0 0 0 85888 126 0 0 25 0 1 0 913066369 218767360 52533 4294967295 134512640 134716908 3221224560 3221220692 1075115003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53410 52533 1111 63 0 53347 0
vsize: 213640
[startup+870.059 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 56713 0 0 0 86888 126 0 0 25 0 1 0 913066369 218767360 52535 4294967295 134512640 134716908 3221224560 3221220692 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53410 52535 1111 63 0 53347 0
vsize: 213640
[startup+880.059 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 56713 0 0 0 87888 126 0 0 25 0 1 0 913066369 218767360 52535 4294967295 134512640 134716908 3221224560 3221220508 1074873727 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53410 52535 1111 63 0 53347 0
vsize: 213640
[startup+890.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 56827 0 0 0 88888 127 0 0 25 0 1 0 913066369 219234304 52649 4294967295 134512640 134716908 3221224560 3221220692 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53524 52649 1111 63 0 53461 0
vsize: 214096
[startup+900.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 56827 0 0 0 89888 127 0 0 25 0 1 0 913066369 219234304 52649 4294967295 134512640 134716908 3221224560 3221220508 1074873379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53524 52649 1111 63 0 53461 0
vsize: 214096
[startup+910.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 56827 0 0 0 90889 127 0 0 25 0 1 0 913066369 219234304 52649 4294967295 134512640 134716908 3221224560 3221220448 1074875074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53524 52649 1111 63 0 53461 0
vsize: 214096
[startup+920.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 56827 0 0 0 91889 127 0 0 25 0 1 0 913066369 219234304 52649 4294967295 134512640 134716908 3221224560 3221220692 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53524 52649 1111 63 0 53461 0
vsize: 214096
[startup+930.061 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 56827 0 0 0 92889 127 0 0 25 0 1 0 913066369 219234304 52649 4294967295 134512640 134716908 3221224560 3221220508 1074873439 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53524 52649 1111 63 0 53461 0
vsize: 214096
[startup+940.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 56827 0 0 0 93889 127 0 0 25 0 1 0 913066369 219234304 52649 4294967295 134512640 134716908 3221224560 3221220680 1075560345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53524 52649 1111 63 0 53461 0
vsize: 214096
[startup+950.063 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 56827 0 0 0 94889 127 0 0 25 0 1 0 913066369 219234304 52649 4294967295 134512640 134716908 3221224560 3221220508 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53524 52649 1111 63 0 53461 0
vsize: 214096
[startup+960.062 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 56881 0 0 0 95890 127 0 0 25 0 1 0 913066369 219541504 52703 4294967295 134512640 134716908 3221224560 3221220508 1074873371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53599 52703 1111 63 0 53536 0
vsize: 214396
[startup+970.063 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 56885 0 0 0 96890 127 0 0 25 0 1 0 913066369 219541504 52707 4294967295 134512640 134716908 3221224560 3221220448 1074875074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53599 52707 1111 63 0 53536 0
vsize: 214396
[startup+980.063 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57264 0 0 0 97889 127 0 0 25 0 1 0 913066369 221233152 53086 4294967295 134512640 134716908 3221224560 3221221384 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53086 1111 63 0 53949 0
vsize: 216048
[startup+990.064 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57281 0 0 0 98890 127 0 0 25 0 1 0 913066369 221233152 53103 4294967295 134512640 134716908 3221224560 3221220372 1074786556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53103 1111 63 0 53949 0
vsize: 216048
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57281 0 0 0 99890 127 0 0 25 0 1 0 913066369 221233152 53103 4294967295 134512640 134716908 3221224560 3221220448 1074875074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53103 1111 63 0 53949 0
vsize: 216048
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57282 0 0 0 100890 127 0 0 25 0 1 0 913066369 221233152 53104 4294967295 134512640 134716908 3221224560 3221220672 1074815491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53104 1111 63 0 53949 0
vsize: 216048
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57282 0 0 0 101890 127 0 0 25 0 1 0 913066369 221233152 53104 4294967295 134512640 134716908 3221224560 3221220692 1075114937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53104 1111 63 0 53949 0
vsize: 216048
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57282 0 0 0 102890 127 0 0 25 0 1 0 913066369 221233152 53104 4294967295 134512640 134716908 3221224560 3221220692 1075114991 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53104 1111 63 0 53949 0
vsize: 216048
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57283 0 0 0 103891 127 0 0 25 0 1 0 913066369 221233152 53105 4294967295 134512640 134716908 3221224560 3221220448 1074875081 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57283 0 0 0 104891 127 0 0 25 0 1 0 913066369 221233152 53105 4294967295 134512640 134716908 3221224560 3221220460 1074788198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57283 0 0 0 105891 127 0 0 25 0 1 0 913066369 221233152 53105 4294967295 134512640 134716908 3221224560 3221220508 1074873512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57283 0 0 0 106892 127 0 0 25 0 1 0 913066369 221233152 53105 4294967295 134512640 134716908 3221224560 3221220448 1074875083 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57283 0 0 0 107892 127 0 0 25 0 1 0 913066369 221233152 53105 4294967295 134512640 134716908 3221224560 3221220372 1074786479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57283 0 0 0 108892 127 0 0 25 0 1 0 913066369 221233152 53105 4294967295 134512640 134716908 3221224560 3221220448 1074875065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57283 0 0 0 109892 127 0 0 25 0 1 0 913066369 221233152 53105 4294967295 134512640 134716908 3221224560 3221220508 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57283 0 0 0 110892 127 0 0 25 0 1 0 913066369 221233152 53105 4294967295 134512640 134716908 3221224560 3221220508 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57283 0 0 0 111893 127 0 0 25 0 1 0 913066369 221233152 53105 4294967295 134512640 134716908 3221224560 3221220508 1074873480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57283 0 0 0 112893 127 0 0 25 0 1 0 913066369 221233152 53105 4294967295 134512640 134716908 3221224560 3221220608 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57283 0 0 0 113893 127 0 0 25 0 1 0 913066369 221233152 53105 4294967295 134512640 134716908 3221224560 3221220508 1074873504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57283 0 0 0 114893 127 0 0 25 0 1 0 913066369 221233152 53105 4294967295 134512640 134716908 3221224560 3221220508 1074873539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53105 1111 63 0 53949 0
vsize: 216048
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57285 0 0 0 115893 127 0 0 25 0 1 0 913066369 221233152 53107 4294967295 134512640 134716908 3221224560 3221220620 1075093106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53107 1111 63 0 53949 0
vsize: 216048
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57285 0 0 0 116894 127 0 0 25 0 1 0 913066369 221233152 53107 4294967295 134512640 134716908 3221224560 3221220448 1074875093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53107 1111 63 0 53949 0
vsize: 216048
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57285 0 0 0 117894 127 0 0 25 0 1 0 913066369 221233152 53107 4294967295 134512640 134716908 3221224560 3221220448 1074875074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53107 1111 63 0 53949 0
vsize: 216048
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57285 0 0 0 118894 127 0 0 25 0 1 0 913066369 221233152 53107 4294967295 134512640 134716908 3221224560 3221220448 1074875062 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53107 1111 63 0 53949 0
vsize: 216048
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) R 14948 20224 20223 0 -1 0 57285 0 0 0 119894 127 0 0 25 0 1 0 913066369 221233152 53107 4294967295 134512640 134716908 3221224560 3221220508 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54012 53107 1111 63 0 53949 0
vsize: 216048
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 14949
Raw data (stat): 14949 (bsolo_lpr_cuts-) Z 14948 20224 20223 0 -1 1036 57285 0 0 0 119894 137 0 0 25 0 1 0 913066369 0 0 4294967295 0 0 0 0 0 0 0 7 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.18
CPU time (s): 1200.32
CPU user time (s): 1198.95
CPU system time (s): 1.37479
CPU usage (%): 100.012
Max. virtual memory (Kb): 216048
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####