PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos4.opb
MD5SUM	30059c64e21a2e364f81efb4e08403c5
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	78981
Biggest coefficient in the objective function	1400338009135513600000000
Number of bits for the biggest coefficient in the objective function	81
Sum of the numbers in the objective function	357842136202818385868750848
Number of bits of the sum of numbers in the objective function	89
Biggest number in a constraint	1400338009135513600000000
Number of bits of the biggest number in a constraint	81
Biggest sum of numbers in a constraint	357842136202818385868750848
Number of bits of the biggest sum of numbers	89
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.50277
Number of variables	151216
Total number of constraints	56505
Number of constraints which are clauses	32142
Number of constraints which are cardinality constraints (but not clauses)	17175
Number of constraints which are nor clauses,nor cardinality constraints	7188
Minimum length of a constraint	1
Maximum length of a constraint	752
Trace number 41671

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 19:26:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29732 boxname=wulflinc6 idbench=1516 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  30059c64e21a2e364f81efb4e08403c5  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-neos4.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-neos4.opb
IDLAUNCH: 29732
/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:        825744 kB
Buffers:         17848 kB
Cached:         169652 kB
SwapCached:        928 kB
Active:          41408 kB
Inactive:       148164 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        825492 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            13648 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 19:47:00 (client local time) WITH STATUS 0 IN 1200.4 SECONDS
stats: 29732 7 1200.4 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.92 0.97 0.93 2/54 15725
Raw data (stat): 15725 (runsolver) R 15724 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912787172 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.0005 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 1084 0 0 0 994 3 0 0 25 0 1 0 912787172 15347712 1004 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3747 1004 1111 63 0 3684 0
vsize: 14988
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 1135 0 0 0 1994 4 0 0 25 0 1 0 912787172 15618048 1055 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3813 1055 1111 63 0 3750 0
vsize: 15252
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 1199 0 0 0 2994 4 0 0 25 0 1 0 912787172 15753216 1119 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3846 1119 1111 63 0 3783 0
vsize: 15384
[startup+40.0039 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 1262 0 0 0 3995 4 0 0 25 0 1 0 912787172 16044032 1182 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3917 1182 1111 63 0 3854 0
vsize: 15668
[startup+50.0053 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 1312 0 0 0 4995 5 0 0 25 0 1 0 912787172 16334848 1232 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3988 1232 1111 63 0 3925 0
vsize: 15952
[startup+60.0052 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 1379 0 0 0 5995 5 0 0 25 0 1 0 912787172 16609280 1299 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4055 1299 1111 63 0 3992 0
vsize: 16220
[startup+70.0053 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 1442 0 0 0 6995 5 0 0 25 0 1 0 912787172 16744448 1362 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4088 1362 1111 63 0 4025 0
vsize: 16352
[startup+80.0068 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 1494 0 0 0 7995 5 0 0 25 0 1 0 912787172 17014784 1414 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4154 1414 1111 63 0 4091 0
vsize: 16616
[startup+90.0076 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 1557 0 0 0 8995 6 0 0 25 0 1 0 912787172 17285120 1477 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4220 1477 1111 63 0 4157 0
vsize: 16880
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 1620 0 0 0 9995 6 0 0 25 0 1 0 912787172 17575936 1540 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4291 1540 1111 63 0 4228 0
vsize: 17164
[startup+110.017 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 1671 0 0 0 10996 6 0 0 25 0 1 0 912787172 17711104 1591 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 1591 1111 63 0 4261 0
vsize: 17296
[startup+120.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 1739 0 0 0 11997 6 0 0 25 0 1 0 912787172 18001920 1659 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4395 1659 1111 63 0 4332 0
vsize: 17580
[startup+130.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 1802 0 0 0 12997 6 0 0 25 0 1 0 912787172 18292736 1722 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 1722 1111 63 0 4403 0
vsize: 17864
[startup+140.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 1855 0 0 0 13997 7 0 0 25 0 1 0 912787172 18563072 1775 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4532 1775 1111 63 0 4469 0
vsize: 18128
[startup+150.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 1919 0 0 0 14997 7 0 0 25 0 1 0 912787172 18698240 1839 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4565 1839 1111 63 0 4502 0
vsize: 18260
[startup+160.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 1984 0 0 0 15998 7 0 0 25 0 1 0 912787172 18984960 1904 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4635 1904 1111 63 0 4572 0
vsize: 18540
[startup+170.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 2047 0 0 0 16998 7 0 0 25 0 1 0 912787172 19259392 1967 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4702 1967 1111 63 0 4639 0
vsize: 18808
[startup+180.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 2103 0 0 0 17998 7 0 0 25 0 1 0 912787172 19550208 2023 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 2023 1111 63 0 4710 0
vsize: 19092
[startup+190.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 2169 0 0 0 18998 7 0 0 25 0 1 0 912787172 19820544 2089 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 2089 1111 63 0 4776 0
vsize: 19356
[startup+200.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 2224 0 0 0 19998 8 0 0 25 0 1 0 912787172 19955712 2144 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4872 2144 1111 63 0 4809 0
vsize: 19488
[startup+210.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 2288 0 0 0 20999 8 0 0 25 0 1 0 912787172 20242432 2208 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4942 2208 1111 63 0 4879 0
vsize: 19768
[startup+220.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 2346 0 0 0 21999 8 0 0 25 0 1 0 912787172 20512768 2266 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5008 2266 1111 63 0 4945 0
vsize: 20032
[startup+230.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 2403 0 0 0 22999 8 0 0 25 0 1 0 912787172 20803584 2323 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5079 2323 1111 63 0 5016 0
vsize: 20316
[startup+240.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 2474 0 0 0 23999 8 0 0 25 0 1 0 912787172 21094400 2394 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5150 2394 1111 63 0 5087 0
vsize: 20600
[startup+250.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 2539 0 0 0 24999 8 0 0 25 0 1 0 912787172 21385216 2459 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5221 2459 1111 63 0 5158 0
vsize: 20884
[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 2603 0 0 0 25999 9 0 0 25 0 1 0 912787172 21520384 2523 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5254 2523 1111 63 0 5191 0
vsize: 21016
[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 2668 0 0 0 26999 9 0 0 25 0 1 0 912787172 21790720 2588 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5320 2588 1111 63 0 5257 0
vsize: 21280
[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 2732 0 0 0 27999 9 0 0 25 0 1 0 912787172 22081536 2652 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5391 2652 1111 63 0 5328 0
vsize: 21564
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 2790 0 0 0 29000 9 0 0 25 0 1 0 912787172 22372352 2710 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5462 2710 1111 63 0 5399 0
vsize: 21848
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 2847 0 0 0 30000 9 0 0 25 0 1 0 912787172 22642688 2767 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5528 2767 1111 63 0 5465 0
vsize: 22112
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 2911 0 0 0 31000 9 0 0 25 0 1 0 912787172 22777856 2831 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5561 2831 1111 63 0 5498 0
vsize: 22244
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 2964 0 0 0 32000 9 0 0 25 0 1 0 912787172 23068672 2884 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5632 2884 1111 63 0 5569 0
vsize: 22528
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 3027 0 0 0 33000 10 0 0 25 0 1 0 912787172 23363584 2947 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5704 2947 1111 63 0 5641 0
vsize: 22816
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 3091 0 0 0 34000 10 0 0 25 0 1 0 912787172 23633920 3011 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5770 3011 1111 63 0 5707 0
vsize: 23080
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 3157 0 0 0 35000 10 0 0 25 0 1 0 912787172 23904256 3077 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5836 3077 1111 63 0 5773 0
vsize: 23344
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 3221 0 0 0 36001 10 0 0 25 0 1 0 912787172 24039424 3141 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5869 3141 1111 63 0 5806 0
vsize: 23476
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 3286 0 0 0 37001 10 0 0 25 0 1 0 912787172 24330240 3206 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5940 3206 1111 63 0 5877 0
vsize: 23760
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 3350 0 0 0 38001 10 0 0 25 0 1 0 912787172 24621056 3270 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6011 3270 1111 63 0 5948 0
vsize: 24044
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 3398 0 0 0 39001 10 0 0 25 0 1 0 912787172 24756224 3318 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6044 3318 1111 63 0 5981 0
vsize: 24176
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 3463 0 0 0 40002 11 0 0 25 0 1 0 912787172 25026560 3383 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6110 3383 1111 63 0 6047 0
vsize: 24440
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 3514 0 0 0 41002 11 0 0 25 0 1 0 912787172 25296896 3434 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6176 3434 1111 63 0 6113 0
vsize: 24704
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 3578 0 0 0 42002 11 0 0 25 0 1 0 912787172 25587712 3498 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6247 3498 1111 63 0 6184 0
vsize: 24988
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 3643 0 0 0 43002 11 0 0 25 0 1 0 912787172 25878528 3563 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6318 3563 1111 63 0 6255 0
vsize: 25272
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 3707 0 0 0 44002 11 0 0 25 0 1 0 912787172 26148864 3627 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6384 3627 1111 63 0 6321 0
vsize: 25536
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 3772 0 0 0 45002 11 0 0 25 0 1 0 912787172 26419200 3692 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6450 3692 1111 63 0 6387 0
vsize: 25800
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 3847 0 0 0 46002 12 0 0 25 0 1 0 912787172 26742784 3767 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6529 3767 1111 63 0 6466 0
vsize: 26116
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 3910 0 0 0 47003 12 0 0 25 0 1 0 912787172 27033600 3830 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6600 3830 1111 63 0 6537 0
vsize: 26400
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 3975 0 0 0 48003 12 0 0 25 0 1 0 912787172 27172864 3895 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6634 3895 1111 63 0 6571 0
vsize: 26536
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 4025 0 0 0 49003 12 0 0 25 0 1 0 912787172 27443200 3945 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6700 3945 1111 63 0 6637 0
vsize: 26800
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 4089 0 0 0 50003 12 0 0 25 0 1 0 912787172 27734016 4009 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6771 4009 1111 63 0 6708 0
vsize: 27084
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 4155 0 0 0 51003 12 0 0 25 0 1 0 912787172 28024832 4075 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6842 4075 1111 63 0 6779 0
vsize: 27368
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 4219 0 0 0 52004 12 0 0 25 0 1 0 912787172 28295168 4139 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6908 4139 1111 63 0 6845 0
vsize: 27632
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 4284 0 0 0 53004 12 0 0 25 0 1 0 912787172 28430336 4204 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6941 4204 1111 63 0 6878 0
vsize: 27764
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 4349 0 0 0 54004 12 0 0 25 0 1 0 912787172 28700672 4269 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7007 4269 1111 63 0 6944 0
vsize: 28028
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 4414 0 0 0 55004 13 0 0 25 0 1 0 912787172 28991488 4334 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7078 4334 1111 63 0 7015 0
vsize: 28312
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 4480 0 0 0 56004 13 0 0 25 0 1 0 912787172 29282304 4400 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7149 4400 1111 63 0 7086 0
vsize: 28596
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 4552 0 0 0 57005 13 0 0 25 0 1 0 912787172 29552640 4472 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7215 4472 1111 63 0 7152 0
vsize: 28860
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 4611 0 0 0 58005 13 0 0 25 0 1 0 912787172 29822976 4531 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7281 4531 1111 63 0 7218 0
vsize: 29124
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 4688 0 0 0 59005 13 0 0 25 0 1 0 912787172 30113792 4608 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7352 4608 1111 63 0 7289 0
vsize: 29408
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 4753 0 0 0 60005 13 0 0 25 0 1 0 912787172 30404608 4673 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7423 4673 1111 63 0 7360 0
vsize: 29692
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 4821 0 0 0 61005 13 0 0 25 0 1 0 912787172 30674944 4741 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7489 4741 1111 63 0 7426 0
vsize: 29956
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 4887 0 0 0 62006 13 0 0 25 0 1 0 912787172 30945280 4807 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7555 4807 1111 63 0 7492 0
vsize: 30220
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 4965 0 0 0 63006 13 0 0 25 0 1 0 912787172 31215616 4885 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7621 4885 1111 63 0 7558 0
vsize: 30484
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 5022 0 0 0 64006 13 0 0 25 0 1 0 912787172 31506432 4942 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7692 4942 1111 63 0 7629 0
vsize: 30768
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 5095 0 0 0 65006 14 0 0 25 0 1 0 912787172 31797248 5015 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7763 5015 1111 63 0 7700 0
vsize: 31052
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 5161 0 0 0 66006 14 0 0 25 0 1 0 912787172 32067584 5081 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7829 5081 1111 63 0 7766 0
vsize: 31316
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 5227 0 0 0 67007 14 0 0 25 0 1 0 912787172 32337920 5147 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7895 5147 1111 63 0 7832 0
vsize: 31580
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 5306 0 0 0 68006 14 0 0 25 0 1 0 912787172 32628736 5226 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7966 5226 1111 63 0 7903 0
vsize: 31864
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 5372 0 0 0 69007 15 0 0 25 0 1 0 912787172 32919552 5292 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8037 5292 1111 63 0 7974 0
vsize: 32148
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 5445 0 0 0 70007 15 0 0 25 0 1 0 912787172 33189888 5365 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8103 5365 1111 63 0 8040 0
vsize: 32412
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 5518 0 0 0 71007 15 0 0 25 0 1 0 912787172 33460224 5438 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8169 5438 1111 63 0 8106 0
vsize: 32676
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 5584 0 0 0 72007 15 0 0 25 0 1 0 912787172 33751040 5504 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8240 5504 1111 63 0 8177 0
vsize: 32960
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 5649 0 0 0 73007 15 0 0 25 0 1 0 912787172 34021376 5569 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8306 5569 1111 63 0 8243 0
vsize: 33224
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 5714 0 0 0 74007 16 0 0 25 0 1 0 912787172 34312192 5634 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8377 5634 1111 63 0 8314 0
vsize: 33508
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 5793 0 0 0 75007 16 0 0 25 0 1 0 912787172 34582528 5713 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8443 5713 1111 63 0 8380 0
vsize: 33772
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 5860 0 0 0 76007 16 0 0 25 0 1 0 912787172 34852864 5780 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8509 5780 1111 63 0 8446 0
vsize: 34036
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 5940 0 0 0 77007 16 0 0 25 0 1 0 912787172 35278848 5860 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8613 5860 1111 63 0 8550 0
vsize: 34452
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 6006 0 0 0 78008 16 0 0 25 0 1 0 912787172 35569664 5926 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 5926 1111 63 0 8621 0
vsize: 34736
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 6085 0 0 0 79008 17 0 0 25 0 1 0 912787172 35840000 6005 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8750 6005 1111 63 0 8687 0
vsize: 35000
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 6152 0 0 0 80008 17 0 0 25 0 1 0 912787172 36110336 6072 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8816 6072 1111 63 0 8753 0
vsize: 35264
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 6233 0 0 0 81008 17 0 0 25 0 1 0 912787172 36421632 6153 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8892 6153 1111 63 0 8829 0
vsize: 35568
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 6313 0 0 0 82008 17 0 0 25 0 1 0 912787172 36696064 6233 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8959 6233 1111 63 0 8896 0
vsize: 35836
[startup+830.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 6394 0 0 0 83008 17 0 0 25 0 1 0 912787172 37122048 6314 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9063 6314 1111 63 0 9000 0
vsize: 36252
[startup+840.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 6474 0 0 0 84009 17 0 0 25 0 1 0 912787172 37416960 6394 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9135 6394 1111 63 0 9072 0
vsize: 36540
[startup+850.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 6537 0 0 0 85009 17 0 0 25 0 1 0 912787172 37687296 6457 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9201 6457 1111 63 0 9138 0
vsize: 36804
[startup+860.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 6625 0 0 0 86009 18 0 0 25 0 1 0 912787172 38150144 6545 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9314 6545 1111 63 0 9251 0
vsize: 37256
[startup+870.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 6690 0 0 0 87009 18 0 0 25 0 1 0 912787172 38440960 6610 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9385 6610 1111 63 0 9322 0
vsize: 37540
[startup+880.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 6770 0 0 0 88009 18 0 0 25 0 1 0 912787172 38711296 6690 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9451 6690 1111 63 0 9388 0
vsize: 37804
[startup+890.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 6848 0 0 0 89009 18 0 0 25 0 1 0 912787172 39002112 6768 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9522 6768 1111 63 0 9459 0
vsize: 38088
[startup+900.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 6917 0 0 0 90009 18 0 0 25 0 1 0 912787172 39407616 6837 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9621 6837 1111 63 0 9558 0
vsize: 38484
[startup+910.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 6997 0 0 0 91009 19 0 0 25 0 1 0 912787172 39698432 6917 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9692 6917 1111 63 0 9629 0
vsize: 38768
[startup+920.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 7063 0 0 0 92010 19 0 0 25 0 1 0 912787172 39989248 6983 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9763 6983 1111 63 0 9700 0
vsize: 39052
[startup+930.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 7128 0 0 0 93009 19 0 0 25 0 1 0 912787172 40259584 7048 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9829 7048 1111 63 0 9766 0
vsize: 39316
[startup+940.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 7206 0 0 0 94010 19 0 0 25 0 1 0 912787172 40529920 7126 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9895 7126 1111 63 0 9832 0
vsize: 39580
[startup+950.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 7274 0 0 0 95010 19 0 0 25 0 1 0 912787172 40800256 7194 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9961 7194 1111 63 0 9898 0
vsize: 39844
[startup+960.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 7355 0 0 0 96010 20 0 0 25 0 1 0 912787172 41091072 7275 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10032 7275 1111 63 0 9969 0
vsize: 40128
[startup+970.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 7436 0 0 0 97010 20 0 0 25 0 1 0 912787172 41517056 7356 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10136 7356 1111 63 0 10073 0
vsize: 40544
[startup+980.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 7514 0 0 0 98010 20 0 0 25 0 1 0 912787172 41787392 7434 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10202 7434 1111 63 0 10139 0
vsize: 40808
[startup+990.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 7583 0 0 0 99010 20 0 0 25 0 1 0 912787172 42057728 7503 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10268 7503 1111 63 0 10205 0
vsize: 41072
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 7648 0 0 0 100011 20 0 0 25 0 1 0 912787172 42348544 7568 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10339 7568 1111 63 0 10276 0
vsize: 41356
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 7729 0 0 0 101011 20 0 0 25 0 1 0 912787172 42643456 7649 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10411 7649 1111 63 0 10348 0
vsize: 41644
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 7801 0 0 0 102011 21 0 0 25 0 1 0 912787172 42913792 7721 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10477 7721 1111 63 0 10414 0
vsize: 41908
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 7876 0 0 0 103011 21 0 0 25 0 1 0 912787172 43204608 7796 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10548 7796 1111 63 0 10485 0
vsize: 42192
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 7956 0 0 0 104011 21 0 0 25 0 1 0 912787172 43630592 7876 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10652 7876 1111 63 0 10589 0
vsize: 42608
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 8038 0 0 0 105011 21 0 0 25 0 1 0 912787172 43900928 7958 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10718 7958 1111 63 0 10655 0
vsize: 42872
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 8118 0 0 0 106011 21 0 0 25 0 1 0 912787172 44171264 8038 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10784 8038 1111 63 0 10721 0
vsize: 43136
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 8182 0 0 0 107012 21 0 0 25 0 1 0 912787172 44462080 8102 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10855 8102 1111 63 0 10792 0
vsize: 43420
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 8263 0 0 0 108012 21 0 0 25 0 1 0 912787172 44892160 8183 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10960 8183 1111 63 0 10897 0
vsize: 43840
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 8336 0 0 0 109012 22 0 0 25 0 1 0 912787172 45162496 8256 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11026 8256 1111 63 0 10963 0
vsize: 44104
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 8412 0 0 0 110012 22 0 0 25 0 1 0 912787172 45432832 8332 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11092 8332 1111 63 0 11029 0
vsize: 44368
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 8492 0 0 0 111012 22 0 0 25 0 1 0 912787172 45744128 8412 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11168 8412 1111 63 0 11105 0
vsize: 44672
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 8573 0 0 0 112013 22 0 0 25 0 1 0 912787172 46149632 8493 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11267 8493 1111 63 0 11204 0
vsize: 45068
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 8653 0 0 0 113013 22 0 0 25 0 1 0 912787172 46419968 8573 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11333 8573 1111 63 0 11270 0
vsize: 45332
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 8727 0 0 0 114013 22 0 0 25 0 1 0 912787172 46714880 8647 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11405 8647 1111 63 0 11342 0
vsize: 45620
[startup+1150 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 8801 0 0 0 115013 23 0 0 25 0 1 0 912787172 47005696 8721 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11476 8721 1111 63 0 11413 0
vsize: 45904
[startup+1160.01 s]
Raw data (loadavg): 1.14 1.00 0.94 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 8882 0 0 0 116013 23 0 0 25 0 1 0 912787172 47280128 8802 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11543 8802 1111 63 0 11480 0
vsize: 46172
[startup+1170 s]
Raw data (loadavg): 1.11 1.00 0.94 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 8962 0 0 0 117014 23 0 0 25 0 1 0 912787172 47706112 8882 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11647 8882 1111 63 0 11584 0
vsize: 46588
[startup+1180.01 s]
Raw data (loadavg): 1.10 1.00 0.94 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 9044 0 0 0 118014 23 0 0 25 0 1 0 912787172 47996928 8964 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11718 8964 1111 63 0 11655 0
vsize: 46872
[startup+1190.01 s]
Raw data (loadavg): 1.08 1.00 0.94 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 9125 0 0 0 119014 23 0 0 25 0 1 0 912787172 48267264 9045 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11784 9045 1111 63 0 11721 0
vsize: 47136
[startup+1200.01 s]
Raw data (loadavg): 1.07 1.00 0.94 2/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) R 15724 25568 25567 0 -1 0 9206 0 0 0 120015 23 0 0 25 0 1 0 912787172 48672768 9126 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11883 9126 1111 63 0 11820 0
vsize: 47532
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.02 s]
Raw data (loadavg): 1.07 1.00 0.94 1/54 15725
Raw data (stat): 15725 (bsolo_lpr_cuts-) Z 15724 25568 25567 0 -1 1036 9206 0 0 0 120015 25 0 0 25 0 1 0 912787172 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.02
CPU time (s): 1200.4
CPU user time (s): 1200.15
CPU system time (s): 0.251961
CPU usage (%): 100.032
Max. virtual memory (Kb): 47532
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####