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-sp98ar.opb
MD5SUM	9565d6b3010c78b37c39352cc9731cb7
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	15085
Biggest coefficient in the objective function	504328818
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	2067304124713
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	504328818
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	2067304124713
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	14.4348
Number of variables	15085
Total number of constraints	16520
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15927
Number of constraints which are nor clauses,nor cardinality constraints	412
Minimum length of a constraint	1
Maximum length of a constraint	4222
Trace number 25178

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 08:13:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20256 boxname=wulflinc31 idbench=1559 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  9565d6b3010c78b37c39352cc9731cb7  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp98ar.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp98ar.opb
IDLAUNCH: 20256
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        718408 kB
Buffers:         17784 kB
Cached:         269972 kB
SwapCached:       1040 kB
Active:          78816 kB
Inactive:       217040 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        718156 kB
SwapTotal:     2097892 kB
SwapFree:      2096060 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14612 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 08:33:20 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 20256 7 1200.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 15085 variables and 1430 constraints.
c After prepocess the problem consists of 15076 variables and 1368 constraints.
c preprocess terminated 676.177 s
c Initial Lower Bound: -2147483648
c Lower Bound Elapsed time: 40.0343
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -2011398412 @ 807.11
c NEW SOLUTION FOUND: -2147483648 @ 807.263
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.97 2/55 24347
Raw data (stat): 24347 (runsolver) R 24346 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 768201869 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 16587 0 0 0 961 34 0 0 25 0 1 0 768201869 80740352 16510 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19712 16510 1111 63 0 19649 0
vsize: 78848
[startup+20.0005 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 34321 0 0 0 1924 71 0 0 25 0 1 0 768201869 153423872 34244 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37457 34247 1111 63 0 37394 0
vsize: 149828
[startup+30.001 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 51239 0 0 0 2894 101 0 0 25 0 1 0 768201869 222851072 51162 4294967295 134512640 134714508 3221221776 3221219984 1076999581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54407 51162 1111 63 0 54344 0
vsize: 217628
[startup+40.001 s]
Raw data (loadavg): 0.96 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 68722 0 0 0 3861 135 0 0 25 0 1 0 768201869 294363136 68645 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71866 68645 1111 63 0 71803 0
vsize: 287464
[startup+50.0022 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 85806 0 0 0 4832 164 0 0 25 0 1 0 768201869 364392448 85729 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88963 85729 1111 63 0 88900 0
vsize: 355852
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 92941 0 0 0 5819 177 0 0 25 0 1 0 768201869 393560064 92864 4294967295 134512640 134714508 3221221776 3221218316 1077090849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96084 92864 1111 63 0 96021 0
vsize: 384336
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 93639 0 0 0 6816 179 0 0 25 0 1 0 768201869 396435456 93562 4294967295 134512640 134714508 3221221776 3221219436 1077244511 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96786 93562 1111 63 0 96723 0
vsize: 387144
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 94272 0 0 0 7814 181 0 0 25 0 1 0 768201869 399192064 94193 4294967295 134512640 134714508 3221221776 3221220052 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97459 94193 1111 63 0 97396 0
vsize: 389836
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 95035 0 0 0 8812 184 0 0 25 0 1 0 768201869 402329600 94956 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 98225 94956 1111 63 0 98162 0
vsize: 392900
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 95843 0 0 0 9809 186 0 0 25 0 1 0 768201869 405733376 95764 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 99056 95764 1111 63 0 98993 0
vsize: 396224
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 96743 0 0 0 10806 189 0 0 25 0 1 0 768201869 409411584 96664 4294967295 134512640 134714508 3221221776 3221220264 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 99954 96664 1111 63 0 99891 0
vsize: 399816
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 97582 0 0 0 11805 191 0 0 25 0 1 0 768201869 412958720 97503 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 100820 97503 1111 63 0 100757 0
vsize: 403280
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 98408 0 0 0 12802 194 0 0 25 0 1 0 768201869 416362496 98329 4294967295 134512640 134714508 3221221776 3221220052 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 101651 98329 1111 63 0 101588 0
vsize: 406604
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 99228 0 0 0 13800 196 0 0 25 0 1 0 768201869 419766272 99149 4294967295 134512640 134714508 3221221776 3221220052 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 102482 99149 1111 63 0 102419 0
vsize: 409928
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 99977 0 0 0 14798 198 0 0 25 0 1 0 768201869 422887424 99898 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103244 99898 1111 63 0 103181 0
vsize: 412976
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101419 0 0 0 15794 201 0 0 25 0 1 0 768201869 419172352 101258 4294967295 134512640 134714508 3221221776 3221220256 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102337 101258 1111 63 0 102274 0
vsize: 409348
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101468 0 0 0 16794 201 0 0 25 0 1 0 768201869 419307520 101307 4294967295 134512640 134714508 3221221776 3221220244 134543025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102370 101308 1111 63 0 102307 0
vsize: 409480
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101514 0 0 0 17794 201 0 0 25 0 1 0 768201869 419577856 101353 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102436 101353 1111 63 0 102373 0
vsize: 409744
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101566 0 0 0 18794 201 0 0 25 0 1 0 768201869 419713024 101405 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102469 101405 1111 63 0 102406 0
vsize: 409876
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101671 0 0 0 19794 201 0 0 25 0 1 0 768201869 420118528 101510 4294967295 134512640 134714508 3221221776 3221220256 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102568 101510 1111 63 0 102505 0
vsize: 410272
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101727 0 0 0 20794 201 0 0 25 0 1 0 768201869 420388864 101566 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102634 101566 1111 63 0 102571 0
vsize: 410536
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101789 0 0 0 21794 202 0 0 25 0 1 0 768201869 420659200 101628 4294967295 134512640 134714508 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102700 101628 1111 63 0 102637 0
vsize: 410800
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101839 0 0 0 22794 202 0 0 25 0 1 0 768201869 420794368 101678 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102733 101678 1111 63 0 102670 0
vsize: 410932
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101898 0 0 0 23794 202 0 0 25 0 1 0 768201869 421064704 101737 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102799 101737 1111 63 0 102736 0
vsize: 411196
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 101951 0 0 0 24794 202 0 0 25 0 1 0 768201869 421335040 101790 4294967295 134512640 134714508 3221221776 3221220228 134536752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102865 101790 1111 63 0 102802 0
vsize: 411460
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102011 0 0 0 25794 202 0 0 25 0 1 0 768201869 421605376 101850 4294967295 134512640 134714508 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102931 101850 1111 63 0 102868 0
vsize: 411724
[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102077 0 0 0 26794 202 0 0 25 0 1 0 768201869 421875712 101916 4294967295 134512640 134714508 3221221776 3221220256 134536635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102997 101916 1111 63 0 102934 0
vsize: 411988
[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102132 0 0 0 27794 203 0 0 25 0 1 0 768201869 422010880 101971 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103030 101971 1111 63 0 102967 0
vsize: 412120
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102198 0 0 0 28794 203 0 0 25 0 1 0 768201869 422281216 102037 4294967295 134512640 134714508 3221221776 3221220220 134536814 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103096 102037 1111 63 0 103033 0
vsize: 412384
[startup+300.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102261 0 0 0 29794 203 0 0 25 0 1 0 768201869 422555648 102100 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103163 102100 1111 63 0 103100 0
vsize: 412652
[startup+310.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102307 0 0 0 30794 203 0 0 25 0 1 0 768201869 422825984 102146 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103229 102146 1111 63 0 103166 0
vsize: 412916
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102362 0 0 0 31794 204 0 0 25 0 1 0 768201869 422961152 102201 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103262 102201 1111 63 0 103199 0
vsize: 413048
[startup+330.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102423 0 0 0 32794 204 0 0 25 0 1 0 768201869 423231488 102262 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103328 102262 1111 63 0 103265 0
vsize: 413312
[startup+340.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102465 0 0 0 33794 204 0 0 25 0 1 0 768201869 423366656 102304 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103361 102304 1111 63 0 103298 0
vsize: 413444
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102530 0 0 0 34794 204 0 0 25 0 1 0 768201869 423636992 102369 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103427 102369 1111 63 0 103364 0
vsize: 413708
[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102575 0 0 0 35794 204 0 0 25 0 1 0 768201869 423907328 102414 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103493 102414 1111 63 0 103430 0
vsize: 413972
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102627 0 0 0 36794 205 0 0 25 0 1 0 768201869 424042496 102466 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103526 102466 1111 63 0 103463 0
vsize: 414104
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102695 0 0 0 37794 205 0 0 25 0 1 0 768201869 424312832 102534 4294967295 134512640 134714508 3221221776 3221220220 134536839 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103592 102534 1111 63 0 103529 0
vsize: 414368
[startup+390.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102750 0 0 0 38794 205 0 0 25 0 1 0 768201869 424583168 102589 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103658 102589 1111 63 0 103595 0
vsize: 414632
[startup+400.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102807 0 0 0 39794 205 0 0 25 0 1 0 768201869 424853504 102646 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103724 102646 1111 63 0 103661 0
vsize: 414896
[startup+410.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102871 0 0 0 40794 205 0 0 25 0 1 0 768201869 425123840 102710 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103790 102710 1111 63 0 103727 0
vsize: 415160
[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102923 0 0 0 41794 205 0 0 25 0 1 0 768201869 425259008 102762 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103823 102762 1111 63 0 103760 0
vsize: 415292
[startup+430.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 102975 0 0 0 42794 206 0 0 25 0 1 0 768201869 425529344 102814 4294967295 134512640 134714508 3221221776 3221220256 134542368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103889 102814 1111 63 0 103826 0
vsize: 415556
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103032 0 0 0 43794 206 0 0 25 0 1 0 768201869 425664512 102871 4294967295 134512640 134714508 3221221776 3221220244 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103922 102871 1111 63 0 103859 0
vsize: 415688
[startup+450.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103104 0 0 0 44794 206 0 0 25 0 1 0 768201869 426070016 102943 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104021 102943 1111 63 0 103958 0
vsize: 416084
[startup+460.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103160 0 0 0 45794 207 0 0 25 0 1 0 768201869 426205184 102999 4294967295 134512640 134714508 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104054 102999 1111 63 0 103991 0
vsize: 416216
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103223 0 0 0 46794 207 0 0 25 0 1 0 768201869 426479616 103062 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104121 103062 1111 63 0 104058 0
vsize: 416484
[startup+480.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103317 0 0 0 47794 207 0 0 25 0 1 0 768201869 426885120 103156 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104220 103156 1111 63 0 104157 0
vsize: 416880
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103427 0 0 0 48794 207 0 0 25 0 1 0 768201869 427290624 103266 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104319 103266 1111 63 0 104256 0
vsize: 417276
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103517 0 0 0 49793 208 0 0 25 0 1 0 768201869 427696128 103356 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104418 103356 1111 63 0 104355 0
vsize: 417672
[startup+510.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103570 0 0 0 50793 208 0 0 25 0 1 0 768201869 427831296 103409 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104451 103409 1111 63 0 104388 0
vsize: 417804
[startup+520.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103615 0 0 0 51793 208 0 0 25 0 1 0 768201869 428101632 103454 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104517 103454 1111 63 0 104454 0
vsize: 418068
[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103664 0 0 0 52793 208 0 0 25 0 1 0 768201869 428236800 103503 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104550 103503 1111 63 0 104487 0
vsize: 418200
[startup+540.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103710 0 0 0 53793 208 0 0 25 0 1 0 768201869 428507136 103549 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104616 103549 1111 63 0 104553 0
vsize: 418464
[startup+550.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103757 0 0 0 54793 209 0 0 25 0 1 0 768201869 428642304 103596 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104649 103596 1111 63 0 104586 0
vsize: 418596
[startup+560.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103816 0 0 0 55793 209 0 0 25 0 1 0 768201869 428912640 103655 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104715 103655 1111 63 0 104652 0
vsize: 418860
[startup+570.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103869 0 0 0 56793 209 0 0 25 0 1 0 768201869 429047808 103708 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104748 103708 1111 63 0 104685 0
vsize: 418992
[startup+580.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 103953 0 0 0 57794 209 0 0 25 0 1 0 768201869 429453312 103792 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104847 103792 1111 63 0 104784 0
vsize: 419388
[startup+590.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104024 0 0 0 58793 209 0 0 25 0 1 0 768201869 429723648 103863 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104913 103863 1111 63 0 104850 0
vsize: 419652
[startup+600.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104083 0 0 0 59794 209 0 0 25 0 1 0 768201869 429993984 103922 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104979 103922 1111 63 0 104916 0
vsize: 419916
[startup+610.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104155 0 0 0 60793 210 0 0 25 0 1 0 768201869 430264320 103994 4294967295 134512640 134714508 3221221776 3221220220 134535952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 105045 103994 1111 63 0 104982 0
vsize: 420180
[startup+620.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104250 0 0 0 61794 210 0 0 25 0 1 0 768201869 430669824 104089 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 105144 104089 1111 63 0 105081 0
vsize: 420576
[startup+630.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104252 0 0 0 62794 210 0 0 25 0 1 0 768201869 430669824 104091 4294967295 134512640 134714508 3221221776 3221220424 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 105144 104091 1111 63 0 105081 0
vsize: 420576
[startup+640.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104256 0 0 0 63794 210 0 0 25 0 1 0 768201869 430669824 104095 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 105144 104095 1111 63 0 105081 0
vsize: 420576
[startup+650.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104258 0 0 0 64794 210 0 0 25 0 1 0 768201869 430669824 104097 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 105144 104097 1111 63 0 105081 0
vsize: 420576
[startup+660.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104261 0 0 0 65794 210 0 0 25 0 1 0 768201869 430669824 104100 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 105144 104100 1111 63 0 105081 0
vsize: 420576
[startup+670.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 104267 0 0 0 66794 210 0 0 25 0 1 0 768201869 430669824 104106 4294967295 134512640 134714508 3221221776 3221220420 134630885 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 105144 104106 1111 63 0 105081 0
vsize: 420576
[startup+680.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 105887 0 0 0 67790 214 0 0 25 0 1 0 768201869 437329920 105701 4294967295 134512640 134714508 3221221776 3221219808 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106770 105701 1111 63 0 106707 0
vsize: 427080
[startup+690.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 106120 0 0 0 68788 216 0 0 25 0 1 0 768201869 438284288 105934 4294967295 134512640 134714508 3221221776 3221219808 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 107003 105934 1111 63 0 106940 0
vsize: 428012
[startup+700.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 106152 0 0 0 69788 216 0 0 25 0 1 0 768201869 438415360 105966 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 107035 105966 1111 63 0 106972 0
vsize: 428140
[startup+710.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 106184 0 0 0 70788 216 0 0 25 0 1 0 768201869 438538240 105998 4294967295 134512640 134714508 3221221776 3221219808 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 107065 105998 1111 63 0 107002 0
vsize: 428260
[startup+720.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 112933 0 0 0 71774 230 0 0 25 0 1 0 768201869 450138112 108815 4294967295 134512640 134714508 3221221776 3221218616 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 109897 108815 1111 63 0 109834 0
vsize: 439588
[startup+730.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 112938 0 0 0 72774 230 0 0 25 0 1 0 768201869 450138112 108820 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 109897 108820 1111 63 0 109834 0
vsize: 439588
[startup+740.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 118568 0 0 0 73761 243 0 0 25 0 1 0 768201869 439992320 106513 4294967295 134512640 134714508 3221221776 3221220200 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 107420 106513 1111 63 0 107357 0
vsize: 429680
[startup+750.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 119541 0 0 0 74760 245 0 0 25 0 1 0 768201869 441077760 106778 4294967295 134512640 134714508 3221221776 3221220204 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 107685 106778 1111 63 0 107622 0
vsize: 430740
[startup+760.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 126637 0 0 0 75742 262 0 0 25 0 1 0 768201869 452571136 109437 4294967295 134512640 134714508 3221221776 3221217768 1074950215 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 110491 109437 1111 63 0 110428 0
vsize: 441964
[startup+770.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 131843 0 0 0 76730 274 0 0 25 0 1 0 768201869 442224640 107058 4294967295 134512640 134714508 3221221776 3221220200 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 107965 107058 1111 63 0 107902 0
vsize: 431860
[startup+780.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 131843 0 0 0 77730 275 0 0 25 0 1 0 768201869 442224640 107058 4294967295 134512640 134714508 3221221776 3221220200 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 107965 107058 1111 63 0 107902 0
vsize: 431860
[startup+790.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 131843 0 0 0 78730 275 0 0 25 0 1 0 768201869 442224640 107058 4294967295 134512640 134714508 3221221776 3221219848 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 107965 107058 1111 63 0 107902 0
vsize: 431860
[startup+800.031 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 143485 0 0 0 79705 299 0 0 25 0 1 0 768201869 442114048 107031 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 107938 107031 1111 63 0 107875 0
vsize: 431752
[startup+810.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 152904 0 0 0 80682 322 0 0 25 0 1 0 768201869 437211136 105835 4294967295 134512640 134714508 3221221776 3221219560 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+820.031 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 179796 0 0 0 81624 381 0 0 25 0 1 0 768201869 438190080 105844 4294967295 134512640 134714508 3221221776 3221219504 1075828208 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106980 105849 1111 63 0 106917 0
vsize: 427920
[startup+830.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 200307 0 0 0 82581 424 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221220256 1074039475 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+840.032 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 217611 0 0 0 83545 460 0 0 25 0 1 0 768201869 437211136 105835 4294967295 134512640 134714508 3221221776 3221220128 1074142734 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+850.033 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 230451 0 0 0 84517 488 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221220128 1074115298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+860.033 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 241677 0 0 0 85493 512 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+870.033 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 252232 0 0 0 86467 538 0 0 25 0 1 0 768201869 437211136 105835 4294967295 134512640 134714508 3221221776 3221219824 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+880.033 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 262114 0 0 0 87443 563 0 0 25 0 1 0 768201869 438263808 105883 4294967295 134512640 134714508 3221221776 3221218760 1074831820 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106998 105883 1111 63 0 106935 0
vsize: 427992
[startup+890.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 271649 0 0 0 88422 584 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221220064 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+900.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 280424 0 0 0 89401 605 0 0 25 0 1 0 768201869 438231040 105907 4294967295 134512640 134714508 3221221776 3221219744 1075961292 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106990 105907 1111 63 0 106927 0
vsize: 427960
[startup+910.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 288735 0 0 0 90382 624 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221219896 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+920.034 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 296690 0 0 0 91364 643 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220248 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+930.035 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 304521 0 0 0 92346 661 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221219880 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+940.035 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 311934 0 0 0 93331 676 0 0 25 0 1 0 768201869 437211136 105835 4294967295 134512640 134714508 3221221776 3221219704 1077377866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+950.035 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 318928 0 0 0 94314 693 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221219824 1074153794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+960.035 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 326114 0 0 0 95299 709 0 0 25 0 1 0 768201869 437211136 105835 4294967295 134512640 134714508 3221221776 3221219800 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+970.035 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 332781 0 0 0 96282 725 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220064 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+980.036 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 339591 0 0 0 97266 742 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221219984 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+990.035 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 345983 0 0 0 98252 756 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221219888 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 352442 0 0 0 99239 769 0 0 25 0 1 0 768201869 438247424 105907 4294967295 134512640 134714508 3221221776 3221219600 1075823340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106994 105907 1111 63 0 106931 0
vsize: 427976
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 358799 0 0 0 100224 784 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220064 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 365163 0 0 0 101211 797 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221219920 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 370907 0 0 0 102197 811 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 376748 0 0 0 103184 824 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220128 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 382813 0 0 0 104169 840 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220128 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 388802 0 0 0 105157 852 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221219784 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 394241 0 0 0 106143 866 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220128 1074153648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 400072 0 0 0 107129 880 0 0 25 0 1 0 768201869 437768192 105952 4294967295 134512640 134714508 3221221776 3221220176 1074118815 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106877 105952 1111 63 0 106814 0
vsize: 427508
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 405815 0 0 0 108114 896 0 0 25 0 1 0 768201869 437538816 105845 4294967295 134512640 134714508 3221221776 3221219120 1074839021 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106821 105845 1111 63 0 106758 0
vsize: 427284
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 411308 0 0 0 109100 909 0 0 25 0 1 0 768201869 438247424 105907 4294967295 134512640 134714508 3221221776 3221219600 1075823363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106994 105907 1111 63 0 106931 0
vsize: 427976
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 417022 0 0 0 110089 921 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220128 1074153648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 422688 0 0 0 111076 934 0 0 25 0 1 0 768201869 438317056 105910 4294967295 134512640 134714508 3221221776 3221218696 1074950099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 107011 105910 1111 63 0 106948 0
vsize: 428044
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 428450 0 0 0 112062 948 0 0 25 0 1 0 768201869 437211136 105835 4294967295 134512640 134714508 3221221776 3221220040 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106741 105835 1111 63 0 106678 0
vsize: 426964
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 433736 0 0 0 113049 961 0 0 25 0 1 0 768201869 437338112 105866 4294967295 134512640 134714508 3221221776 3221220028 1077411564 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106772 105866 1111 63 0 106709 0
vsize: 427088
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 438850 0 0 0 114037 974 0 0 25 0 1 0 768201869 437260288 105847 4294967295 134512640 134714508 3221221776 3221219824 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106753 105847 1111 63 0 106690 0
vsize: 427012
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 444266 0 0 0 115026 985 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221219888 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 449132 0 0 0 116014 997 0 0 25 0 1 0 768201869 438431744 105919 4294967295 134512640 134714508 3221221776 3221219696 1075799488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 107039 105919 1111 63 0 106976 0
vsize: 428156
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 454411 0 0 0 117002 1009 0 0 25 0 1 0 768201869 437235712 105835 4294967295 134512640 134714508 3221221776 3221220112 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105835 1111 63 0 106684 0
vsize: 426988
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 459187 0 0 0 117991 1020 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221219896 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) R 24346 7876 7672 0 -1 0 463880 0 0 0 118980 1031 0 0 25 0 1 0 768201869 437235712 105841 4294967295 134512640 134714508 3221221776 3221220064 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 106747 105841 1111 63 0 106684 0
vsize: 426988
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.24 s]
Raw data (loadavg): 0.99 0.98 0.97 1/55 24347
Raw data (stat): 24347 (bsolo_lpr_cuts) Z 24346 7876 7672 0 -1 1036 463880 0 0 0 118980 1051 0 0 25 0 1 0 768201869 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.24
CPU time (s): 1200.32
CPU user time (s): 1189.81
CPU system time (s): 10.5124
CPU usage (%): 100.007
Max. virtual memory (Kb): 441964
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####