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-038.opb
MD5SUM	47daf5749c77d7eb7d5d94fe2374f355
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1448
Optimality of the best value was proved	NO
Number of terms in the objective function	3002
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	3002
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	3002
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.05184
Number of variables	3002
Total number of constraints	5076
Number of constraints which are clauses	5076
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	6
Trace number 24273

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 07:32:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2036 boxname=wulflinc31 idbench=227 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  47daf5749c77d7eb7d5d94fe2374f355  /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-038.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-038.opb
IDLAUNCH: 2036
/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:        139336 kB
Buffers:         43752 kB
Cached:         817028 kB
SwapCached:        644 kB
Active:         489928 kB
Inactive:       373136 kB
HighTotal:      131008 kB
HighFree:         1484 kB
LowTotal:       903652 kB
LowFree:        137852 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26484 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 07:52:04 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 2036 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3002 variables and 5076 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.91 0.95 0.98 2/54 26583
Raw data (stat): 26583 (runsolver) R 26582 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 698826245 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.95 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 11837 0 0 0 967 28 0 0 25 0 1 0 698826245 29941760 6433 4294967295 134512640 134714508 3221221776 3221220240 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7310 6433 1111 63 0 7247 0
vsize: 29240
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 20782 0 0 0 1949 47 0 0 25 0 1 0 698826245 39636992 8832 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9677 8832 1111 63 0 9614 0
vsize: 38708
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 24486 0 0 0 2940 56 0 0 25 0 1 0 698826245 43438080 9757 4294967295 134512640 134714508 3221221776 3221220376 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10605 9757 1111 63 0 10542 0
vsize: 42420
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 27339 0 0 0 3934 62 0 0 25 0 1 0 698826245 48140288 10876 4294967295 134512640 134714508 3221221776 3221220336 134535795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11753 10876 1111 63 0 11690 0
vsize: 47012
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 29295 0 0 0 4930 66 0 0 25 0 1 0 698826245 52105216 11876 4294967295 134512640 134714508 3221221776 3221220304 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12721 11876 1111 63 0 12658 0
vsize: 50884
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 30534 0 0 0 5927 69 0 0 25 0 1 0 698826245 55115776 12602 4294967295 134512640 134714508 3221221776 3221220400 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13456 12602 1111 63 0 13393 0
vsize: 53824
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 31913 0 0 0 6924 73 0 0 25 0 1 0 698826245 57860096 13268 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14126 13268 1111 63 0 14063 0
vsize: 56504
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 33047 0 0 0 7923 74 0 0 25 0 1 0 698826245 60592128 13936 4294967295 134512640 134714508 3221221776 3221220256 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14793 13936 1111 63 0 14730 0
vsize: 59172
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 34054 0 0 0 8920 77 0 0 25 0 1 0 698826245 63291392 14587 4294967295 134512640 134714508 3221221776 3221220240 134542312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15452 14587 1111 63 0 15389 0
vsize: 61808
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 34937 0 0 0 9918 79 0 0 25 0 1 0 698826245 65609728 15141 4294967295 134512640 134714508 3221221776 3221220256 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16018 15141 1111 63 0 15955 0
vsize: 64072
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 38663 0 0 0 10909 88 0 0 25 0 1 0 698826245 69943296 16231 4294967295 134512640 134714508 3221221776 3221220236 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17076 16231 1111 63 0 17013 0
vsize: 68304
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 38663 0 0 0 11910 88 0 0 25 0 1 0 698826245 69943296 16231 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17076 16231 1111 63 0 17013 0
vsize: 68304
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 38727 0 0 0 12910 88 0 0 25 0 1 0 698826245 70217728 16295 4294967295 134512640 134714508 3221221776 3221220352 134523974 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17143 16295 1111 63 0 17080 0
vsize: 68572
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 39813 0 0 0 13908 90 0 0 25 0 1 0 698826245 72396800 16773 4294967295 134512640 134714508 3221221776 3221220304 134542851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17675 16773 1111 63 0 17612 0
vsize: 70700
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 40544 0 0 0 14907 92 0 0 25 0 1 0 698826245 73940992 17151 4294967295 134512640 134714508 3221221776 3221220352 134523971 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18052 17151 1111 63 0 17989 0
vsize: 72208
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 41263 0 0 0 15905 93 0 0 25 0 1 0 698826245 75726848 17601 4294967295 134512640 134714508 3221221776 3221220256 134542359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18488 17601 1111 63 0 18425 0
vsize: 73952
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 42037 0 0 0 16904 95 0 0 25 0 1 0 698826245 77029376 17939 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18806 17939 1111 63 0 18743 0
vsize: 75224
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 42610 0 0 0 17902 96 0 0 25 0 1 0 698826245 78774272 18333 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19232 18333 1111 63 0 19169 0
vsize: 76928
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 43374 0 0 0 18901 98 0 0 25 0 1 0 698826245 80236544 18691 4294967295 134512640 134714508 3221221776 3221220220 134536773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19589 18691 1111 63 0 19526 0
vsize: 78356
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 43931 0 0 0 19900 100 0 0 25 0 1 0 698826245 81571840 19040 4294967295 134512640 134714508 3221221776 3221220240 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19915 19040 1111 63 0 19852 0
vsize: 79660
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 44533 0 0 0 20899 101 0 0 25 0 1 0 698826245 82804736 19350 4294967295 134512640 134714508 3221221776 3221220132 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19350 1111 63 0 20153 0
vsize: 80864
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 45139 0 0 0 21897 102 0 0 25 0 1 0 698826245 84426752 19724 4294967295 134512640 134714508 3221221776 3221220352 134523971 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20612 19724 1111 63 0 20549 0
vsize: 82448
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 45863 0 0 0 22896 103 0 0 25 0 1 0 698826245 85536768 19989 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20883 19989 1111 63 0 20820 0
vsize: 83532
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 46372 0 0 0 23895 105 0 0 25 0 1 0 698826245 86589440 20247 4294967295 134512640 134714508 3221221776 3221220304 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21140 20247 1111 63 0 21077 0
vsize: 84560
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 47251 0 0 0 24893 107 0 0 25 0 1 0 698826245 87699456 20515 4294967295 134512640 134714508 3221221776 3221220304 134543728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21411 20515 1111 63 0 21348 0
vsize: 85644
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 47782 0 0 0 25892 108 0 0 25 0 1 0 698826245 89010176 20838 4294967295 134512640 134714508 3221221776 3221220400 134529410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21731 20838 1111 63 0 21668 0
vsize: 86924
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 48219 0 0 0 26892 109 0 0 25 0 1 0 698826245 89653248 21025 4294967295 134512640 134714508 3221221776 3221220504 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21888 21025 1111 63 0 21825 0
vsize: 87552
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 48664 0 0 0 27891 109 0 0 25 0 1 0 698826245 90271744 21177 4294967295 134512640 134714508 3221221776 3221220256 134524108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22039 21177 1111 63 0 21976 0
vsize: 88156
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 48965 0 0 0 28891 110 0 0 25 0 1 0 698826245 91258880 21389 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22280 21389 1111 63 0 22217 0
vsize: 89120
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 49386 0 0 0 29889 112 0 0 25 0 1 0 698826245 92110848 21626 4294967295 134512640 134714508 3221221776 3221220184 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22488 21626 1111 63 0 22425 0
vsize: 89952
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 49962 0 0 0 30889 112 0 0 25 0 1 0 698826245 93257728 21875 4294967295 134512640 134714508 3221221776 3221220416 134594989 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22768 21875 1111 63 0 22705 0
vsize: 91072
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 50546 0 0 0 31888 113 0 0 25 0 1 0 698826245 94220288 22112 4294967295 134512640 134714508 3221221776 3221220240 134542359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23003 22112 1111 63 0 22940 0
vsize: 92012
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 51188 0 0 0 32887 115 0 0 25 0 1 0 698826245 96006144 22546 4294967295 134512640 134714508 3221221776 3221220192 134543681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23439 22546 1111 63 0 23376 0
vsize: 93756
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 51763 0 0 0 33886 116 0 0 25 0 1 0 698826245 96817152 22775 4294967295 134512640 134714508 3221221776 3221220160 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23637 22775 1111 63 0 23574 0
vsize: 94548
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 52141 0 0 0 34885 117 0 0 25 0 1 0 698826245 97746944 23003 4294967295 134512640 134714508 3221221776 3221220160 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23864 23003 1111 63 0 23801 0
vsize: 95456
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 52484 0 0 0 35884 118 0 0 25 0 1 0 698826245 98668544 23227 4294967295 134512640 134714508 3221221776 3221220220 134542656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24089 23227 1111 63 0 24026 0
vsize: 96356
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 52854 0 0 0 36883 119 0 0 25 0 1 0 698826245 99569664 23449 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24309 23449 1111 63 0 24246 0
vsize: 97236
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 53255 0 0 0 37883 119 0 0 25 0 1 0 698826245 100601856 23670 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24561 23670 1111 63 0 24498 0
vsize: 98244
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 53616 0 0 0 38882 120 0 0 25 0 1 0 698826245 101224448 23854 4294967295 134512640 134714508 3221221776 3221220144 134542998 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24713 23854 1111 63 0 24650 0
vsize: 98852
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 54012 0 0 0 39881 122 0 0 25 0 1 0 698826245 102240256 24100 4294967295 134512640 134714508 3221221776 3221220376 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24961 24100 1111 63 0 24898 0
vsize: 99844
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 57981 0 0 0 40871 132 0 0 25 0 1 0 698826245 105160704 24816 4294967295 134512640 134714508 3221221776 3221220212 1077782939 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25674 24816 1111 63 0 25611 0
vsize: 102696
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 59776 0 0 0 41867 137 0 0 25 0 1 0 698826245 110018560 25979 4294967295 134512640 134714508 3221221776 3221220256 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26860 25979 1111 63 0 26797 0
vsize: 107440
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 59776 0 0 0 42867 137 0 0 25 0 1 0 698826245 110018560 25979 4294967295 134512640 134714508 3221221776 3221220108 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26860 25979 1111 63 0 26797 0
vsize: 107440
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 59776 0 0 0 43867 137 0 0 25 0 1 0 698826245 110018560 25979 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26860 25979 1111 63 0 26797 0
vsize: 107440
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 59777 0 0 0 44867 137 0 0 25 0 1 0 698826245 110018560 25980 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26860 25980 1111 63 0 26797 0
vsize: 107440
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 59777 0 0 0 45867 137 0 0 25 0 1 0 698826245 110018560 25980 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26860 25980 1111 63 0 26797 0
vsize: 107440
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 59777 0 0 0 46867 137 0 0 25 0 1 0 698826245 110018560 25980 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26860 25980 1111 63 0 26797 0
vsize: 107440
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 59783 0 0 0 47867 137 0 0 25 0 1 0 698826245 110018560 25986 4294967295 134512640 134714508 3221221776 3221220304 134528592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26860 25986 1111 63 0 26797 0
vsize: 107440
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 60237 0 0 0 48867 137 0 0 25 0 1 0 698826245 110764032 26186 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27042 26186 1111 63 0 26979 0
vsize: 108168
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 61811 0 0 0 49864 141 0 0 25 0 1 0 698826245 111521792 26349 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27227 26349 1111 63 0 27164 0
vsize: 108908
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 62371 0 0 0 50863 141 0 0 25 0 1 0 698826245 112205824 26539 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27394 26539 1111 63 0 27331 0
vsize: 109576
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 62875 0 0 0 51863 142 0 0 25 0 1 0 698826245 112861184 26673 4294967295 134512640 134714508 3221221776 3221220504 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27554 26673 1111 63 0 27491 0
vsize: 110216
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 65500 0 0 0 52857 148 0 0 25 0 1 0 698826245 113287168 26803 4294967295 134512640 134714508 3221221776 3221220176 134542689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27658 26803 1111 63 0 27595 0
vsize: 110632
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 66002 0 0 0 53856 149 0 0 25 0 1 0 698826245 113827840 26935 4294967295 134512640 134714508 3221221776 3221220244 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27790 26935 1111 63 0 27727 0
vsize: 111160
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 67075 0 0 0 54854 151 0 0 25 0 1 0 698826245 114798592 27149 4294967295 134512640 134714508 3221221776 3221220400 134529232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28027 27149 1111 63 0 27964 0
vsize: 112108
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 67628 0 0 0 55854 152 0 0 25 0 1 0 698826245 115474432 27333 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28192 27333 1111 63 0 28129 0
vsize: 112768
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 82671 0 0 0 56818 188 0 0 25 0 1 0 698826245 119894016 28417 4294967295 134512640 134714508 3221221776 3221220288 134543671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29271 28417 1111 63 0 29208 0
vsize: 117084
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 82671 0 0 0 57818 188 0 0 25 0 1 0 698826245 119894016 28417 4294967295 134512640 134714508 3221221776 3221220244 134536691 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29271 28417 1111 63 0 29208 0
vsize: 117084
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 82671 0 0 0 58818 188 0 0 25 0 1 0 698826245 119894016 28417 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29271 28417 1111 63 0 29208 0
vsize: 117084
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 82671 0 0 0 59818 188 0 0 25 0 1 0 698826245 119894016 28417 4294967295 134512640 134714508 3221221776 3221220400 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29271 28417 1111 63 0 29208 0
vsize: 117084
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 82671 0 0 0 60818 188 0 0 25 0 1 0 698826245 119894016 28417 4294967295 134512640 134714508 3221221776 3221220304 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29271 28417 1111 63 0 29208 0
vsize: 117084
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 82672 0 0 0 61819 188 0 0 25 0 1 0 698826245 119894016 28418 4294967295 134512640 134714508 3221221776 3221220256 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29271 28418 1111 63 0 29208 0
vsize: 117084
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 83728 0 0 0 62816 191 0 0 25 0 1 0 698826245 122593280 29077 4294967295 134512640 134714508 3221221776 3221220528 134630798 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29930 29077 1111 63 0 29867 0
vsize: 119720
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 83728 0 0 0 63816 191 0 0 25 0 1 0 698826245 122593280 29077 4294967295 134512640 134714508 3221221776 3221220376 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29930 29077 1111 63 0 29867 0
vsize: 119720
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 83728 0 0 0 64817 191 0 0 25 0 1 0 698826245 122593280 29077 4294967295 134512640 134714508 3221221776 3221220504 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29930 29077 1111 63 0 29867 0
vsize: 119720
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 83728 0 0 0 65817 191 0 0 25 0 1 0 698826245 122593280 29077 4294967295 134512640 134714508 3221221776 3221220256 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29930 29077 1111 63 0 29867 0
vsize: 119720
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 83729 0 0 0 66817 191 0 0 25 0 1 0 698826245 122593280 29078 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29930 29078 1111 63 0 29867 0
vsize: 119720
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 83964 0 0 0 67817 191 0 0 25 0 1 0 698826245 123154432 29189 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30067 29189 1111 63 0 30004 0
vsize: 120268
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 84407 0 0 0 68816 192 0 0 25 0 1 0 698826245 123166720 29218 4294967295 134512640 134714508 3221221776 3221220304 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30070 29218 1111 63 0 30007 0
vsize: 120280
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 84729 0 0 0 69815 193 0 0 25 0 1 0 698826245 124071936 29416 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30291 29416 1111 63 0 30228 0
vsize: 121164
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 86059 0 0 0 70812 196 0 0 25 0 1 0 698826245 124305408 29497 4294967295 134512640 134714508 3221221776 3221220448 1076647899 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30348 29497 1111 63 0 30285 0
vsize: 121392
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 86946 0 0 0 71810 199 0 0 25 0 1 0 698826245 124784640 29614 4294967295 134512640 134714508 3221221776 3221220256 134524108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30465 29614 1111 63 0 30402 0
vsize: 121860
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 87584 0 0 0 72808 201 0 0 25 0 1 0 698826245 125632512 29812 4294967295 134512640 134714508 3221221776 3221220264 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30672 29812 1111 63 0 30609 0
vsize: 122688
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 87906 0 0 0 73808 201 0 0 25 0 1 0 698826245 126050304 29918 4294967295 134512640 134714508 3221221776 3221220400 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30774 29918 1111 63 0 30711 0
vsize: 123096
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 88638 0 0 0 74807 203 0 0 25 0 1 0 698826245 126119936 29940 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30791 29940 1111 63 0 30728 0
vsize: 123164
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 88992 0 0 0 75807 203 0 0 25 0 1 0 698826245 126545920 30045 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30895 30045 1111 63 0 30832 0
vsize: 123580
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 89514 0 0 0 76806 204 0 0 25 0 1 0 698826245 127385600 30235 4294967295 134512640 134714508 3221221776 3221220312 134543665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31100 30235 1111 63 0 31037 0
vsize: 124400
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 90506 0 0 0 77804 206 0 0 25 0 1 0 698826245 127856640 30348 4294967295 134512640 134714508 3221221776 3221220256 134539567 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31215 30348 1111 63 0 31152 0
vsize: 124860
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 92766 0 0 0 78800 211 0 0 25 0 1 0 698826245 128417792 30479 4294967295 134512640 134714508 3221221776 3221220400 134529232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31352 30479 1111 63 0 31289 0
vsize: 125408
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 93232 0 0 0 79799 212 0 0 25 0 1 0 698826245 128344064 30462 4294967295 134512640 134714508 3221221776 3221220192 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31334 30462 1111 63 0 31271 0
vsize: 125336
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 94316 0 0 0 80796 215 0 0 25 0 1 0 698826245 129323008 30724 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31573 30724 1111 63 0 31510 0
vsize: 126292
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 94340 0 0 0 81796 215 0 0 25 0 1 0 698826245 129458176 30748 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31606 30748 1111 63 0 31543 0
vsize: 126424
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 95223 0 0 0 82795 216 0 0 25 0 1 0 698826245 129888256 30851 4294967295 134512640 134714508 3221221776 3221220240 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31711 30851 1111 63 0 31648 0
vsize: 126844
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 95757 0 0 0 83794 218 0 0 25 0 1 0 698826245 130142208 30907 4294967295 134512640 134714508 3221221776 3221220352 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31773 30907 1111 63 0 31710 0
vsize: 127092
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 97103 0 0 0 84791 221 0 0 25 0 1 0 698826245 130605056 31020 4294967295 134512640 134714508 3221221776 3221220264 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31886 31020 1111 63 0 31823 0
vsize: 127544
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 112987 0 0 0 85756 256 0 0 25 0 1 0 698826245 132685824 31545 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32394 31545 1111 63 0 32331 0
vsize: 129576
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 114962 0 0 0 86751 261 0 0 25 0 1 0 698826245 132685824 31545 4294967295 134512640 134714508 3221221776 3221220392 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32394 31545 1111 63 0 32331 0
vsize: 129576
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 114962 0 0 0 87751 261 0 0 25 0 1 0 698826245 132685824 31545 4294967295 134512640 134714508 3221221776 3221220336 134524129 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32394 31545 1111 63 0 32331 0
vsize: 129576
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 114962 0 0 0 88751 261 0 0 25 0 1 0 698826245 132685824 31545 4294967295 134512640 134714508 3221221776 3221220272 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32394 31545 1111 63 0 32331 0
vsize: 129576
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 114963 0 0 0 89751 261 0 0 25 0 1 0 698826245 132685824 31546 4294967295 134512640 134714508 3221221776 3221220384 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32394 31546 1111 63 0 32331 0
vsize: 129576
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 115201 0 0 0 90751 262 0 0 25 0 1 0 698826245 133107712 31629 4294967295 134512640 134714508 3221221776 3221220280 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32497 31629 1111 63 0 32434 0
vsize: 129988
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 115651 0 0 0 91750 263 0 0 25 0 1 0 698826245 133431296 31720 4294967295 134512640 134714508 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32576 31720 1111 63 0 32513 0
vsize: 130304
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 116106 0 0 0 92749 264 0 0 25 0 1 0 698826245 133787648 31809 4294967295 134512640 134714508 3221221776 3221220392 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32663 31809 1111 63 0 32600 0
vsize: 130652
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 116561 0 0 0 93748 265 0 0 25 0 1 0 698826245 134160384 31898 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32754 31898 1111 63 0 32691 0
vsize: 131016
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 117013 0 0 0 94747 266 0 0 25 0 1 0 698826245 134520832 31985 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32842 31985 1111 63 0 32779 0
vsize: 131368
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 117460 0 0 0 95747 267 0 0 25 0 1 0 698826245 134868992 32074 4294967295 134512640 134714508 3221221776 3221220256 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32927 32074 1111 63 0 32864 0
vsize: 131708
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 117912 0 0 0 96746 267 0 0 25 0 1 0 698826245 135221248 32160 4294967295 134512640 134714508 3221221776 3221220240 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33013 32160 1111 63 0 32950 0
vsize: 132052
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 118363 0 0 0 97745 269 0 0 25 0 1 0 698826245 135569408 32245 4294967295 134512640 134714508 3221221776 3221220504 134672911 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33098 32245 1111 63 0 33035 0
vsize: 132392
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 118718 0 0 0 98744 270 0 0 25 0 1 0 698826245 135499776 32234 4294967295 134512640 134714508 3221221776 3221220240 134536695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33081 32234 1111 63 0 33018 0
vsize: 132324
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 119167 0 0 0 99743 271 0 0 25 0 1 0 698826245 135839744 32317 4294967295 134512640 134714508 3221221776 3221220304 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33164 32317 1111 63 0 33101 0
vsize: 132656
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 120281 0 0 0 100741 274 0 0 25 0 1 0 698826245 136183808 32401 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33248 32401 1111 63 0 33185 0
vsize: 132992
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 120720 0 0 0 101740 275 0 0 25 0 1 0 698826245 136962048 32574 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33438 32574 1111 63 0 33375 0
vsize: 133752
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 121167 0 0 0 102739 276 0 0 25 0 1 0 698826245 137244672 32655 4294967295 134512640 134714508 3221221776 3221220256 134539353 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33507 32655 1111 63 0 33444 0
vsize: 134028
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 121473 0 0 0 103739 276 0 0 25 0 1 0 698826245 137576448 32734 4294967295 134512640 134714508 3221221776 3221220256 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33588 32734 1111 63 0 33525 0
vsize: 134352
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 121732 0 0 0 104738 277 0 0 25 0 1 0 698826245 137342976 32685 4294967295 134512640 134714508 3221221776 3221220256 134524108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33531 32685 1111 63 0 33468 0
vsize: 134124
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 122272 0 0 0 105737 279 0 0 25 0 1 0 698826245 138072064 32859 4294967295 134512640 134714508 3221221776 3221220256 134536624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33709 32859 1111 63 0 33646 0
vsize: 134836
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 122821 0 0 0 106735 280 0 0 25 0 1 0 698826245 139227136 33134 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33991 33134 1111 63 0 33928 0
vsize: 135964
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 123251 0 0 0 107735 281 0 0 25 0 1 0 698826245 139464704 33197 4294967295 134512640 134714508 3221221776 3221220340 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34049 33197 1111 63 0 33986 0
vsize: 136196
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 123690 0 0 0 108734 282 0 0 25 0 1 0 698826245 139767808 33269 4294967295 134512640 134714508 3221221776 3221220384 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34123 33269 1111 63 0 34060 0
vsize: 136492
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 123930 0 0 0 109734 282 0 0 25 0 1 0 698826245 140173312 33327 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34222 33327 1111 63 0 34159 0
vsize: 136888
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 124137 0 0 0 110733 283 0 0 25 0 1 0 698826245 140173312 33327 4294967295 134512640 134714508 3221221776 3221220280 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34222 33327 1111 63 0 34159 0
vsize: 136888
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 124561 0 0 0 111733 284 0 0 25 0 1 0 698826245 140861440 33480 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34390 33480 1111 63 0 34327 0
vsize: 137560
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 124997 0 0 0 112732 285 0 0 25 0 1 0 698826245 141131776 33550 4294967295 134512640 134714508 3221221776 3221220528 134630798 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34456 33550 1111 63 0 34393 0
vsize: 137824
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 125293 0 0 0 113732 285 0 0 25 0 1 0 698826245 140857344 33494 4294967295 134512640 134714508 3221221776 3221220304 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34389 33494 1111 63 0 34326 0
vsize: 137556
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 125636 0 0 0 114731 286 0 0 25 0 1 0 698826245 141553664 33654 4294967295 134512640 134714508 3221221776 3221220256 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34559 33654 1111 63 0 34496 0
vsize: 138236
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 125873 0 0 0 115730 287 0 0 25 0 1 0 698826245 141836288 33721 4294967295 134512640 134714508 3221221776 3221220240 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34628 33721 1111 63 0 34565 0
vsize: 138512
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 126164 0 0 0 116730 287 0 0 25 0 1 0 698826245 141664256 33691 4294967295 134512640 134714508 3221221776 3221220140 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34586 33691 1111 63 0 34523 0
vsize: 138344
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 126595 0 0 0 117729 288 0 0 25 0 1 0 698826245 142372864 33847 4294967295 134512640 134714508 3221221776 3221220288 134542968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34759 33847 1111 63 0 34696 0
vsize: 139036
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 127026 0 0 0 118729 289 0 0 25 0 1 0 698826245 142630912 33911 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34822 33911 1111 63 0 34759 0
vsize: 139288
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) R 26582 7876 7672 0 -1 0 127333 0 0 0 119728 290 0 0 25 0 1 0 698826245 142323712 33853 4294967295 134512640 134714508 3221221776 3221220220 134542656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34747 33853 1111 63 0 34684 0
vsize: 138988
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 26583
Raw data (stat): 26583 (bsolo_lpr_cuts) Z 26582 7876 7672 0 -1 1036 127333 0 0 0 119728 296 0 0 25 0 1 0 698826245 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.11
CPU time (s): 1200.25
CPU user time (s): 1197.29
CPU system time (s): 2.96555
CPU usage (%): 100.012
Max. virtual memory (Kb): 139288
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####