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-sp97ar.opb
MD5SUM	d98db64f69c8547ad0880486d1128dd0
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	183313
Biggest coefficient in the objective function	19194096394240
Number of bits for the biggest coefficient in the objective function	45
Sum of the numbers in the objective function	127830561163966644
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	19194096394240
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	127830561163966644
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.68874
Number of variables	183313
Total number of constraints	1761
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1761
Minimum length of a constraint	13
Maximum length of a constraint	32019
Trace number 41543

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 15:16:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29603 boxname=wulflinc5 idbench=1387 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  d98db64f69c8547ad0880486d1128dd0  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-sp97ar.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-sp97ar.opb
IDLAUNCH: 29603
/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:        725924 kB
Buffers:         19088 kB
Cached:         267708 kB
SwapCached:        640 kB
Active:          89720 kB
Inactive:       199068 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        725672 kB
SwapTotal:     2097136 kB
SwapFree:      2095484 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            14288 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 15:36:32 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 29603 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.95 0.98 0.91 2/54 3366
Raw data (stat): 3366 (runsolver) R 3365 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911285032 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 1628 0 0 0 991 6 0 0 25 0 1 0 911285032 15360000 1548 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3750 1548 1111 63 0 3687 0
vsize: 15000
[startup+20.0008 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 1685 0 0 0 1991 6 0 0 25 0 1 0 911285032 15503360 1605 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3785 1605 1111 63 0 3722 0
vsize: 15140
[startup+30.0006 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 1741 0 0 0 2991 6 0 0 25 0 1 0 911285032 15794176 1661 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3856 1661 1111 63 0 3793 0
vsize: 15424
[startup+40.0003 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 1800 0 0 0 3991 7 0 0 25 0 1 0 911285032 16093184 1720 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3929 1720 1111 63 0 3866 0
vsize: 15716
[startup+50.0011 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 1863 0 0 0 4991 7 0 0 25 0 1 0 911285032 16236544 1783 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3964 1783 1111 63 0 3901 0
vsize: 15856
[startup+60.0012 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 1920 0 0 0 5991 7 0 0 25 0 1 0 911285032 16527360 1840 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4035 1840 1111 63 0 3972 0
vsize: 16140
[startup+70.0016 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 1977 0 0 0 6991 7 0 0 25 0 1 0 911285032 16818176 1897 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 1897 1111 63 0 4043 0
vsize: 16424
[startup+80.0113 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 2036 0 0 0 7992 8 0 0 25 0 1 0 911285032 16969728 1956 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4143 1956 1111 63 0 4080 0
vsize: 16572
[startup+90.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 2099 0 0 0 8992 8 0 0 25 0 1 0 911285032 17260544 2019 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4214 2019 1111 63 0 4151 0
vsize: 16856
[startup+100.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 2159 0 0 0 9992 8 0 0 25 0 1 0 911285032 17563648 2079 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4288 2079 1111 63 0 4225 0
vsize: 17152
[startup+110.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 2216 0 0 0 10992 8 0 0 25 0 1 0 911285032 17711104 2136 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 2136 1111 63 0 4261 0
vsize: 17296
[startup+120.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 2274 0 0 0 11992 8 0 0 25 0 1 0 911285032 18006016 2194 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4396 2194 1111 63 0 4333 0
vsize: 17584
[startup+130.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 2331 0 0 0 12992 9 0 0 25 0 1 0 911285032 18149376 2251 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4431 2251 1111 63 0 4368 0
vsize: 17724
[startup+140.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 2387 0 0 0 13992 9 0 0 25 0 1 0 911285032 18440192 2307 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4502 2307 1111 63 0 4439 0
vsize: 18008
[startup+150.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 2444 0 0 0 14992 9 0 0 25 0 1 0 911285032 18731008 2364 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4573 2364 1111 63 0 4510 0
vsize: 18292
[startup+160.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 2496 0 0 0 15992 9 0 0 25 0 1 0 911285032 18878464 2416 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4609 2416 1111 63 0 4546 0
vsize: 18436
[startup+170.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 2559 0 0 0 16992 9 0 0 25 0 1 0 911285032 19173376 2479 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4681 2479 1111 63 0 4618 0
vsize: 18724
[startup+180.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 2609 0 0 0 17992 9 0 0 25 0 1 0 911285032 19320832 2529 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4717 2529 1111 63 0 4654 0
vsize: 18868
[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 2666 0 0 0 18992 9 0 0 25 0 1 0 911285032 19611648 2586 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4788 2586 1111 63 0 4725 0
vsize: 19152
[startup+200.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 2728 0 0 0 19993 9 0 0 25 0 1 0 911285032 19898368 2648 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4858 2648 1111 63 0 4795 0
vsize: 19432
[startup+210.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 2792 0 0 0 20993 9 0 0 25 0 1 0 911285032 20049920 2712 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4895 2712 1111 63 0 4832 0
vsize: 19580
[startup+220.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 2849 0 0 0 21993 9 0 0 25 0 1 0 911285032 20340736 2769 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4966 2769 1111 63 0 4903 0
vsize: 19864
[startup+230.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 2906 0 0 0 22993 10 0 0 25 0 1 0 911285032 20631552 2826 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5037 2826 1111 63 0 4974 0
vsize: 20148
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 2963 0 0 0 23993 10 0 0 25 0 1 0 911285032 20774912 2883 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5072 2883 1111 63 0 5009 0
vsize: 20288
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 3021 0 0 0 24993 10 0 0 25 0 1 0 911285032 21073920 2941 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5145 2941 1111 63 0 5082 0
vsize: 20580
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 3079 0 0 0 25993 10 0 0 25 0 1 0 911285032 21217280 2999 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5180 2999 1111 63 0 5117 0
vsize: 20720
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 3136 0 0 0 26993 10 0 0 25 0 1 0 911285032 21508096 3056 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5251 3056 1111 63 0 5188 0
vsize: 21004
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 3192 0 0 0 27993 10 0 0 25 0 1 0 911285032 21798912 3112 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5322 3112 1111 63 0 5259 0
vsize: 21288
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 3251 0 0 0 28993 10 0 0 25 0 1 0 911285032 21942272 3171 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5357 3171 1111 63 0 5294 0
vsize: 21428
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 3308 0 0 0 29993 10 0 0 25 0 1 0 911285032 22241280 3228 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5430 3228 1111 63 0 5367 0
vsize: 21720
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 3371 0 0 0 30993 11 0 0 25 0 1 0 911285032 22532096 3291 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 3291 1111 63 0 5438 0
vsize: 22004
[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 3428 0 0 0 31993 11 0 0 25 0 1 0 911285032 22675456 3348 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5536 3348 1111 63 0 5473 0
vsize: 22144
[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 3486 0 0 0 32993 11 0 0 25 0 1 0 911285032 22966272 3406 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5607 3406 1111 63 0 5544 0
vsize: 22428
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 3543 0 0 0 33994 11 0 0 25 0 1 0 911285032 23117824 3463 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5644 3463 1111 63 0 5581 0
vsize: 22576
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 3600 0 0 0 34994 11 0 0 25 0 1 0 911285032 23408640 3520 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5715 3520 1111 63 0 5652 0
vsize: 22860
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 3657 0 0 0 35994 11 0 0 25 0 1 0 911285032 23699456 3577 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5786 3577 1111 63 0 5723 0
vsize: 23144
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 3714 0 0 0 36994 11 0 0 25 0 1 0 911285032 23846912 3634 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5822 3634 1111 63 0 5759 0
vsize: 23288
[startup+380.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 3772 0 0 0 37994 11 0 0 25 0 1 0 911285032 24141824 3692 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5894 3692 1111 63 0 5831 0
vsize: 23576
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 3842 0 0 0 38994 11 0 0 25 0 1 0 911285032 24428544 3762 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5964 3762 1111 63 0 5901 0
vsize: 23856
[startup+400.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 3893 0 0 0 39994 11 0 0 25 0 1 0 911285032 24567808 3813 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5998 3813 1111 63 0 5935 0
vsize: 23992
[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 3949 0 0 0 40994 12 0 0 25 0 1 0 911285032 24858624 3869 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6069 3869 1111 63 0 6006 0
vsize: 24276
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 4014 0 0 0 41994 12 0 0 25 0 1 0 911285032 25157632 3934 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6142 3934 1111 63 0 6079 0
vsize: 24568
[startup+430.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 4072 0 0 0 42994 12 0 0 25 0 1 0 911285032 25300992 3992 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6177 3992 1111 63 0 6114 0
vsize: 24708
[startup+440.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 4129 0 0 0 43994 12 0 0 25 0 1 0 911285032 25591808 4049 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6248 4049 1111 63 0 6185 0
vsize: 24992
[startup+450.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 4186 0 0 0 44994 12 0 0 25 0 1 0 911285032 25882624 4106 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6319 4106 1111 63 0 6256 0
vsize: 25276
[startup+460.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 4251 0 0 0 45994 12 0 0 25 0 1 0 911285032 26034176 4171 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6356 4171 1111 63 0 6293 0
vsize: 25424
[startup+470.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 4308 0 0 0 46995 12 0 0 25 0 1 0 911285032 26324992 4228 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6427 4228 1111 63 0 6364 0
vsize: 25708
[startup+480.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 4366 0 0 0 47995 12 0 0 25 0 1 0 911285032 26615808 4286 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6498 4286 1111 63 0 6435 0
vsize: 25992
[startup+490.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 4423 0 0 0 48994 13 0 0 25 0 1 0 911285032 26763264 4343 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6534 4343 1111 63 0 6471 0
vsize: 26136
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 4487 0 0 0 49995 13 0 0 25 0 1 0 911285032 27058176 4407 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6606 4407 1111 63 0 6543 0
vsize: 26424
[startup+510.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 4544 0 0 0 50995 13 0 0 25 0 1 0 911285032 27348992 4464 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6677 4464 1111 63 0 6614 0
vsize: 26708
[startup+520.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 4602 0 0 0 51995 13 0 0 25 0 1 0 911285032 27496448 4522 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6713 4522 1111 63 0 6650 0
vsize: 26852
[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 4659 0 0 0 52995 13 0 0 25 0 1 0 911285032 27787264 4579 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6784 4579 1111 63 0 6721 0
vsize: 27136
[startup+540.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 4718 0 0 0 53995 13 0 0 25 0 1 0 911285032 27930624 4638 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6819 4638 1111 63 0 6756 0
vsize: 27276
[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 4781 0 0 0 54995 13 0 0 25 0 1 0 911285032 28225536 4701 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6891 4701 1111 63 0 6828 0
vsize: 27564
[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 4838 0 0 0 55995 13 0 0 25 0 1 0 911285032 28516352 4758 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6962 4758 1111 63 0 6899 0
vsize: 27848
[startup+570.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 4896 0 0 0 56995 13 0 0 25 0 1 0 911285032 28663808 4816 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6998 4816 1111 63 0 6935 0
vsize: 27992
[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 4954 0 0 0 57995 14 0 0 25 0 1 0 911285032 28954624 4874 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7069 4874 1111 63 0 7006 0
vsize: 28276
[startup+590.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 5018 0 0 0 58995 14 0 0 25 0 1 0 911285032 29249536 4938 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7141 4938 1111 63 0 7078 0
vsize: 28564
[startup+600.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 5075 0 0 0 59995 14 0 0 25 0 1 0 911285032 29396992 4995 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7177 4995 1111 63 0 7114 0
vsize: 28708
[startup+610.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 5132 0 0 0 60995 14 0 0 25 0 1 0 911285032 29687808 5052 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7248 5052 1111 63 0 7185 0
vsize: 28992
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 5190 0 0 0 61996 14 0 0 25 0 1 0 911285032 29978624 5110 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7319 5110 1111 63 0 7256 0
vsize: 29276
[startup+630.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 5248 0 0 0 62996 14 0 0 25 0 1 0 911285032 30130176 5168 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7356 5168 1111 63 0 7293 0
vsize: 29424
[startup+640.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 5311 0 0 0 63996 14 0 0 25 0 1 0 911285032 30420992 5231 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7427 5231 1111 63 0 7364 0
vsize: 29708
[startup+650.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 5369 0 0 0 64996 14 0 0 25 0 1 0 911285032 30711808 5289 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7498 5289 1111 63 0 7435 0
vsize: 29992
[startup+660.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 5432 0 0 0 65996 14 0 0 25 0 1 0 911285032 30855168 5352 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7533 5352 1111 63 0 7470 0
vsize: 30132
[startup+670.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 5491 0 0 0 66996 15 0 0 25 0 1 0 911285032 31154176 5411 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7606 5411 1111 63 0 7543 0
vsize: 30424
[startup+680.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 5554 0 0 0 67996 15 0 0 25 0 1 0 911285032 31444992 5474 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7677 5474 1111 63 0 7614 0
vsize: 30708
[startup+690.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 5611 0 0 0 68996 15 0 0 25 0 1 0 911285032 31588352 5531 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7712 5531 1111 63 0 7649 0
vsize: 30848
[startup+700.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 5667 0 0 0 69995 16 0 0 25 0 1 0 911285032 31879168 5587 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7783 5587 1111 63 0 7720 0
vsize: 31132
[startup+710.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 5726 0 0 0 70995 16 0 0 25 0 1 0 911285032 32178176 5646 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7856 5646 1111 63 0 7793 0
vsize: 31424
[startup+720.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 5783 0 0 0 71995 16 0 0 25 0 1 0 911285032 32321536 5703 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7891 5703 1111 63 0 7828 0
vsize: 31564
[startup+730.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 5847 0 0 0 72995 16 0 0 25 0 1 0 911285032 32612352 5767 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7962 5767 1111 63 0 7899 0
vsize: 31848
[startup+740.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 5904 0 0 0 73995 16 0 0 25 0 1 0 911285032 32903168 5824 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8033 5824 1111 63 0 7970 0
vsize: 32132
[startup+750.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 5969 0 0 0 74995 17 0 0 25 0 1 0 911285032 33054720 5889 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8070 5889 1111 63 0 8007 0
vsize: 32280
[startup+760.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 6037 0 0 0 75995 17 0 0 25 0 1 0 911285032 33386496 5957 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8151 5957 1111 63 0 8088 0
vsize: 32604
[startup+770.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 6094 0 0 0 76995 17 0 0 25 0 1 0 911285032 33673216 6014 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8221 6014 1111 63 0 8158 0
vsize: 32884
[startup+780.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 6158 0 0 0 77996 17 0 0 25 0 1 0 911285032 33964032 6078 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8292 6078 1111 63 0 8229 0
vsize: 33168
[startup+790.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 6223 0 0 0 78996 17 0 0 25 0 1 0 911285032 34263040 6143 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 6143 1111 63 0 8302 0
vsize: 33460
[startup+800.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 6280 0 0 0 79996 17 0 0 25 0 1 0 911285032 34406400 6200 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8400 6200 1111 63 0 8337 0
vsize: 33600
[startup+810.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 6338 0 0 0 80996 17 0 0 25 0 1 0 911285032 34697216 6258 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8471 6258 1111 63 0 8408 0
vsize: 33884
[startup+820.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 6402 0 0 0 81996 17 0 0 25 0 1 0 911285032 34988032 6322 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8542 6322 1111 63 0 8479 0
vsize: 34168
[startup+830.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 6460 0 0 0 82997 17 0 0 25 0 1 0 911285032 35139584 6380 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8579 6380 1111 63 0 8516 0
vsize: 34316
[startup+840.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 6524 0 0 0 83997 18 0 0 25 0 1 0 911285032 35430400 6444 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8650 6444 1111 63 0 8587 0
vsize: 34600
[startup+850.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 6582 0 0 0 84997 18 0 0 25 0 1 0 911285032 35721216 6502 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8721 6502 1111 63 0 8658 0
vsize: 34884
[startup+860.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 6639 0 0 0 85997 18 0 0 25 0 1 0 911285032 35868672 6559 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8757 6559 1111 63 0 8694 0
vsize: 35028
[startup+870.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 6704 0 0 0 86997 18 0 0 25 0 1 0 911285032 36163584 6624 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8829 6624 1111 63 0 8766 0
vsize: 35316
[startup+880.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 6761 0 0 0 87997 18 0 0 25 0 1 0 911285032 36454400 6681 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8900 6681 1111 63 0 8837 0
vsize: 35600
[startup+890.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 6824 0 0 0 88997 18 0 0 25 0 1 0 911285032 36601856 6744 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8936 6744 1111 63 0 8873 0
vsize: 35744
[startup+900.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 6882 0 0 0 89997 18 0 0 25 0 1 0 911285032 36892672 6802 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9007 6802 1111 63 0 8944 0
vsize: 36028
[startup+910.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 6941 0 0 0 90997 19 0 0 25 0 1 0 911285032 37187584 6861 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9079 6861 1111 63 0 9016 0
vsize: 36316
[startup+920.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 7004 0 0 0 91997 19 0 0 25 0 1 0 911285032 37335040 6924 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 6924 1111 63 0 9052 0
vsize: 36460
[startup+930.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 7062 0 0 0 92997 19 0 0 25 0 1 0 911285032 37621760 6982 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9185 6982 1111 63 0 9122 0
vsize: 36740
[startup+940.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 7126 0 0 0 93997 19 0 0 25 0 1 0 911285032 37912576 7046 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9256 7046 1111 63 0 9193 0
vsize: 37024
[startup+950.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 7178 0 0 0 94997 19 0 0 25 0 1 0 911285032 38060032 7098 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9292 7098 1111 63 0 9229 0
vsize: 37168
[startup+960.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 7234 0 0 0 95997 19 0 0 25 0 1 0 911285032 38354944 7154 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7154 1111 63 0 9301 0
vsize: 37456
[startup+970.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 7291 0 0 0 96998 19 0 0 25 0 1 0 911285032 38502400 7211 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9400 7211 1111 63 0 9337 0
vsize: 37600
[startup+980.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 7348 0 0 0 97998 20 0 0 25 0 1 0 911285032 38793216 7268 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9471 7268 1111 63 0 9408 0
vsize: 37884
[startup+990.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 7413 0 0 0 98998 20 0 0 25 0 1 0 911285032 39084032 7333 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9542 7333 1111 63 0 9479 0
vsize: 38168
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 7471 0 0 0 99998 20 0 0 25 0 1 0 911285032 39235584 7391 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9579 7391 1111 63 0 9516 0
vsize: 38316
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 7528 0 0 0 100998 20 0 0 25 0 1 0 911285032 39526400 7448 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9650 7448 1111 63 0 9587 0
vsize: 38600
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 7585 0 0 0 101998 20 0 0 25 0 1 0 911285032 39817216 7505 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9721 7505 1111 63 0 9658 0
vsize: 38884
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 7648 0 0 0 102998 20 0 0 25 0 1 0 911285032 39960576 7568 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9756 7568 1111 63 0 9693 0
vsize: 39024
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 7707 0 0 0 103997 21 0 0 25 0 1 0 911285032 40259584 7627 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9829 7627 1111 63 0 9766 0
vsize: 39316
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 7770 0 0 0 104996 22 0 0 25 0 1 0 911285032 40550400 7690 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9900 7690 1111 63 0 9837 0
vsize: 39600
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 7828 0 0 0 105996 22 0 0 25 0 1 0 911285032 40693760 7748 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9935 7748 1111 63 0 9872 0
vsize: 39740
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 7899 0 0 0 106995 23 0 0 25 0 1 0 911285032 40984576 7819 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10006 7819 1111 63 0 9943 0
vsize: 40024
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 7963 0 0 0 107995 23 0 0 25 0 1 0 911285032 41283584 7883 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10079 7883 1111 63 0 10016 0
vsize: 40316
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 8022 0 0 0 108995 23 0 0 25 0 1 0 911285032 41574400 7942 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10150 7942 1111 63 0 10087 0
vsize: 40600
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 8085 0 0 0 109995 24 0 0 25 0 1 0 911285032 41865216 8005 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10221 8005 1111 63 0 10158 0
vsize: 40884
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 8144 0 0 0 110995 24 0 0 25 0 1 0 911285032 42008576 8064 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10256 8064 1111 63 0 10193 0
vsize: 41024
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 8208 0 0 0 111994 24 0 0 25 0 1 0 911285032 42307584 8128 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10329 8128 1111 63 0 10266 0
vsize: 41316
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 8265 0 0 0 112994 25 0 0 25 0 1 0 911285032 42598400 8185 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10400 8185 1111 63 0 10337 0
vsize: 41600
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 8322 0 0 0 113994 25 0 0 25 0 1 0 911285032 42741760 8242 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10435 8242 1111 63 0 10372 0
vsize: 41740
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 8387 0 0 0 114994 25 0 0 25 0 1 0 911285032 43032576 8307 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10506 8307 1111 63 0 10443 0
vsize: 42024
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 8444 0 0 0 115993 26 0 0 25 0 1 0 911285032 43331584 8364 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10579 8364 1111 63 0 10516 0
vsize: 42316
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 8508 0 0 0 116993 26 0 0 25 0 1 0 911285032 43474944 8428 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10614 8428 1111 63 0 10551 0
vsize: 42456
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 8573 0 0 0 117993 27 0 0 25 0 1 0 911285032 43765760 8493 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10685 8493 1111 63 0 10622 0
vsize: 42740
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 8631 0 0 0 118992 27 0 0 25 0 1 0 911285032 44056576 8551 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10756 8551 1111 63 0 10693 0
vsize: 43024
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) R 3365 7266 7265 0 -1 0 8695 0 0 0 119992 27 0 0 25 0 1 0 911285032 44351488 8615 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10828 8615 1111 63 0 10765 0
vsize: 43312
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 3366
Raw data (stat): 3366 (bsolo_lpr_cuts-) Z 3365 7266 7265 0 -1 1036 8695 0 0 0 119992 29 0 0 25 0 1 0 911285032 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.06
CPU time (s): 1200.22
CPU user time (s): 1199.93
CPU system time (s): 0.292955
CPU usage (%): 100.014
Max. virtual memory (Kb): 43312
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####