PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-160.opb
MD5SUM	e6fecce3dd18220c4b3d8965362801d2
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1359
Optimality of the best value was proved	NO
Number of terms in the objective function	2782
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2782
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2782
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04284
Number of variables	2782
Total number of constraints	4517
Number of constraints which are clauses	4517
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	1
Maximum length of a constraint	5
Trace number 24288

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 12:53:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2063 boxname=wulflinc31 idbench=230 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  e6fecce3dd18220c4b3d8965362801d2  /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-160.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-160.opb
IDLAUNCH: 2063
/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:        138360 kB
Buffers:         44136 kB
Cached:         817596 kB
SwapCached:        644 kB
Active:         491052 kB
Inactive:       372992 kB
HighTotal:      131008 kB
HighFree:          896 kB
LowTotal:       903652 kB
LowFree:        137464 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26424 kB
Committed_AS:    63648 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 13:13:11 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 2063 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2782 variables and 4517 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
Raw data (loadavg): 0.92 0.98 0.99 2/54 28002
Raw data (stat): 28002 (runsolver) R 28001 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 700753214 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.0009 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 18306 0 0 0 953 42 0 0 25 0 1 0 700753214 25997312 5504 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6347 5504 1111 63 0 6284 0
vsize: 25388
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 26018 0 0 0 1937 59 0 0 25 0 1 0 700753214 34226176 7500 4294967295 134512640 134714508 3221221776 3221220292 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8356 7500 1111 63 0 8293 0
vsize: 33424
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 31536 0 0 0 2926 70 0 0 25 0 1 0 700753214 37908480 8412 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9255 8412 1111 63 0 9192 0
vsize: 37020
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 35474 0 0 0 3918 78 0 0 25 0 1 0 700753214 43020288 9628 4294967295 134512640 134714508 3221221776 3221220528 134630802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10503 9628 1111 63 0 10440 0
vsize: 42012
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 39827 0 0 0 4909 87 0 0 25 0 1 0 700753214 46215168 10411 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11283 10411 1111 63 0 11220 0
vsize: 45132
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 42236 0 0 0 5903 93 0 0 25 0 1 0 700753214 49389568 11207 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12058 11207 1111 63 0 11995 0
vsize: 48232
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 44500 0 0 0 6899 98 0 0 25 0 1 0 700753214 51679232 11761 4294967295 134512640 134714508 3221221776 3221220108 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12617 11761 1111 63 0 12554 0
vsize: 50468
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 46281 0 0 0 7896 101 0 0 25 0 1 0 700753214 54116352 12356 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13212 12356 1111 63 0 13149 0
vsize: 52848
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 47830 0 0 0 8892 105 0 0 25 0 1 0 700753214 57151488 13089 4294967295 134512640 134714508 3221221776 3221220256 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13953 13089 1111 63 0 13890 0
vsize: 55812
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 49104 0 0 0 9889 107 0 0 25 0 1 0 700753214 58998784 13545 4294967295 134512640 134714508 3221221776 3221220304 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14404 13545 1111 63 0 14341 0
vsize: 57616
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 56207 0 0 0 10873 125 0 0 25 0 1 0 700753214 60981248 14038 4294967295 134512640 134714508 3221221776 3221220292 134528706 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14888 14038 1111 63 0 14825 0
vsize: 59552
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 57104 0 0 0 11870 127 0 0 25 0 1 0 700753214 61489152 14169 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15012 14169 1111 63 0 14949 0
vsize: 60048
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 58381 0 0 0 12868 130 0 0 25 0 1 0 700753214 62722048 14470 4294967295 134512640 134714508 3221221776 3221220256 134536736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15313 14470 1111 63 0 15250 0
vsize: 61252
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 60418 0 0 0 13865 133 0 0 25 0 1 0 700753214 65146880 15038 4294967295 134512640 134714508 3221221776 3221220308 134542981 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15905 15038 1111 63 0 15842 0
vsize: 63620
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 61964 0 0 0 14862 136 0 0 25 0 1 0 700753214 66592768 15413 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16258 15413 1111 63 0 16195 0
vsize: 65032
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 63860 0 0 0 15858 141 0 0 25 0 1 0 700753214 68030464 15766 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16609 15766 1111 63 0 16546 0
vsize: 66436
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 65044 0 0 0 16856 143 0 0 25 0 1 0 700753214 70017024 16224 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17094 16224 1111 63 0 17031 0
vsize: 68376
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 66061 0 0 0 17854 144 0 0 25 0 1 0 700753214 71471104 16579 4294967295 134512640 134714508 3221221776 3221220256 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17449 16579 1111 63 0 17386 0
vsize: 69796
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 68048 0 0 0 18850 149 0 0 25 0 1 0 700753214 72986624 16955 4294967295 134512640 134714508 3221221776 3221220256 134539518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17819 16955 1111 63 0 17756 0
vsize: 71276
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 69556 0 0 0 19846 153 0 0 25 0 1 0 700753214 74457088 17303 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18178 17303 1111 63 0 18115 0
vsize: 72712
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 70948 0 0 0 20844 155 0 0 25 0 1 0 700753214 75575296 17607 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18486 17611 1111 63 0 18423 0
vsize: 73804
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 71936 0 0 0 21842 158 0 0 25 0 1 0 700753214 76378112 17804 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18647 17804 1111 63 0 18584 0
vsize: 74588
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 74100 0 0 0 22838 161 0 0 25 0 1 0 700753214 77733888 18108 4294967295 134512640 134714508 3221221776 3221220304 134528614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18978 18108 1111 63 0 18915 0
vsize: 75912
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 75207 0 0 0 23836 164 0 0 25 0 1 0 700753214 78512128 18325 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19168 18325 1111 63 0 19105 0
vsize: 76672
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 76778 0 0 0 24833 167 0 0 25 0 1 0 700753214 79876096 18629 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19501 18629 1111 63 0 19438 0
vsize: 78004
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 77630 0 0 0 25831 169 0 0 25 0 1 0 700753214 80920576 18913 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19756 18913 1111 63 0 19693 0
vsize: 79024
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 78974 0 0 0 26829 172 0 0 25 0 1 0 700753214 82497536 19269 4294967295 134512640 134714508 3221221776 3221220240 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20141 19269 1111 63 0 20078 0
vsize: 80564
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 81003 0 0 0 27824 176 0 0 25 0 1 0 700753214 83525632 19520 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20392 19520 1111 63 0 20329 0
vsize: 81568
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 82697 0 0 0 28822 179 0 0 25 0 1 0 700753214 84262912 19729 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20572 19729 1111 63 0 20509 0
vsize: 82288
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 83534 0 0 0 29821 180 0 0 25 0 1 0 700753214 85766144 20072 4294967295 134512640 134714508 3221221776 3221220384 134529113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20939 20072 1111 63 0 20876 0
vsize: 83756
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 84079 0 0 0 30820 181 0 0 25 0 1 0 700753214 86659072 20306 4294967295 134512640 134714508 3221221776 3221220280 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21157 20306 1111 63 0 21094 0
vsize: 84628
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 85068 0 0 0 31818 183 0 0 25 0 1 0 700753214 88502272 20734 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21607 20734 1111 63 0 21544 0
vsize: 86428
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 86682 0 0 0 32814 188 0 0 25 0 1 0 700753214 89452544 20964 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21839 20964 1111 63 0 21776 0
vsize: 87356
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 87502 0 0 0 33812 190 0 0 25 0 1 0 700753214 90247168 21190 4294967295 134512640 134714508 3221221776 3221220240 134539471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22033 21190 1111 63 0 21970 0
vsize: 88132
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 88320 0 0 0 34811 191 0 0 25 0 1 0 700753214 91164672 21414 4294967295 134512640 134714508 3221221776 3221220504 134672911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22257 21414 1111 63 0 22194 0
vsize: 89028
[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 88991 0 0 0 35809 192 0 0 25 0 1 0 700753214 91561984 21501 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22354 21501 1111 63 0 22291 0
vsize: 89416
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 89773 0 0 0 36808 194 0 0 25 0 1 0 700753214 92819456 21788 4294967295 134512640 134714508 3221221776 3221220392 134543785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22661 21788 1111 63 0 22598 0
vsize: 90644
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 90220 0 0 0 37807 195 0 0 25 0 1 0 700753214 93683712 22007 4294967295 134512640 134714508 3221221776 3221220280 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22872 22007 1111 63 0 22809 0
vsize: 91488
[startup+390.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 90873 0 0 0 38805 197 0 0 25 0 1 0 700753214 94052352 22119 4294967295 134512640 134714508 3221221776 3221220184 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22962 22119 1111 63 0 22899 0
vsize: 91848
[startup+400.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 96006 0 0 0 39793 209 0 0 25 0 1 0 700753214 97705984 22987 4294967295 134512640 134714508 3221221776 3221220288 134543681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23854 22987 1111 63 0 23791 0
vsize: 95416
[startup+410.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 96006 0 0 0 40793 209 0 0 25 0 1 0 700753214 97705984 22987 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23854 22987 1111 63 0 23791 0
vsize: 95416
[startup+420.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 96006 0 0 0 41794 209 0 0 25 0 1 0 700753214 97705984 22987 4294967295 134512640 134714508 3221221776 3221220384 134529376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23854 22987 1111 63 0 23791 0
vsize: 95416
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 96336 0 0 0 42793 210 0 0 25 0 1 0 700753214 98312192 23127 4294967295 134512640 134714508 3221221776 3221220392 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24002 23127 1111 63 0 23939 0
vsize: 96008
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 98414 0 0 0 43789 214 0 0 25 0 1 0 700753214 98656256 23243 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24086 23243 1111 63 0 24023 0
vsize: 96344
[startup+450.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 99010 0 0 0 44788 215 0 0 25 0 1 0 700753214 99385344 23421 4294967295 134512640 134714508 3221221776 3221220192 134543681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24264 23421 1111 63 0 24201 0
vsize: 97056
[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 100166 0 0 0 45785 218 0 0 25 0 1 0 700753214 100601856 23686 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24561 23686 1111 63 0 24498 0
vsize: 98244
[startup+470.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 100799 0 0 0 46784 219 0 0 25 0 1 0 700753214 101306368 23883 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24733 23883 1111 63 0 24670 0
vsize: 98932
[startup+480.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 101430 0 0 0 47783 221 0 0 25 0 1 0 700753214 101969920 24020 4294967295 134512640 134714508 3221221776 3221220392 134543785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24895 24020 1111 63 0 24832 0
vsize: 99580
[startup+490.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 103724 0 0 0 48778 226 0 0 25 0 1 0 700753214 102748160 24237 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25085 24237 1111 63 0 25022 0
vsize: 100340
[startup+500.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 104248 0 0 0 49777 227 0 0 25 0 1 0 700753214 102854656 24268 4294967295 134512640 134714508 3221221776 3221220256 134524108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25111 24268 1111 63 0 25048 0
vsize: 100444
[startup+510.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 105681 0 0 0 50774 230 0 0 25 0 1 0 700753214 103636992 24459 4294967295 134512640 134714508 3221221776 3221220240 134536695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25302 24459 1111 63 0 25239 0
vsize: 101208
[startup+520.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 107717 0 0 0 51769 235 0 0 25 0 1 0 700753214 104689664 24714 4294967295 134512640 134714508 3221221776 3221220156 134539243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25559 24714 1111 63 0 25496 0
vsize: 102236
[startup+530.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 108063 0 0 0 52768 236 0 0 25 0 1 0 700753214 105320448 24840 4294967295 134512640 134714508 3221221776 3221220400 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25713 24840 1111 63 0 25650 0
vsize: 102852
[startup+540.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 109328 0 0 0 53766 239 0 0 25 0 1 0 700753214 106033152 25034 4294967295 134512640 134714508 3221221776 3221220320 134535807 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25887 25034 1111 63 0 25824 0
vsize: 103548
[startup+550.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 109848 0 0 0 54764 240 0 0 25 0 1 0 700753214 106094592 25059 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25902 25059 1111 63 0 25839 0
vsize: 103608
[startup+560.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 113350 0 0 0 55759 246 0 0 25 0 1 0 700753214 108032000 25530 4294967295 134512640 134714508 3221221776 3221220400 134529311 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26375 25530 1111 63 0 26312 0
vsize: 105500
[startup+570.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 113617 0 0 0 56759 246 0 0 25 0 1 0 700753214 108445696 25631 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26476 25631 1111 63 0 26413 0
vsize: 105904
[startup+580.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 114153 0 0 0 57758 248 0 0 25 0 1 0 700753214 108666880 25673 4294967295 134512640 134714508 3221221776 3221220208 134543674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26530 25673 1111 63 0 26467 0
vsize: 106120
[startup+590.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 114804 0 0 0 58756 249 0 0 25 0 1 0 700753214 109711360 25929 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26785 25929 1111 63 0 26722 0
vsize: 107140
[startup+600.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 116113 0 0 0 59753 252 0 0 25 0 1 0 700753214 109748224 25951 4294967295 134512640 134714508 3221221776 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26794 25951 1111 63 0 26731 0
vsize: 107176
[startup+610.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 116698 0 0 0 60752 253 0 0 25 0 1 0 700753214 110755840 26173 4294967295 134512640 134714508 3221221776 3221220304 134543759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27040 26173 1111 63 0 26977 0
vsize: 108160
[startup+620.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 116983 0 0 0 61752 254 0 0 25 0 1 0 700753214 110891008 26209 4294967295 134512640 134714508 3221221776 3221220256 134524076 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27073 26209 1111 63 0 27010 0
vsize: 108292
[startup+630.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 117628 0 0 0 62750 256 0 0 25 0 1 0 700753214 111894528 26459 4294967295 134512640 134714508 3221221776 3221220400 134529232 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27318 26459 1111 63 0 27255 0
vsize: 109272
[startup+640.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 118140 0 0 0 63750 257 0 0 25 0 1 0 700753214 111898624 26476 4294967295 134512640 134714508 3221221776 3221220304 134528738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27319 26476 1111 63 0 27256 0
vsize: 109276
[startup+650.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 119153 0 0 0 64747 259 0 0 25 0 1 0 700753214 112939008 26698 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27573 26698 1111 63 0 27510 0
vsize: 110292
[startup+660.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 120378 0 0 0 65745 261 0 0 25 0 1 0 700753214 113217536 26798 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27641 26798 1111 63 0 27578 0
vsize: 110564
[startup+670.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 120774 0 0 0 66744 262 0 0 25 0 1 0 700753214 113491968 26847 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27708 26847 1111 63 0 27645 0
vsize: 110832
[startup+680.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 121415 0 0 0 67743 264 0 0 25 0 1 0 700753214 114499584 27093 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27954 27093 1111 63 0 27891 0
vsize: 111816
[startup+690.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 122632 0 0 0 68741 266 0 0 25 0 1 0 700753214 114470912 27104 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27947 27104 1111 63 0 27884 0
vsize: 111788
[startup+700.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 123536 0 0 0 69740 267 0 0 25 0 1 0 700753214 114937856 27218 4294967295 134512640 134714508 3221221776 3221220184 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28061 27218 1111 63 0 27998 0
vsize: 112244
[startup+710.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 124871 0 0 0 70737 270 0 0 25 0 1 0 700753214 115961856 27436 4294967295 134512640 134714508 3221221776 3221220240 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28311 27436 1111 63 0 28248 0
vsize: 113244
[startup+720.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 125475 0 0 0 71736 271 0 0 25 0 1 0 700753214 116305920 27545 4294967295 134512640 134714508 3221221776 3221220316 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28395 27545 1111 63 0 28332 0
vsize: 113580
[startup+730.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 125774 0 0 0 72735 272 0 0 25 0 1 0 700753214 116441088 27564 4294967295 134512640 134714508 3221221776 3221220156 134539246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28428 27564 1111 63 0 28365 0
vsize: 113712
[startup+740.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 126559 0 0 0 73734 274 0 0 25 0 1 0 700753214 117223424 27755 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28619 27755 1111 63 0 28556 0
vsize: 114476
[startup+750.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 126808 0 0 0 74733 274 0 0 25 0 1 0 700753214 117764096 27908 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28751 27908 1111 63 0 28688 0
vsize: 115004
[startup+760.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 127246 0 0 0 75732 275 0 0 25 0 1 0 700753214 118255616 28009 4294967295 134512640 134714508 3221221776 3221220400 134529222 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28871 28009 1111 63 0 28808 0
vsize: 115484
[startup+770.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 128546 0 0 0 76730 278 0 0 25 0 1 0 700753214 118747136 28122 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28991 28122 1111 63 0 28928 0
vsize: 115964
[startup+780.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 129643 0 0 0 77728 280 0 0 25 0 1 0 700753214 119078912 28210 4294967295 134512640 134714508 3221221776 3221220336 134535795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29072 28210 1111 63 0 29009 0
vsize: 116288
[startup+790.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 129901 0 0 0 78728 280 0 0 25 0 1 0 700753214 119001088 28210 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29053 28210 1111 63 0 28990 0
vsize: 116212
[startup+800.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 130950 0 0 0 79726 283 0 0 25 0 1 0 700753214 119435264 28316 4294967295 134512640 134714508 3221221776 3221220140 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29159 28316 1111 63 0 29096 0
vsize: 116636
[startup+810.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 131501 0 0 0 80724 285 0 0 25 0 1 0 700753214 119668736 28373 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29216 28373 1111 63 0 29153 0
vsize: 116864
[startup+820.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 132027 0 0 0 81724 285 0 0 25 0 1 0 700753214 120258560 28517 4294967295 134512640 134714508 3221221776 3221220292 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29360 28517 1111 63 0 29297 0
vsize: 117440
[startup+830.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 132701 0 0 0 82723 286 0 0 25 0 1 0 700753214 120877056 28636 4294967295 134512640 134714508 3221221776 3221220504 134672911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29511 28636 1111 63 0 29448 0
vsize: 118044
[startup+840.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 134525 0 0 0 83719 290 0 0 25 0 1 0 700753214 121294848 28770 4294967295 134512640 134714508 3221221776 3221220504 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29613 28770 1111 63 0 29550 0
vsize: 118452
[startup+850.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 144446 0 0 0 84698 312 0 0 25 0 1 0 700753214 122478592 29032 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29902 29032 1111 63 0 29839 0
vsize: 119608
[startup+860.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 144801 0 0 0 85697 313 0 0 25 0 1 0 700753214 122757120 29125 4294967295 134512640 134714508 3221221776 3221220400 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29970 29125 1111 63 0 29907 0
vsize: 119880
[startup+870.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 145289 0 0 0 86696 313 0 0 25 0 1 0 700753214 123236352 29217 4294967295 134512640 134714508 3221221776 3221220400 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30087 29217 1111 63 0 30024 0
vsize: 120348
[startup+880.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 145748 0 0 0 87695 315 0 0 25 0 1 0 700753214 123539456 29311 4294967295 134512640 134714508 3221221776 3221220256 134543070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30161 29311 1111 63 0 30098 0
vsize: 120644
[startup+890.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 146234 0 0 0 88694 316 0 0 25 0 1 0 700753214 123990016 29401 4294967295 134512640 134714508 3221221776 3221220352 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30271 29401 1111 63 0 30208 0
vsize: 121084
[startup+900.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 146720 0 0 0 89694 316 0 0 25 0 1 0 700753214 124358656 29491 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30361 29491 1111 63 0 30298 0
vsize: 121444
[startup+910.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 147206 0 0 0 90693 317 0 0 25 0 1 0 700753214 124727296 29581 4294967295 134512640 134714508 3221221776 3221220352 134535837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30451 29581 1111 63 0 30388 0
vsize: 121804
[startup+920.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 147690 0 0 0 91692 318 0 0 25 0 1 0 700753214 125087744 29670 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30539 29670 1111 63 0 30476 0
vsize: 122156
[startup+930.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 148149 0 0 0 92692 319 0 0 25 0 1 0 700753214 125423616 29757 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30621 29757 1111 63 0 30558 0
vsize: 122484
[startup+940.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 148495 0 0 0 93691 320 0 0 25 0 1 0 700753214 125259776 29708 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30581 29708 1111 63 0 30518 0
vsize: 122324
[startup+950.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 148976 0 0 0 94690 321 0 0 25 0 1 0 700753214 125607936 29794 4294967295 134512640 134714508 3221221776 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30666 29794 1111 63 0 30603 0
vsize: 122664
[startup+960.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 149456 0 0 0 95690 321 0 0 25 0 1 0 700753214 125956096 29878 4294967295 134512640 134714508 3221221776 3221220192 134542677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30751 29878 1111 63 0 30688 0
vsize: 123004
[startup+970.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 149933 0 0 0 96689 322 0 0 25 0 1 0 700753214 126701568 30058 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30933 30058 1111 63 0 30870 0
vsize: 123732
[startup+980.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 150412 0 0 0 97688 323 0 0 25 0 1 0 700753214 127041536 30141 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31016 30141 1111 63 0 30953 0
vsize: 124064
[startup+990.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 151684 0 0 0 98686 325 0 0 25 0 1 0 700753214 127385600 30225 4294967295 134512640 134714508 3221221776 3221220388 134529151 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31100 30225 1111 63 0 31037 0
vsize: 124400
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 151970 0 0 0 99686 326 0 0 25 0 1 0 700753214 127385600 30257 4294967295 134512640 134714508 3221221776 3221220188 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31100 30257 1111 63 0 31037 0
vsize: 124400
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 152322 0 0 0 100686 326 0 0 25 0 1 0 700753214 127496192 30284 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31127 30284 1111 63 0 31064 0
vsize: 124508
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 152796 0 0 0 101684 328 0 0 25 0 1 0 700753214 128352256 30461 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31336 30461 1111 63 0 31273 0
vsize: 125344
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 153271 0 0 0 102684 328 0 0 25 0 1 0 700753214 128675840 30540 4294967295 134512640 134714508 3221221776 3221220352 134523971 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31415 30540 1111 63 0 31352 0
vsize: 125660
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 153838 0 0 0 103683 329 0 0 25 0 1 0 700753214 129265664 30711 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31559 30711 1111 63 0 31496 0
vsize: 126236
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 154286 0 0 0 104682 330 0 0 25 0 1 0 700753214 129466368 30765 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31608 30765 1111 63 0 31545 0
vsize: 126432
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 154743 0 0 0 105680 331 0 0 25 0 1 0 700753214 129716224 30826 4294967295 134512640 134714508 3221221776 3221220140 134539251 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31669 30826 1111 63 0 31606 0
vsize: 126676
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 155210 0 0 0 106680 332 0 0 25 0 1 0 700753214 130420736 30996 4294967295 134512640 134714508 3221221776 3221220280 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31841 30996 1111 63 0 31778 0
vsize: 127364
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 155844 0 0 0 107678 334 0 0 25 0 1 0 700753214 131043328 31073 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31993 31073 1111 63 0 31930 0
vsize: 127972
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 156096 0 0 0 108678 334 0 0 25 0 1 0 700753214 130797568 31040 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31933 31040 1111 63 0 31870 0
vsize: 127732
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 156560 0 0 0 109677 335 0 0 25 0 1 0 700753214 131493888 31208 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32103 31208 1111 63 0 32040 0
vsize: 128412
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 157025 0 0 0 110676 336 0 0 25 0 1 0 700753214 131772416 31277 4294967295 134512640 134714508 3221221776 3221220240 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32171 31277 1111 63 0 32108 0
vsize: 128684
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 157359 0 0 0 111676 336 0 0 25 0 1 0 700753214 131543040 31223 4294967295 134512640 134714508 3221221776 3221220140 134539306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32115 31223 1111 63 0 32052 0
vsize: 128460
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 157814 0 0 0 112675 337 0 0 25 0 1 0 700753214 132321280 31381 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32305 31381 1111 63 0 32242 0
vsize: 129220
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 158905 0 0 0 113673 340 0 0 25 0 1 0 700753214 132464640 31448 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32340 31448 1111 63 0 32277 0
vsize: 129360
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 159130 0 0 0 114673 340 0 0 25 0 1 0 700753214 132329472 31415 4294967295 134512640 134714508 3221221776 3221220304 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32307 31415 1111 63 0 32244 0
vsize: 129228
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 159586 0 0 0 115672 341 0 0 25 0 1 0 700753214 133017600 31575 4294967295 134512640 134714508 3221221776 3221220256 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32475 31575 1111 63 0 32412 0
vsize: 129900
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 160045 0 0 0 116671 342 0 0 25 0 1 0 700753214 133275648 31638 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32538 31638 1111 63 0 32475 0
vsize: 130152
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 160194 0 0 0 117671 342 0 0 25 0 1 0 700753214 133320704 31657 4294967295 134512640 134714508 3221221776 3221220304 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32549 31657 1111 63 0 32486 0
vsize: 130196
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 160412 0 0 0 118670 343 0 0 25 0 1 0 700753214 133705728 31735 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32643 31735 1111 63 0 32580 0
vsize: 130572
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) R 28001 7876 7672 0 -1 0 161476 0 0 0 119668 346 0 0 25 0 1 0 700753214 133476352 31695 4294967295 134512640 134714508 3221221776 3221220336 134588000 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32587 31695 1111 63 0 32524 0
vsize: 130348
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 28002
Raw data (stat): 28002 (bsolo_lpr_cuts) Z 28001 7876 7672 0 -1 1036 161476 0 0 0 119668 352 0 0 25 0 1 0 700753214 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.08
CPU time (s): 1200.21
CPU user time (s): 1196.69
CPU system time (s): 3.52046
CPU usage (%): 100.01
Max. virtual memory (Kb): 130572
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####