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-80bau3b.opb
MD5SUM	482f3c6a016323a565c292702d2c5673
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	183640
Biggest coefficient in the objective function	179765856174080000
Number of bits for the biggest coefficient in the objective function	58
Sum of the numbers in the objective function	6977628092477113102
Number of bits of the sum of numbers in the objective function	63
Biggest number in a constraint	179765856174080000
Number of bits of the biggest number in a constraint	58
Biggest sum of numbers in a constraint	6977628092477113102
Number of bits of the biggest sum of numbers	63
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.14967
Number of variables	228990
Total number of constraints	5220
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	5220
Minimum length of a constraint	10
Maximum length of a constraint	3330
Trace number 40970

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 03:38:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29019 boxname=wulflinc1 idbench=803 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  482f3c6a016323a565c292702d2c5673  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-80bau3b.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-80bau3b.opb
IDLAUNCH: 29019
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        841304 kB
Buffers:         21596 kB
Cached:         147004 kB
SwapCached:       1128 kB
Active:          44600 kB
Inactive:       126188 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        841052 kB
SwapTotal:     2097136 kB
SwapFree:      2094812 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            16888 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 03:58:43 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 29019 7 1200.23 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.93 0.95 0.90 1/55 29383
Raw data (stat): 29383 (runsolver) D 29382 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850240639 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 1792 0 0 0 991 6 0 0 25 0 1 0 850240639 15212544 1712 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3714 1712 1111 63 0 3651 0
vsize: 14856
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 1842 0 0 0 1990 7 0 0 25 0 1 0 850240639 15511552 1762 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1762 1111 63 0 3724 0
vsize: 15148
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 1880 0 0 0 2990 7 0 0 25 0 1 0 850240639 15663104 1800 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3824 1800 1111 63 0 3761 0
vsize: 15296
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 1931 0 0 0 3990 7 0 0 25 0 1 0 850240639 15810560 1851 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3860 1851 1111 63 0 3797 0
vsize: 15440
[startup+50.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 1975 0 0 0 4990 8 0 0 25 0 1 0 850240639 16089088 1895 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3928 1895 1111 63 0 3865 0
vsize: 15712
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2019 0 0 0 5990 8 0 0 25 0 1 0 850240639 16236544 1939 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3964 1939 1111 63 0 3901 0
vsize: 15856
[startup+70.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2063 0 0 0 6990 8 0 0 25 0 1 0 850240639 16388096 1983 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4001 1983 1111 63 0 3938 0
vsize: 16004
[startup+80.0018 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2107 0 0 0 7990 9 0 0 25 0 1 0 850240639 16535552 2027 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 2027 1111 63 0 3974 0
vsize: 16148
[startup+90.0148 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2159 0 0 0 8991 9 0 0 25 0 1 0 850240639 16838656 2079 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 2079 1111 63 0 4048 0
vsize: 16444
[startup+100.014 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2203 0 0 0 9991 9 0 0 25 0 1 0 850240639 16990208 2123 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4148 2123 1111 63 0 4085 0
vsize: 16592
[startup+110.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2250 0 0 0 10991 9 0 0 25 0 1 0 850240639 17137664 2170 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4184 2170 1111 63 0 4121 0
vsize: 16736
[startup+120.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2308 0 0 0 11991 10 0 0 25 0 1 0 850240639 17420288 2228 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4253 2228 1111 63 0 4190 0
vsize: 17012
[startup+130.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2359 0 0 0 12990 10 0 0 25 0 1 0 850240639 17567744 2279 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4289 2279 1111 63 0 4226 0
vsize: 17156
[startup+140.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2412 0 0 0 13990 11 0 0 25 0 1 0 850240639 17846272 2332 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4357 2332 1111 63 0 4294 0
vsize: 17428
[startup+150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2469 0 0 0 14991 11 0 0 25 0 1 0 850240639 17993728 2389 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4393 2389 1111 63 0 4330 0
vsize: 17572
[startup+160.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2515 0 0 0 15991 11 0 0 25 0 1 0 850240639 18292736 2435 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 2435 1111 63 0 4403 0
vsize: 17864
[startup+170.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2572 0 0 0 16991 11 0 0 25 0 1 0 850240639 18444288 2492 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4503 2492 1111 63 0 4440 0
vsize: 18012
[startup+180.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2629 0 0 0 17991 11 0 0 25 0 1 0 850240639 18726912 2549 4294967295 134512640 134716908 3221224560 3221222912 134567408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4572 2549 1111 63 0 4509 0
vsize: 18288
[startup+190.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2683 0 0 0 18991 11 0 0 25 0 1 0 850240639 18870272 2603 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4607 2603 1111 63 0 4544 0
vsize: 18428
[startup+200.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2741 0 0 0 19990 12 0 0 25 0 1 0 850240639 19169280 2661 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4680 2661 1111 63 0 4617 0
vsize: 18720
[startup+210.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2815 0 0 0 20990 13 0 0 25 0 1 0 850240639 19451904 2735 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4749 2735 1111 63 0 4686 0
vsize: 18996
[startup+220.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2887 0 0 0 21990 13 0 0 25 0 1 0 850240639 19738624 2807 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4819 2807 1111 63 0 4756 0
vsize: 19276
[startup+230.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2938 0 0 0 22990 13 0 0 25 0 1 0 850240639 20033536 2858 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4891 2858 1111 63 0 4828 0
vsize: 19564
[startup+240.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 2989 0 0 0 23989 14 0 0 25 0 1 0 850240639 20180992 2909 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4927 2909 1111 63 0 4864 0
vsize: 19708
[startup+250.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3027 0 0 0 24990 14 0 0 25 0 1 0 850240639 20332544 2947 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4964 2947 1111 63 0 4901 0
vsize: 19856
[startup+260.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3085 0 0 0 25989 14 0 0 25 0 1 0 850240639 20623360 3005 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5035 3005 1111 63 0 4972 0
vsize: 20140
[startup+270.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3154 0 0 0 26989 15 0 0 25 0 1 0 850240639 20914176 3074 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5106 3074 1111 63 0 5043 0
vsize: 20424
[startup+280.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3211 0 0 0 27989 15 0 0 25 0 1 0 850240639 21065728 3131 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5143 3131 1111 63 0 5080 0
vsize: 20572
[startup+290.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3261 0 0 0 28989 15 0 0 25 0 1 0 850240639 21352448 3181 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5213 3181 1111 63 0 5150 0
vsize: 20852
[startup+300.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3330 0 0 0 29989 16 0 0 25 0 1 0 850240639 21639168 3250 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5283 3250 1111 63 0 5220 0
vsize: 21132
[startup+310.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3376 0 0 0 30989 16 0 0 25 0 1 0 850240639 21794816 3296 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5321 3296 1111 63 0 5258 0
vsize: 21284
[startup+320.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3420 0 0 0 31989 16 0 0 25 0 1 0 850240639 21942272 3340 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5357 3340 1111 63 0 5294 0
vsize: 21428
[startup+330.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3470 0 0 0 32989 16 0 0 25 0 1 0 850240639 22093824 3390 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5394 3390 1111 63 0 5331 0
vsize: 21576
[startup+340.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3527 0 0 0 33989 16 0 0 25 0 1 0 850240639 22388736 3447 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5466 3447 1111 63 0 5403 0
vsize: 21864
[startup+350.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3580 0 0 0 34988 17 0 0 25 0 1 0 850240639 22532096 3500 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 3500 1111 63 0 5438 0
vsize: 22004
[startup+360.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3623 0 0 0 35988 17 0 0 25 0 1 0 850240639 22839296 3543 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5576 3543 1111 63 0 5513 0
vsize: 22304
[startup+370.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3667 0 0 0 36988 17 0 0 25 0 1 0 850240639 22986752 3587 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5612 3587 1111 63 0 5549 0
vsize: 22448
[startup+380.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3755 0 0 0 37988 18 0 0 25 0 1 0 850240639 23269376 3675 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5681 3675 1111 63 0 5618 0
vsize: 22724
[startup+390.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3824 0 0 0 38988 18 0 0 25 0 1 0 850240639 23543808 3744 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5748 3744 1111 63 0 5685 0
vsize: 22992
[startup+400.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3877 0 0 0 39987 19 0 0 25 0 1 0 850240639 23846912 3797 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5822 3797 1111 63 0 5759 0
vsize: 23288
[startup+410.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3933 0 0 0 40987 19 0 0 25 0 1 0 850240639 24129536 3853 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5891 3853 1111 63 0 5828 0
vsize: 23564
[startup+420.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 3996 0 0 0 41987 19 0 0 25 0 1 0 850240639 24276992 3916 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5927 3916 1111 63 0 5864 0
vsize: 23708
[startup+430.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 4078 0 0 0 42987 20 0 0 25 0 1 0 850240639 24694784 3998 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6029 3998 1111 63 0 5966 0
vsize: 24116
[startup+440.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 4131 0 0 0 43987 20 0 0 25 0 1 0 850240639 24842240 4051 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6065 4051 1111 63 0 6002 0
vsize: 24260
[startup+450.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 4175 0 0 0 44987 20 0 0 25 0 1 0 850240639 24993792 4095 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6102 4095 1111 63 0 6039 0
vsize: 24408
[startup+460.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 4226 0 0 0 45987 21 0 0 25 0 1 0 850240639 25288704 4146 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6174 4146 1111 63 0 6111 0
vsize: 24696
[startup+470.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 4289 0 0 0 46987 21 0 0 25 0 1 0 850240639 25583616 4209 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6246 4209 1111 63 0 6183 0
vsize: 24984
[startup+480.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 4358 0 0 0 47987 21 0 0 25 0 1 0 850240639 25862144 4278 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6314 4278 1111 63 0 6251 0
vsize: 25256
[startup+490.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 4411 0 0 0 48987 21 0 0 25 0 1 0 850240639 26017792 4331 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6352 4331 1111 63 0 6289 0
vsize: 25408
[startup+500.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 4454 0 0 0 49987 21 0 0 25 0 1 0 850240639 26165248 4374 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6388 4374 1111 63 0 6325 0
vsize: 25552
[startup+510.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 4506 0 0 0 50986 22 0 0 25 0 1 0 850240639 26464256 4426 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6461 4426 1111 63 0 6398 0
vsize: 25844
[startup+520.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 4587 0 0 0 51986 22 0 0 25 0 1 0 850240639 26742784 4507 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6529 4507 1111 63 0 6466 0
vsize: 26116
[startup+530.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 4646 0 0 0 52986 22 0 0 25 0 1 0 850240639 27037696 4566 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6601 4566 1111 63 0 6538 0
vsize: 26404
[startup+540.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 4704 0 0 0 53986 23 0 0 25 0 1 0 850240639 27189248 4624 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6638 4624 1111 63 0 6575 0
vsize: 26552
[startup+550.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 4760 0 0 0 54986 23 0 0 25 0 1 0 850240639 27475968 4680 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6708 4680 1111 63 0 6645 0
vsize: 26832
[startup+560.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 4811 0 0 0 55985 24 0 0 25 0 1 0 850240639 27623424 4731 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6744 4731 1111 63 0 6681 0
vsize: 26976
[startup+570.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 4869 0 0 0 56985 24 0 0 25 0 1 0 850240639 27914240 4789 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6815 4789 1111 63 0 6752 0
vsize: 27260
[startup+580.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 4927 0 0 0 57985 24 0 0 25 0 1 0 850240639 28065792 4847 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6852 4847 1111 63 0 6789 0
vsize: 27408
[startup+590.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 4977 0 0 0 58985 24 0 0 25 0 1 0 850240639 28360704 4897 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6924 4897 1111 63 0 6861 0
vsize: 27696
[startup+600.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 5021 0 0 0 59985 25 0 0 25 0 1 0 850240639 28508160 4941 4294967295 134512640 134716908 3221224560 3221222788 1077414347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6960 4941 1111 63 0 6897 0
vsize: 27840
[startup+610.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 5098 0 0 0 60985 25 0 0 25 0 1 0 850240639 28803072 5018 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7032 5018 1111 63 0 6969 0
vsize: 28128
[startup+620.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 5162 0 0 0 61985 25 0 0 25 0 1 0 850240639 29081600 5082 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7100 5082 1111 63 0 7037 0
vsize: 28400
[startup+630.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 5220 0 0 0 62984 26 0 0 25 0 1 0 850240639 29376512 5140 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7172 5140 1111 63 0 7109 0
vsize: 28688
[startup+640.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 5277 0 0 0 63984 26 0 0 25 0 1 0 850240639 29519872 5197 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7207 5197 1111 63 0 7144 0
vsize: 28828
[startup+650.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 5333 0 0 0 64984 26 0 0 25 0 1 0 850240639 29814784 5253 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7279 5253 1111 63 0 7216 0
vsize: 29116
[startup+660.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 5423 0 0 0 65984 27 0 0 25 0 1 0 850240639 30085120 5343 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7345 5343 1111 63 0 7282 0
vsize: 29380
[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 5518 0 0 0 66984 27 0 0 25 0 1 0 850240639 30515200 5438 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7450 5438 1111 63 0 7387 0
vsize: 29800
[startup+680.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 5619 0 0 0 67984 27 0 0 25 0 1 0 850240639 30928896 5539 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7551 5539 1111 63 0 7488 0
vsize: 30204
[startup+690.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 5721 0 0 0 68983 28 0 0 25 0 1 0 850240639 31342592 5641 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7652 5641 1111 63 0 7589 0
vsize: 30608
[startup+700.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 5828 0 0 0 69983 28 0 0 25 0 1 0 850240639 31760384 5748 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7754 5748 1111 63 0 7691 0
vsize: 31016
[startup+710.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 5899 0 0 0 70983 29 0 0 25 0 1 0 850240639 32047104 5819 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7824 5819 1111 63 0 7761 0
vsize: 31296
[startup+720.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 5994 0 0 0 71983 29 0 0 25 0 1 0 850240639 32464896 5914 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7926 5914 1111 63 0 7863 0
vsize: 31704
[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 6096 0 0 0 72982 30 0 0 25 0 1 0 850240639 32886784 6016 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8029 6016 1111 63 0 7966 0
vsize: 32116
[startup+740.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 6167 0 0 0 73982 30 0 0 25 0 1 0 850240639 33165312 6087 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8097 6087 1111 63 0 8034 0
vsize: 32388
[startup+750.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 6249 0 0 0 74982 30 0 0 25 0 1 0 850240639 33595392 6169 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8202 6169 1111 63 0 8139 0
vsize: 32808
[startup+760.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 6346 0 0 0 75982 30 0 0 25 0 1 0 850240639 33882112 6266 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8272 6266 1111 63 0 8209 0
vsize: 33088
[startup+770.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 6440 0 0 0 76982 31 0 0 25 0 1 0 850240639 34304000 6360 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8375 6360 1111 63 0 8312 0
vsize: 33500
[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 6552 0 0 0 77982 31 0 0 25 0 1 0 850240639 34861056 6472 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8511 6472 1111 63 0 8448 0
vsize: 34044
[startup+790.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 6642 0 0 0 78982 31 0 0 25 0 1 0 850240639 35139584 6562 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8579 6562 1111 63 0 8516 0
vsize: 34316
[startup+800.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 6725 0 0 0 79981 32 0 0 25 0 1 0 850240639 35569664 6645 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8684 6645 1111 63 0 8621 0
vsize: 34736
[startup+810.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 6781 0 0 0 80981 32 0 0 25 0 1 0 850240639 35708928 6701 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8718 6701 1111 63 0 8655 0
vsize: 34872
[startup+820.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 6863 0 0 0 81981 33 0 0 25 0 1 0 850240639 36130816 6783 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8821 6783 1111 63 0 8758 0
vsize: 35284
[startup+830.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 6946 0 0 0 82981 33 0 0 25 0 1 0 850240639 36409344 6866 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6866 1111 63 0 8826 0
vsize: 35556
[startup+840.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 7016 0 0 0 83981 33 0 0 25 0 1 0 850240639 36700160 6936 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 6936 1111 63 0 8897 0
vsize: 35840
[startup+850.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 7104 0 0 0 84981 33 0 0 25 0 1 0 850240639 37117952 7024 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9062 7024 1111 63 0 8999 0
vsize: 36248
[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 7187 0 0 0 85980 34 0 0 25 0 1 0 850240639 37392384 7107 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9129 7107 1111 63 0 9066 0
vsize: 36516
[startup+870.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 7276 0 0 0 86980 34 0 0 25 0 1 0 850240639 37814272 7196 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9232 7196 1111 63 0 9169 0
vsize: 36928
[startup+880.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 7370 0 0 0 87980 35 0 0 25 0 1 0 850240639 38232064 7290 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9334 7290 1111 63 0 9271 0
vsize: 37336
[startup+890.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 7452 0 0 0 88980 35 0 0 25 0 1 0 850240639 38510592 7372 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9402 7372 1111 63 0 9339 0
vsize: 37608
[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 7540 0 0 0 89980 35 0 0 25 0 1 0 850240639 38924288 7460 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9503 7460 1111 63 0 9440 0
vsize: 38012
[startup+910.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 7617 0 0 0 90980 35 0 0 25 0 1 0 850240639 39211008 7537 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9573 7537 1111 63 0 9510 0
vsize: 38292
[startup+920.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 7692 0 0 0 91980 35 0 0 25 0 1 0 850240639 39493632 7612 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9642 7612 1111 63 0 9579 0
vsize: 38568
[startup+930.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 7763 0 0 0 92980 36 0 0 25 0 1 0 850240639 39776256 7683 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9711 7683 1111 63 0 9648 0
vsize: 38844
[startup+940.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 7840 0 0 0 93980 36 0 0 25 0 1 0 850240639 40062976 7760 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9781 7760 1111 63 0 9718 0
vsize: 39124
[startup+950.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 7930 0 0 0 94980 36 0 0 25 0 1 0 850240639 40488960 7850 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9885 7850 1111 63 0 9822 0
vsize: 39540
[startup+960.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 8024 0 0 0 95979 37 0 0 25 0 1 0 850240639 40894464 7944 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9984 7944 1111 63 0 9921 0
vsize: 39936
[startup+970.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 8136 0 0 0 96979 37 0 0 25 0 1 0 850240639 41308160 8056 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10085 8056 1111 63 0 10022 0
vsize: 40340
[startup+980.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 8220 0 0 0 97979 38 0 0 25 0 1 0 850240639 41590784 8140 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10154 8140 1111 63 0 10091 0
vsize: 40616
[startup+990.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 8308 0 0 0 98979 38 0 0 25 0 1 0 850240639 42012672 8228 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10257 8228 1111 63 0 10194 0
vsize: 41028
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 8391 0 0 0 99978 38 0 0 25 0 1 0 850240639 42291200 8311 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10325 8311 1111 63 0 10262 0
vsize: 41300
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 8460 0 0 0 100978 39 0 0 25 0 1 0 850240639 42573824 8380 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10394 8380 1111 63 0 10331 0
vsize: 41576
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 8532 0 0 0 101978 39 0 0 25 0 1 0 850240639 42864640 8452 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10465 8452 1111 63 0 10402 0
vsize: 41860
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 8609 0 0 0 102978 39 0 0 25 0 1 0 850240639 43290624 8529 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10569 8529 1111 63 0 10506 0
vsize: 42276
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 8685 0 0 0 103978 39 0 0 25 0 1 0 850240639 43573248 8605 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10638 8605 1111 63 0 10575 0
vsize: 42552
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 8769 0 0 0 104978 40 0 0 25 0 1 0 850240639 43855872 8689 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10707 8689 1111 63 0 10644 0
vsize: 42828
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 8844 0 0 0 105977 40 0 0 25 0 1 0 850240639 44138496 8764 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10776 8764 1111 63 0 10713 0
vsize: 43104
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 8932 0 0 0 106977 41 0 0 25 0 1 0 850240639 44556288 8852 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10878 8852 1111 63 0 10815 0
vsize: 43512
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 9014 0 0 0 107976 41 0 0 25 0 1 0 850240639 44834816 8934 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10946 8934 1111 63 0 10883 0
vsize: 43784
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 9097 0 0 0 108977 41 0 0 25 0 1 0 850240639 45264896 9017 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11051 9017 1111 63 0 10988 0
vsize: 44204
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 9186 0 0 0 109976 42 0 0 25 0 1 0 850240639 45543424 9106 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11119 9106 1111 63 0 11056 0
vsize: 44476
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 9275 0 0 0 110976 42 0 0 25 0 1 0 850240639 45961216 9195 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11221 9195 1111 63 0 11158 0
vsize: 44884
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 9358 0 0 0 111976 43 0 0 25 0 1 0 850240639 46231552 9278 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11287 9278 1111 63 0 11224 0
vsize: 45148
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 9465 0 0 0 112975 43 0 0 25 0 1 0 850240639 46788608 9385 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11423 9385 1111 63 0 11360 0
vsize: 45692
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 9553 0 0 0 113975 43 0 0 25 0 1 0 850240639 47067136 9473 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11491 9473 1111 63 0 11428 0
vsize: 45964
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 9635 0 0 0 114975 44 0 0 25 0 1 0 850240639 47480832 9555 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11592 9555 1111 63 0 11529 0
vsize: 46368
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 9699 0 0 0 115975 44 0 0 25 0 1 0 850240639 47624192 9619 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11627 9619 1111 63 0 11564 0
vsize: 46508
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 9776 0 0 0 116975 44 0 0 25 0 1 0 850240639 48058368 9696 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11733 9696 1111 63 0 11670 0
vsize: 46932
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 9864 0 0 0 117975 44 0 0 25 0 1 0 850240639 48340992 9784 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11802 9784 1111 63 0 11739 0
vsize: 47208
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 9959 0 0 0 118975 45 0 0 25 0 1 0 850240639 48750592 9879 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11902 9879 1111 63 0 11839 0
vsize: 47608
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) R 29382 8378 8377 0 -1 0 10055 0 0 0 119975 45 0 0 25 0 1 0 850240639 49172480 9975 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12005 9975 1111 63 0 11942 0
vsize: 48020
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 29383
Raw data (stat): 29383 (bsolo_lpr_cuts-) Z 29382 8378 8377 0 -1 1036 10055 0 0 0 119975 47 0 0 25 0 1 0 850240639 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.23
CPU user time (s): 1199.76
CPU system time (s): 0.471928
CPU usage (%): 100.013
Max. virtual memory (Kb): 48020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####