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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb
MD5SUM	6a4305210f653cc893fd9d3ee7862505
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	185520
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6640019433432
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	193273528320
Number of bits of the biggest number in a constraint	38
Biggest sum of numbers in a constraint	11024119093221
Number of bits of the biggest sum of numbers	44
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.68674
Number of variables	185520
Total number of constraints	404
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	404
Minimum length of a constraint	30
Maximum length of a constraint	185520
Trace number 40983

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 03:52:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29038 boxname=wulflinc6 idbench=822 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6a4305210f653cc893fd9d3ee7862505  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-d6cube.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-d6cube.opb
IDLAUNCH: 29038
/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:        840300 kB
Buffers:         27276 kB
Cached:         142416 kB
SwapCached:       4048 kB
Active:          54780 kB
Inactive:       120060 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        840048 kB
SwapTotal:     2097136 kB
SwapFree:      2092080 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            13748 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 04:12:37 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 29038 7 1200.45 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.85 0.94 0.90 1/54 5525
Raw data (stat): 5525 (runsolver) R 5524 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907180053 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 1394 0 0 0 992 6 0 0 25 0 1 0 907180053 15511552 1314 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1314 1111 63 0 3724 0
vsize: 15148
[startup+20.0022 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 1490 0 0 0 1992 6 0 0 25 0 1 0 907180053 15806464 1410 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3859 1410 1111 63 0 3796 0
vsize: 15436
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 1584 0 0 0 2992 7 0 0 25 0 1 0 907180053 16232448 1504 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3963 1504 1111 63 0 3900 0
vsize: 15852
[startup+40.0025 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 1679 0 0 0 3992 7 0 0 25 0 1 0 907180053 16678912 1599 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4072 1599 1111 63 0 4009 0
vsize: 16288
[startup+50.0032 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 1775 0 0 0 4992 7 0 0 25 0 1 0 907180053 16982016 1695 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4146 1695 1111 63 0 4083 0
vsize: 16584
[startup+60.0034 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 1872 0 0 0 5991 8 0 0 25 0 1 0 907180053 17412096 1792 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4251 1792 1111 63 0 4188 0
vsize: 17004
[startup+70.0039 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 1968 0 0 0 6991 9 0 0 25 0 1 0 907180053 17862656 1888 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4361 1888 1111 63 0 4298 0
vsize: 17444
[startup+80.0051 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 2062 0 0 0 7991 9 0 0 25 0 1 0 907180053 18161664 1982 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1982 1111 63 0 4371 0
vsize: 17736
[startup+90.0049 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 2152 0 0 0 8991 10 0 0 25 0 1 0 907180053 18616320 2072 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 2072 1111 63 0 4482 0
vsize: 18180
[startup+100.01 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 2253 0 0 0 9991 10 0 0 25 0 1 0 907180053 19058688 2173 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 2173 1111 63 0 4590 0
vsize: 18612
[startup+110.015 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 2346 0 0 0 10991 10 0 0 25 0 1 0 907180053 19353600 2266 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4725 2266 1111 63 0 4662 0
vsize: 18900
[startup+120.015 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 2449 0 0 0 11991 11 0 0 25 0 1 0 907180053 19804160 2369 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4835 2369 1111 63 0 4772 0
vsize: 19340
[startup+130.016 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 2537 0 0 0 12991 11 0 0 25 0 1 0 907180053 20103168 2457 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 2457 1111 63 0 4845 0
vsize: 19632
[startup+140.016 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 2639 0 0 0 13991 12 0 0 25 0 1 0 907180053 20557824 2559 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5019 2559 1111 63 0 4956 0
vsize: 20076
[startup+150.017 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 2728 0 0 0 14991 12 0 0 25 0 1 0 907180053 21004288 2648 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5128 2648 1111 63 0 5065 0
vsize: 20512
[startup+160.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 2830 0 0 0 15991 12 0 0 25 0 1 0 907180053 21299200 2750 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5200 2750 1111 63 0 5137 0
vsize: 20800
[startup+170.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 2918 0 0 0 16991 13 0 0 25 0 1 0 907180053 21725184 2838 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5304 2838 1111 63 0 5241 0
vsize: 21216
[startup+180.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 3019 0 0 0 17991 13 0 0 25 0 1 0 907180053 22171648 2939 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5413 2939 1111 63 0 5350 0
vsize: 21652
[startup+190.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 3109 0 0 0 18991 13 0 0 25 0 1 0 907180053 22474752 3029 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5487 3029 1111 63 0 5424 0
vsize: 21948
[startup+200.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 3209 0 0 0 19990 14 0 0 25 0 1 0 907180053 22921216 3129 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5596 3129 1111 63 0 5533 0
vsize: 22384
[startup+210.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 3306 0 0 0 20990 15 0 0 25 0 1 0 907180053 23367680 3226 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5705 3226 1111 63 0 5642 0
vsize: 22820
[startup+220.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 3407 0 0 0 21990 15 0 0 25 0 1 0 907180053 23810048 3327 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5813 3327 1111 63 0 5750 0
vsize: 23252
[startup+230.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 3497 0 0 0 22990 16 0 0 25 0 1 0 907180053 24113152 3417 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3417 1111 63 0 5824 0
vsize: 23548
[startup+240.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 3598 0 0 0 23989 16 0 0 25 0 1 0 907180053 24559616 3518 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5996 3518 1111 63 0 5933 0
vsize: 23984
[startup+250.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 3687 0 0 0 24990 16 0 0 25 0 1 0 907180053 24858624 3607 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6069 3607 1111 63 0 6006 0
vsize: 24276
[startup+260.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 3790 0 0 0 25989 17 0 0 25 0 1 0 907180053 25309184 3710 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6179 3710 1111 63 0 6116 0
vsize: 24716
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 3885 0 0 0 26989 17 0 0 25 0 1 0 907180053 25759744 3805 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6289 3805 1111 63 0 6226 0
vsize: 25156
[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 3981 0 0 0 27989 18 0 0 25 0 1 0 907180053 26062848 3901 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6363 3901 1111 63 0 6300 0
vsize: 25452
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 4075 0 0 0 28989 18 0 0 25 0 1 0 907180053 26505216 3995 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6471 3995 1111 63 0 6408 0
vsize: 25884
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 4172 0 0 0 29989 19 0 0 25 0 1 0 907180053 26804224 4092 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 4092 1111 63 0 6481 0
vsize: 26176
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 4268 0 0 0 30989 19 0 0 25 0 1 0 907180053 27258880 4188 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6655 4188 1111 63 0 6592 0
vsize: 26620
[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 4364 0 0 0 31989 20 0 0 25 0 1 0 907180053 27705344 4284 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 4284 1111 63 0 6701 0
vsize: 27056
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 4459 0 0 0 32988 21 0 0 25 0 1 0 907180053 28008448 4379 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6838 4379 1111 63 0 6775 0
vsize: 27352
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 4553 0 0 0 33988 21 0 0 25 0 1 0 907180053 28454912 4473 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6947 4473 1111 63 0 6884 0
vsize: 27788
[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 4657 0 0 0 34987 22 0 0 25 0 1 0 907180053 28880896 4577 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7051 4577 1111 63 0 6988 0
vsize: 28204
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 4745 0 0 0 35987 22 0 0 25 0 1 0 907180053 29175808 4665 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7123 4665 1111 63 0 7060 0
vsize: 28492
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 4847 0 0 0 36987 23 0 0 25 0 1 0 907180053 29626368 4767 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7233 4767 1111 63 0 7170 0
vsize: 28932
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 4942 0 0 0 37987 23 0 0 25 0 1 0 907180053 30076928 4862 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7343 4862 1111 63 0 7280 0
vsize: 29372
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 5038 0 0 0 38986 24 0 0 25 0 1 0 907180053 30375936 4958 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7416 4958 1111 63 0 7353 0
vsize: 29664
[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 5133 0 0 0 39986 24 0 0 25 0 1 0 907180053 30826496 5053 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7526 5053 1111 63 0 7463 0
vsize: 30104
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 5246 0 0 0 40986 25 0 0 25 0 1 0 907180053 31309824 5166 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7644 5166 1111 63 0 7581 0
vsize: 30576
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 5342 0 0 0 41986 25 0 0 25 0 1 0 907180053 31760384 5262 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7754 5262 1111 63 0 7691 0
vsize: 31016
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 5436 0 0 0 42986 26 0 0 25 0 1 0 907180053 32059392 5356 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7827 5356 1111 63 0 7764 0
vsize: 31308
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5525
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 5533 0 0 0 43986 26 0 0 25 0 1 0 907180053 32514048 5453 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7938 5453 1111 63 0 7875 0
vsize: 31752
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 5560
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 5628 0 0 0 44982 29 0 0 25 0 1 0 907180053 32813056 5548 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8011 5548 1111 63 0 7948 0
vsize: 32044
[startup+460.027 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 5578
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 5725 0 0 0 45982 30 0 0 25 0 1 0 907180053 33263616 5645 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8121 5645 1111 63 0 8058 0
vsize: 32484
[startup+470.028 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 5578
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 5826 0 0 0 46982 30 0 0 25 0 1 0 907180053 33710080 5746 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8230 5746 1111 63 0 8167 0
vsize: 32920
[startup+480.028 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 5578
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 5923 0 0 0 47982 30 0 0 25 0 1 0 907180053 34009088 5843 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8303 5843 1111 63 0 8240 0
vsize: 33212
[startup+490.028 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 5578
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 6018 0 0 0 48983 30 0 0 25 0 1 0 907180053 34459648 5938 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8413 5938 1111 63 0 8350 0
vsize: 33652
[startup+500.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5578
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 6119 0 0 0 49983 30 0 0 25 0 1 0 907180053 34906112 6039 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8522 6039 1111 63 0 8459 0
vsize: 34088
[startup+510.029 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5578
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 6210 0 0 0 50983 31 0 0 25 0 1 0 907180053 35213312 6130 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8597 6130 1111 63 0 8534 0
vsize: 34388
[startup+520.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5578
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 6312 0 0 0 51983 31 0 0 25 0 1 0 907180053 35655680 6232 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8705 6232 1111 63 0 8642 0
vsize: 34820
[startup+530.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 6408 0 0 0 52983 31 0 0 25 0 1 0 907180053 36110336 6328 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8816 6328 1111 63 0 8753 0
vsize: 35264
[startup+540.031 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 6504 0 0 0 53983 32 0 0 25 0 1 0 907180053 36409344 6424 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6424 1111 63 0 8826 0
vsize: 35556
[startup+550.031 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 6606 0 0 0 54984 32 0 0 25 0 1 0 907180053 36859904 6526 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8999 6526 1111 63 0 8936 0
vsize: 35996
[startup+560.032 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 6701 0 0 0 55984 32 0 0 25 0 1 0 907180053 37306368 6621 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 6621 1111 63 0 9045 0
vsize: 36432
[startup+570.032 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 6797 0 0 0 56984 32 0 0 25 0 1 0 907180053 37605376 6717 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9181 6717 1111 63 0 9118 0
vsize: 36724
[startup+580.033 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 6899 0 0 0 57984 32 0 0 25 0 1 0 907180053 38055936 6819 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9291 6819 1111 63 0 9228 0
vsize: 37164
[startup+590.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 6995 0 0 0 58985 32 0 0 25 0 1 0 907180053 38506496 6915 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9401 6915 1111 63 0 9338 0
vsize: 37604
[startup+600.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 7092 0 0 0 59985 32 0 0 25 0 1 0 907180053 38809600 7012 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9475 7012 1111 63 0 9412 0
vsize: 37900
[startup+610.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 7193 0 0 0 60985 32 0 0 25 0 1 0 907180053 39256064 7113 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9584 7113 1111 63 0 9521 0
vsize: 38336
[startup+620.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 7290 0 0 0 61985 33 0 0 25 0 1 0 907180053 39710720 7210 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9695 7210 1111 63 0 9632 0
vsize: 38780
[startup+630.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 7385 0 0 0 62985 33 0 0 25 0 1 0 907180053 40005632 7305 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9767 7305 1111 63 0 9704 0
vsize: 39068
[startup+640.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 7489 0 0 0 63985 33 0 0 25 0 1 0 907180053 40456192 7409 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9877 7409 1111 63 0 9814 0
vsize: 39508
[startup+650.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 7584 0 0 0 64985 33 0 0 25 0 1 0 907180053 40906752 7504 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9987 7504 1111 63 0 9924 0
vsize: 39948
[startup+660.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 7685 0 0 0 65985 34 0 0 25 0 1 0 907180053 41205760 7605 4294967295 134512640 134716908 3221224560 3221221276 1077191714 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10060 7605 1111 63 0 9997 0
vsize: 40240
[startup+670.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 7782 0 0 0 66986 34 0 0 25 0 1 0 907180053 41656320 7702 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10170 7702 1111 63 0 10107 0
vsize: 40680
[startup+680.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 7883 0 0 0 67986 34 0 0 25 0 1 0 907180053 42102784 7803 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10279 7803 1111 63 0 10216 0
vsize: 41116
[startup+690.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 7981 0 0 0 68986 34 0 0 25 0 1 0 907180053 42405888 7901 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10353 7901 1111 63 0 10290 0
vsize: 41412
[startup+700.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 8076 0 0 0 69986 34 0 0 25 0 1 0 907180053 42852352 7996 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10462 7996 1111 63 0 10399 0
vsize: 41848
[startup+710.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 8178 0 0 0 70987 34 0 0 25 0 1 0 907180053 43307008 8098 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 8098 1111 63 0 10510 0
vsize: 42292
[startup+720.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 8273 0 0 0 71987 35 0 0 25 0 1 0 907180053 43606016 8193 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10646 8193 1111 63 0 10583 0
vsize: 42584
[startup+730.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 8376 0 0 0 72987 35 0 0 25 0 1 0 907180053 44048384 8296 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10754 8296 1111 63 0 10691 0
vsize: 43016
[startup+740.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 8471 0 0 0 73987 35 0 0 25 0 1 0 907180053 44470272 8391 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10857 8391 1111 63 0 10794 0
vsize: 43428
[startup+750.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 8573 0 0 0 74987 35 0 0 25 0 1 0 907180053 44920832 8493 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10967 8493 1111 63 0 10904 0
vsize: 43868
[startup+760.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5580
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 8670 0 0 0 75988 36 0 0 25 0 1 0 907180053 45223936 8590 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11041 8590 1111 63 0 10978 0
vsize: 44164
[startup+770.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 8765 0 0 0 76988 36 0 0 25 0 1 0 907180053 45670400 8685 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11150 8685 1111 63 0 11087 0
vsize: 44600
[startup+780.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 8868 0 0 0 77988 36 0 0 25 0 1 0 907180053 46125056 8788 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11261 8788 1111 63 0 11198 0
vsize: 45044
[startup+790.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 8969 0 0 0 78988 36 0 0 25 0 1 0 907180053 46567424 8889 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11369 8889 1111 63 0 11306 0
vsize: 45476
[startup+800.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 9065 0 0 0 79988 37 0 0 25 0 1 0 907180053 46874624 8985 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11444 8985 1111 63 0 11381 0
vsize: 45776
[startup+810.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 9187 0 0 0 80988 37 0 0 25 0 1 0 907180053 47579136 9107 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 9107 1111 63 0 11553 0
vsize: 46464
[startup+820.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 9283 0 0 0 81988 37 0 0 25 0 1 0 907180053 47853568 9203 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11683 9203 1111 63 0 11620 0
vsize: 46732
[startup+830.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 9384 0 0 0 82988 37 0 0 25 0 1 0 907180053 48291840 9304 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11790 9304 1111 63 0 11727 0
vsize: 47160
[startup+840.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 9481 0 0 0 83988 38 0 0 25 0 1 0 907180053 48738304 9401 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11899 9401 1111 63 0 11836 0
vsize: 47596
[startup+850.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 9582 0 0 0 84988 38 0 0 25 0 1 0 907180053 49192960 9502 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12010 9502 1111 63 0 11947 0
vsize: 48040
[startup+860.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 9678 0 0 0 85988 38 0 0 25 0 1 0 907180053 49491968 9598 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12083 9598 1111 63 0 12020 0
vsize: 48332
[startup+870.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 9782 0 0 0 86988 38 0 0 25 0 1 0 907180053 49942528 9702 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12193 9702 1111 63 0 12130 0
vsize: 48772
[startup+880.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 9883 0 0 0 87989 38 0 0 25 0 1 0 907180053 50388992 9803 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12302 9803 1111 63 0 12239 0
vsize: 49208
[startup+890.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 9980 0 0 0 88989 39 0 0 25 0 1 0 907180053 50814976 9900 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12406 9900 1111 63 0 12343 0
vsize: 49624
[startup+900.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 10081 0 0 0 89989 39 0 0 25 0 1 0 907180053 51109888 10001 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12478 10001 1111 63 0 12415 0
vsize: 49912
[startup+910.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 10179 0 0 0 90989 39 0 0 25 0 1 0 907180053 51560448 10099 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12588 10099 1111 63 0 12525 0
vsize: 50352
[startup+920.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 10282 0 0 0 91989 39 0 0 25 0 1 0 907180053 52011008 10202 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12698 10202 1111 63 0 12635 0
vsize: 50792
[startup+930.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 10384 0 0 0 92989 40 0 0 25 0 1 0 907180053 52461568 10304 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12808 10304 1111 63 0 12745 0
vsize: 51232
[startup+940.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 10480 0 0 0 93989 40 0 0 25 0 1 0 907180053 52760576 10400 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 10400 1111 63 0 12818 0
vsize: 51524
[startup+950.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 10583 0 0 0 94989 41 0 0 25 0 1 0 907180053 53207040 10503 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10503 1111 63 0 12927 0
vsize: 51960
[startup+960.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 10679 0 0 0 95989 41 0 0 25 0 1 0 907180053 53657600 10599 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 10599 1111 63 0 13037 0
vsize: 52400
[startup+970.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 10781 0 0 0 96989 41 0 0 25 0 1 0 907180053 53956608 10701 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13173 10701 1111 63 0 13110 0
vsize: 52692
[startup+980.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 10884 0 0 0 97989 42 0 0 25 0 1 0 907180053 54411264 10804 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13284 10804 1111 63 0 13221 0
vsize: 53136
[startup+990.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 10985 0 0 0 98990 42 0 0 25 0 1 0 907180053 54857728 10905 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13393 10905 1111 63 0 13330 0
vsize: 53572
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 11088 0 0 0 99990 42 0 0 25 0 1 0 907180053 55308288 11008 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13503 11008 1111 63 0 13440 0
vsize: 54012
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 11185 0 0 0 100990 42 0 0 25 0 1 0 907180053 55607296 11105 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 11105 1111 63 0 13513 0
vsize: 54304
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 11289 0 0 0 101990 42 0 0 25 0 1 0 907180053 56057856 11209 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13686 11209 1111 63 0 13623 0
vsize: 54744
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 11384 0 0 0 102991 42 0 0 25 0 1 0 907180053 56508416 11304 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13796 11304 1111 63 0 13733 0
vsize: 55184
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 11487 0 0 0 103991 43 0 0 25 0 1 0 907180053 56958976 11407 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13906 11407 1111 63 0 13843 0
vsize: 55624
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 11588 0 0 0 104991 43 0 0 25 0 1 0 907180053 57257984 11508 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13979 11508 1111 63 0 13916 0
vsize: 55916
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 11692 0 0 0 105991 43 0 0 25 0 1 0 907180053 57704448 11612 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14088 11612 1111 63 0 14025 0
vsize: 56352
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 11795 0 0 0 106991 43 0 0 25 0 1 0 907180053 58155008 11715 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14198 11715 1111 63 0 14135 0
vsize: 56792
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 11890 0 0 0 107991 43 0 0 25 0 1 0 907180053 58605568 11810 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14308 11810 1111 63 0 14245 0
vsize: 57232
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 11993 0 0 0 108992 43 0 0 25 0 1 0 907180053 58908672 11913 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14382 11913 1111 63 0 14319 0
vsize: 57528
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 12095 0 0 0 109992 44 0 0 25 0 1 0 907180053 59351040 12015 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14490 12015 1111 63 0 14427 0
vsize: 57960
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 12193 0 0 0 110992 44 0 0 25 0 1 0 907180053 59805696 12113 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14601 12113 1111 63 0 14538 0
vsize: 58404
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 12295 0 0 0 111993 44 0 0 25 0 1 0 907180053 60252160 12215 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14710 12215 1111 63 0 14647 0
vsize: 58840
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 12398 0 0 0 112995 44 0 0 25 0 1 0 907180053 60555264 12318 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14784 12318 1111 63 0 14721 0
vsize: 59136
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 12500 0 0 0 113995 44 0 0 25 0 1 0 907180053 61005824 12420 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14894 12420 1111 63 0 14831 0
vsize: 59576
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 12603 0 0 0 114995 45 0 0 25 0 1 0 907180053 61456384 12523 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15004 12523 1111 63 0 14941 0
vsize: 60016
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 12705 0 0 0 115995 45 0 0 25 0 1 0 907180053 61902848 12625 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15113 12625 1111 63 0 15050 0
vsize: 60452
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 12809 0 0 0 116995 45 0 0 25 0 1 0 907180053 62353408 12729 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15223 12729 1111 63 0 15160 0
vsize: 60892
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 12910 0 0 0 117995 45 0 0 25 0 1 0 907180053 62652416 12830 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15296 12830 1111 63 0 15233 0
vsize: 61184
[startup+1190.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 13012 0 0 0 118995 45 0 0 25 0 1 0 907180053 63102976 12932 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15406 12932 1111 63 0 15343 0
vsize: 61624
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) R 5524 25568 25567 0 -1 0 13110 0 0 0 119995 46 0 0 25 0 1 0 907180053 63553536 13030 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15516 13030 1111 63 0 15453 0
vsize: 62064
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 5582
Raw data (stat): 5525 (bsolo_lpr_cuts-) Z 5524 25568 25567 0 -1 1036 13110 0 0 0 119995 48 0 0 25 0 1 0 907180053 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.11
CPU time (s): 1200.45
CPU user time (s): 1199.96
CPU system time (s): 0.486925
CPU usage (%): 100.028
Max. virtual memory (Kb): 62064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####