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/MIPLIB/miplib2003/normalized-mps-v2-13-7-mzzv42z.opb
MD5SUM	bc275113592d0f0914bb7f3c346a4153
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7060
Optimality of the best value was proved	NO
Number of terms in the objective function	714
Biggest coefficient in the objective function	559
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	66891
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1117
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	66891
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.05
Number of variables	12596
Total number of constraints	22177
Number of constraints which are clauses	4
Number of constraints which are cardinality constraints (but not clauses)	17162
Number of constraints which are nor clauses,nor cardinality constraints	5011
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 27273

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        906060 kB
Buffers:          1928 kB
Cached:         102308 kB
SwapCached:       3748 kB
Active:          15452 kB
Inactive:        94440 kB
HighTotal:      131008 kB
HighFree:        52556 kB
LowTotal:       903652 kB
LowFree:        853504 kB
SwapTotal:     2097136 kB
SwapFree:      2092924 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5744 kB
Slab:            12976 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 20:52:30 (client local time) WITH STATUS 0 IN 1200.4 SECONDS
stats: 17799 7 1200.4 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 12596 variables and 15189 constraints.
c After prepocess the problem consists of 11943 variables and 14113 constraints.
c preprocess terminated 359.544 s
#### 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.89 0.95 0.90 2/54 11979
Raw data (stat): 11979 (runsolver) R 11978 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774922518 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.91 0.95 0.90 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 68238 0 0 0 852 145 0 0 25 0 1 0 774922518 292704256 68162 4294967295 134512640 134714508 3221224592 3221221068 1077191800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71461 68162 1111 63 0 71398 0
vsize: 285844
[startup+20.0008 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 73919 0 0 0 1839 158 0 0 25 0 1 0 774922518 315899904 73843 4294967295 134512640 134714508 3221224592 3221222660 1077314242 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77124 73843 1111 63 0 77061 0
vsize: 308496
[startup+30.0016 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 109580 0 0 0 2756 240 0 0 25 0 1 0 774922518 452308992 109490 4294967295 134512640 134714508 3221224592 3221222980 134542296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110427 109490 1111 63 0 110364 0
vsize: 441708
[startup+40.0013 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 110798 0 0 0 3753 244 0 0 25 0 1 0 774922518 457146368 110703 4294967295 134512640 134714508 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111608 110703 1111 63 0 111545 0
vsize: 446432
[startup+50.0021 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 117798 0 0 0 4737 260 0 0 25 0 1 0 774922518 482402304 116862 4294967295 134512640 134714508 3221224592 3221223152 134535760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117774 116862 1111 63 0 117711 0
vsize: 471096
[startup+60.0019 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 117798 0 0 0 5737 261 0 0 25 0 1 0 774922518 482353152 116857 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117762 116857 1111 63 0 117699 0
vsize: 471048
[startup+70.0066 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 119144 0 0 0 6733 265 0 0 25 0 1 0 774922518 482353152 116857 4294967295 134512640 134714508 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117762 116857 1111 63 0 117699 0
vsize: 471048
[startup+80.0073 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 119144 0 0 0 7733 265 0 0 25 0 1 0 774922518 482353152 116857 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117762 116857 1111 63 0 117699 0
vsize: 471048
[startup+90.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 143043 0 0 0 8675 323 0 0 25 0 1 0 774922518 497975296 120671 4294967295 134512640 134714508 3221224592 3221223344 134630798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+100.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 151475 0 0 0 9654 344 0 0 25 0 1 0 774922518 501907456 121623 4294967295 134512640 134714508 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122536 121623 1111 63 0 122473 0
vsize: 490144
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 156409 0 0 0 10642 357 0 0 25 0 1 0 774922518 497975296 120671 4294967295 134512640 134714508 3221224592 3221222976 134542340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+120.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 156409 0 0 0 11642 357 0 0 25 0 1 0 774922518 497975296 120671 4294967295 134512640 134714508 3221224592 3221223080 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+130.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 156409 0 0 0 12642 357 0 0 25 0 1 0 774922518 497975296 120671 4294967295 134512640 134714508 3221224592 3221223152 134535760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+140.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 156409 0 0 0 13642 357 0 0 25 0 1 0 774922518 497975296 120671 4294967295 134512640 134714508 3221224592 3221223464 134615624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+150.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 156409 0 0 0 14642 357 0 0 25 0 1 0 774922518 497975296 120671 4294967295 134512640 134714508 3221224592 3221222984 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 156409 0 0 0 15642 357 0 0 25 0 1 0 774922518 497975296 120671 4294967295 134512640 134714508 3221224592 3221223052 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 156512 0 0 0 16642 358 0 0 25 0 1 0 774922518 497975296 120671 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120671 1111 63 0 121513 0
vsize: 486304
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 167556 0 0 0 17616 383 0 0 25 0 1 0 774922518 538603520 130590 4294967295 134512640 134714508 3221224592 3221223320 134672913 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131495 130590 1111 63 0 131432 0
vsize: 525980
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 167556 0 0 0 18616 384 0 0 25 0 1 0 774922518 538603520 130590 4294967295 134512640 134714508 3221224592 3221223072 134539390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131495 130590 1111 63 0 131432 0
vsize: 525980
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 169308 0 0 0 19613 387 0 0 25 0 1 0 774922518 538603520 130590 4294967295 134512640 134714508 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131495 130590 1111 63 0 131432 0
vsize: 525980
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 169308 0 0 0 20613 387 0 0 25 0 1 0 774922518 538603520 130590 4294967295 134512640 134714508 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131495 130590 1111 63 0 131432 0
vsize: 525980
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172046 0 0 0 21606 395 0 0 25 0 1 0 774922518 549949440 133328 4294967295 134512640 134714508 3221224592 3221223072 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172046 0 0 0 22606 395 0 0 25 0 1 0 774922518 549949440 133328 4294967295 134512640 134714508 3221224592 3221223156 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172046 0 0 0 23606 395 0 0 25 0 1 0 774922518 549949440 133328 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172046 0 0 0 24606 395 0 0 25 0 1 0 774922518 549949440 133328 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172046 0 0 0 25607 395 0 0 25 0 1 0 774922518 549949440 133328 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172046 0 0 0 26607 395 0 0 25 0 1 0 774922518 549949440 133328 4294967295 134512640 134714508 3221224592 3221223248 134627198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172046 0 0 0 27607 395 0 0 25 0 1 0 774922518 549949440 133328 4294967295 134512640 134714508 3221224592 3221223264 134627241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172046 0 0 0 28607 395 0 0 25 0 1 0 774922518 549949440 133328 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172046 0 0 0 29607 395 0 0 25 0 1 0 774922518 549949440 133328 4294967295 134512640 134714508 3221224592 3221223240 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172046 0 0 0 30607 395 0 0 25 0 1 0 774922518 549949440 133328 4294967295 134512640 134714508 3221224592 3221223244 134558608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172046 0 0 0 31608 395 0 0 25 0 1 0 774922518 549949440 133328 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172046 0 0 0 32608 395 0 0 25 0 1 0 774922518 549949440 133328 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172046 0 0 0 33608 395 0 0 25 0 1 0 774922518 549949440 133328 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172046 0 0 0 34608 395 0 0 25 0 1 0 774922518 549949440 133328 4294967295 134512640 134714508 3221224592 3221223264 134627184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133328 1111 63 0 134202 0
vsize: 537060
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172071 0 0 0 35609 395 0 0 25 0 1 0 774922518 549949440 133353 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172071 0 0 0 36609 395 0 0 25 0 1 0 774922518 549949440 133353 4294967295 134512640 134714508 3221224592 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172071 0 0 0 37609 395 0 0 25 0 1 0 774922518 549949440 133353 4294967295 134512640 134714508 3221224592 3221222896 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172071 0 0 0 38610 395 0 0 25 0 1 0 774922518 549949440 133353 4294967295 134512640 134714508 3221224592 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172071 0 0 0 39610 395 0 0 25 0 1 0 774922518 549949440 133353 4294967295 134512640 134714508 3221224592 3221222872 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+410.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172071 0 0 0 40611 395 0 0 25 0 1 0 774922518 549949440 133353 4294967295 134512640 134714508 3221224592 3221222672 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+420.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172071 0 0 0 41611 395 0 0 25 0 1 0 774922518 549949440 133353 4294967295 134512640 134714508 3221224592 3221222608 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+430.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172071 0 0 0 42612 395 0 0 25 0 1 0 774922518 549949440 133353 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+440.046 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172071 0 0 0 43612 395 0 0 25 0 1 0 774922518 549949440 133353 4294967295 134512640 134714508 3221224592 3221222416 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+450.046 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172071 0 0 0 44613 395 0 0 25 0 1 0 774922518 549949440 133353 4294967295 134512640 134714508 3221224592 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+460.047 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172071 0 0 0 45613 395 0 0 25 0 1 0 774922518 549949440 133353 4294967295 134512640 134714508 3221224592 3221222672 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133353 1111 63 0 134202 0
vsize: 537060
[startup+470.048 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 46608 395 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221221280 1076084087 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+480.05 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 47609 395 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116719 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+490.049 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 48609 395 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220568 1074860223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+500.049 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 49609 395 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+510.057 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 50610 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+520.058 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 51610 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+530.058 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 52610 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221221104 1074888118 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+540.058 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 53610 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1076111353 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+550.058 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 54611 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220876 1075116896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+560.058 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 55611 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116719 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+570.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 56611 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+580.067 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 57612 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221221576 1075066468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+590.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 58612 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221221044 1075863647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+600.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 59612 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+610.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 60612 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220380 1074787737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+620.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 61613 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220476 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+630.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 62613 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+640.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 63613 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220648 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+650.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 64613 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220896 1074973527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+660.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 65614 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+670.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 66614 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221221044 1075863638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+680.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 67614 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+690.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 68614 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220380 1074787507 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+700.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 69614 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221221056 1075088581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+710.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 70614 396 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221221432 1074950077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+720.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 71614 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221221280 1076083342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+730.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 72614 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+740.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 73614 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221221456 1074620363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+750.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 74614 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220380 1074787594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+760.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 75615 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220476 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+770.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 76615 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+780.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 77615 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+790.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 78615 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221221056 1075088566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+800.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 79615 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+810.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 80615 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220784 1074960662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+820.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 81615 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220476 1074860637 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+830.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 82615 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221221432 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+840.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 83616 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+850.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 84616 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+860.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 85616 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220476 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+870.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 86616 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221221584 1075895991 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+880.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 87616 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+890.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 88616 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220656 1074969680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+900.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 89616 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+910.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 90617 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221220732 1075116501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+920.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 91617 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221221448 1075066492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+930.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172176 0 2 0 92617 397 0 0 25 0 1 0 774922518 549949440 133460 4294967295 134512640 134714508 3221224592 3221221536 1074810480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133460 1111 63 0 134202 0
vsize: 537060
[startup+940.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 93613 397 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221222832 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+950.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 94613 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221221576 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+960.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 95613 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116530 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+970.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 96613 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+980.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 97613 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220784 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+990.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 98613 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220784 1074961314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 99614 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220568 1074789596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 100614 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 101614 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 102614 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220476 1074787622 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 103614 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116572 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 104614 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 105615 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220476 1074787540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 106615 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221221168 1075967861 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 107615 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 108615 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 109615 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 110615 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 111615 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 112616 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 113616 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 114616 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220656 1074969440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 115616 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220656 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 116616 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220728 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 117616 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 118616 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220672 1074794649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) R 11978 7266 7265 0 -1 0 172204 0 3 0 119617 398 0 0 25 0 1 0 774922518 549949440 133489 4294967295 134512640 134714508 3221224592 3221220732 1075116716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134265 133489 1111 63 0 134202 0
vsize: 537060
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.32 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 11979
Raw data (stat): 11979 (bsolo_lpr_cuts) Z 11978 7266 7265 0 -1 1036 172204 0 3 0 119617 422 0 0 25 0 1 0 774922518 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

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