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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb
MD5SUM	affd575590f5a6117d93002dff93565b
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	212680
Biggest coefficient in the objective function	38252041742581760
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	82366741301042724864
Number of bits of the sum of numbers in the objective function	67
Biggest number in a constraint	38252041742581760
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	82366741301042724864
Number of bits of the biggest sum of numbers	67
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.86856
Number of variables	309773
Total number of constraints	6093
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	128
Number of constraints which are nor clauses,nor cardinality constraints	5965
Minimum length of a constraint	1
Maximum length of a constraint	24690
Trace number 28489

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-05-25 02:38:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12716 boxname=wulflinc6 idbench=979 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  affd575590f5a6117d93002dff93565b  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-mod011.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-mod011.opb
IDLAUNCH: 12716
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        522836 kB
Buffers:          4124 kB
Cached:         478088 kB
SwapCached:        384 kB
Active:          39152 kB
Inactive:       445384 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        522584 kB
SwapTotal:     2097136 kB
SwapFree:      2096036 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5692 kB
Slab:            21476 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 02:58:39 (client local time) WITH STATUS 0 IN 1200.49 SECONDS
stats: 12716 7 1200.49 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
Raw data (loadavg): 0.82 0.94 1.04 2/54 1819
Raw data (stat): 1819 (runsolver) R 1818 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777118963 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.85 0.94 1.04 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 1992 0 0 0 991 7 0 0 25 0 1 0 777118963 15978496 1916 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3901 1916 1111 63 0 3838 0
vsize: 15604
[startup+20.0029 s]
Raw data (loadavg): 0.87 0.94 1.04 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 2223 0 0 0 1990 8 0 0 25 0 1 0 777118963 16875520 2147 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4120 2147 1111 63 0 4057 0
vsize: 16480
[startup+30.0032 s]
Raw data (loadavg): 0.89 0.94 1.04 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 2395 0 0 0 2990 9 0 0 25 0 1 0 777118963 17625088 2319 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4303 2319 1111 63 0 4240 0
vsize: 17212
[startup+40.0057 s]
Raw data (loadavg): 0.91 0.95 1.04 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 2477 0 0 0 3989 9 0 0 25 0 1 0 777118963 17903616 2401 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4371 2401 1111 63 0 4308 0
vsize: 17484
[startup+50.0065 s]
Raw data (loadavg): 0.92 0.95 1.04 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 2556 0 0 0 4989 10 0 0 25 0 1 0 777118963 18313216 2480 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4471 2480 1111 63 0 4408 0
vsize: 17884
[startup+60.0071 s]
Raw data (loadavg): 0.93 0.95 1.03 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 2618 0 0 0 5989 10 0 0 25 0 1 0 777118963 18452480 2542 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4505 2542 1111 63 0 4442 0
vsize: 18020
[startup+70.0151 s]
Raw data (loadavg): 0.94 0.95 1.03 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 2679 0 0 0 6990 11 0 0 25 0 1 0 777118963 18731008 2603 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4573 2603 1111 63 0 4510 0
vsize: 18292
[startup+80.0229 s]
Raw data (loadavg): 0.95 0.95 1.03 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 2746 0 0 0 7990 11 0 0 25 0 1 0 777118963 19009536 2670 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4641 2670 1111 63 0 4578 0
vsize: 18564
[startup+90.0309 s]
Raw data (loadavg): 0.96 0.95 1.03 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 2822 0 0 0 8991 11 0 0 25 0 1 0 777118963 19288064 2746 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4709 2746 1111 63 0 4646 0
vsize: 18836
[startup+100.051 s]
Raw data (loadavg): 0.96 0.95 1.03 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 2902 0 0 0 9993 11 0 0 25 0 1 0 777118963 19701760 2826 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4810 2826 1111 63 0 4747 0
vsize: 19240
[startup+110.059 s]
Raw data (loadavg): 0.97 0.95 1.03 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 2969 0 0 0 10994 12 0 0 25 0 1 0 777118963 19976192 2893 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4877 2893 1111 63 0 4814 0
vsize: 19508
[startup+120.059 s]
Raw data (loadavg): 0.97 0.95 1.03 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 3037 0 0 0 11994 12 0 0 25 0 1 0 777118963 20250624 2961 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4944 2961 1111 63 0 4881 0
vsize: 19776
[startup+130.06 s]
Raw data (loadavg): 0.98 0.95 1.03 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 3115 0 0 0 12994 13 0 0 25 0 1 0 777118963 20545536 3039 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5016 3039 1111 63 0 4953 0
vsize: 20064
[startup+140.06 s]
Raw data (loadavg): 0.98 0.95 1.03 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 3188 0 0 0 13994 13 0 0 25 0 1 0 777118963 20819968 3112 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5083 3112 1111 63 0 5020 0
vsize: 20332
[startup+150.06 s]
Raw data (loadavg): 0.98 0.96 1.03 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 3274 0 0 0 14993 14 0 0 25 0 1 0 777118963 21229568 3198 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5183 3198 1111 63 0 5120 0
vsize: 20732
[startup+160.077 s]
Raw data (loadavg): 1.06 0.97 1.03 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 3341 0 0 0 15995 14 0 0 25 0 1 0 777118963 21499904 3265 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5249 3265 1111 63 0 5186 0
vsize: 20996
[startup+170.077 s]
Raw data (loadavg): 1.05 0.97 1.03 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 3409 0 0 0 16995 14 0 0 25 0 1 0 777118963 21778432 3333 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5317 3333 1111 63 0 5254 0
vsize: 21268
[startup+180.084 s]
Raw data (loadavg): 1.04 0.97 1.03 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 3478 0 0 0 17995 15 0 0 25 0 1 0 777118963 22061056 3402 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5386 3402 1111 63 0 5323 0
vsize: 21544
[startup+190.087 s]
Raw data (loadavg): 1.03 0.97 1.03 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 3546 0 0 0 18995 15 0 0 25 0 1 0 777118963 22335488 3470 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5453 3470 1111 63 0 5390 0
vsize: 21812
[startup+200.087 s]
Raw data (loadavg): 1.03 0.97 1.03 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 3613 0 0 0 19995 16 0 0 25 0 1 0 777118963 22614016 3537 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5521 3537 1111 63 0 5458 0
vsize: 22084
[startup+210.087 s]
Raw data (loadavg): 1.02 0.97 1.02 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 3687 0 0 0 20995 16 0 0 25 0 1 0 777118963 22888448 3611 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5588 3611 1111 63 0 5525 0
vsize: 22352
[startup+220.087 s]
Raw data (loadavg): 1.02 0.97 1.02 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 3750 0 0 0 21995 17 0 0 25 0 1 0 777118963 23166976 3674 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5656 3674 1111 63 0 5593 0
vsize: 22624
[startup+230.087 s]
Raw data (loadavg): 1.02 0.97 1.02 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 3817 0 0 0 22995 17 0 0 25 0 1 0 777118963 23449600 3741 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5725 3741 1111 63 0 5662 0
vsize: 22900
[startup+240.088 s]
Raw data (loadavg): 1.01 0.97 1.02 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 3896 0 0 0 23995 17 0 0 25 0 1 0 777118963 23728128 3820 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5793 3820 1111 63 0 5730 0
vsize: 23172
[startup+250.087 s]
Raw data (loadavg): 1.01 0.97 1.02 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 3958 0 0 0 24995 18 0 0 25 0 1 0 777118963 24002560 3882 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5860 3882 1111 63 0 5797 0
vsize: 23440
[startup+260.088 s]
Raw data (loadavg): 1.01 0.97 1.02 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 4019 0 0 0 25995 18 0 0 25 0 1 0 777118963 24281088 3943 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5928 3943 1111 63 0 5865 0
vsize: 23712
[startup+270.088 s]
Raw data (loadavg): 1.01 0.97 1.02 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 4095 0 0 0 26995 19 0 0 25 0 1 0 777118963 24563712 4019 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5997 4019 1111 63 0 5934 0
vsize: 23988
[startup+280.088 s]
Raw data (loadavg): 1.01 0.97 1.02 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 4157 0 0 0 27994 19 0 0 25 0 1 0 777118963 24842240 4081 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6065 4081 1111 63 0 6002 0
vsize: 24260
[startup+290.088 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 4225 0 0 0 28994 20 0 0 25 0 1 0 777118963 25116672 4149 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6132 4149 1111 63 0 6069 0
vsize: 24528
[startup+300.089 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 4298 0 0 0 29994 20 0 0 25 0 1 0 777118963 25395200 4222 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6200 4222 1111 63 0 6137 0
vsize: 24800
[startup+310.088 s]
Raw data (loadavg): 1.00 0.97 1.02 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 4372 0 0 0 30994 21 0 0 25 0 1 0 777118963 25669632 4296 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6267 4296 1111 63 0 6204 0
vsize: 25068
[startup+320.088 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 4454 0 0 0 31994 21 0 0 25 0 1 0 777118963 26087424 4378 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6369 4378 1111 63 0 6306 0
vsize: 25476
[startup+330.089 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 4521 0 0 0 32994 21 0 0 25 0 1 0 777118963 26361856 4445 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6436 4445 1111 63 0 6373 0
vsize: 25744
[startup+340.089 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 4595 0 0 0 33994 22 0 0 25 0 1 0 777118963 26636288 4519 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6503 4519 1111 63 0 6440 0
vsize: 26012
[startup+350.089 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 4663 0 0 0 34993 23 0 0 25 0 1 0 777118963 26910720 4587 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6570 4587 1111 63 0 6507 0
vsize: 26280
[startup+360.089 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 4732 0 0 0 35993 23 0 0 25 0 1 0 777118963 27197440 4656 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6640 4656 1111 63 0 6577 0
vsize: 26560
[startup+370.089 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 4806 0 0 0 36993 23 0 0 25 0 1 0 777118963 27471872 4730 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6707 4730 1111 63 0 6644 0
vsize: 26828
[startup+380.089 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 4873 0 0 0 37993 24 0 0 25 0 1 0 777118963 27750400 4797 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6775 4797 1111 63 0 6712 0
vsize: 27100
[startup+390.089 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 4941 0 0 0 38993 24 0 0 25 0 1 0 777118963 28028928 4865 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6843 4865 1111 63 0 6780 0
vsize: 27372
[startup+400.09 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 5015 0 0 0 39993 25 0 0 25 0 1 0 777118963 28303360 4939 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6910 4939 1111 63 0 6847 0
vsize: 27640
[startup+410.09 s]
Raw data (loadavg): 1.00 0.97 1.01 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 5097 0 0 0 40992 25 0 0 25 0 1 0 777118963 28717056 5021 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7011 5021 1111 63 0 6948 0
vsize: 28044
[startup+420.09 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 5183 0 0 0 41993 26 0 0 25 0 1 0 777118963 28991488 5107 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7078 5107 1111 63 0 7015 0
vsize: 28312
[startup+430.091 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 5256 0 0 0 42993 26 0 0 25 0 1 0 777118963 29261824 5180 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7144 5180 1111 63 0 7081 0
vsize: 28576
[startup+440.091 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 5324 0 0 0 43993 26 0 0 25 0 1 0 777118963 29536256 5248 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7211 5248 1111 63 0 7148 0
vsize: 28844
[startup+450.091 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 5393 0 0 0 44993 26 0 0 25 0 1 0 777118963 29822976 5317 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7281 5317 1111 63 0 7218 0
vsize: 29124
[startup+460.091 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 5467 0 0 0 45993 26 0 0 25 0 1 0 777118963 30257152 5391 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7387 5391 1111 63 0 7324 0
vsize: 29548
[startup+470.092 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 5541 0 0 0 46994 26 0 0 25 0 1 0 777118963 30531584 5465 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7454 5465 1111 63 0 7391 0
vsize: 29816
[startup+480.092 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 5608 0 0 0 47994 26 0 0 25 0 1 0 777118963 30806016 5532 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7521 5532 1111 63 0 7458 0
vsize: 30084
[startup+490.092 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 5676 0 0 0 48994 27 0 0 25 0 1 0 777118963 31080448 5600 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7588 5600 1111 63 0 7525 0
vsize: 30352
[startup+500.092 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 5757 0 0 0 49994 27 0 0 25 0 1 0 777118963 31363072 5681 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7657 5681 1111 63 0 7594 0
vsize: 30628
[startup+510.092 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 5831 0 0 0 50994 27 0 0 25 0 1 0 777118963 31633408 5755 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7723 5755 1111 63 0 7660 0
vsize: 30892
[startup+520.092 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 5898 0 0 0 51994 27 0 0 25 0 1 0 777118963 31907840 5822 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7790 5822 1111 63 0 7727 0
vsize: 31160
[startup+530.092 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 5959 0 0 0 52995 27 0 0 25 0 1 0 777118963 32186368 5883 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7858 5883 1111 63 0 7795 0
vsize: 31432
[startup+540.093 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 6022 0 0 0 53995 28 0 0 25 0 1 0 777118963 32460800 5946 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7925 5946 1111 63 0 7862 0
vsize: 31700
[startup+550.093 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 6089 0 0 0 54995 28 0 0 25 0 1 0 777118963 32743424 6013 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7994 6013 1111 63 0 7931 0
vsize: 31976
[startup+560.093 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 6162 0 0 0 55995 28 0 0 25 0 1 0 777118963 33017856 6086 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8061 6086 1111 63 0 7998 0
vsize: 32244
[startup+570.093 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 6224 0 0 0 56995 28 0 0 25 0 1 0 777118963 33296384 6148 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8129 6148 1111 63 0 8066 0
vsize: 32516
[startup+580.093 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 6292 0 0 0 57995 28 0 0 25 0 1 0 777118963 33570816 6216 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8196 6216 1111 63 0 8133 0
vsize: 32784
[startup+590.093 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 6360 0 0 0 58996 28 0 0 25 0 1 0 777118963 33845248 6284 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8263 6284 1111 63 0 8200 0
vsize: 33052
[startup+600.094 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 6434 0 0 0 59996 28 0 0 25 0 1 0 777118963 34123776 6358 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8331 6358 1111 63 0 8268 0
vsize: 33324
[startup+610.095 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 6501 0 0 0 60996 28 0 0 25 0 1 0 777118963 34402304 6425 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8399 6425 1111 63 0 8336 0
vsize: 33596
[startup+620.095 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 6575 0 0 0 61997 29 0 0 25 0 1 0 777118963 34676736 6499 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8466 6499 1111 63 0 8403 0
vsize: 33864
[startup+630.095 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 6636 0 0 0 62997 29 0 0 25 0 1 0 777118963 34955264 6560 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8534 6560 1111 63 0 8471 0
vsize: 34136
[startup+640.095 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 6713 0 0 0 63997 29 0 0 25 0 1 0 777118963 35233792 6637 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8602 6637 1111 63 0 8539 0
vsize: 34408
[startup+650.095 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 6793 0 0 0 64997 30 0 0 25 0 1 0 777118963 35647488 6717 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8703 6717 1111 63 0 8640 0
vsize: 34812
[startup+660.096 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 6866 0 0 0 65997 30 0 0 25 0 1 0 777118963 35921920 6790 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8770 6790 1111 63 0 8707 0
vsize: 35080
[startup+670.096 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 6933 0 0 0 66997 30 0 0 25 0 1 0 777118963 36196352 6857 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8837 6857 1111 63 0 8774 0
vsize: 35348
[startup+680.096 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 7002 0 0 0 67997 30 0 0 25 0 1 0 777118963 36470784 6926 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8904 6926 1111 63 0 8841 0
vsize: 35616
[startup+690.096 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 7077 0 0 0 68997 30 0 0 25 0 1 0 777118963 36749312 7001 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8972 7001 1111 63 0 8909 0
vsize: 35888
[startup+700.096 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 7151 0 0 0 69997 31 0 0 25 0 1 0 777118963 37023744 7075 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9039 7075 1111 63 0 8976 0
vsize: 36156
[startup+710.096 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 7224 0 0 0 70998 31 0 0 25 0 1 0 777118963 37437440 7148 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9140 7148 1111 63 0 9077 0
vsize: 36560
[startup+720.097 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 7291 0 0 0 71998 31 0 0 25 0 1 0 777118963 37707776 7215 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9206 7215 1111 63 0 9143 0
vsize: 36824
[startup+730.096 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 7366 0 0 0 72998 31 0 0 25 0 1 0 777118963 37990400 7290 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9275 7290 1111 63 0 9212 0
vsize: 37100
[startup+740.097 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 7433 0 0 0 73998 31 0 0 25 0 1 0 777118963 38264832 7357 4294967295 134512640 134714508 3221224592 3221222820 1077414393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9342 7357 1111 63 0 9279 0
vsize: 37368
[startup+750.097 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 7502 0 0 0 74998 32 0 0 25 0 1 0 777118963 38543360 7426 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9410 7426 1111 63 0 9347 0
vsize: 37640
[startup+760.097 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 7569 0 0 0 75998 32 0 0 25 0 1 0 777118963 38817792 7493 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9477 7493 1111 63 0 9414 0
vsize: 37908
[startup+770.097 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 7649 0 0 0 76999 32 0 0 25 0 1 0 777118963 39092224 7573 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9544 7573 1111 63 0 9481 0
vsize: 38176
[startup+780.097 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 7724 0 0 0 77999 32 0 0 25 0 1 0 777118963 39370752 7648 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9612 7648 1111 63 0 9549 0
vsize: 38448
[startup+790.097 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 7798 0 0 0 78999 32 0 0 25 0 1 0 777118963 39784448 7722 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9713 7722 1111 63 0 9650 0
vsize: 38852
[startup+800.097 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 7878 0 0 0 80000 32 0 0 25 0 1 0 777118963 40054784 7802 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9779 7802 1111 63 0 9716 0
vsize: 39116
[startup+810.098 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 7952 0 0 0 81000 32 0 0 25 0 1 0 777118963 40329216 7876 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9846 7876 1111 63 0 9783 0
vsize: 39384
[startup+820.098 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 8026 0 0 0 82000 32 0 0 25 0 1 0 777118963 40607744 7950 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9914 7950 1111 63 0 9851 0
vsize: 39656
[startup+830.098 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 8094 0 0 0 83000 32 0 0 25 0 1 0 777118963 40886272 8018 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9982 8018 1111 63 0 9919 0
vsize: 39928
[startup+840.098 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 8174 0 0 0 84000 33 0 0 25 0 1 0 777118963 41295872 8098 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10082 8098 1111 63 0 10019 0
vsize: 40328
[startup+850.099 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 8248 0 0 0 85000 33 0 0 25 0 1 0 777118963 41570304 8172 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10149 8172 1111 63 0 10086 0
vsize: 40596
[startup+860.099 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 8321 0 0 0 86001 33 0 0 25 0 1 0 777118963 41844736 8245 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10216 8245 1111 63 0 10153 0
vsize: 40864
[startup+870.1 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 8391 0 0 0 87001 33 0 0 25 0 1 0 777118963 42127360 8315 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10285 8315 1111 63 0 10222 0
vsize: 41140
[startup+880.1 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 8464 0 0 0 88001 33 0 0 25 0 1 0 777118963 42401792 8388 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10352 8388 1111 63 0 10289 0
vsize: 41408
[startup+890.1 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 8538 0 0 0 89002 33 0 0 25 0 1 0 777118963 42815488 8462 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10453 8462 1111 63 0 10390 0
vsize: 41812
[startup+900.1 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 8624 0 0 0 90002 33 0 0 25 0 1 0 777118963 43089920 8548 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10520 8548 1111 63 0 10457 0
vsize: 42080
[startup+910.1 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 8699 0 0 0 91002 33 0 0 25 0 1 0 777118963 43520000 8623 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10625 8623 1111 63 0 10562 0
vsize: 42500
[startup+920.1 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 8772 0 0 0 92002 34 0 0 25 0 1 0 777118963 43794432 8696 4294967295 134512640 134714508 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10692 8696 1111 63 0 10629 0
vsize: 42768
[startup+930.1 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 8840 0 0 0 93003 34 0 0 25 0 1 0 777118963 44072960 8764 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10760 8764 1111 63 0 10697 0
vsize: 43040
[startup+940.101 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 8902 0 0 0 94003 34 0 0 25 0 1 0 777118963 44351488 8826 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10828 8826 1111 63 0 10765 0
vsize: 43312
[startup+950.101 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 8975 0 0 0 95003 34 0 0 25 0 1 0 777118963 44630016 8899 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10896 8899 1111 63 0 10833 0
vsize: 43584
[startup+960.102 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 9057 0 0 0 96003 34 0 0 25 0 1 0 777118963 44908544 8981 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10964 8981 1111 63 0 10901 0
vsize: 43856
[startup+970.102 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 9124 0 0 0 97004 34 0 0 25 0 1 0 777118963 45182976 9048 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11031 9048 1111 63 0 10968 0
vsize: 44124
[startup+980.102 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 9198 0 0 0 98004 34 0 0 25 0 1 0 777118963 45457408 9122 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11098 9122 1111 63 0 11035 0
vsize: 44392
[startup+990.103 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 9272 0 0 0 99004 34 0 0 25 0 1 0 777118963 45871104 9196 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11199 9196 1111 63 0 11136 0
vsize: 44796
[startup+1000.1 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 9348 0 0 0 100004 34 0 0 25 0 1 0 777118963 46149632 9272 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11267 9272 1111 63 0 11204 0
vsize: 45068
[startup+1010.1 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 9429 0 0 0 101004 35 0 0 25 0 1 0 777118963 46419968 9353 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11333 9353 1111 63 0 11270 0
vsize: 45332
[startup+1020.1 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 9496 0 0 0 102005 35 0 0 25 0 1 0 777118963 46698496 9420 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11401 9420 1111 63 0 11338 0
vsize: 45604
[startup+1030.1 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 9577 0 0 0 103005 35 0 0 25 0 1 0 777118963 47108096 9501 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11501 9501 1111 63 0 11438 0
vsize: 46004
[startup+1040.11 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 9650 0 0 0 104005 35 0 0 25 0 1 0 777118963 47382528 9574 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11568 9574 1111 63 0 11505 0
vsize: 46272
[startup+1050.11 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 9732 0 0 0 105005 36 0 0 25 0 1 0 777118963 47661056 9656 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11636 9656 1111 63 0 11573 0
vsize: 46544
[startup+1060.11 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 9805 0 0 0 106005 36 0 0 25 0 1 0 777118963 47939584 9729 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11704 9729 1111 63 0 11641 0
vsize: 46816
[startup+1070.11 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 9873 0 0 0 107006 36 0 0 25 0 1 0 777118963 48214016 9797 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11771 9797 1111 63 0 11708 0
vsize: 47084
[startup+1080.11 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 9953 0 0 0 108006 36 0 0 25 0 1 0 777118963 48623616 9877 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11871 9877 1111 63 0 11808 0
vsize: 47484
[startup+1090.11 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 10023 0 0 0 109006 36 0 0 25 0 1 0 777118963 48906240 9947 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11940 9947 1111 63 0 11877 0
vsize: 47760
[startup+1100.11 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 10096 0 0 0 110006 36 0 0 25 0 1 0 777118963 49184768 10020 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12008 10020 1111 63 0 11945 0
vsize: 48032
[startup+1110.11 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 10171 0 0 0 111007 36 0 0 25 0 1 0 777118963 49459200 10095 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12075 10095 1111 63 0 12012 0
vsize: 48300
[startup+1120.11 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 10239 0 0 0 112007 37 0 0 25 0 1 0 777118963 49733632 10163 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12142 10163 1111 63 0 12079 0
vsize: 48568
[startup+1130.11 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 10307 0 0 0 113007 37 0 0 25 0 1 0 777118963 50012160 10231 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12210 10231 1111 63 0 12147 0
vsize: 48840
[startup+1140.11 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 10395 0 0 0 114007 37 0 0 25 0 1 0 777118963 50425856 10319 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12311 10319 1111 63 0 12248 0
vsize: 49244
[startup+1150.11 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 10462 0 0 0 115008 37 0 0 25 0 1 0 777118963 50700288 10386 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12378 10386 1111 63 0 12315 0
vsize: 49512
[startup+1160.11 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 10536 0 0 0 116008 37 0 0 25 0 1 0 777118963 50974720 10460 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12445 10460 1111 63 0 12382 0
vsize: 49780
[startup+1170.11 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 10597 0 0 0 117008 37 0 0 25 0 1 0 777118963 51253248 10521 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12513 10521 1111 63 0 12450 0
vsize: 50052
[startup+1180.11 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 10666 0 0 0 118008 37 0 0 25 0 1 0 777118963 51535872 10590 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12582 10590 1111 63 0 12519 0
vsize: 50328
[startup+1190.11 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 10739 0 0 0 119009 37 0 0 25 0 1 0 777118963 51810304 10663 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12649 10663 1111 63 0 12586 0
vsize: 50596
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.97 1.00 2/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) R 1818 25568 25567 0 -1 0 10807 0 0 0 120009 38 0 0 25 0 1 0 777118963 52084736 10731 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12716 10731 1111 63 0 12653 0
vsize: 50864
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.00 0.97 1.00 1/54 1819
Raw data (stat): 1819 (bsolo_lpr_cuts) Z 1818 25568 25567 0 -1 1036 10807 0 0 0 120009 39 0 0 25 0 1 0 777118963 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.14
CPU time (s): 1200.49
CPU user time (s): 1200.09
CPU system time (s): 0.399939
CPU usage (%): 100.03
Max. virtual memory (Kb): 50864
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####