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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
MD5SUM	e21d47f954166f353681a275b560afba
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
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	1400
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1400
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.12
Number of variables	1400
Total number of constraints	110038
Number of constraints which are clauses	110038
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	2
Trace number 24873

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-14 05:41:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3116 boxname=wulflinc31 idbench=347 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  e21d47f954166f353681a275b560afba  /oldhome/oroussel/tmp/wulflinc31/normalized-frb56-25-4.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb56-25-4.opb
IDLAUNCH: 3116
/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:        838140 kB
Buffers:         38344 kB
Cached:         136320 kB
SwapCached:       1932 kB
Active:         139100 kB
Inactive:        38704 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        837888 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            13060 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-14 06:02:00 (client local time) WITH STATUS 0 IN 1200.6 SECONDS
stats: 3116 7 1200.6 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1400 variables and 110038 constraints.
c After prepocess the problem consists of 1400 variables and 78358 constraints.
c preprocess terminated 869.484 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.97 0.99 2/55 23220
Raw data (stat): 23220 (runsolver) R 23219 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 741370741 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 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.0004 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 11087 0 0 0 962 33 0 0 25 0 1 0 741370741 58613760 11010 4294967295 134512640 134714508 3221221776 3221220184 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14310 11010 1111 63 0 14247 0
vsize: 57240
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 32597 0 0 0 1914 82 0 0 25 0 1 0 741370741 131416064 31225 4294967295 134512640 134714508 3221221776 3221220168 1077378310 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32084 31225 1111 63 0 32021 0
vsize: 128336
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 36448 0 0 0 2906 90 0 0 25 0 1 0 741370741 147111936 35076 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35916 35076 1111 63 0 35853 0
vsize: 143664
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 37828 0 0 0 3903 93 0 0 25 0 1 0 741370741 149278720 35587 4294967295 134512640 134714508 3221221776 3221220400 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36445 35587 1111 63 0 36382 0
vsize: 145780
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 41619 0 0 0 4894 102 0 0 25 0 1 0 741370741 163319808 39032 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39873 39032 1111 63 0 39810 0
vsize: 159492
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 5886 110 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220280 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+70.003 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 6886 110 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 7886 111 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220168 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 8886 111 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 9886 111 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 10885 112 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 11885 113 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 12885 113 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 13885 113 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220240 134540483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 14884 114 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 15884 114 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 16884 114 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 17884 115 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 18884 115 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220168 1077377291 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 19884 115 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 20883 116 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220400 134594954 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 21883 116 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 22884 116 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220256 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 23883 117 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 24883 117 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220200 1077378064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 25883 117 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 26883 117 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220140 134539301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 27883 117 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 28883 118 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 29883 118 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 30883 118 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 31882 119 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 32882 119 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220352 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 33882 120 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220412 134554924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 34882 120 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 35882 120 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220272 134543744 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 36882 120 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220168 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 37881 121 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 38881 121 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 39881 121 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 40881 122 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220244 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 41881 122 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 42880 122 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 43880 122 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 44880 123 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220256 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 45880 123 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 46880 123 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220184 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 47880 123 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220332 134542828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 48880 124 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220304 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 49880 124 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220184 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 50880 124 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220140 134539298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 51879 125 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 52879 125 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220264 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 53879 125 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 54879 125 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 55879 126 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220140 134539306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 56879 126 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220288 134543712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 57879 126 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 58878 127 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220184 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 59878 127 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220256 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 60878 127 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220160 134542297 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 61878 128 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220284 134539344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 62878 128 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 63877 128 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 64878 129 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 65878 129 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220336 134535793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 66878 129 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 67877 129 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 68877 129 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 69877 130 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220140 134539282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 70877 130 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220304 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 71877 131 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 72877 131 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 73876 131 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 74877 131 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 75876 132 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 76876 132 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 77876 133 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 78875 133 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45196 0 0 0 79875 134 0 0 25 0 1 0 741370741 178057216 42609 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43471 42609 1111 63 0 43408 0
vsize: 173884
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45413 0 0 0 80874 135 0 0 25 0 1 0 741370741 178941952 42826 4294967295 134512640 134714508 3221221776 3221220632 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43687 42826 1111 63 0 43624 0
vsize: 174748
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45413 0 0 0 81873 136 0 0 25 0 1 0 741370741 178941952 42826 4294967295 134512640 134714508 3221221776 3221220632 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43687 42826 1111 63 0 43624 0
vsize: 174748
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45413 0 0 0 82873 136 0 0 25 0 1 0 741370741 178941952 42826 4294967295 134512640 134714508 3221221776 3221220632 134542409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43687 42826 1111 63 0 43624 0
vsize: 174748
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45413 0 0 0 83873 137 0 0 25 0 1 0 741370741 178941952 42826 4294967295 134512640 134714508 3221221776 3221220632 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43687 42826 1111 63 0 43624 0
vsize: 174748
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45413 0 0 0 84873 137 0 0 25 0 1 0 741370741 178941952 42826 4294967295 134512640 134714508 3221221776 3221220636 134536922 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43687 42826 1111 63 0 43624 0
vsize: 174748
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45413 0 0 0 85872 137 0 0 25 0 1 0 741370741 178941952 42826 4294967295 134512640 134714508 3221221776 3221220576 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43687 42826 1111 63 0 43624 0
vsize: 174748
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45437 0 0 0 86872 138 0 0 25 0 1 0 741370741 179830784 42850 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43904 42850 1111 63 0 43841 0
vsize: 175616
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45443 0 0 0 87871 139 0 0 25 0 1 0 741370741 179830784 42856 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43904 42856 1111 63 0 43841 0
vsize: 175616
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45446 0 0 0 88871 139 0 0 25 0 1 0 741370741 179830784 42859 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43904 42859 1111 63 0 43841 0
vsize: 175616
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45448 0 0 0 89870 140 0 0 25 0 1 0 741370741 179830784 42861 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43904 42861 1111 63 0 43841 0
vsize: 175616
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45449 0 0 0 90870 140 0 0 25 0 1 0 741370741 179830784 42862 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43904 42862 1111 63 0 43841 0
vsize: 175616
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45622 0 0 0 91869 141 0 0 25 0 1 0 741370741 180527104 43035 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44074 43035 1111 63 0 44011 0
vsize: 176296
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45640 0 0 0 92868 143 0 0 25 0 1 0 741370741 180596736 43053 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44091 43053 1111 63 0 44028 0
vsize: 176364
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45656 0 0 0 93867 144 0 0 25 0 1 0 741370741 180658176 43069 4294967295 134512640 134714508 3221221776 3221220080 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44106 43069 1111 63 0 44043 0
vsize: 176424
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45672 0 0 0 94866 145 0 0 25 0 1 0 741370741 180715520 43085 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44120 43085 1111 63 0 44057 0
vsize: 176480
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45685 0 0 0 95865 146 0 0 25 0 1 0 741370741 180764672 43098 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44132 43098 1111 63 0 44069 0
vsize: 176528
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45699 0 0 0 96864 147 0 0 25 0 1 0 741370741 180817920 43112 4294967295 134512640 134714508 3221221776 3221219788 1077404744 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44145 43112 1111 63 0 44082 0
vsize: 176580
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45711 0 0 0 97864 147 0 0 25 0 1 0 741370741 180862976 43124 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44156 43124 1111 63 0 44093 0
vsize: 176624
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45723 0 0 0 98863 148 0 0 25 0 1 0 741370741 180908032 43136 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44167 43136 1111 63 0 44104 0
vsize: 176668
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45733 0 0 0 99862 149 0 0 25 0 1 0 741370741 180944896 43146 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44176 43146 1111 63 0 44113 0
vsize: 176704
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45744 0 0 0 100862 150 0 0 25 0 1 0 741370741 180985856 43157 4294967295 134512640 134714508 3221221776 3221220048 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44186 43157 1111 63 0 44123 0
vsize: 176744
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45754 0 0 0 101861 151 0 0 25 0 1 0 741370741 181026816 43167 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44196 43167 1111 63 0 44133 0
vsize: 176784
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45764 0 0 0 102861 151 0 0 25 0 1 0 741370741 181063680 43177 4294967295 134512640 134714508 3221221776 3221219672 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44205 43177 1111 63 0 44142 0
vsize: 176820
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45774 0 0 0 103860 152 0 0 25 0 1 0 741370741 181100544 43187 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44214 43187 1111 63 0 44151 0
vsize: 176856
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45783 0 0 0 104859 153 0 0 25 0 1 0 741370741 181133312 43196 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44222 43196 1111 63 0 44159 0
vsize: 176888
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45793 0 0 0 105858 155 0 0 25 0 1 0 741370741 181170176 43206 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44231 43206 1111 63 0 44168 0
vsize: 176924
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45967 0 0 0 106857 156 0 0 25 0 1 0 741370741 181882880 43380 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44405 43380 1111 63 0 44342 0
vsize: 177620
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 23220
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45980 0 0 0 107855 157 0 0 25 0 1 0 741370741 181932032 43393 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44417 43393 1111 63 0 44354 0
vsize: 177668
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.99 3/57 23228
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 45992 0 0 0 108850 163 0 0 25 0 1 0 741370741 181977088 43405 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44428 43405 1111 63 0 44365 0
vsize: 177712
[startup+1100.21 s]
Raw data (loadavg): 1.15 1.00 1.00 3/59 23273
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 46004 0 0 0 109864 165 0 0 25 0 1 0 741370741 182026240 43417 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44440 43417 1111 63 0 44377 0
vsize: 177760
[startup+1110.41 s]
Raw data (loadavg): 1.26 1.04 1.01 2/55 23273
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 46015 0 0 0 110883 166 0 0 25 0 1 0 741370741 182067200 43428 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44450 43428 1111 63 0 44387 0
vsize: 177800
[startup+1120.41 s]
Raw data (loadavg): 1.29 1.05 1.01 2/55 23273
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 46027 0 0 0 111883 166 0 0 25 0 1 0 741370741 182112256 43440 4294967295 134512640 134714508 3221221776 3221219680 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44461 43440 1111 63 0 44398 0
vsize: 177844
[startup+1130.41 s]
Raw data (loadavg): 1.25 1.05 1.01 2/55 23273
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 46037 0 0 0 112883 167 0 0 25 0 1 0 741370741 182153216 43450 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44471 43450 1111 63 0 44408 0
vsize: 177884
[startup+1140.41 s]
Raw data (loadavg): 1.21 1.05 1.01 2/55 23273
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 46049 0 0 0 113882 167 0 0 25 0 1 0 741370741 182198272 43462 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44482 43462 1111 63 0 44419 0
vsize: 177928
[startup+1150.41 s]
Raw data (loadavg): 1.18 1.04 1.01 2/55 23273
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 46059 0 0 0 114882 168 0 0 25 0 1 0 741370741 182239232 43472 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44492 43472 1111 63 0 44429 0
vsize: 177968
[startup+1160.41 s]
Raw data (loadavg): 1.15 1.04 1.01 2/55 23273
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 46069 0 0 0 115882 168 0 0 25 0 1 0 741370741 182276096 43482 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44501 43482 1111 63 0 44438 0
vsize: 178004
[startup+1170.41 s]
Raw data (loadavg): 1.13 1.04 1.01 2/55 23275
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 46081 0 0 0 116882 168 0 0 25 0 1 0 741370741 182321152 43494 4294967295 134512640 134714508 3221221776 3221220032 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44512 43494 1111 63 0 44449 0
vsize: 178048
[startup+1180.41 s]
Raw data (loadavg): 1.11 1.04 1.01 2/55 23275
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 46091 0 0 0 117882 168 0 0 25 0 1 0 741370741 182362112 43504 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44522 43504 1111 63 0 44459 0
vsize: 178088
[startup+1190.41 s]
Raw data (loadavg): 1.09 1.04 1.01 2/55 23275
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 46101 0 0 0 118881 169 0 0 25 0 1 0 741370741 182398976 43514 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44531 43514 1111 63 0 44468 0
vsize: 178124
[startup+1200.41 s]
Raw data (loadavg): 1.08 1.03 1.01 2/55 23275
Raw data (stat): 23220 (bsolo_lpr_cuts) R 23219 7876 7672 0 -1 0 46110 0 0 0 119881 169 0 0 25 0 1 0 741370741 182435840 43523 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44540 43523 1111 63 0 44477 0
vsize: 178160
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.49 s]
Raw data (loadavg): 1.08 1.03 1.01 1/55 23275
Raw data (stat): 23220 (bsolo_lpr_cuts) Z 23219 7876 7672 0 -1 1036 46110 0 0 0 119881 177 0 0 25 0 1 0 741370741 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.49
CPU time (s): 1200.6
CPU user time (s): 1198.82
CPU system time (s): 1.77673
CPU usage (%): 100.008
Max. virtual memory (Kb): 178160
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####