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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos4.opb
MD5SUM	e465af1c9ec9e748a7782ddbee36d3b1
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	100590
Biggest coefficient in the objective function	11202704073084108800000000
Number of bits for the biggest coefficient in the objective function	84
Sum of the numbers in the objective function	2862789126208280618841669632
Number of bits of the sum of numbers in the objective function	92
Biggest number in a constraint	11202704073084108800000000
Number of bits of the biggest number in a constraint	84
Biggest sum of numbers in a constraint	2862789126208280618841669632
Number of bits of the biggest sum of numbers	92
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.90971
Number of variables	203044
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	1115
Trace number 28022

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-25 00:10:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14692 boxname=wulflinc19 idbench=1131 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  e465af1c9ec9e748a7782ddbee36d3b1  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-neos4.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-neos4.opb
IDLAUNCH: 14692
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        811940 kB
Buffers:         31796 kB
Cached:         163456 kB
SwapCached:        520 kB
Active:          52784 kB
Inactive:       144880 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        811688 kB
SwapTotal:     2097892 kB
SwapFree:      2096796 kB
Dirty:              12 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            19440 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 00:30:43 (client local time) WITH STATUS 0 IN 1200.8 SECONDS
stats: 14692 7 1200.8 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.91 0.96 0.91 2/54 16703
Raw data (stat): 16703 (runsolver) R 16702 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834446013 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1237 0 0 0 991 4 0 0 25 0 1 0 834446013 15212544 1161 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3714 1161 1111 63 0 3651 0
vsize: 14856
[startup+20.0012 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1278 0 0 0 1991 4 0 0 25 0 1 0 834446013 15482880 1202 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3780 1202 1111 63 0 3717 0
vsize: 15120
[startup+30.0023 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1319 0 0 0 2991 4 0 0 25 0 1 0 834446013 15618048 1243 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3813 1243 1111 63 0 3750 0
vsize: 15252
[startup+40.0032 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1361 0 0 0 3991 5 0 0 25 0 1 0 834446013 15753216 1285 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3846 1285 1111 63 0 3783 0
vsize: 15384
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1408 0 0 0 4992 5 0 0 25 0 1 0 834446013 15888384 1332 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3879 1332 1111 63 0 3816 0
vsize: 15516
[startup+60.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1443 0 0 0 5991 5 0 0 25 0 1 0 834446013 16158720 1367 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3945 1367 1111 63 0 3882 0
vsize: 15780
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1491 0 0 0 6992 5 0 0 25 0 1 0 834446013 16293888 1415 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3978 1415 1111 63 0 3915 0
vsize: 15912
[startup+80.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1526 0 0 0 7992 5 0 0 25 0 1 0 834446013 16429056 1450 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4011 1450 1111 63 0 3948 0
vsize: 16044
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1577 0 0 0 8992 5 0 0 25 0 1 0 834446013 16703488 1501 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4078 1501 1111 63 0 4015 0
vsize: 16312
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1617 0 0 0 9992 5 0 0 25 0 1 0 834446013 16838656 1541 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 1541 1111 63 0 4048 0
vsize: 16444
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1660 0 0 0 10992 5 0 0 25 0 1 0 834446013 16977920 1584 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4145 1584 1111 63 0 4082 0
vsize: 16580
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1707 0 0 0 11992 6 0 0 25 0 1 0 834446013 17113088 1631 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4178 1631 1111 63 0 4115 0
vsize: 16712
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1742 0 0 0 12992 6 0 0 25 0 1 0 834446013 17383424 1666 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4244 1666 1111 63 0 4181 0
vsize: 16976
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1790 0 0 0 13992 6 0 0 25 0 1 0 834446013 17518592 1714 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 1714 1111 63 0 4214 0
vsize: 17108
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1824 0 0 0 14992 6 0 0 25 0 1 0 834446013 17653760 1748 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4310 1748 1111 63 0 4247 0
vsize: 17240
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1876 0 0 0 15992 6 0 0 25 0 1 0 834446013 17940480 1800 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4380 1800 1111 63 0 4317 0
vsize: 17520
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1912 0 0 0 16993 6 0 0 25 0 1 0 834446013 18075648 1836 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4413 1836 1111 63 0 4350 0
vsize: 17652
[startup+180.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1961 0 0 0 17993 6 0 0 25 0 1 0 834446013 18210816 1885 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4446 1885 1111 63 0 4383 0
vsize: 17784
[startup+190.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2008 0 0 0 19004 6 0 0 25 0 1 0 834446013 18345984 1932 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4479 1932 1111 63 0 4416 0
vsize: 17916
[startup+200.126 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2043 0 0 0 20005 6 0 0 25 0 1 0 834446013 18616320 1967 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 1967 1111 63 0 4482 0
vsize: 18180
[startup+210.127 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2091 0 0 0 21005 7 0 0 25 0 1 0 834446013 18751488 2015 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4578 2015 1111 63 0 4515 0
vsize: 18312
[startup+220.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2140 0 0 0 22006 7 0 0 25 0 1 0 834446013 18886656 2064 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4611 2064 1111 63 0 4548 0
vsize: 18444
[startup+230.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2175 0 0 0 23006 7 0 0 25 0 1 0 834446013 19156992 2099 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4677 2099 1111 63 0 4614 0
vsize: 18708
[startup+240.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2223 0 0 0 24006 7 0 0 25 0 1 0 834446013 19292160 2147 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4710 2147 1111 63 0 4647 0
vsize: 18840
[startup+250.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2271 0 0 0 25006 7 0 0 25 0 1 0 834446013 19427328 2195 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4743 2195 1111 63 0 4680 0
vsize: 18972
[startup+260.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2307 0 0 0 26006 7 0 0 25 0 1 0 834446013 19697664 2231 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4809 2231 1111 63 0 4746 0
vsize: 19236
[startup+270.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2354 0 0 0 27006 7 0 0 25 0 1 0 834446013 19832832 2278 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4842 2278 1111 63 0 4779 0
vsize: 19368
[startup+280.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2401 0 0 0 28007 8 0 0 25 0 1 0 834446013 19968000 2325 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4875 2325 1111 63 0 4812 0
vsize: 19500
[startup+290.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2437 0 0 0 29008 8 0 0 25 0 1 0 834446013 20103168 2361 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 2361 1111 63 0 4845 0
vsize: 19632
[startup+300.157 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2484 0 0 0 30008 8 0 0 25 0 1 0 834446013 20373504 2408 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 2408 1111 63 0 4911 0
vsize: 19896
[startup+310.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2519 0 0 0 31009 8 0 0 25 0 1 0 834446013 20508672 2443 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5007 2443 1111 63 0 4944 0
vsize: 20028
[startup+320.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2573 0 0 0 32009 9 0 0 25 0 1 0 834446013 20807680 2497 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5080 2497 1111 63 0 5017 0
vsize: 20320
[startup+330.169 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2616 0 0 0 33009 9 0 0 25 0 1 0 834446013 20946944 2540 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5114 2540 1111 63 0 5051 0
vsize: 20456
[startup+340.169 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2657 0 0 0 34009 9 0 0 25 0 1 0 834446013 21082112 2581 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5147 2581 1111 63 0 5084 0
vsize: 20588
[startup+350.169 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2705 0 0 0 35009 9 0 0 25 0 1 0 834446013 21352448 2629 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5213 2629 1111 63 0 5150 0
vsize: 20852
[startup+360.173 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2748 0 0 0 36009 9 0 0 25 0 1 0 834446013 21487616 2672 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5246 2672 1111 63 0 5183 0
vsize: 20984
[startup+370.173 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2789 0 0 0 37009 9 0 0 25 0 1 0 834446013 21622784 2713 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5279 2713 1111 63 0 5216 0
vsize: 21116
[startup+380.174 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2838 0 0 0 38010 9 0 0 25 0 1 0 834446013 21893120 2762 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5345 2762 1111 63 0 5282 0
vsize: 21380
[startup+390.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2887 0 0 0 39010 9 0 0 25 0 1 0 834446013 22028288 2811 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5378 2811 1111 63 0 5315 0
vsize: 21512
[startup+400.179 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2930 0 0 0 40010 9 0 0 25 0 1 0 834446013 22163456 2854 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5411 2854 1111 63 0 5348 0
vsize: 21644
[startup+410.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2971 0 0 0 41010 9 0 0 25 0 1 0 834446013 22433792 2895 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5477 2895 1111 63 0 5414 0
vsize: 21908
[startup+420.18 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3004 0 0 0 42011 9 0 0 25 0 1 0 834446013 22568960 2928 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5510 2928 1111 63 0 5447 0
vsize: 22040
[startup+430.197 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3053 0 0 0 43012 9 0 0 25 0 1 0 834446013 22704128 2977 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5543 2977 1111 63 0 5480 0
vsize: 22172
[startup+440.197 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3100 0 0 0 44012 10 0 0 25 0 1 0 834446013 22839296 3024 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5576 3024 1111 63 0 5513 0
vsize: 22304
[startup+450.201 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3136 0 0 0 45013 10 0 0 25 0 1 0 834446013 23109632 3060 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5642 3060 1111 63 0 5579 0
vsize: 22568
[startup+460.206 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3184 0 0 0 46014 10 0 0 25 0 1 0 834446013 23244800 3108 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5675 3108 1111 63 0 5612 0
vsize: 22700
[startup+470.212 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3234 0 0 0 47014 10 0 0 25 0 1 0 834446013 23400448 3158 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5713 3158 1111 63 0 5650 0
vsize: 22852
[startup+480.212 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3270 0 0 0 48014 10 0 0 25 0 1 0 834446013 23539712 3194 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5747 3194 1111 63 0 5684 0
vsize: 22988
[startup+490.213 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3317 0 0 0 49014 10 0 0 25 0 1 0 834446013 23810048 3241 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5813 3241 1111 63 0 5750 0
vsize: 23252
[startup+500.214 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3364 0 0 0 50015 10 0 0 25 0 1 0 834446013 23945216 3288 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5846 3288 1111 63 0 5783 0
vsize: 23384
[startup+510.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3407 0 0 0 51016 10 0 0 25 0 1 0 834446013 24080384 3331 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5879 3331 1111 63 0 5816 0
vsize: 23516
[startup+520.238 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3449 0 0 0 52017 10 0 0 25 0 1 0 834446013 24350720 3373 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5945 3373 1111 63 0 5882 0
vsize: 23780
[startup+530.257 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3496 0 0 0 53019 10 0 0 25 0 1 0 834446013 24506368 3420 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5983 3420 1111 63 0 5920 0
vsize: 23932
[startup+540.259 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3541 0 0 0 54019 10 0 0 25 0 1 0 834446013 24641536 3465 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6016 3465 1111 63 0 5953 0
vsize: 24064
[startup+550.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3582 0 0 0 55020 10 0 0 25 0 1 0 834446013 24915968 3506 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6083 3506 1111 63 0 6020 0
vsize: 24332
[startup+560.263 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3614 0 0 0 56020 10 0 0 25 0 1 0 834446013 25051136 3538 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6116 3538 1111 63 0 6053 0
vsize: 24464
[startup+570.266 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3662 0 0 0 57021 11 0 0 25 0 1 0 834446013 25186304 3586 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6149 3586 1111 63 0 6086 0
vsize: 24596
[startup+580.267 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3704 0 0 0 58020 11 0 0 25 0 1 0 834446013 25325568 3628 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6183 3628 1111 63 0 6120 0
vsize: 24732
[startup+590.272 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3746 0 0 0 59021 11 0 0 25 0 1 0 834446013 25595904 3670 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6249 3670 1111 63 0 6186 0
vsize: 24996
[startup+600.284 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3793 0 0 0 60022 12 0 0 25 0 1 0 834446013 25731072 3717 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6282 3717 1111 63 0 6219 0
vsize: 25128
[startup+610.284 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3836 0 0 0 61022 12 0 0 25 0 1 0 834446013 25866240 3760 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6315 3760 1111 63 0 6252 0
vsize: 25260
[startup+620.293 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3889 0 0 0 62023 12 0 0 25 0 1 0 834446013 26157056 3813 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6386 3813 1111 63 0 6323 0
vsize: 25544
[startup+630.293 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3937 0 0 0 63023 12 0 0 25 0 1 0 834446013 26427392 3861 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6452 3861 1111 63 0 6389 0
vsize: 25808
[startup+640.294 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3985 0 0 0 64023 12 0 0 25 0 1 0 834446013 26562560 3909 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6485 3909 1111 63 0 6422 0
vsize: 25940
[startup+650.296 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4034 0 0 0 65023 12 0 0 25 0 1 0 834446013 26697728 3958 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6518 3958 1111 63 0 6455 0
vsize: 26072
[startup+660.302 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4070 0 0 0 66024 13 0 0 25 0 1 0 834446013 26968064 3994 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6584 3994 1111 63 0 6521 0
vsize: 26336
[startup+670.406 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4118 0 0 0 67034 13 0 0 25 0 1 0 834446013 27103232 4042 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6617 4042 1111 63 0 6554 0
vsize: 26468
[startup+680.407 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4167 0 0 0 68034 13 0 0 25 0 1 0 834446013 27238400 4091 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6650 4091 1111 63 0 6587 0
vsize: 26600
[startup+690.407 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4203 0 0 0 69034 13 0 0 25 0 1 0 834446013 27508736 4127 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6716 4127 1111 63 0 6653 0
vsize: 26864
[startup+700.413 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4249 0 0 0 70035 13 0 0 25 0 1 0 834446013 27643904 4173 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6749 4173 1111 63 0 6686 0
vsize: 26996
[startup+710.428 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4284 0 0 0 71037 13 0 0 25 0 1 0 834446013 27779072 4208 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 4208 1111 63 0 6719 0
vsize: 27128
[startup+720.428 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4334 0 0 0 72037 13 0 0 25 0 1 0 834446013 27934720 4258 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6820 4258 1111 63 0 6757 0
vsize: 27280
[startup+730.429 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4381 0 0 0 73037 13 0 0 25 0 1 0 834446013 28209152 4305 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6887 4305 1111 63 0 6824 0
vsize: 27548
[startup+740.438 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4416 0 0 0 74038 13 0 0 25 0 1 0 834446013 28344320 4340 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6920 4340 1111 63 0 6857 0
vsize: 27680
[startup+750.446 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4464 0 0 0 75039 13 0 0 25 0 1 0 834446013 28479488 4388 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6953 4388 1111 63 0 6890 0
vsize: 27812
[startup+760.454 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4513 0 0 0 76039 14 0 0 25 0 1 0 834446013 28749824 4437 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7019 4437 1111 63 0 6956 0
vsize: 28076
[startup+770.456 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4563 0 0 0 77040 14 0 0 25 0 1 0 834446013 28884992 4487 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7052 4487 1111 63 0 6989 0
vsize: 28208
[startup+780.469 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4605 0 0 0 78041 14 0 0 25 0 1 0 834446013 29040640 4529 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7090 4529 1111 63 0 7027 0
vsize: 28360
[startup+790.469 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4649 0 0 0 79041 14 0 0 25 0 1 0 834446013 29315072 4573 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7157 4573 1111 63 0 7094 0
vsize: 28628
[startup+800.469 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4697 0 0 0 80041 14 0 0 25 0 1 0 834446013 29450240 4621 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7190 4621 1111 63 0 7127 0
vsize: 28760
[startup+810.475 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4746 0 0 0 81042 14 0 0 25 0 1 0 834446013 29720576 4670 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7256 4670 1111 63 0 7193 0
vsize: 29024
[startup+820.475 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4794 0 0 0 82042 14 0 0 25 0 1 0 834446013 29855744 4718 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7289 4718 1111 63 0 7226 0
vsize: 29156
[startup+830.475 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4830 0 0 0 83042 14 0 0 25 0 1 0 834446013 29990912 4754 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7322 4754 1111 63 0 7259 0
vsize: 29288
[startup+840.475 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4880 0 0 0 84042 14 0 0 25 0 1 0 834446013 30261248 4804 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7388 4804 1111 63 0 7325 0
vsize: 29552
[startup+850.475 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4929 0 0 0 85042 14 0 0 25 0 1 0 834446013 30396416 4853 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7421 4853 1111 63 0 7358 0
vsize: 29684
[startup+860.481 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4979 0 0 0 86043 14 0 0 25 0 1 0 834446013 30666752 4903 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7487 4903 1111 63 0 7424 0
vsize: 29948
[startup+870.481 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5027 0 0 0 87043 15 0 0 25 0 1 0 834446013 30801920 4951 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7520 4951 1111 63 0 7457 0
vsize: 30080
[startup+880.481 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5076 0 0 0 88043 15 0 0 25 0 1 0 834446013 30937088 5000 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7553 5000 1111 63 0 7490 0
vsize: 30212
[startup+890.481 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5126 0 0 0 89043 15 0 0 25 0 1 0 834446013 31207424 5050 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7619 5050 1111 63 0 7556 0
vsize: 30476
[startup+900.487 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5174 0 0 0 90044 15 0 0 25 0 1 0 834446013 31342592 5098 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7652 5098 1111 63 0 7589 0
vsize: 30608
[startup+910.497 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5225 0 0 0 91045 15 0 0 25 0 1 0 834446013 31612928 5149 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7718 5149 1111 63 0 7655 0
vsize: 30872
[startup+920.503 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5261 0 0 0 92045 15 0 0 25 0 1 0 834446013 31768576 5185 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7756 5185 1111 63 0 7693 0
vsize: 31024
[startup+930.503 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5309 0 0 0 93046 15 0 0 25 0 1 0 834446013 31907840 5233 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7790 5233 1111 63 0 7727 0
vsize: 31160
[startup+940.504 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5357 0 0 0 94046 15 0 0 25 0 1 0 834446013 32178176 5281 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7856 5281 1111 63 0 7793 0
vsize: 31424
[startup+950.504 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5406 0 0 0 95046 15 0 0 25 0 1 0 834446013 32313344 5330 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7889 5330 1111 63 0 7826 0
vsize: 31556
[startup+960.505 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5456 0 0 0 96046 16 0 0 25 0 1 0 834446013 32583680 5380 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7955 5380 1111 63 0 7892 0
vsize: 31820
[startup+970.514 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5504 0 0 0 97047 16 0 0 25 0 1 0 834446013 32718848 5428 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7988 5428 1111 63 0 7925 0
vsize: 31952
[startup+980.527 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5555 0 0 0 98048 16 0 0 25 0 1 0 834446013 33009664 5479 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8059 5479 1111 63 0 7996 0
vsize: 32236
[startup+990.535 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5605 0 0 0 99049 16 0 0 25 0 1 0 834446013 33148928 5529 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8093 5529 1111 63 0 8030 0
vsize: 32372
[startup+1000.54 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5654 0 0 0 100050 16 0 0 25 0 1 0 834446013 33419264 5578 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8159 5578 1111 63 0 8096 0
vsize: 32636
[startup+1010.54 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5703 0 0 0 101050 16 0 0 25 0 1 0 834446013 33554432 5627 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8192 5627 1111 63 0 8129 0
vsize: 32768
[startup+1020.54 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5754 0 0 0 102050 16 0 0 25 0 1 0 834446013 33824768 5678 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8258 5678 1111 63 0 8195 0
vsize: 33032
[startup+1030.54 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5802 0 0 0 103051 16 0 0 25 0 1 0 834446013 33959936 5726 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8291 5726 1111 63 0 8228 0
vsize: 33164
[startup+1040.55 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5844 0 0 0 104051 16 0 0 25 0 1 0 834446013 34095104 5768 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8324 5768 1111 63 0 8261 0
vsize: 33296
[startup+1050.56 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5895 0 0 0 105052 16 0 0 25 0 1 0 834446013 34365440 5819 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8390 5819 1111 63 0 8327 0
vsize: 33560
[startup+1060.57 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5937 0 0 0 106053 17 0 0 25 0 1 0 834446013 34500608 5861 4294967295 134512640 134714508 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8423 5861 1111 63 0 8360 0
vsize: 33692
[startup+1070.58 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5985 0 0 0 107055 17 0 0 25 0 1 0 834446013 34635776 5909 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8456 5909 1111 63 0 8393 0
vsize: 33824
[startup+1080.59 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6034 0 0 0 108055 17 0 0 25 0 1 0 834446013 34906112 5958 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8522 5958 1111 63 0 8459 0
vsize: 34088
[startup+1090.59 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6084 0 0 0 109055 17 0 0 25 0 1 0 834446013 35041280 6008 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8555 6008 1111 63 0 8492 0
vsize: 34220
[startup+1100.59 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6133 0 0 0 110056 17 0 0 25 0 1 0 834446013 35311616 6057 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8621 6057 1111 63 0 8558 0
vsize: 34484
[startup+1110.59 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6182 0 0 0 111056 17 0 0 25 0 1 0 834446013 35467264 6106 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8659 6106 1111 63 0 8596 0
vsize: 34636
[startup+1120.61 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6233 0 0 0 112057 17 0 0 25 0 1 0 834446013 35741696 6157 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8726 6157 1111 63 0 8663 0
vsize: 34904
[startup+1130.61 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6282 0 0 0 113057 17 0 0 25 0 1 0 834446013 35876864 6206 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8759 6206 1111 63 0 8696 0
vsize: 35036
[startup+1140.61 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6337 0 0 0 114058 18 0 0 25 0 1 0 834446013 36167680 6261 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8830 6261 1111 63 0 8767 0
vsize: 35320
[startup+1150.61 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6388 0 0 0 115058 18 0 0 25 0 1 0 834446013 36306944 6312 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8864 6312 1111 63 0 8801 0
vsize: 35456
[startup+1160.61 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6443 0 0 0 116058 18 0 0 25 0 1 0 834446013 36577280 6367 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8930 6367 1111 63 0 8867 0
vsize: 35720
[startup+1170.62 s]
Raw data (loadavg): 1.00 0.99 0.91 3/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6493 0 0 0 117059 18 0 0 25 0 1 0 834446013 36847616 6417 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8996 6417 1111 63 0 8933 0
vsize: 35984
[startup+1180.62 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6564 0 0 0 118058 19 0 0 25 0 1 0 834446013 37117952 6488 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9062 6488 1111 63 0 8999 0
vsize: 36248
[startup+1190.62 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6627 0 0 0 119058 19 0 0 25 0 1 0 834446013 37388288 6551 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9128 6551 1111 63 0 9065 0
vsize: 36512
[startup+1200.63 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6676 0 0 0 120059 19 0 0 25 0 1 0 834446013 37679104 6600 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9199 6600 1111 63 0 9136 0
vsize: 36796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.67 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 16703
Raw data (stat): 16703 (bsolo_lpr_cuts) Z 16702 10795 10794 0 -1 1036 6676 0 0 0 120059 20 0 0 23 0 1 0 834446013 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.67
CPU time (s): 1200.8
CPU user time (s): 1200.6
CPU system time (s): 0.207968
CPU usage (%): 100.011
Max. virtual memory (Kb): 36796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####