PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B1C1S1.opb
MD5SUM	ab580cd45d19f5d6d605ce2c4dabd375
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	25888
Biggest coefficient in the objective function	340787200
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	293013913600
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	340787200
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	293013913600
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.6499
Number of variables	71968
Total number of constraints	4192
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	288
Number of constraints which are nor clauses,nor cardinality constraints	3904
Minimum length of a constraint	1
Maximum length of a constraint	960
Trace number 41683

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 19:49:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29747 boxname=wulflinc2 idbench=1531 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  ab580cd45d19f5d6d605ce2c4dabd375  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-B1C1S1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-B1C1S1.opb
IDLAUNCH: 29747
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 2
cpu MHz		: 451.191
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:        751956 kB
Buffers:         24432 kB
Cached:         236744 kB
SwapCached:       1440 kB
Active:          34176 kB
Inactive:       229032 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        751704 kB
SwapTotal:     2097136 kB
SwapFree:      2094656 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            13852 kB
Committed_AS:    71780 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 20:09:48 (client local time) WITH STATUS 0 IN 1209.98 SECONDS
stats: 29747 7 1209.98 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 71968 variables and 5184 constraints.
c After prepocess the problem consists of 52268 variables and 5900 constraints.
c preprocess terminated 289.397 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.93 0.98 0.92 2/54 32434
Raw data (stat): 32434 (runsolver) R 32433 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912927531 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1543 0 0 0 994 4 0 0 25 0 1 0 912927531 18894848 1463 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4613 1463 1111 63 0 4550 0
vsize: 18452
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 2541 0 0 0 1991 6 0 0 25 0 1 0 912927531 22982656 2461 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5611 2461 1111 63 0 5548 0
vsize: 22444
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 3597 0 0 0 2989 8 0 0 25 0 1 0 912927531 27381760 3517 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6685 3517 1111 63 0 6622 0
vsize: 26740
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 4744 0 0 0 3988 10 0 0 25 0 1 0 912927531 32043008 4664 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7823 4664 1111 63 0 7760 0
vsize: 31292
[startup+50.0035 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 6001 0 0 0 4985 12 0 0 25 0 1 0 912927531 37265408 5921 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9098 5921 1111 63 0 9035 0
vsize: 36392
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 7360 0 0 0 5982 16 0 0 25 0 1 0 912927531 42778624 7280 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10444 7280 1111 63 0 10381 0
vsize: 41776
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 8790 0 0 0 6980 18 0 0 25 0 1 0 912927531 48709632 8710 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11892 8710 1111 63 0 11829 0
vsize: 47568
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 10326 0 0 0 7977 21 0 0 25 0 1 0 912927531 54927360 10246 4294967295 134512640 134716908 3221224560 3221222428 1077255832 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13410 10246 1111 63 0 13347 0
vsize: 53640
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 11953 0 0 0 8974 24 0 0 25 0 1 0 912927531 61644800 11873 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15050 11873 1111 63 0 14987 0
vsize: 60200
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 13632 0 0 0 9972 26 0 0 25 0 1 0 912927531 68562944 13552 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16739 13552 1111 63 0 16676 0
vsize: 66956
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 15491 0 0 0 10968 30 0 0 25 0 1 0 912927531 76185600 15411 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18600 15411 1111 63 0 18537 0
vsize: 74400
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 17546 0 0 0 11964 35 0 0 25 0 1 0 912927531 84516864 17466 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20634 17466 1111 63 0 20571 0
vsize: 82536
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 38989 0 0 0 12919 79 0 0 25 0 1 0 912927531 172392448 38909 4294967295 134512640 134716908 3221224560 3221222848 134566785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42088 38909 1111 63 0 42025 0
vsize: 168352
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 42832 0 0 0 13910 89 0 0 25 0 1 0 912927531 188141568 42752 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45933 42752 1111 63 0 45870 0
vsize: 183732
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 64348 0 0 0 14863 136 0 0 25 0 1 0 912927531 267202560 63791 4294967295 134512640 134716908 3221224560 3221223200 134584962 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65235 63791 1111 63 0 65172 0
vsize: 260940
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 64412 0 0 0 15863 136 0 0 25 0 1 0 912927531 267472896 63855 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65301 63855 1111 63 0 65238 0
vsize: 261204
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 72941 0 0 0 16844 154 0 0 25 0 1 0 912927531 273608704 65355 4294967295 134512640 134716908 3221224560 3221223288 134675285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66799 65355 1111 63 0 66736 0
vsize: 267196
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 73026 0 0 0 17844 155 0 0 25 0 1 0 912927531 273879040 65440 4294967295 134512640 134716908 3221224560 3221223288 134675281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66865 65440 1111 63 0 66802 0
vsize: 267460
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 73062 0 0 0 18843 155 0 0 25 0 1 0 912927531 274014208 65476 4294967295 134512640 134716908 3221224560 3221223360 134617640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66898 65476 1111 63 0 66835 0
vsize: 267592
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 156533 0 0 0 19660 339 0 0 25 0 1 0 912927531 275021824 65664 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67144 65664 1111 63 0 67081 0
vsize: 268576
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 307633 0 0 0 20310 689 0 0 25 0 1 0 912927531 274280448 65534 4294967295 134512640 134716908 3221224560 3221223288 134675300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66963 65534 1111 63 0 66900 0
vsize: 267852
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 433129 0 0 0 21013 986 0 0 25 0 1 0 912927531 274415616 65573 4294967295 134512640 134716908 3221224560 3221223288 134675274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66996 65573 1111 63 0 66933 0
vsize: 267984
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 509544 0 0 0 21845 1154 0 0 25 0 1 0 912927531 275116032 65734 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67167 65734 1111 63 0 67104 0
vsize: 268668
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 509561 0 0 0 22845 1154 0 0 25 0 1 0 912927531 275116032 65751 4294967295 134512640 134716908 3221224560 3221223232 134627247 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67167 65751 1111 63 0 67104 0
vsize: 268668
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 509561 0 0 0 23845 1154 0 0 25 0 1 0 912927531 275116032 65751 4294967295 134512640 134716908 3221224560 3221223212 134558618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67167 65751 1111 63 0 67104 0
vsize: 268668
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 509561 0 0 0 24845 1155 0 0 25 0 1 0 912927531 275116032 65751 4294967295 134512640 134716908 3221224560 3221223232 134627268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67167 65751 1111 63 0 67104 0
vsize: 268668
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 509561 0 0 0 25845 1155 0 0 25 0 1 0 912927531 275116032 65751 4294967295 134512640 134716908 3221224560 3221223220 134627154 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67167 65751 1111 63 0 67104 0
vsize: 268668
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 509561 0 0 0 26845 1155 0 0 25 0 1 0 912927531 275116032 65751 4294967295 134512640 134716908 3221224560 3221223216 134627219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67167 65751 1111 63 0 67104 0
vsize: 268668
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 523932 0 0 0 27812 1187 0 0 25 0 1 0 912927531 290590720 69331 4294967295 134512640 134716908 3221224560 3221222664 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70945 69331 1111 63 0 70882 0
vsize: 283780
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 656469 0 0 0 28514 1486 0 0 25 0 1 0 912927531 290463744 69316 4294967295 134512640 134716908 3221224560 3221222768 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70914 69316 1111 63 0 70851 0
vsize: 283656
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 781575 0 0 0 29228 1772 0 0 25 0 1 0 912927531 290934784 69394 4294967295 134512640 134716908 3221224560 3221222680 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71029 69394 1111 63 0 70966 0
vsize: 284116
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 899135 0 0 0 29957 2042 0 0 25 0 1 0 912927531 291094528 69451 4294967295 134512640 134716908 3221224560 3221222608 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71068 69451 1111 63 0 71005 0
vsize: 284272
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1004648 0 0 0 30709 2291 0 0 25 0 1 0 912927531 291577856 69530 4294967295 134512640 134716908 3221224560 3221222232 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71186 69530 1111 63 0 71123 0
vsize: 284744
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1095707 0 0 0 31487 2513 0 0 25 0 1 0 912927531 291860480 69622 4294967295 134512640 134716908 3221224560 3221221944 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71255 69622 1111 63 0 71192 0
vsize: 285020
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1173535 0 0 0 32293 2706 0 0 25 0 1 0 912927531 292036608 69705 4294967295 134512640 134716908 3221224560 3221222080 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71298 69705 1111 63 0 71235 0
vsize: 285192
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1240951 0 0 0 33125 2874 0 0 25 0 1 0 912927531 292478976 69814 4294967295 134512640 134716908 3221224560 3221222128 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71406 69814 1111 63 0 71343 0
vsize: 285624
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1301385 0 0 0 33975 3025 0 0 25 0 1 0 912927531 292823040 69898 4294967295 134512640 134716908 3221224560 3221222080 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71490 69898 1111 63 0 71427 0
vsize: 285960
[startup+380.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1356674 0 0 0 34837 3163 0 0 25 0 1 0 912927531 293568512 70020 4294967295 134512640 134716908 3221224560 3221213688 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71672 70020 1111 63 0 71609 0
vsize: 286688
[startup+390.015 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1363499 0 0 0 35822 3178 0 0 25 0 1 0 912927531 309563392 73362 4294967295 134512640 134716908 3221224560 3221220736 1074961267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75577 73362 1111 63 0 75514 0
vsize: 302308
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1363507 0 0 0 36822 3178 0 0 25 0 1 0 912927531 309563392 73370 4294967295 134512640 134716908 3221224560 3221220684 1075116519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75577 73370 1111 63 0 75514 0
vsize: 302308
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1363523 0 0 0 37821 3178 0 0 25 0 1 0 912927531 310304768 73386 4294967295 134512640 134716908 3221224560 3221221384 1074950074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75758 73386 1111 63 0 75695 0
vsize: 303032
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1363529 0 0 0 38821 3179 0 0 25 0 1 0 912927531 310304768 73392 4294967295 134512640 134716908 3221224560 3221220684 1075116513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75758 73392 1111 63 0 75695 0
vsize: 303032
[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1363537 0 0 0 39821 3179 0 0 25 0 1 0 912927531 310304768 73400 4294967295 134512640 134716908 3221224560 3221220684 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75758 73400 1111 63 0 75695 0
vsize: 303032
[startup+440.018 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1363538 0 0 0 40820 3180 0 0 25 0 1 0 912927531 310304768 73401 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75758 73401 1111 63 0 75695 0
vsize: 303032
[startup+450.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1363538 0 0 0 41819 3181 0 0 25 0 1 0 912927531 310304768 73401 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75758 73401 1111 63 0 75695 0
vsize: 303032
[startup+460.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1363538 0 0 0 42818 3181 0 0 25 0 1 0 912927531 310304768 73401 4294967295 134512640 134716908 3221224560 3221220460 1074860977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75758 73401 1111 63 0 75695 0
vsize: 303032
[startup+470.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1363538 0 0 0 43818 3181 0 0 25 0 1 0 912927531 310304768 73401 4294967295 134512640 134716908 3221224560 3221220428 1074860620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75758 73401 1111 63 0 75695 0
vsize: 303032
[startup+480.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1363538 0 0 0 44818 3182 0 0 25 0 1 0 912927531 310304768 73401 4294967295 134512640 134716908 3221224560 3221220428 1074860811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75758 73401 1111 63 0 75695 0
vsize: 303032
[startup+490.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1363538 0 0 0 45818 3182 0 0 25 0 1 0 912927531 310304768 73401 4294967295 134512640 134716908 3221224560 3221220460 1074860964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75758 73401 1111 63 0 75695 0
vsize: 303032
[startup+500.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1363539 0 0 0 46818 3182 0 0 25 0 1 0 912927531 310304768 73402 4294967295 134512640 134716908 3221224560 3221220428 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75758 73402 1111 63 0 75695 0
vsize: 303032
[startup+510.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1363541 0 0 0 47817 3183 0 0 25 0 1 0 912927531 310304768 73404 4294967295 134512640 134716908 3221224560 3221220428 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75758 73404 1111 63 0 75695 0
vsize: 303032
[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1363541 0 0 0 48817 3183 0 0 25 0 1 0 912927531 310304768 73404 4294967295 134512640 134716908 3221224560 3221220684 1075116728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75758 73404 1111 63 0 75695 0
vsize: 303032
[startup+530.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1378055 0 0 0 49783 3217 0 0 25 0 1 0 912927531 309096448 73809 4294967295 134512640 134716908 3221224560 3221222424 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75463 73809 1111 63 0 75400 0
vsize: 301852
[startup+540.021 s]
Raw data (loadavg): 0.99 0.98 0.92 3/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1382267 0 0 0 50774 3226 0 0 25 0 1 0 912927531 316960768 75217 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77383 75217 1111 63 0 77320 0
vsize: 309532
[startup+550.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1382275 0 0 0 51774 3226 0 0 25 0 1 0 912927531 316960768 75225 4294967295 134512640 134716908 3221224560 3221220684 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77383 75225 1111 63 0 77320 0
vsize: 309532
[startup+560.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1382276 0 0 0 52774 3226 0 0 25 0 1 0 912927531 316960768 75226 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77383 75226 1111 63 0 77320 0
vsize: 309532
[startup+570.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1382276 0 0 0 53773 3227 0 0 25 0 1 0 912927531 316960768 75226 4294967295 134512640 134716908 3221224560 3221220624 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77383 75226 1111 63 0 77320 0
vsize: 309532
[startup+580.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1382276 0 0 0 54773 3227 0 0 25 0 1 0 912927531 316960768 75226 4294967295 134512640 134716908 3221224560 3221220488 1074860223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77383 75226 1111 63 0 77320 0
vsize: 309532
[startup+590.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1382276 0 0 0 55773 3227 0 0 25 0 1 0 912927531 316960768 75226 4294967295 134512640 134716908 3221224560 3221220460 1074860959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77383 75226 1111 63 0 77320 0
vsize: 309532
[startup+600.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1382290 0 0 0 56772 3228 0 0 25 0 1 0 912927531 317702144 75240 4294967295 134512640 134716908 3221224560 3221221232 1076083724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77564 75240 1111 63 0 77501 0
vsize: 310256
[startup+610.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1399970 0 0 0 57730 3270 0 0 25 0 1 0 912927531 317435904 75313 4294967295 134512640 134716908 3221224560 3221220684 1075116872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77499 75313 1111 63 0 77436 0
vsize: 309996
[startup+620.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 32434
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1400001 0 0 0 58729 3271 0 0 25 0 1 0 912927531 317435904 75344 4294967295 134512640 134716908 3221224560 3221220684 1075116586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77499 75344 1111 63 0 77436 0
vsize: 309996
[startup+630.024 s]
Raw data (loadavg): 0.99 0.98 0.92 3/57 32475
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1400002 0 0 0 59728 3272 0 0 25 0 1 0 912927531 317435904 75345 4294967295 134512640 134716908 3221224560 3221221384 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77499 75345 1111 63 0 77436 0
vsize: 309996
[startup+640.025 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 32487
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1400002 0 0 0 60719 3280 0 0 25 0 1 0 912927531 317435904 75345 4294967295 134512640 134716908 3221224560 3221220460 1074860959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77499 75345 1111 63 0 77436 0
vsize: 309996
[startup+650.025 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 32487
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1400015 0 0 0 61720 3280 0 0 25 0 1 0 912927531 318177280 75358 4294967295 134512640 134716908 3221224560 3221220460 1074860977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77680 75358 1111 63 0 77617 0
vsize: 310720
[startup+660.024 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 32487
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1400015 0 0 0 62719 3281 0 0 25 0 1 0 912927531 318177280 75358 4294967295 134512640 134716908 3221224560 3221221408 1074620038 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77680 75358 1111 63 0 77617 0
vsize: 310720
[startup+670.024 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 32487
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1400015 0 0 0 63719 3281 0 0 25 0 1 0 912927531 318177280 75358 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77680 75358 1111 63 0 77617 0
vsize: 310720
[startup+680.024 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 32487
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1400015 0 0 0 64719 3282 0 0 25 0 1 0 912927531 318177280 75358 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77680 75358 1111 63 0 77617 0
vsize: 310720
[startup+690.024 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 32487
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1400015 0 0 0 65718 3282 0 0 25 0 1 0 912927531 318177280 75358 4294967295 134512640 134716908 3221224560 3221220684 1076111366 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77680 75358 1111 63 0 77617 0
vsize: 310720
[startup+700.024 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 32487
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1400015 0 0 0 66718 3283 0 0 25 0 1 0 912927531 318177280 75358 4294967295 134512640 134716908 3221224560 3221220428 1074860595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77680 75358 1111 63 0 77617 0
vsize: 310720
[startup+710.024 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1417769 0 0 0 67677 3324 0 0 25 0 1 0 912927531 317771776 75410 4294967295 134512640 134716908 3221224560 3221220624 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77581 75410 1111 63 0 77518 0
vsize: 310324
[startup+720.023 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1417792 0 0 0 68676 3325 0 0 25 0 1 0 912927531 317771776 75433 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77581 75433 1111 63 0 77518 0
vsize: 310324
[startup+730.024 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1417794 0 1 0 69653 3325 0 0 25 0 1 0 912927531 317771776 75436 4294967295 134512640 134716908 3221224560 3221220332 1074787858 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77581 75436 1111 63 0 77518 0
vsize: 310324
[startup+740.024 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1417794 0 1 0 70653 3325 0 0 25 0 1 0 912927531 317771776 75436 4294967295 134512640 134716908 3221224560 3221220332 1074787800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77581 75436 1111 63 0 77518 0
vsize: 310324
[startup+750.024 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1417794 0 1 0 71652 3326 0 0 25 0 1 0 912927531 317771776 75436 4294967295 134512640 134716908 3221224560 3221220684 1075116791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77581 75436 1111 63 0 77518 0
vsize: 310324
[startup+760.024 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1417794 0 1 0 72652 3326 0 0 25 0 1 0 912927531 317771776 75436 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77581 75436 1111 63 0 77518 0
vsize: 310324
[startup+770.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1417794 0 1 0 73652 3326 0 0 25 0 1 0 912927531 317771776 75436 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77581 75436 1111 63 0 77518 0
vsize: 310324
[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1417808 0 1 0 74651 3327 0 0 25 0 1 0 912927531 318513152 75450 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77762 75450 1111 63 0 77699 0
vsize: 311048
[startup+790.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1417808 0 1 0 75651 3327 0 0 25 0 1 0 912927531 318513152 75450 4294967295 134512640 134716908 3221224560 3221221120 1075968591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77762 75450 1111 63 0 77699 0
vsize: 311048
[startup+800.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1417808 0 1 0 76651 3327 0 0 25 0 1 0 912927531 318513152 75450 4294967295 134512640 134716908 3221224560 3221220684 1075116737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77762 75450 1111 63 0 77699 0
vsize: 311048
[startup+810.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1417808 0 1 0 77651 3327 0 0 25 0 1 0 912927531 318513152 75450 4294967295 134512640 134716908 3221224560 3221220460 1074860959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77762 75450 1111 63 0 77699 0
vsize: 311048
[startup+820.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1417808 0 1 0 78651 3328 0 0 25 0 1 0 912927531 318513152 75450 4294967295 134512640 134716908 3221224560 3221220460 1074860964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77762 75450 1111 63 0 77699 0
vsize: 311048
[startup+830.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1437322 0 1 0 79608 3371 0 0 25 0 1 0 912927531 318271488 75539 4294967295 134512640 134716908 3221224560 3221220672 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77703 75539 1111 63 0 77640 0
vsize: 310812
[startup+840.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1437337 0 1 0 80607 3371 0 0 25 0 1 0 912927531 318271488 75554 4294967295 134512640 134716908 3221224560 3221220684 1075116489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77703 75554 1111 63 0 77640 0
vsize: 310812
[startup+850.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1437339 0 1 0 81607 3371 0 0 25 0 1 0 912927531 318271488 75556 4294967295 134512640 134716908 3221224560 3221221392 1075890974 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77703 75556 1111 63 0 77640 0
vsize: 310812
[startup+860.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1437340 0 1 0 82607 3372 0 0 25 0 1 0 912927531 318271488 75557 4294967295 134512640 134716908 3221224560 3221220428 1074860630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77703 75557 1111 63 0 77640 0
vsize: 310812
[startup+870.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1437340 0 1 0 83607 3372 0 0 25 0 1 0 912927531 318271488 75557 4294967295 134512640 134716908 3221224560 3221220428 1074860598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77703 75557 1111 63 0 77640 0
vsize: 310812
[startup+880.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1437354 0 1 0 84606 3372 0 0 25 0 1 0 912927531 319012864 75571 4294967295 134512640 134716908 3221224560 3221220428 1074860632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77884 75571 1111 63 0 77821 0
vsize: 311536
[startup+890.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1437354 0 1 0 85606 3372 0 0 25 0 1 0 912927531 319012864 75571 4294967295 134512640 134716908 3221224560 3221220684 1075116584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77884 75571 1111 63 0 77821 0
vsize: 311536
[startup+900.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1437354 0 1 0 86606 3373 0 0 25 0 1 0 912927531 319012864 75571 4294967295 134512640 134716908 3221224560 3221220972 1073953672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77884 75571 1111 63 0 77821 0
vsize: 311536
[startup+910.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1437354 0 1 0 87606 3373 0 0 25 0 1 0 912927531 319012864 75571 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77884 75571 1111 63 0 77821 0
vsize: 311536
[startup+920.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1437354 0 1 0 88606 3373 0 0 25 0 1 0 912927531 319012864 75571 4294967295 134512640 134716908 3221224560 3221220736 1074960949 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77884 75571 1111 63 0 77821 0
vsize: 311536
[startup+930.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1437368 0 1 0 89605 3373 0 0 25 0 1 0 912927531 319012864 75585 4294967295 134512640 134716908 3221224560 3221220460 1074861001 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77884 75585 1111 63 0 77821 0
vsize: 311536
[startup+940.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1455520 0 1 0 90567 3412 0 0 25 0 1 0 912927531 318545920 75604 4294967295 134512640 134716908 3221224560 3221220684 1075116784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77770 75604 1111 63 0 77707 0
vsize: 311080
[startup+950.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1455558 0 1 0 91567 3412 0 0 25 0 1 0 912927531 318545920 75642 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77770 75642 1111 63 0 77707 0
vsize: 311080
[startup+960.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1455560 0 1 0 92566 3413 0 0 25 0 1 0 912927531 318545920 75644 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77770 75644 1111 63 0 77707 0
vsize: 311080
[startup+970.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1455560 0 1 0 93566 3413 0 0 25 0 1 0 912927531 318545920 75644 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77770 75644 1111 63 0 77707 0
vsize: 311080
[startup+980.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1455560 0 1 0 94566 3413 0 0 25 0 1 0 912927531 318545920 75644 4294967295 134512640 134716908 3221224560 3221221032 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77770 75644 1111 63 0 77707 0
vsize: 311080
[startup+990.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32489
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1455574 0 1 0 95566 3413 0 0 25 0 1 0 912927531 318545920 75658 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77770 75658 1111 63 0 77707 0
vsize: 311080
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1455574 0 1 0 96565 3414 0 0 25 0 1 0 912927531 318545920 75658 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77770 75658 1111 63 0 77707 0
vsize: 311080
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1455574 0 1 0 97565 3414 0 0 25 0 1 0 912927531 318545920 75658 4294967295 134512640 134716908 3221224560 3221220428 1074860630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77770 75658 1111 63 0 77707 0
vsize: 311080
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1455574 0 1 0 98565 3414 0 0 25 0 1 0 912927531 318545920 75658 4294967295 134512640 134716908 3221224560 3221220736 1074807366 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77770 75658 1111 63 0 77707 0
vsize: 311080
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1455587 0 1 0 99565 3414 0 0 25 0 1 0 912927531 319287296 75671 4294967295 134512640 134716908 3221224560 3221220460 1074860983 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77951 75671 1111 63 0 77888 0
vsize: 311804
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1455587 0 1 0 100565 3414 0 0 25 0 1 0 912927531 319287296 75671 4294967295 134512640 134716908 3221224560 3221220428 1074860811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77951 75671 1111 63 0 77888 0
vsize: 311804
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1460306 0 1 0 101554 3425 0 0 25 0 1 0 912927531 312692736 74005 4294967295 134512640 134716908 3221224560 3221221488 1074810503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76341 74005 1111 63 0 76278 0
vsize: 305364
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1478616 0 1 0 102512 3468 0 0 25 0 1 0 912927531 318722048 75673 4294967295 134512640 134716908 3221224560 3221220672 1076111657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77813 75673 1111 63 0 77750 0
vsize: 311252
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1478623 0 1 0 103512 3468 0 0 25 0 1 0 912927531 318722048 75680 4294967295 134512640 134716908 3221224560 3221220684 1075116731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77813 75680 1111 63 0 77750 0
vsize: 311252
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1478624 0 1 0 104512 3468 0 0 25 0 1 0 912927531 318722048 75681 4294967295 134512640 134716908 3221224560 3221220684 1075116513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77813 75681 1111 63 0 77750 0
vsize: 311252
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1478624 0 1 0 105512 3468 0 0 25 0 1 0 912927531 318722048 75681 4294967295 134512640 134716908 3221224560 3221220736 1074960865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77813 75681 1111 63 0 77750 0
vsize: 311252
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1478624 0 1 0 106512 3468 0 0 25 0 1 0 912927531 318722048 75681 4294967295 134512640 134716908 3221224560 3221220736 1074799186 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77813 75681 1111 63 0 77750 0
vsize: 311252
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1478624 0 1 0 107512 3468 0 0 25 0 1 0 912927531 318722048 75681 4294967295 134512640 134716908 3221224560 3221220684 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77813 75681 1111 63 0 77750 0
vsize: 311252
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1478624 0 1 0 108512 3468 0 0 25 0 1 0 912927531 318722048 75681 4294967295 134512640 134716908 3221224560 3221220684 1075116495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77813 75681 1111 63 0 77750 0
vsize: 311252
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1478637 0 1 0 109513 3468 0 0 25 0 1 0 912927531 319463424 75694 4294967295 134512640 134716908 3221224560 3221221064 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77994 75694 1111 63 0 77931 0
vsize: 311976
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1478637 0 1 0 110513 3468 0 0 25 0 1 0 912927531 319463424 75694 4294967295 134512640 134716908 3221224560 3221220624 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77994 75694 1111 63 0 77931 0
vsize: 311976
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1478637 0 1 0 111513 3468 0 0 25 0 1 0 912927531 319463424 75694 4294967295 134512640 134716908 3221224560 3221220684 1075116728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77994 75694 1111 63 0 77931 0
vsize: 311976
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1478637 0 1 0 112513 3469 0 0 25 0 1 0 912927531 319463424 75694 4294967295 134512640 134716908 3221224560 3221220624 1074794560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77994 75694 1111 63 0 77931 0
vsize: 311976
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1478637 0 1 0 113513 3469 0 0 25 0 1 0 912927531 319463424 75694 4294967295 134512640 134716908 3221224560 3221220460 1074860977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77994 75694 1111 63 0 77931 0
vsize: 311976
[startup+1180.03 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1502895 0 1 0 114457 3524 0 0 25 0 1 0 912927531 319193088 75760 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77928 75760 1111 63 0 77865 0
vsize: 311712
[startup+1190.03 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1502918 0 1 0 115458 3525 0 0 25 0 1 0 912927531 319193088 75783 4294967295 134512640 134716908 3221224560 3221220684 1075116872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77928 75783 1111 63 0 77865 0
vsize: 311712
[startup+1200.03 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1502920 0 1 0 116458 3525 0 0 25 0 1 0 912927531 319193088 75785 4294967295 134512640 134716908 3221224560 3221221384 1074950074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77928 75785 1111 63 0 77865 0
vsize: 311712
[startup+1210.03 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) R 32433 31399 31398 0 -1 0 1502920 0 1 0 117458 3525 0 0 25 0 1 0 912927531 319193088 75785 4294967295 134512640 134716908 3221224560 3221220684 1075116464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77928 75785 1111 63 0 77865 0
vsize: 311712
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.17 s]
Raw data (loadavg): 1.05 1.01 0.93 1/54 32491
Raw data (stat): 32434 (bsolo_lpr_cuts-) Z 32433 31399 31398 0 -1 1036 1502920 0 1 0 117458 3539 0 0 25 0 1 0 912927531 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): 1210.17
CPU time (s): 1209.98
CPU user time (s): 1174.58
CPU system time (s): 35.3916
CPU usage (%): 99.9841
Max. virtual memory (Kb): 311976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####