PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ar.opb
MD5SUM	978e3479aff123296d0a3461e698e01d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	14101
Biggest coefficient in the objective function	292878668
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	975388850291
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	292878668
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	975388850291
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	10.9833
Number of variables	14101
Total number of constraints	15862
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15263
Number of constraints which are nor clauses,nor cardinality constraints	418
Minimum length of a constraint	1
Maximum length of a constraint	2463
Trace number 25183

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 09:14:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20230 boxname=wulflinc31 idbench=1557 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  978e3479aff123296d0a3461e698e01d  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ar.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ar.opb
IDLAUNCH: 20230
/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:        705008 kB
Buffers:         22992 kB
Cached:         278500 kB
SwapCached:       1040 kB
Active:          89092 kB
Inactive:       220492 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        704756 kB
SwapTotal:     2097892 kB
SwapFree:      2096060 kB
Dirty:             248 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14380 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 09:34:49 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 20230 7 1200.35 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 14101 variables and 1739 constraints.
c After prepocess the problem consists of 14099 variables and 1639 constraints.
c preprocess terminated 293.936 s
c Initial Lower Bound: 2041136373
c Lower Bound Elapsed time: 46.9462
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -561589196 @ 494.576
c NEW SOLUTION FOUND: -572563236 @ 494.59
c NEW SOLUTION FOUND: -2133666157 @ 494.733
#### 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): 1.04 1.01 0.99 2/55 24880
Raw data (stat): 24880 (runsolver) R 24879 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 768570777 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.0003 s]
Raw data (loadavg): 1.03 1.01 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 19775 0 0 0 958 38 0 0 25 0 1 0 768570777 93880320 19698 4294967295 134512640 134714508 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22920 19698 1111 63 0 22857 0
vsize: 91680
[startup+20.001 s]
Raw data (loadavg): 1.02 1.01 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 39633 0 0 0 1923 73 0 0 25 0 1 0 768570777 175222784 39556 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42779 39556 1111 63 0 42716 0
vsize: 171116
[startup+30.002 s]
Raw data (loadavg): 1.02 1.01 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 59422 0 0 0 2886 111 0 0 25 0 1 0 768570777 256290816 59345 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62571 59345 1111 63 0 62508 0
vsize: 250284
[startup+40.0032 s]
Raw data (loadavg): 1.02 1.01 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 78803 0 0 0 3850 147 0 0 25 0 1 0 768570777 335724544 78726 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81964 78726 1111 63 0 81901 0
vsize: 327856
[startup+50.004 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 86936 0 0 0 4835 162 0 0 25 0 1 0 768570777 369016832 86859 4294967295 134512640 134714508 3221221776 3221218372 1076999584 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90092 86859 1111 63 0 90029 0
vsize: 360368
[startup+60.0037 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 87874 0 0 0 5832 164 0 0 25 0 1 0 768570777 372809728 87797 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 91018 87797 1111 63 0 90955 0
vsize: 364072
[startup+70.0049 s]
Raw data (loadavg): 1.01 1.01 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 88871 0 0 0 6828 168 0 0 25 0 1 0 768570777 376881152 88794 4294967295 134512640 134714508 3221221776 3221218540 1077196327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92012 88794 1111 63 0 91949 0
vsize: 368048
[startup+80.0056 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 89904 0 0 0 7826 170 0 0 25 0 1 0 768570777 381087744 89827 4294967295 134512640 134714508 3221221776 3221220272 134539146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93039 89827 1111 63 0 92976 0
vsize: 372156
[startup+90.0065 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 91035 0 0 0 8821 174 0 0 25 0 1 0 768570777 385826816 90958 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94196 90958 1111 63 0 94133 0
vsize: 376784
[startup+100.007 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 92962 0 0 0 9817 179 0 0 25 0 1 0 768570777 383979520 92810 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93745 92810 1111 63 0 93682 0
vsize: 374980
[startup+110.007 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 93098 0 0 0 10817 179 0 0 25 0 1 0 768570777 384520192 92946 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93877 92946 1111 63 0 93814 0
vsize: 375508
[startup+120.008 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 93211 0 0 0 11816 180 0 0 25 0 1 0 768570777 385060864 93059 4294967295 134512640 134714508 3221221776 3221220220 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94009 93059 1111 63 0 93946 0
vsize: 376036
[startup+130.008 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 93313 0 0 0 12816 180 0 0 25 0 1 0 768570777 385466368 93161 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94108 93161 1111 63 0 94045 0
vsize: 376432
[startup+140.009 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 93450 0 0 0 13815 181 0 0 25 0 1 0 768570777 386007040 93298 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94240 93298 1111 63 0 94177 0
vsize: 376960
[startup+150.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 93585 0 0 0 14815 182 0 0 25 0 1 0 768570777 386551808 93433 4294967295 134512640 134714508 3221221776 3221220220 134536820 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94373 93433 1111 63 0 94310 0
vsize: 377492
[startup+160.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 93719 0 0 0 15815 182 0 0 25 0 1 0 768570777 387092480 93567 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94505 93567 1111 63 0 94442 0
vsize: 378020
[startup+170.011 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 93845 0 0 0 16814 182 0 0 25 0 1 0 768570777 387633152 93693 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94637 93693 1111 63 0 94574 0
vsize: 378548
[startup+180.011 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 93972 0 0 0 17814 183 0 0 25 0 1 0 768570777 388173824 93820 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94769 93820 1111 63 0 94706 0
vsize: 379076
[startup+190.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 94110 0 0 0 18813 184 0 0 25 0 1 0 768570777 388714496 93958 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94901 93958 1111 63 0 94838 0
vsize: 379604
[startup+200.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 94186 0 0 0 19813 184 0 0 25 0 1 0 768570777 388984832 94034 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94967 94034 1111 63 0 94904 0
vsize: 379868
[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 94269 0 0 0 20813 184 0 0 25 0 1 0 768570777 389390336 94117 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95066 94117 1111 63 0 95003 0
vsize: 380264
[startup+220.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 94398 0 0 0 21813 185 0 0 25 0 1 0 768570777 389931008 94246 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95198 94246 1111 63 0 95135 0
vsize: 380792
[startup+230.013 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 94543 0 0 0 22813 185 0 0 25 0 1 0 768570777 390471680 94391 4294967295 134512640 134714508 3221221776 3221220240 134543035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95330 94391 1111 63 0 95267 0
vsize: 381320
[startup+240.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 94659 0 0 0 23813 185 0 0 25 0 1 0 768570777 391012352 94507 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95462 94507 1111 63 0 95399 0
vsize: 381848
[startup+250.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 94664 0 0 0 24813 185 0 0 25 0 1 0 768570777 391012352 94512 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95462 94512 1111 63 0 95399 0
vsize: 381848
[startup+260.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 94668 0 0 0 25813 186 0 0 25 0 1 0 768570777 391012352 94516 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95462 94516 1111 63 0 95399 0
vsize: 381848
[startup+270.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 94672 0 0 0 26813 186 0 0 25 0 1 0 768570777 391012352 94520 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95462 94520 1111 63 0 95399 0
vsize: 381848
[startup+280.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 94676 0 0 0 27813 186 0 0 25 0 1 0 768570777 391012352 94524 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95462 94524 1111 63 0 95399 0
vsize: 381848
[startup+290.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 94681 0 0 0 28814 186 0 0 25 0 1 0 768570777 391012352 94529 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95462 94529 1111 63 0 95399 0
vsize: 381848
[startup+300.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 96232 0 0 0 29809 190 0 0 25 0 1 0 768570777 396787712 95940 4294967295 134512640 134714508 3221221776 3221206880 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96872 95940 1111 63 0 96809 0
vsize: 387488
[startup+310.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 96328 0 0 0 30808 191 0 0 25 0 1 0 768570777 397176832 96036 4294967295 134512640 134714508 3221221776 3221219984 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96967 96036 1111 63 0 96904 0
vsize: 387868
[startup+320.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 96351 0 0 0 31808 191 0 0 25 0 1 0 768570777 397271040 96059 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96990 96059 1111 63 0 96927 0
vsize: 387960
[startup+330.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 101000 0 0 0 32798 201 0 0 25 0 1 0 768570777 405798912 98083 4294967295 134512640 134714508 3221221776 3221217768 1074950210 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99072 98083 1111 63 0 99009 0
vsize: 396288
[startup+340.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 101003 0 0 0 33798 201 0 0 25 0 1 0 768570777 405798912 98086 4294967295 134512640 134714508 3221221776 3221217660 1074860811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99072 98086 1111 63 0 99009 0
vsize: 396288
[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 104733 0 0 0 34790 210 0 0 25 0 1 0 768570777 398348288 96432 4294967295 134512640 134714508 3221221776 3221220160 134606848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97253 96432 1111 63 0 97190 0
vsize: 389012
[startup+360.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 105292 0 0 0 35788 213 0 0 25 0 1 0 768570777 398753792 96514 4294967295 134512640 134714508 3221221776 3221220224 134647035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97352 96514 1111 63 0 97289 0
vsize: 389408
[startup+370.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 106068 0 0 0 36785 215 0 0 25 0 1 0 768570777 398925824 96588 4294967295 134512640 134714508 3221221776 3221220224 134648130 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97394 96588 1111 63 0 97331 0
vsize: 389576
[startup+380.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 110785 0 0 0 37774 226 0 0 25 0 1 0 768570777 406933504 98445 4294967295 134512640 134714508 3221221776 3221217660 1074860632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99349 98445 1111 63 0 99286 0
vsize: 397396
[startup+390.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 114340 0 0 0 38767 234 0 0 25 0 1 0 768570777 399716352 96752 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97587 96752 1111 63 0 97524 0
vsize: 390348
[startup+400.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 114340 0 0 0 39767 234 0 0 25 0 1 0 768570777 399716352 96752 4294967295 134512640 134714508 3221221776 3221220224 134648141 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97587 96752 1111 63 0 97524 0
vsize: 390348
[startup+410.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 115909 0 0 0 40764 237 0 0 25 0 1 0 768570777 406061056 98242 4294967295 134512640 134714508 3221221776 3221219656 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99136 98244 1111 63 0 99073 0
vsize: 396544
[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 118915 0 0 0 41758 243 0 0 25 0 1 0 768570777 407482368 98543 4294967295 134512640 134714508 3221221776 3221218012 1075114835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99483 98543 1111 63 0 99420 0
vsize: 397932
[startup+430.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 122590 0 0 0 42751 251 0 0 25 0 1 0 768570777 399831040 96791 4294967295 134512640 134714508 3221221776 3221219848 1074950119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97615 96791 1111 63 0 97552 0
vsize: 390460
[startup+440.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 122604 0 0 0 43751 251 0 0 25 0 1 0 768570777 399831040 96805 4294967295 134512640 134714508 3221221776 3221220224 134648533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97615 96805 1111 63 0 97552 0
vsize: 390460
[startup+450.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 127130 0 0 0 44741 261 0 0 25 0 1 0 768570777 407543808 98551 4294967295 134512640 134714508 3221221776 3221218736 1075860096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99498 98551 1111 63 0 99435 0
vsize: 397992
[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 130814 0 0 0 45734 268 0 0 25 0 1 0 768570777 399908864 96816 4294967295 134512640 134714508 3221221776 3221220224 134647068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97634 96816 1111 63 0 97571 0
vsize: 390536
[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 130814 0 0 0 46734 269 0 0 25 0 1 0 768570777 399908864 96816 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97634 96816 1111 63 0 97571 0
vsize: 390536
[startup+480.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 130814 0 0 0 47734 269 0 0 25 0 1 0 768570777 399908864 96816 4294967295 134512640 134714508 3221221776 3221220224 134647065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97634 96816 1111 63 0 97571 0
vsize: 390536
[startup+490.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 130814 0 0 0 48734 269 0 0 25 0 1 0 768570777 399908864 96816 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97634 96816 1111 63 0 97571 0
vsize: 390536
[startup+500.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 153250 0 0 0 49686 317 0 0 25 0 1 0 768570777 397275136 95996 4294967295 134512640 134714508 3221221776 3221219504 1075828232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96991 96001 1111 63 0 96928 0
vsize: 387964
[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 183894 0 0 0 50619 384 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220128 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 207797 0 0 0 51568 435 0 0 25 0 1 0 768570777 397398016 96191 4294967295 134512640 134714508 3221221776 3221220176 1074118870 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97021 96191 1111 63 0 96958 0
vsize: 388084
[startup+530.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 227660 0 0 0 52528 475 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220416 1076647565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+540.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 245094 0 0 0 53491 513 0 0 25 0 1 0 768570777 396484608 95998 4294967295 134512640 134714508 3221221776 3221219504 1075635436 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96798 95998 1111 63 0 96735 0
vsize: 387192
[startup+550.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 261126 0 0 0 54456 548 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220040 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 275624 0 0 0 55426 578 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220032 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 289179 0 0 0 56397 607 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+580.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 302016 0 0 0 57369 636 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+590.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 314525 0 0 0 58341 663 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+600.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 326680 0 0 0 59316 689 0 0 25 0 1 0 768570777 396857344 96051 4294967295 134512640 134714508 3221221776 3221220128 1074115331 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96889 96055 1111 63 0 96826 0
vsize: 387556
[startup+610.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 338512 0 0 0 60290 714 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221219928 1074138153 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+620.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 348926 0 0 0 61266 739 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220040 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+630.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 359344 0 0 0 62244 762 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220032 1074153812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 369158 0 0 0 63221 785 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220064 1074153669 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+650.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 379598 0 0 0 64198 808 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221219976 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+660.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 389503 0 0 0 65176 830 0 0 25 0 1 0 768570777 398295040 96192 4294967295 134512640 134714508 3221221776 3221218764 1077404742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97240 96193 1111 63 0 97177 0
vsize: 388960
[startup+670.039 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 398530 0 0 0 66156 850 0 0 25 0 1 0 768570777 396247040 95940 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+680.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 408058 0 0 0 67136 870 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221219992 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+690.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 417227 0 0 0 68117 889 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+700.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 426272 0 0 0 69097 910 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+710.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 435243 0 0 0 70077 930 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+720.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 443475 0 0 0 71058 949 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221219880 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+730.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 451740 0 0 0 72041 967 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 460020 0 0 0 73020 987 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221219328 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 468022 0 0 0 74002 1006 0 0 25 0 1 0 768570777 397295616 96174 4294967295 134512640 134714508 3221221776 3221220176 1074118806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96996 96174 1111 63 0 96933 0
vsize: 387984
[startup+760.043 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 476060 0 0 0 74984 1024 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220040 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+770.044 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 483561 0 0 0 75967 1041 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+780.045 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 491067 0 0 0 76948 1060 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220160 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+790.045 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 498071 0 0 0 77932 1077 0 0 25 0 1 0 768570777 396709888 96033 4294967295 134512640 134714508 3221221776 3221219776 1074913787 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96853 96033 1111 63 0 96790 0
vsize: 387412
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 505461 0 0 0 78916 1093 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220112 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 512408 0 0 0 79902 1107 0 0 25 0 1 0 768570777 396247040 95940 4294967295 134512640 134714508 3221221776 3221219968 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+820.046 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 519420 0 0 0 80886 1123 0 0 25 0 1 0 768570777 397676544 96028 4294967295 134512640 134714508 3221221776 3221219912 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97089 96028 1111 63 0 97026 0
vsize: 388356
[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 526560 0 0 0 81870 1140 0 0 25 0 1 0 768570777 397811712 96195 4294967295 134512640 134714508 3221221776 3221218880 1074138952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97122 96200 1111 63 0 97059 0
vsize: 388488
[startup+840.046 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 533095 0 0 0 82857 1152 0 0 25 0 1 0 768570777 396247040 95940 4294967295 134512640 134714508 3221221776 3221220112 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+850.047 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 539889 0 0 0 83841 1168 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221219880 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+860.047 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 546694 0 0 0 84826 1184 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+870.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 552915 0 0 0 85811 1199 0 0 25 0 1 0 768570777 396247040 95940 4294967295 134512640 134714508 3221221776 3221219992 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+880.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 559383 0 0 0 86796 1214 0 0 25 0 1 0 768570777 397615104 96152 4294967295 134512640 134714508 3221221776 3221218888 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97074 96152 1111 63 0 97011 0
vsize: 388296
[startup+890.049 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 565960 0 0 0 87780 1231 0 0 25 0 1 0 768570777 396222464 95794 4294967295 134512640 134714508 3221221776 3221219776 1074056195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95801 1111 63 0 96671 0
vsize: 386936
[startup+900.049 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 572070 0 0 0 88768 1243 0 0 25 0 1 0 768570777 396623872 96009 4294967295 134512640 134714508 3221221776 3221220176 1074118806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96832 96009 1111 63 0 96769 0
vsize: 387328
[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 577861 0 0 0 89753 1258 0 0 25 0 1 0 768570777 397647872 96097 4294967295 134512640 134714508 3221221776 3221219696 1075799732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97082 96097 1111 63 0 97019 0
vsize: 388328
[startup+920.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 583821 0 0 0 90738 1273 0 0 25 0 1 0 768570777 396247040 95940 4294967295 134512640 134714508 3221221776 3221219712 1074052227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+930.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 589933 0 0 0 91725 1286 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+940.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 595406 0 0 0 92713 1298 0 0 25 0 1 0 768570777 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+950.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 601580 0 0 0 93700 1311 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 607108 0 0 0 94689 1323 0 0 25 0 1 0 768570777 396247040 95940 4294967295 134512640 134714508 3221221776 3221220016 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+970.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 612650 0 0 0 95677 1335 0 0 25 0 1 0 768570777 396247040 95940 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+980.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 618345 0 0 0 96665 1348 0 0 25 0 1 0 768570777 397668352 96101 4294967295 134512640 134714508 3221221776 3221219504 1075828201 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97087 96101 1111 63 0 97024 0
vsize: 388348
[startup+990.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 623876 0 0 0 97653 1359 0 0 25 0 1 0 768570777 396849152 96055 4294967295 134512640 134714508 3221221776 3221220056 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96887 96055 1111 63 0 96824 0
vsize: 387548
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 629208 0 0 0 98642 1371 0 0 25 0 1 0 768570777 396247040 95940 4294967295 134512640 134714508 3221221776 3221220072 1074138144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 634705 0 0 0 99628 1384 0 0 25 0 1 0 768570777 396247040 95940 4294967295 134512640 134714508 3221221776 3221220256 134650104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 640403 0 0 0 100615 1398 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220136 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 645939 0 0 0 101603 1410 0 0 25 0 1 0 768570777 396435456 95986 4294967295 134512640 134714508 3221221776 3221220192 1074116190 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96786 95986 1111 63 0 96723 0
vsize: 387144
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 651376 0 0 0 102591 1422 0 0 25 0 1 0 768570777 396247040 95940 4294967295 134512640 134714508 3221221776 3221219968 1074153815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 656873 0 0 0 103578 1436 0 0 25 0 1 0 768570777 397205504 96153 4294967295 134512640 134714508 3221221776 3221220176 1074118790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96974 96153 1111 63 0 96911 0
vsize: 387896
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 662308 0 0 0 104566 1448 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220072 1074138153 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 667449 0 0 0 105554 1460 0 0 25 0 1 0 768570777 396247040 95940 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 672752 0 0 0 106541 1473 0 0 25 0 1 0 768570777 396886016 96064 4294967295 134512640 134714508 3221221776 3221220080 1074138465 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96896 96065 1111 63 0 96833 0
vsize: 387584
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 678355 0 0 0 107528 1486 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221219968 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 683437 0 0 0 108517 1497 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220128 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 688522 0 0 0 109505 1509 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221219968 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 693632 0 0 0 110493 1522 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 698745 0 0 0 111483 1532 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220040 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 703888 0 0 0 112471 1544 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220016 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 708986 0 0 0 113459 1556 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221220040 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 713922 0 0 0 114448 1567 0 0 25 0 1 0 768570777 397803520 96094 4294967295 134512640 134714508 3221221776 3221218680 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97120 96094 1111 63 0 97057 0
vsize: 388480
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 718951 0 0 0 115438 1578 0 0 25 0 1 0 768570777 398577664 96264 4294967295 134512640 134714508 3221221776 3221218680 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 97309 96264 1111 63 0 97246 0
vsize: 389236
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 723659 0 0 0 116426 1590 0 0 25 0 1 0 768570777 396247040 95940 4294967295 134512640 134714508 3221221776 3221220064 1074153753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96740 95940 1111 63 0 96677 0
vsize: 386960
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 728740 0 0 0 117415 1601 0 0 25 0 1 0 768570777 396222464 95934 4294967295 134512640 134714508 3221221776 3221219984 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96734 95934 1111 63 0 96671 0
vsize: 386936
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) R 24879 7876 7672 0 -1 0 733351 0 0 0 118405 1611 0 0 25 0 1 0 768570777 396906496 96089 4294967295 134512640 134714508 3221221776 3221219776 1074918496 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96901 96089 1111 63 0 96838 0
vsize: 387604
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.24 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 24880
Raw data (stat): 24880 (bsolo_lpr_cuts) Z 24879 7876 7672 0 -1 1036 733351 0 0 0 118406 1629 0 0 25 0 1 0 768570777 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.24
CPU time (s): 1200.35
CPU user time (s): 1184.06
CPU system time (s): 16.2905
CPU usage (%): 100.009
Max. virtual memory (Kb): 397992
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####