PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g125.17.opb
MD5SUM	ed503628984a48598e5d5a4b8388e97a
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4250
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	4250
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4250
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4250
Total number of constraints	68397
Number of constraints which are clauses	68397
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	17
Trace number 40679

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 17:59:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28744 boxname=wulflinc4 idbench=130 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  ed503628984a48598e5d5a4b8388e97a  /oldhome/oroussel/tmp/wulflinc4/normalized-g125.17.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-g125.17.opb
IDLAUNCH: 28744
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        863676 kB
Buffers:         24564 kB
Cached:         120584 kB
SwapCached:       5200 kB
Active:          27604 kB
Inactive:       123908 kB
HighTotal:      131008 kB
HighFree:        75096 kB
LowTotal:       903652 kB
LowFree:        788580 kB
SwapTotal:     2097136 kB
SwapFree:      2090912 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13980 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 18:19:55 (client local time) WITH STATUS 0 IN 1200.11 SECONDS
stats: 28744 7 1200.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 4250 variables and 68397 constraints.
c After prepocess the problem consists of 4250 variables and 68577 constraints.
c preprocess terminated 460.804 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): 0.95 0.98 0.91 2/54 3183
Raw data (stat): 3183 (runsolver) R 3182 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903614737 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0013 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 3183
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 41853 0 0 0 890 107 0 0 25 0 1 0 903614737 174596096 41762 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42626 41762 1111 63 0 42563 0
vsize: 170504
[startup+20.0012 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 3236
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 92933 0 0 0 1765 231 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+30.002 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 3236
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 127270 0 0 0 2682 315 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+40.0022 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 3236
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 158949 0 0 0 3608 389 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+50.003 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 3236
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 183339 0 0 0 4548 449 0 0 25 0 1 0 903614737 176791552 42272 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43162 42277 1111 63 0 43099 0
vsize: 172648
[startup+60.0035 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 3236
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 199863 0 0 0 5510 488 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+70.0037 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 3236
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 6462 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+80.0042 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3236
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 7462 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223080 134542289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+90.0041 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 8462 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223328 134630814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+100.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 9462 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+110.006 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 10463 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+120.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 11463 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+130.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 12463 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223068 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+140.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 13463 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+150.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 14463 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+160.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 15463 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223088 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+170.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 16463 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+180.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 17464 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221222988 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+190.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 18464 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 19464 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 20464 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223308 134675264 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 21464 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221222940 134539306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+230.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 22464 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 23465 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+250.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 24465 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+260.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 25465 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+270.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 26465 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221222940 134539223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 27465 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223088 134528712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 28466 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 29466 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223040 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 30466 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 31466 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+330.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 32466 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3238
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 33466 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221222960 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 34467 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 35467 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223056 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 36467 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 37467 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223056 134536643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+390.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 38467 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+400.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 39468 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 40468 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 41468 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 42468 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+440.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 43468 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 219507 0 0 0 44469 536 0 0 25 0 1 0 903614737 174616576 41774 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42631 41774 1111 63 0 42568 0
vsize: 170524
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 220044 0 0 0 45468 538 0 0 25 0 1 0 903614737 176812032 42311 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43167 42311 1111 63 0 43104 0
vsize: 172668
[startup+470.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 220396 0 0 0 46465 540 0 0 25 0 1 0 903614737 178688000 42663 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43625 42663 1111 63 0 43562 0
vsize: 174500
[startup+480.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 220448 0 0 0 47464 541 0 0 25 0 1 0 903614737 178872320 42679 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43670 42679 1111 63 0 43607 0
vsize: 174680
[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 220527 0 0 0 48463 542 0 0 25 0 1 0 903614737 179167232 42758 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43742 42758 1111 63 0 43679 0
vsize: 174968
[startup+500.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 220609 0 0 0 49462 543 0 0 25 0 1 0 903614737 179478528 42840 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43818 42840 1111 63 0 43755 0
vsize: 175272
[startup+510.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 220641 0 0 0 50460 544 0 0 25 0 1 0 903614737 179601408 42872 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43848 42872 1111 63 0 43785 0
vsize: 175392
[startup+520.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 220687 0 0 0 51459 545 0 0 25 0 1 0 903614737 179761152 42918 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43887 42918 1111 63 0 43824 0
vsize: 175548
[startup+530.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 220712 0 0 0 52458 546 0 0 25 0 1 0 903614737 179859456 42943 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43911 42943 1111 63 0 43848 0
vsize: 175644
[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 220734 0 0 0 53456 548 0 0 25 0 1 0 903614737 179945472 42965 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43932 42965 1111 63 0 43869 0
vsize: 175728
[startup+550.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 220835 0 0 0 54455 549 0 0 25 0 1 0 903614737 180322304 43066 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44024 43066 1111 63 0 43961 0
vsize: 176096
[startup+560.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 220855 0 0 0 55454 550 0 0 25 0 1 0 903614737 180400128 43086 4294967295 134512640 134716908 3221224576 3221223056 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44043 43086 1111 63 0 43980 0
vsize: 176172
[startup+570.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 220876 0 0 0 56452 552 0 0 25 0 1 0 903614737 180482048 43107 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44063 43107 1111 63 0 44000 0
vsize: 176252
[startup+580.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 220895 0 0 0 57451 553 0 0 25 0 1 0 903614737 180555776 43126 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44081 43126 1111 63 0 44018 0
vsize: 176324
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221003 0 0 0 58450 554 0 0 25 0 1 0 903614737 180793344 43193 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44139 43193 1111 63 0 44076 0
vsize: 176556
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221021 0 0 0 59449 555 0 0 25 0 1 0 903614737 180862976 43211 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44156 43211 1111 63 0 44093 0
vsize: 176624
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221034 0 0 0 60448 555 0 0 25 0 1 0 903614737 180916224 43224 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44169 43224 1111 63 0 44106 0
vsize: 176676
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221050 0 0 0 61447 556 0 0 25 0 1 0 903614737 180977664 43240 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44184 43240 1111 63 0 44121 0
vsize: 176736
[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221065 0 0 0 62447 557 0 0 25 0 1 0 903614737 181035008 43255 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44198 43255 1111 63 0 44135 0
vsize: 176792
[startup+640.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221080 0 0 0 63446 557 0 0 25 0 1 0 903614737 181096448 43270 4294967295 134512640 134716908 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44213 43270 1111 63 0 44150 0
vsize: 176852
[startup+650.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221096 0 0 0 64445 558 0 0 25 0 1 0 903614737 181157888 43286 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44228 43286 1111 63 0 44165 0
vsize: 176912
[startup+660.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221154 0 0 0 65444 559 0 0 25 0 1 0 903614737 181391360 43344 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44285 43344 1111 63 0 44222 0
vsize: 177140
[startup+670.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221168 0 0 0 66443 560 0 0 25 0 1 0 903614737 181448704 43358 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44299 43358 1111 63 0 44236 0
vsize: 177196
[startup+680.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221182 0 0 0 67442 560 0 0 25 0 1 0 903614737 181501952 43372 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44312 43372 1111 63 0 44249 0
vsize: 177248
[startup+690.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221195 0 0 0 68442 561 0 0 25 0 1 0 903614737 181551104 43385 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44324 43385 1111 63 0 44261 0
vsize: 177296
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221209 0 0 0 69441 561 0 0 25 0 1 0 903614737 181608448 43399 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44338 43399 1111 63 0 44275 0
vsize: 177352
[startup+710.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221222 0 0 0 70441 562 0 0 25 0 1 0 903614737 181657600 43412 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44350 43412 1111 63 0 44287 0
vsize: 177400
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221234 0 0 0 71440 563 0 0 25 0 1 0 903614737 181706752 43424 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44362 43424 1111 63 0 44299 0
vsize: 177448
[startup+730.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221247 0 0 0 72439 564 0 0 25 0 1 0 903614737 181755904 43437 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44374 43437 1111 63 0 44311 0
vsize: 177496
[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221259 0 0 0 73438 564 0 0 25 0 1 0 903614737 181800960 43449 4294967295 134512640 134716908 3221224576 3221222816 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44385 43449 1111 63 0 44322 0
vsize: 177540
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221322 0 0 0 74438 565 0 0 25 0 1 0 903614737 182059008 43512 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44448 43512 1111 63 0 44385 0
vsize: 177792
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221334 0 0 0 75437 565 0 0 25 0 1 0 903614737 182104064 43524 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44459 43524 1111 63 0 44396 0
vsize: 177836
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221346 0 0 0 76436 566 0 0 25 0 1 0 903614737 182153216 43536 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44471 43536 1111 63 0 44408 0
vsize: 177884
[startup+780.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221357 0 0 0 77436 567 0 0 25 0 1 0 903614737 182194176 43547 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44481 43547 1111 63 0 44418 0
vsize: 177924
[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221366 0 0 0 78435 567 0 0 25 0 1 0 903614737 182231040 43556 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44490 43556 1111 63 0 44427 0
vsize: 177960
[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221378 0 0 0 79434 568 0 0 25 0 1 0 903614737 182276096 43568 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44501 43568 1111 63 0 44438 0
vsize: 178004
[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221388 0 0 0 80433 569 0 0 25 0 1 0 903614737 182317056 43578 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44511 43578 1111 63 0 44448 0
vsize: 178044
[startup+820.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221398 0 0 0 81432 570 0 0 25 0 1 0 903614737 182353920 43588 4294967295 134512640 134716908 3221224576 3221223056 134652452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44520 43588 1111 63 0 44457 0
vsize: 178080
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221409 0 0 0 82432 570 0 0 25 0 1 0 903614737 182398976 43599 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44531 43599 1111 63 0 44468 0
vsize: 178124
[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221420 0 0 0 83431 571 0 0 25 0 1 0 903614737 182439936 43610 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44541 43610 1111 63 0 44478 0
vsize: 178164
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221429 0 0 0 84430 572 0 0 25 0 1 0 903614737 182476800 43619 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44550 43619 1111 63 0 44487 0
vsize: 178200
[startup+860.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221439 0 0 0 85429 572 0 0 25 0 1 0 903614737 182513664 43629 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44559 43629 1111 63 0 44496 0
vsize: 178236
[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221512 0 0 0 86428 574 0 0 25 0 1 0 903614737 182812672 43702 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44632 43702 1111 63 0 44569 0
vsize: 178528
[startup+880.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221524 0 0 0 87428 574 0 0 25 0 1 0 903614737 182857728 43714 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44643 43714 1111 63 0 44580 0
vsize: 178572
[startup+890.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221533 0 0 0 88427 574 0 0 25 0 1 0 903614737 182898688 43723 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44653 43723 1111 63 0 44590 0
vsize: 178612
[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221543 0 0 0 89426 575 0 0 25 0 1 0 903614737 182935552 43733 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44662 43733 1111 63 0 44599 0
vsize: 178648
[startup+910.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221555 0 0 0 90425 577 0 0 25 0 1 0 903614737 182980608 43745 4294967295 134512640 134716908 3221224576 3221222816 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44673 43745 1111 63 0 44610 0
vsize: 178692
[startup+920.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221564 0 0 0 91425 577 0 0 25 0 1 0 903614737 183017472 43754 4294967295 134512640 134716908 3221224576 3221222816 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44682 43754 1111 63 0 44619 0
vsize: 178728
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221575 0 0 0 92424 578 0 0 25 0 1 0 903614737 183058432 43765 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44692 43765 1111 63 0 44629 0
vsize: 178768
[startup+940.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221584 0 0 0 93423 578 0 0 25 0 1 0 903614737 183095296 43774 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44701 43774 1111 63 0 44638 0
vsize: 178804
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221596 0 0 0 94423 579 0 0 25 0 1 0 903614737 183140352 43786 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44712 43786 1111 63 0 44649 0
vsize: 178848
[startup+960.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221605 0 0 0 95422 579 0 0 25 0 1 0 903614737 183177216 43795 4294967295 134512640 134716908 3221224576 3221222816 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44721 43795 1111 63 0 44658 0
vsize: 178884
[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221612 0 0 0 96421 580 0 0 25 0 1 0 903614737 183205888 43802 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44728 43802 1111 63 0 44665 0
vsize: 178912
[startup+980.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221622 0 0 0 97421 580 0 0 25 0 1 0 903614737 183242752 43812 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44737 43812 1111 63 0 44674 0
vsize: 178948
[startup+990.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221631 0 0 0 98420 581 0 0 25 0 1 0 903614737 183279616 43821 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44746 43821 1111 63 0 44683 0
vsize: 178984
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221640 0 0 0 99420 581 0 0 25 0 1 0 903614737 183312384 43830 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44754 43830 1111 63 0 44691 0
vsize: 179016
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221649 0 0 0 100419 582 0 0 25 0 1 0 903614737 183349248 43839 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44763 43839 1111 63 0 44700 0
vsize: 179052
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221659 0 0 0 101418 583 0 0 25 0 1 0 903614737 183386112 43849 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44772 43849 1111 63 0 44709 0
vsize: 179088
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221666 0 0 0 102418 583 0 0 25 0 1 0 903614737 183414784 43856 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44779 43856 1111 63 0 44716 0
vsize: 179116
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221675 0 0 0 103417 584 0 0 25 0 1 0 903614737 183451648 43865 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44788 43865 1111 63 0 44725 0
vsize: 179152
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221684 0 0 0 104416 585 0 0 25 0 1 0 903614737 183484416 43874 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44796 43874 1111 63 0 44733 0
vsize: 179184
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221824 0 0 0 105415 586 0 0 25 0 1 0 903614737 183930880 43983 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44905 43983 1111 63 0 44842 0
vsize: 179620
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221833 0 0 0 106414 587 0 0 25 0 1 0 903614737 183967744 43992 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44914 43992 1111 63 0 44851 0
vsize: 179656
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221842 0 0 0 107413 588 0 0 25 0 1 0 903614737 184000512 44001 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44922 44001 1111 63 0 44859 0
vsize: 179688
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221849 0 0 0 108412 588 0 0 25 0 1 0 903614737 184029184 44008 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44929 44008 1111 63 0 44866 0
vsize: 179716
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221859 0 0 0 109414 589 0 0 25 0 1 0 903614737 184066048 44018 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44938 44018 1111 63 0 44875 0
vsize: 179752
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221867 0 0 0 110413 589 0 0 25 0 1 0 903614737 184098816 44026 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44946 44026 1111 63 0 44883 0
vsize: 179784
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221873 0 0 0 111413 590 0 0 25 0 1 0 903614737 184123392 44032 4294967295 134512640 134716908 3221224576 3221222816 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44952 44032 1111 63 0 44889 0
vsize: 179808
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221881 0 0 0 112412 590 0 0 25 0 1 0 903614737 184152064 44040 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44959 44040 1111 63 0 44896 0
vsize: 179836
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221889 0 0 0 113411 591 0 0 25 0 1 0 903614737 184184832 44048 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44967 44048 1111 63 0 44904 0
vsize: 179868
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221896 0 0 0 114411 592 0 0 25 0 1 0 903614737 184213504 44055 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44974 44055 1111 63 0 44911 0
vsize: 179896
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221903 0 0 0 115410 592 0 0 25 0 1 0 903614737 184238080 44062 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44980 44062 1111 63 0 44917 0
vsize: 179920
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221911 0 0 0 116409 593 0 0 25 0 1 0 903614737 184270848 44070 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44988 44070 1111 63 0 44925 0
vsize: 179952
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221918 0 0 0 117408 594 0 0 25 0 1 0 903614737 184299520 44077 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44995 44077 1111 63 0 44932 0
vsize: 179980
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221925 0 0 0 118407 594 0 0 25 0 1 0 903614737 184324096 44084 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45001 44084 1111 63 0 44938 0
vsize: 180004
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) R 3182 21152 21151 0 -1 0 221933 0 0 0 119406 595 0 0 25 0 1 0 903614737 184356864 44092 4294967295 134512640 134716908 3221224576 3221222432 1074052221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45009 44092 1111 63 0 44946 0
vsize: 180036
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 3240
Raw data (stat): 3183 (bsolo_lpr_cuts-) Z 3182 21152 21151 0 -1 1036 221933 0 0 0 119406 603 0 0 25 0 1 0 903614737 0 0 4294967295 0 0 0 0 0 0 0 7 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.17
CPU time (s): 1200.11
CPU user time (s): 1194.07
CPU system time (s): 6.03708
CPU usage (%): 99.9948
Max. virtual memory (Kb): 180036
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####