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/een/normalized-fast0507.opb
MD5SUM	bc1a4f1c9875fd4d3273e85dcf5e871e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	311
Optimality of the best value was proved	NO
Number of terms in the objective function	63009
Biggest coefficient in the objective function	2
Number of bits for the biggest coefficient in the objective function	2
Sum of the numbers in the objective function	122425
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	2
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	122425
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.19
Number of variables	63001
Total number of constraints	489
Number of constraints which are clauses	489
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	7753
Trace number 40935

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 02:58:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29000 boxname=wulflinc1 idbench=386 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  bc1a4f1c9875fd4d3273e85dcf5e871e  /oldhome/oroussel/tmp/wulflinc1/normalized-fast0507.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-fast0507.opb
IDLAUNCH: 29000
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        881292 kB
Buffers:         18304 kB
Cached:         110448 kB
SwapCached:       1128 kB
Active:          28600 kB
Inactive:       102332 kB
HighTotal:      131008 kB
HighFree:        17472 kB
LowTotal:       903652 kB
LowFree:        863820 kB
SwapTotal:     2097136 kB
SwapFree:      2094812 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5192 kB
Slab:            16676 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 03:18:43 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 29000 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 63009 variables and 489 constraints.
#### 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.91 0.95 0.90 2/55 29139
Raw data (stat): 29139 (runsolver) R 29138 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850000613 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.0005 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 29139
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 733 0 0 0 994 2 0 0 25 0 1 0 850000613 15618048 653 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3813 653 1111 63 0 3750 0
vsize: 15252
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 29139
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 852 0 0 0 1994 3 0 0 25 0 1 0 850000613 16023552 772 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3912 772 1111 63 0 3849 0
vsize: 15648
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 29139
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 971 0 0 0 2993 4 0 0 25 0 1 0 850000613 16564224 891 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4044 891 1111 63 0 3981 0
vsize: 16176
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 29139
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1107 0 0 0 3993 4 0 0 25 0 1 0 850000613 17113088 1027 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4178 1027 1111 63 0 4115 0
vsize: 16712
[startup+50.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 29139
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1248 0 0 0 4993 4 0 0 25 0 1 0 850000613 17612800 1168 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4300 1168 1111 63 0 4237 0
vsize: 17200
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 29139
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1402 0 0 0 5993 4 0 0 25 0 1 0 850000613 18329600 1322 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4475 1322 1111 63 0 4412 0
vsize: 17900
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 29139
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1523 0 0 0 6993 4 0 0 25 0 1 0 850000613 18796544 1443 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4589 1443 1111 63 0 4526 0
vsize: 18356
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 29139
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1652 0 0 0 7993 5 0 0 25 0 1 0 850000613 19300352 1572 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4712 1572 1111 63 0 4649 0
vsize: 18848
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 29192
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1784 0 0 0 8993 5 0 0 25 0 1 0 850000613 19861504 1704 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4849 1704 1111 63 0 4786 0
vsize: 19396
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 29192
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1919 0 0 0 9993 6 0 0 25 0 1 0 850000613 20389888 1839 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4978 1839 1111 63 0 4915 0
vsize: 19912
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 29192
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 2067 0 0 0 10993 6 0 0 25 0 1 0 850000613 20975616 1987 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5121 1987 1111 63 0 5058 0
vsize: 20484
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29192
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 2274 0 0 0 11992 6 0 0 25 0 1 0 850000613 21684224 2134 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5294 2134 1111 63 0 5231 0
vsize: 21176
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29192
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 3511 0 0 0 12988 11 0 0 25 0 1 0 850000613 22257664 2277 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5434 2277 1111 63 0 5371 0
vsize: 21736
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29194
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 6356 0 0 0 13980 18 0 0 25 0 1 0 850000613 22880256 2432 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5586 2432 1111 63 0 5523 0
vsize: 22344
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29194
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 10777 0 0 0 14972 26 0 0 25 0 1 0 850000613 23638016 2588 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5771 2588 1111 63 0 5708 0
vsize: 23084
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 17049 0 0 0 15959 39 0 0 25 0 1 0 850000613 24006656 2714 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5861 2714 1111 63 0 5798 0
vsize: 23444
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 25219 0 0 0 16941 57 0 0 25 0 1 0 850000613 24883200 2898 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6075 2898 1111 63 0 6012 0
vsize: 24300
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 35282 0 0 0 17921 78 0 0 25 0 1 0 850000613 25317376 3040 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6181 3040 1111 63 0 6118 0
vsize: 24724
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 47400 0 0 0 18898 101 0 0 25 0 1 0 850000613 25870336 3179 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6316 3179 1111 63 0 6253 0
vsize: 25264
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 61540 0 0 0 19869 129 0 0 25 0 1 0 850000613 26574848 3353 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6488 3353 1111 63 0 6425 0
vsize: 25952
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 77965 0 0 0 20835 165 0 0 25 0 1 0 850000613 27197440 3508 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6640 3508 1111 63 0 6577 0
vsize: 26560
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 106473 0 0 0 21779 220 0 0 25 0 1 0 850000613 28246016 3686 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6896 3691 1111 63 0 6833 0
vsize: 27584
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 170810 0 0 0 22656 343 0 0 25 0 1 0 850000613 28794880 3841 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7030 3841 1111 63 0 6967 0
vsize: 28120
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 240051 0 0 0 23522 478 0 0 25 0 1 0 850000613 29614080 4017 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7230 4017 1111 63 0 7167 0
vsize: 28920
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 314335 0 0 0 24376 624 0 0 25 0 1 0 850000613 30298112 4197 4294967295 134512640 134716908 3221224576 3221222824 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7397 4197 1111 63 0 7334 0
vsize: 29588
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 394541 0 0 0 25219 781 0 0 25 0 1 0 850000613 30982144 4382 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7564 4382 1111 63 0 7501 0
vsize: 30256
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 480512 0 0 0 26047 953 0 0 25 0 1 0 850000613 31801344 4570 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7764 4570 1111 63 0 7701 0
vsize: 31056
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 574262 0 0 0 26865 1136 0 0 25 0 1 0 850000613 32804864 4768 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8009 4774 1111 63 0 7946 0
vsize: 32036
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 671972 0 0 0 27683 1317 0 0 25 0 1 0 850000613 33497088 4995 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8178 5000 1111 63 0 8115 0
vsize: 32712
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 777603 0 0 0 28482 1519 0 0 25 0 1 0 850000613 34123776 5162 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8331 5162 1111 63 0 8268 0
vsize: 33324
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 890059 0 0 0 29273 1728 0 0 25 0 1 0 850000613 34947072 5367 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8532 5367 1111 63 0 8469 0
vsize: 34128
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1011549 0 0 0 30035 1966 0 0 25 0 1 0 850000613 35991552 5609 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8787 5615 1111 63 0 8724 0
vsize: 35148
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1142094 0 0 0 30782 2219 0 0 25 0 1 0 850000613 36958208 5828 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9023 5834 1111 63 0 8960 0
vsize: 36092
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1283419 0 0 0 31508 2494 0 0 25 0 1 0 850000613 37789696 6059 4294967295 134512640 134716908 3221224576 3221222928 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9226 6064 1111 63 0 9163 0
vsize: 36904
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1434766 0 0 0 32217 2784 0 0 25 0 1 0 850000613 38510592 6260 4294967295 134512640 134716908 3221224576 3221223232 134527972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9463 6264 1111 63 0 9400 0
vsize: 37608
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1519173 0 0 0 33054 2947 0 0 25 0 1 0 850000613 47644672 8503 4294967295 134512640 134716908 3221224576 3221221196 1077254284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11632 8503 1111 63 0 11569 0
vsize: 46528
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1521529 0 0 0 34048 2954 0 0 25 0 1 0 850000613 57417728 10859 4294967295 134512640 134716908 3221224576 3221222852 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14018 10859 1111 63 0 13955 0
vsize: 56072
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1522911 0 0 0 35043 2958 0 0 25 0 1 0 850000613 63492096 12241 4294967295 134512640 134716908 3221224576 3221221048 1077359374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15501 12241 1111 63 0 15438 0
vsize: 62004
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1523833 0 0 0 36042 2959 0 0 25 0 1 0 850000613 67592192 13150 4294967295 134512640 134716908 3221224576 3221222852 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16502 13150 1111 63 0 16439 0
vsize: 66008
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29196
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 37032 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 38032 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 39032 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 40032 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 41032 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 42032 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223056 134543041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 43033 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 44033 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 45033 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 46033 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 47033 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535915 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 48034 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 49034 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 50034 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 51034 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 52034 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 53035 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 54035 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 55035 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223036 134535988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 56035 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223056 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 57035 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223028 134536850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 58036 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 59036 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 60036 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 61036 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 62036 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223044 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 63037 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 64037 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 65037 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 66037 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 67037 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 68037 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 69038 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223044 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 70038 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 71038 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 72038 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 73038 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223088 134542773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 74039 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 75039 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 76039 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 77039 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 78039 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 79039 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 80040 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223056 134543046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 81040 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 82040 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 83040 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 84040 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 85041 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 86041 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 87041 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 88041 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 89041 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134536814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 90042 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 91042 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+950.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 92042 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 93042 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 94042 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 95043 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+990.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 96043 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529127 0 0 0 97043 2970 0 0 25 0 1 0 850000613 80769024 18281 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18281 1111 63 0 19656 0
vsize: 78876
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529128 0 0 0 98043 2970 0 0 25 0 1 0 850000613 80769024 18282 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18282 1111 63 0 19656 0
vsize: 78876
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529130 0 0 0 99043 2970 0 0 25 0 1 0 850000613 80769024 18284 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529130 0 0 0 100044 2970 0 0 25 0 1 0 850000613 80769024 18284 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529130 0 0 0 101044 2970 0 0 25 0 1 0 850000613 80769024 18284 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529130 0 0 0 102044 2970 0 0 25 0 1 0 850000613 80769024 18284 4294967295 134512640 134716908 3221224576 3221223304 134675312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529130 0 0 0 103044 2970 0 0 25 0 1 0 850000613 80769024 18284 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529130 0 0 0 104044 2970 0 0 25 0 1 0 850000613 80769024 18284 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529130 0 0 0 105044 2970 0 0 25 0 1 0 850000613 80769024 18284 4294967295 134512640 134716908 3221224576 3221223056 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529130 0 0 0 106045 2970 0 0 25 0 1 0 850000613 80769024 18284 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529130 0 0 0 107045 2970 0 0 25 0 1 0 850000613 80769024 18284 4294967295 134512640 134716908 3221224576 3221223304 134675297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529130 0 0 0 108045 2970 0 0 25 0 1 0 850000613 80769024 18284 4294967295 134512640 134716908 3221224576 3221223020 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18284 1111 63 0 19656 0
vsize: 78876
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529131 0 0 0 109045 2970 0 0 25 0 1 0 850000613 80769024 18285 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18285 1111 63 0 19656 0
vsize: 78876
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529132 0 0 0 110045 2970 0 0 25 0 1 0 850000613 80769024 18286 4294967295 134512640 134716908 3221224576 3221223020 134535973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18286 1111 63 0 19656 0
vsize: 78876
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529133 0 0 0 111046 2970 0 0 25 0 1 0 850000613 80769024 18287 4294967295 134512640 134716908 3221224576 3221223020 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18287 1111 63 0 19656 0
vsize: 78876
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529133 0 0 0 112046 2970 0 0 25 0 1 0 850000613 80769024 18287 4294967295 134512640 134716908 3221224576 3221223020 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18287 1111 63 0 19656 0
vsize: 78876
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529133 0 0 0 113046 2970 0 0 25 0 1 0 850000613 80769024 18287 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18287 1111 63 0 19656 0
vsize: 78876
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529134 0 0 0 114046 2970 0 0 25 0 1 0 850000613 80769024 18288 4294967295 134512640 134716908 3221224576 3221223020 134535973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18288 1111 63 0 19656 0
vsize: 78876
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529134 0 0 0 115046 2970 0 0 25 0 1 0 850000613 80769024 18288 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18288 1111 63 0 19656 0
vsize: 78876
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529134 0 0 0 116046 2970 0 0 25 0 1 0 850000613 80769024 18288 4294967295 134512640 134716908 3221224576 3221223056 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18288 1111 63 0 19656 0
vsize: 78876
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) R 29138 8378 8377 0 -1 0 1529135 0 0 0 117047 2970 0 0 25 0 1 0 850000613 80769024 18289 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19719 18289 1111 63 0 19656 0
vsize: 78876
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 29198
Raw data (stat): 29139 (bsolo_lpr_cuts-) Z 29138 8378 8377 0 -1 1036 1529135 0 0 0 117047 2973 0 0 25 0 1 0 850000613 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.06
CPU time (s): 1200.21
CPU user time (s): 1170.47
CPU system time (s): 29.7375
CPU usage (%): 100.012
Max. virtual memory (Kb): 78876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####