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-dfl001.opb
MD5SUM	0613a0c4894703648f95007e06fadc66
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	187033
Biggest coefficient in the objective function	2150851580428025856
Number of bits for the biggest coefficient in the objective function	61
Sum of the numbers in the objective function	882752655849462562816
Number of bits of the sum of numbers in the objective function	70
Biggest number in a constraint	53687091200000000000
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	4277072243466308681728
Number of bits of the biggest sum of numbers	72
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	3.46847
Number of variables	366703
Total number of constraints	6084
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	6084
Minimum length of a constraint	13
Maximum length of a constraint	6840
Trace number 40992

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 03:54:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29041 boxname=wulflinc5 idbench=825 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  0613a0c4894703648f95007e06fadc66  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-dfl001.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-dfl001.opb
IDLAUNCH: 29041
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        836320 kB
Buffers:         22984 kB
Cached:         153356 kB
SwapCached:        732 kB
Active:          51824 kB
Inactive:       126620 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        836068 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            14328 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 04:14:25 (client local time) WITH STATUS 0 IN 1200.79 SECONDS
stats: 29041 7 1200.79 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 2/54 25846
Raw data (stat): 25846 (runsolver) R 25845 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907191703 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.0001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 1690 0 0 0 991 6 0 0 25 0 1 0 907191703 15364096 1610 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 1610 1111 63 0 3688 0
vsize: 15004
[startup+20.0001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 1735 0 0 0 1991 6 0 0 25 0 1 0 907191703 15511552 1655 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1655 1111 63 0 3724 0
vsize: 15148
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 1785 0 0 0 2991 6 0 0 25 0 1 0 907191703 15663104 1705 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3824 1705 1111 63 0 3761 0
vsize: 15296
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 1838 0 0 0 3991 6 0 0 25 0 1 0 907191703 15966208 1758 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3898 1758 1111 63 0 3835 0
vsize: 15592
[startup+50.0023 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 1882 0 0 0 4992 7 0 0 25 0 1 0 907191703 16113664 1802 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3934 1802 1111 63 0 3871 0
vsize: 15736
[startup+60.0024 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 1939 0 0 0 5992 7 0 0 25 0 1 0 907191703 16412672 1859 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4007 1859 1111 63 0 3944 0
vsize: 16028
[startup+70.0015 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 1984 0 0 0 6991 7 0 0 25 0 1 0 907191703 16564224 1904 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4044 1904 1111 63 0 3981 0
vsize: 16176
[startup+80.0026 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2043 0 0 0 7992 7 0 0 25 0 1 0 907191703 16711680 1963 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4080 1963 1111 63 0 4017 0
vsize: 16320
[startup+90.0024 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2088 0 0 0 8992 7 0 0 25 0 1 0 907191703 17014784 2008 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4154 2008 1111 63 0 4091 0
vsize: 16616
[startup+100.003 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2141 0 0 0 9992 8 0 0 25 0 1 0 907191703 17166336 2061 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4191 2061 1111 63 0 4128 0
vsize: 16764
[startup+110.004 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2192 0 0 0 10992 8 0 0 25 0 1 0 907191703 17444864 2112 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4259 2112 1111 63 0 4196 0
vsize: 17036
[startup+120.005 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2237 0 0 0 11992 8 0 0 25 0 1 0 907191703 17596416 2157 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4296 2157 1111 63 0 4233 0
vsize: 17184
[startup+130.005 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2296 0 0 0 12992 8 0 0 25 0 1 0 907191703 17752064 2216 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4334 2216 1111 63 0 4271 0
vsize: 17336
[startup+140.005 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2347 0 0 0 13992 8 0 0 25 0 1 0 907191703 18051072 2267 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4407 2267 1111 63 0 4344 0
vsize: 17628
[startup+150.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2398 0 0 0 14992 8 0 0 25 0 1 0 907191703 18202624 2318 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4444 2318 1111 63 0 4381 0
vsize: 17776
[startup+160.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2449 0 0 0 15992 9 0 0 25 0 1 0 907191703 18497536 2369 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4516 2369 1111 63 0 4453 0
vsize: 18064
[startup+170.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2494 0 0 0 16992 9 0 0 25 0 1 0 907191703 18653184 2414 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4554 2414 1111 63 0 4491 0
vsize: 18216
[startup+180.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2546 0 0 0 17992 9 0 0 25 0 1 0 907191703 18804736 2466 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4591 2466 1111 63 0 4528 0
vsize: 18364
[startup+190.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2596 0 0 0 18992 9 0 0 25 0 1 0 907191703 19103744 2516 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4664 2516 1111 63 0 4601 0
vsize: 18656
[startup+200.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2652 0 0 0 19992 9 0 0 25 0 1 0 907191703 19251200 2572 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4700 2572 1111 63 0 4637 0
vsize: 18800
[startup+210.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2705 0 0 0 20992 10 0 0 25 0 1 0 907191703 19550208 2625 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 2625 1111 63 0 4710 0
vsize: 19092
[startup+220.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2756 0 0 0 21991 10 0 0 25 0 1 0 907191703 19697664 2676 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4809 2676 1111 63 0 4746 0
vsize: 19236
[startup+230.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2813 0 0 0 22991 10 0 0 25 0 1 0 907191703 19996672 2733 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4882 2733 1111 63 0 4819 0
vsize: 19528
[startup+240.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2865 0 0 0 23991 11 0 0 25 0 1 0 907191703 20148224 2785 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 2785 1111 63 0 4856 0
vsize: 19676
[startup+250.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2916 0 0 0 24991 11 0 0 25 0 1 0 907191703 20295680 2836 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4955 2836 1111 63 0 4892 0
vsize: 19820
[startup+260.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 2962 0 0 0 25991 11 0 0 25 0 1 0 907191703 20598784 2882 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5029 2882 1111 63 0 4966 0
vsize: 20116
[startup+270.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3007 0 0 0 26991 11 0 0 25 0 1 0 907191703 20750336 2927 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5066 2927 1111 63 0 5003 0
vsize: 20264
[startup+280.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3057 0 0 0 27991 12 0 0 25 0 1 0 907191703 20897792 2977 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5102 2977 1111 63 0 5039 0
vsize: 20408
[startup+290.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3108 0 0 0 28991 12 0 0 25 0 1 0 907191703 21196800 3028 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5175 3028 1111 63 0 5112 0
vsize: 20700
[startup+300.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3154 0 0 0 29991 12 0 0 25 0 1 0 907191703 21348352 3074 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5212 3074 1111 63 0 5149 0
vsize: 20848
[startup+310.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3211 0 0 0 30991 12 0 0 25 0 1 0 907191703 21499904 3131 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5249 3131 1111 63 0 5186 0
vsize: 20996
[startup+320.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3263 0 0 0 31991 12 0 0 25 0 1 0 907191703 21798912 3183 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5322 3183 1111 63 0 5259 0
vsize: 21288
[startup+330.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3314 0 0 0 32992 12 0 0 25 0 1 0 907191703 21950464 3234 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5359 3234 1111 63 0 5296 0
vsize: 21436
[startup+340.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25846
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3373 0 0 0 33992 12 0 0 25 0 1 0 907191703 22249472 3293 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5432 3293 1111 63 0 5369 0
vsize: 21728
[startup+350.008 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 25899
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3424 0 0 0 34992 12 0 0 25 0 1 0 907191703 22405120 3344 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5470 3344 1111 63 0 5407 0
vsize: 21880
[startup+360.009 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 25899
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3475 0 0 0 35992 12 0 0 25 0 1 0 907191703 22704128 3395 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5543 3395 1111 63 0 5480 0
vsize: 22172
[startup+370.008 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 25899
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3526 0 0 0 36992 13 0 0 25 0 1 0 907191703 22851584 3446 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5579 3446 1111 63 0 5516 0
vsize: 22316
[startup+380.008 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 25899
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3578 0 0 0 37992 13 0 0 25 0 1 0 907191703 22999040 3498 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5615 3498 1111 63 0 5552 0
vsize: 22460
[startup+390.008 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 25899
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3643 0 0 0 38992 13 0 0 25 0 1 0 907191703 23285760 3563 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5685 3563 1111 63 0 5622 0
vsize: 22740
[startup+400.008 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 25899
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3688 0 0 0 39992 13 0 0 25 0 1 0 907191703 23564288 3608 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5753 3608 1111 63 0 5690 0
vsize: 23012
[startup+410.008 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 25899
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3746 0 0 0 40992 13 0 0 25 0 1 0 907191703 23711744 3666 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5789 3666 1111 63 0 5726 0
vsize: 23156
[startup+420.008 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3790 0 0 0 41992 13 0 0 25 0 1 0 907191703 24010752 3710 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5862 3710 1111 63 0 5799 0
vsize: 23448
[startup+430.008 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3850 0 0 0 42992 13 0 0 25 0 1 0 907191703 24166400 3770 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5900 3770 1111 63 0 5837 0
vsize: 23600
[startup+440.008 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3894 0 0 0 43992 13 0 0 25 0 1 0 907191703 24313856 3814 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5936 3814 1111 63 0 5873 0
vsize: 23744
[startup+450.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3939 0 0 0 44992 14 0 0 25 0 1 0 907191703 24612864 3859 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6009 3859 1111 63 0 5946 0
vsize: 24036
[startup+460.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 3996 0 0 0 45992 14 0 0 25 0 1 0 907191703 24764416 3916 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6046 3916 1111 63 0 5983 0
vsize: 24184
[startup+470.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4049 0 0 0 46992 14 0 0 25 0 1 0 907191703 25047040 3969 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6115 3969 1111 63 0 6052 0
vsize: 24460
[startup+480.022 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4101 0 0 0 47994 14 0 0 25 0 1 0 907191703 25190400 4021 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6150 4021 1111 63 0 6087 0
vsize: 24600
[startup+490.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4145 0 0 0 48994 14 0 0 25 0 1 0 907191703 25337856 4065 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6186 4065 1111 63 0 6123 0
vsize: 24744
[startup+500.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4203 0 0 0 49994 14 0 0 25 0 1 0 907191703 25636864 4123 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6259 4123 1111 63 0 6196 0
vsize: 25036
[startup+510.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4247 0 0 0 50994 14 0 0 25 0 1 0 907191703 25784320 4167 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6295 4167 1111 63 0 6232 0
vsize: 25180
[startup+520.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4306 0 0 0 51994 14 0 0 25 0 1 0 907191703 26091520 4226 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6370 4226 1111 63 0 6307 0
vsize: 25480
[startup+530.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4359 0 0 0 52994 15 0 0 25 0 1 0 907191703 26238976 4279 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6406 4279 1111 63 0 6343 0
vsize: 25624
[startup+540.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4410 0 0 0 53994 15 0 0 25 0 1 0 907191703 26537984 4330 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6479 4330 1111 63 0 6416 0
vsize: 25916
[startup+550.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4468 0 0 0 54994 15 0 0 25 0 1 0 907191703 26689536 4388 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6516 4388 1111 63 0 6453 0
vsize: 26064
[startup+560.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4513 0 0 0 55994 15 0 0 25 0 1 0 907191703 26836992 4433 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6552 4433 1111 63 0 6489 0
vsize: 26208
[startup+570.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4571 0 0 0 56994 15 0 0 25 0 1 0 907191703 27140096 4491 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6626 4491 1111 63 0 6563 0
vsize: 26504
[startup+580.024 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4616 0 0 0 57994 15 0 0 25 0 1 0 907191703 27291648 4536 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6663 4536 1111 63 0 6600 0
vsize: 26652
[startup+590.027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4674 0 0 0 58994 16 0 0 25 0 1 0 907191703 27590656 4594 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6736 4594 1111 63 0 6673 0
vsize: 26944
[startup+600.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4720 0 0 0 59994 16 0 0 25 0 1 0 907191703 27738112 4640 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6772 4640 1111 63 0 6709 0
vsize: 27088
[startup+610.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4771 0 0 0 60995 16 0 0 25 0 1 0 907191703 27893760 4691 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6810 4691 1111 63 0 6747 0
vsize: 27240
[startup+620.029 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4823 0 0 0 61994 16 0 0 25 0 1 0 907191703 28192768 4743 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6883 4743 1111 63 0 6820 0
vsize: 27532
[startup+630.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4881 0 0 0 62995 16 0 0 25 0 1 0 907191703 28340224 4801 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6919 4801 1111 63 0 6856 0
vsize: 27676
[startup+640.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4934 0 0 0 63995 16 0 0 25 0 1 0 907191703 28639232 4854 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6992 4854 1111 63 0 6929 0
vsize: 27968
[startup+650.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 4984 0 0 0 64996 17 0 0 25 0 1 0 907191703 28794880 4904 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7030 4904 1111 63 0 6967 0
vsize: 28120
[startup+660.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5036 0 0 0 65997 17 0 0 25 0 1 0 907191703 29093888 4956 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7103 4956 1111 63 0 7040 0
vsize: 28412
[startup+670.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5087 0 0 0 66997 17 0 0 25 0 1 0 907191703 29241344 5007 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7139 5007 1111 63 0 7076 0
vsize: 28556
[startup+680.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25901
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5144 0 0 0 67997 17 0 0 25 0 1 0 907191703 29540352 5064 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7212 5064 1111 63 0 7149 0
vsize: 28848
[startup+690.047 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5190 0 0 0 68997 17 0 0 25 0 1 0 907191703 29675520 5110 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7245 5110 1111 63 0 7182 0
vsize: 28980
[startup+700.048 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5241 0 0 0 69997 17 0 0 25 0 1 0 907191703 29818880 5161 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7280 5161 1111 63 0 7217 0
vsize: 29120
[startup+710.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5292 0 0 0 70997 17 0 0 25 0 1 0 907191703 30117888 5212 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7353 5212 1111 63 0 7290 0
vsize: 29412
[startup+720.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5350 0 0 0 71997 17 0 0 25 0 1 0 907191703 30265344 5270 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7389 5270 1111 63 0 7326 0
vsize: 29556
[startup+730.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5403 0 0 0 72997 17 0 0 25 0 1 0 907191703 30568448 5323 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7463 5323 1111 63 0 7400 0
vsize: 29852
[startup+740.049 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5454 0 0 0 73997 17 0 0 25 0 1 0 907191703 30720000 5374 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7500 5374 1111 63 0 7437 0
vsize: 30000
[startup+750.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5499 0 0 0 74997 18 0 0 25 0 1 0 907191703 30867456 5419 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7536 5419 1111 63 0 7473 0
vsize: 30144
[startup+760.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5556 0 0 0 75998 18 0 0 25 0 1 0 907191703 31166464 5476 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7609 5476 1111 63 0 7546 0
vsize: 30436
[startup+770.05 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5621 0 0 0 76997 18 0 0 25 0 1 0 907191703 31506432 5541 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7692 5541 1111 63 0 7629 0
vsize: 30768
[startup+780.051 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5672 0 0 0 77998 18 0 0 25 0 1 0 907191703 31657984 5592 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7729 5592 1111 63 0 7666 0
vsize: 30916
[startup+790.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5729 0 0 0 78998 18 0 0 25 0 1 0 907191703 31956992 5649 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7802 5649 1111 63 0 7739 0
vsize: 31208
[startup+800.052 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5780 0 0 0 79998 18 0 0 25 0 1 0 907191703 32104448 5700 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7838 5700 1111 63 0 7775 0
vsize: 31352
[startup+810.053 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5833 0 0 0 80997 19 0 0 25 0 1 0 907191703 32407552 5753 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7912 5753 1111 63 0 7849 0
vsize: 31648
[startup+820.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5891 0 0 0 81998 19 0 0 25 0 1 0 907191703 32559104 5811 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7949 5811 1111 63 0 7886 0
vsize: 31796
[startup+830.057 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5936 0 0 0 82998 19 0 0 25 0 1 0 907191703 32706560 5856 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7985 5856 1111 63 0 7922 0
vsize: 31940
[startup+840.057 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 5993 0 0 0 83998 19 0 0 25 0 1 0 907191703 33005568 5913 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8058 5913 1111 63 0 7995 0
vsize: 32232
[startup+850.572 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6053 0 0 0 85049 20 0 0 25 0 1 0 907191703 33308672 5973 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8132 5973 1111 63 0 8069 0
vsize: 32528
[startup+860.572 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6099 0 0 0 86049 20 0 0 25 0 1 0 907191703 33460224 6019 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8169 6019 1111 63 0 8106 0
vsize: 32676
[startup+870.571 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6157 0 0 0 87049 20 0 0 25 0 1 0 907191703 33607680 6077 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8205 6077 1111 63 0 8142 0
vsize: 32820
[startup+880.572 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6215 0 0 0 88049 20 0 0 25 0 1 0 907191703 33906688 6135 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8278 6135 1111 63 0 8215 0
vsize: 33112
[startup+890.572 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6268 0 0 0 89049 20 0 0 25 0 1 0 907191703 34058240 6188 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8315 6188 1111 63 0 8252 0
vsize: 33260
[startup+900.573 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6320 0 0 0 90049 20 0 0 25 0 1 0 907191703 34361344 6240 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8389 6240 1111 63 0 8326 0
vsize: 33556
[startup+910.573 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6377 0 0 0 91050 20 0 0 25 0 1 0 907191703 34508800 6297 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8425 6297 1111 63 0 8362 0
vsize: 33700
[startup+920.573 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6422 0 0 0 92050 21 0 0 25 0 1 0 907191703 34807808 6342 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8498 6342 1111 63 0 8435 0
vsize: 33992
[startup+930.574 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6479 0 0 0 93050 21 0 0 25 0 1 0 907191703 34959360 6399 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8535 6399 1111 63 0 8472 0
vsize: 34140
[startup+940.573 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6539 0 0 0 94050 21 0 0 25 0 1 0 907191703 35266560 6459 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8610 6459 1111 63 0 8547 0
vsize: 34440
[startup+950.574 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6584 0 0 0 95050 21 0 0 25 0 1 0 907191703 35414016 6504 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8646 6504 1111 63 0 8583 0
vsize: 34584
[startup+960.575 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6643 0 0 0 96050 21 0 0 25 0 1 0 907191703 35708928 6563 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8718 6563 1111 63 0 8655 0
vsize: 34872
[startup+970.574 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6701 0 0 0 97050 21 0 0 25 0 1 0 907191703 35860480 6621 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8755 6621 1111 63 0 8692 0
vsize: 35020
[startup+980.575 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6754 0 0 0 98050 21 0 0 25 0 1 0 907191703 36167680 6674 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8830 6674 1111 63 0 8767 0
vsize: 35320
[startup+990.575 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6805 0 0 0 99050 21 0 0 25 0 1 0 907191703 36315136 6725 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8866 6725 1111 63 0 8803 0
vsize: 35464
[startup+1000.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6856 0 0 0 100050 21 0 0 25 0 1 0 907191703 36466688 6776 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8903 6776 1111 63 0 8840 0
vsize: 35612
[startup+1010.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6908 0 0 0 101051 22 0 0 25 0 1 0 907191703 36765696 6828 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8976 6828 1111 63 0 8913 0
vsize: 35904
[startup+1020.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 6967 0 0 0 102051 22 0 0 25 0 1 0 907191703 36917248 6887 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9013 6887 1111 63 0 8950 0
vsize: 36052
[startup+1030.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7025 0 0 0 103051 22 0 0 25 0 1 0 907191703 37216256 6945 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9086 6945 1111 63 0 9023 0
vsize: 36344
[startup+1040.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7077 0 0 0 104051 22 0 0 25 0 1 0 907191703 37367808 6997 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9123 6997 1111 63 0 9060 0
vsize: 36492
[startup+1050.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7129 0 0 0 105051 22 0 0 25 0 1 0 907191703 37666816 7049 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9196 7049 1111 63 0 9133 0
vsize: 36784
[startup+1060.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7182 0 0 0 106051 22 0 0 25 0 1 0 907191703 37818368 7102 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9233 7102 1111 63 0 9170 0
vsize: 36932
[startup+1070.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7234 0 0 0 107051 22 0 0 25 0 1 0 907191703 38117376 7154 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9306 7154 1111 63 0 9243 0
vsize: 37224
[startup+1080.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7291 0 0 0 108051 22 0 0 25 0 1 0 907191703 38268928 7211 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9343 7211 1111 63 0 9280 0
vsize: 37372
[startup+1090.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7335 0 0 0 109051 22 0 0 25 0 1 0 907191703 38416384 7255 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9379 7255 1111 63 0 9316 0
vsize: 37516
[startup+1100.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7380 0 0 0 110051 23 0 0 25 0 1 0 907191703 38719488 7300 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9453 7300 1111 63 0 9390 0
vsize: 37812
[startup+1110.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7438 0 0 0 111052 23 0 0 25 0 1 0 907191703 38871040 7358 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9490 7358 1111 63 0 9427 0
vsize: 37960
[startup+1120.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7483 0 0 0 112052 23 0 0 25 0 1 0 907191703 39018496 7403 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9526 7403 1111 63 0 9463 0
vsize: 38104
[startup+1130.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7541 0 0 0 113052 23 0 0 25 0 1 0 907191703 39317504 7461 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9599 7461 1111 63 0 9536 0
vsize: 38396
[startup+1140.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7601 0 0 0 114052 23 0 0 25 0 1 0 907191703 39624704 7521 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9674 7521 1111 63 0 9611 0
vsize: 38696
[startup+1150.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7660 0 0 0 115052 23 0 0 25 0 1 0 907191703 39772160 7580 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9710 7580 1111 63 0 9647 0
vsize: 38840
[startup+1160.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7711 0 0 0 116052 23 0 0 25 0 1 0 907191703 40071168 7631 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9783 7631 1111 63 0 9720 0
vsize: 39132
[startup+1170.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7763 0 0 0 117052 23 0 0 25 0 1 0 907191703 40218624 7683 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9819 7683 1111 63 0 9756 0
vsize: 39276
[startup+1180.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7822 0 0 0 118052 23 0 0 25 0 1 0 907191703 40525824 7742 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9894 7742 1111 63 0 9831 0
vsize: 39576
[startup+1190.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7873 0 0 0 119053 23 0 0 25 0 1 0 907191703 40677376 7793 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9931 7793 1111 63 0 9868 0
vsize: 39724
[startup+1200.58 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) R 25845 7266 7265 0 -1 0 7911 0 0 0 120053 23 0 0 25 0 1 0 907191703 40824832 7831 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9967 7831 1111 63 0 9904 0
vsize: 39868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.6 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 25903
Raw data (stat): 25846 (bsolo_lpr_cuts-) Z 25845 7266 7265 0 -1 1036 7911 0 0 0 120053 25 0 0 25 0 1 0 907191703 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.6
CPU time (s): 1200.79
CPU user time (s): 1200.53
CPU system time (s): 0.254961
CPU usage (%): 100.016
Max. virtual memory (Kb): 39868
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####