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-fit2p.opb
MD5SUM	6958cafd776838585aada2c9dcafd103
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	246163
Biggest coefficient in the objective function	10737418240
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	43487073153772
Number of bits of the sum of numbers in the objective function	46
Biggest number in a constraint	31729070899200
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	103505525327531
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.77058
Number of variables	293602
Total number of constraints	10500
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	10500
Minimum length of a constraint	13
Maximum length of a constraint	612
Trace number 41018

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 04:05:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29049 boxname=wulflinc2 idbench=833 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6958cafd776838585aada2c9dcafd103  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-fit2p.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-fit2p.opb
IDLAUNCH: 29049
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        785220 kB
Buffers:         23944 kB
Cached:         200268 kB
SwapCached:       4472 kB
Active:          64836 kB
Inactive:       164524 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        784968 kB
SwapTotal:     2097136 kB
SwapFree:      2091616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            14452 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 04:25:54 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 29049 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.99 0.97 0.91 2/54 19491
Raw data (stat): 19491 (runsolver) R 19490 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907264419 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.0003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19491
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 1836 0 0 0 990 7 0 0 25 0 1 0 907264419 15360000 1756 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3750 1756 1111 63 0 3687 0
vsize: 15000
[startup+20.0006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19491
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 1900 0 0 0 1990 8 0 0 25 0 1 0 907264419 15646720 1820 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3820 1820 1111 63 0 3757 0
vsize: 15280
[startup+30.0003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 1972 0 0 0 2990 8 0 0 25 0 1 0 907264419 15941632 1892 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1892 1111 63 0 3829 0
vsize: 15568
[startup+40.0014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 2037 0 0 0 3990 9 0 0 25 0 1 0 907264419 16236544 1957 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3964 1957 1111 63 0 3901 0
vsize: 15856
[startup+50.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 2114 0 0 0 4989 9 0 0 25 0 1 0 907264419 16523264 2034 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4034 2034 1111 63 0 3971 0
vsize: 16136
[startup+60.0014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 2184 0 0 0 5989 10 0 0 25 0 1 0 907264419 16818176 2104 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2104 1111 63 0 4043 0
vsize: 16424
[startup+70.0015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 2250 0 0 0 6988 10 0 0 25 0 1 0 907264419 17108992 2170 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4177 2170 1111 63 0 4114 0
vsize: 16708
[startup+80.0023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 2321 0 0 0 7988 11 0 0 25 0 1 0 907264419 17399808 2241 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4248 2241 1111 63 0 4185 0
vsize: 16992
[startup+90.0015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 2401 0 0 0 8987 12 0 0 25 0 1 0 907264419 17674240 2321 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4315 2321 1111 63 0 4252 0
vsize: 17260
[startup+100.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 2467 0 0 0 9986 13 0 0 25 0 1 0 907264419 17960960 2387 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4385 2387 1111 63 0 4322 0
vsize: 17540
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 2537 0 0 0 10986 14 0 0 25 0 1 0 907264419 18259968 2457 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2457 1111 63 0 4395 0
vsize: 17832
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 2608 0 0 0 11985 15 0 0 25 0 1 0 907264419 18550784 2528 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4529 2528 1111 63 0 4466 0
vsize: 18116
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 2673 0 0 0 12985 15 0 0 25 0 1 0 907264419 18837504 2593 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4599 2593 1111 63 0 4536 0
vsize: 18396
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 2751 0 0 0 13984 16 0 0 25 0 1 0 907264419 19136512 2671 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4672 2671 1111 63 0 4609 0
vsize: 18688
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 2822 0 0 0 14983 17 0 0 25 0 1 0 907264419 19423232 2742 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4742 2742 1111 63 0 4679 0
vsize: 18968
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 2886 0 0 0 15983 17 0 0 25 0 1 0 907264419 19714048 2806 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4813 2806 1111 63 0 4750 0
vsize: 19252
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 2962 0 0 0 16983 17 0 0 25 0 1 0 907264419 20000768 2882 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4883 2882 1111 63 0 4820 0
vsize: 19532
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 3040 0 0 0 17982 18 0 0 25 0 1 0 907264419 20295680 2960 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4955 2960 1111 63 0 4892 0
vsize: 19820
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 3105 0 0 0 18982 18 0 0 25 0 1 0 907264419 20586496 3025 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5026 3025 1111 63 0 4963 0
vsize: 20104
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 3176 0 0 0 19982 19 0 0 25 0 1 0 907264419 20877312 3096 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5097 3096 1111 63 0 5034 0
vsize: 20388
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 3248 0 0 0 20981 19 0 0 25 0 1 0 907264419 21172224 3168 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5169 3168 1111 63 0 5106 0
vsize: 20676
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 3319 0 0 0 21981 19 0 0 25 0 1 0 907264419 21463040 3239 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5240 3239 1111 63 0 5177 0
vsize: 20960
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 3389 0 0 0 22981 20 0 0 25 0 1 0 907264419 21753856 3309 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5311 3309 1111 63 0 5248 0
vsize: 21244
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 3455 0 0 0 23981 20 0 0 25 0 1 0 907264419 22044672 3375 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5382 3375 1111 63 0 5319 0
vsize: 21528
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 3533 0 0 0 24980 21 0 0 25 0 1 0 907264419 22335488 3453 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5453 3453 1111 63 0 5390 0
vsize: 21812
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 3604 0 0 0 25980 21 0 0 25 0 1 0 907264419 22630400 3524 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5525 3524 1111 63 0 5462 0
vsize: 22100
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 3669 0 0 0 26980 22 0 0 25 0 1 0 907264419 22917120 3589 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5595 3589 1111 63 0 5532 0
vsize: 22380
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 3747 0 0 0 27980 22 0 0 25 0 1 0 907264419 23207936 3667 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5666 3667 1111 63 0 5603 0
vsize: 22664
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 3818 0 0 0 28980 22 0 0 25 0 1 0 907264419 23506944 3738 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5739 3738 1111 63 0 5676 0
vsize: 22956
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 3882 0 0 0 29979 23 0 0 25 0 1 0 907264419 23793664 3802 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5809 3802 1111 63 0 5746 0
vsize: 23236
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 3953 0 0 0 30979 23 0 0 25 0 1 0 907264419 24084480 3873 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5880 3873 1111 63 0 5817 0
vsize: 23520
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 4031 0 0 0 31978 24 0 0 25 0 1 0 907264419 24383488 3951 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5953 3951 1111 63 0 5890 0
vsize: 23812
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 4103 0 0 0 32978 24 0 0 25 0 1 0 907264419 24666112 4023 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6022 4023 1111 63 0 5959 0
vsize: 24088
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 4174 0 0 0 33978 24 0 0 25 0 1 0 907264419 24952832 4094 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6092 4094 1111 63 0 6029 0
vsize: 24368
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 4252 0 0 0 34978 24 0 0 25 0 1 0 907264419 25391104 4172 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6199 4172 1111 63 0 6136 0
vsize: 24796
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 4317 0 0 0 35979 24 0 0 25 0 1 0 907264419 25534464 4237 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6234 4237 1111 63 0 6171 0
vsize: 24936
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 4394 0 0 0 36978 25 0 0 25 0 1 0 907264419 25972736 4314 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6341 4314 1111 63 0 6278 0
vsize: 25364
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 4465 0 0 0 37978 25 0 0 25 0 1 0 907264419 26259456 4385 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6411 4385 1111 63 0 6348 0
vsize: 25644
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 4531 0 0 0 38979 25 0 0 25 0 1 0 907264419 26411008 4451 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6448 4451 1111 63 0 6385 0
vsize: 25792
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 4609 0 0 0 39979 25 0 0 25 0 1 0 907264419 26849280 4529 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6555 4529 1111 63 0 6492 0
vsize: 26220
[startup+410.02 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 4681 0 0 0 40979 25 0 0 25 0 1 0 907264419 27136000 4601 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6625 4601 1111 63 0 6562 0
vsize: 26500
[startup+420.02 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 4754 0 0 0 41979 25 0 0 25 0 1 0 907264419 27435008 4674 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6698 4674 1111 63 0 6635 0
vsize: 26792
[startup+430.021 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 4824 0 0 0 42979 25 0 0 25 0 1 0 907264419 27725824 4744 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6769 4744 1111 63 0 6706 0
vsize: 27076
[startup+440.02 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 4895 0 0 0 43979 25 0 0 25 0 1 0 907264419 28012544 4815 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6839 4815 1111 63 0 6776 0
vsize: 27356
[startup+450.021 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 4972 0 0 0 44979 26 0 0 25 0 1 0 907264419 28307456 4892 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6911 4892 1111 63 0 6848 0
vsize: 27644
[startup+460.021 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 5039 0 0 0 45979 26 0 0 25 0 1 0 907264419 28602368 4959 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 4959 1111 63 0 6920 0
vsize: 27932
[startup+470.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 5110 0 0 0 46979 26 0 0 25 0 1 0 907264419 28889088 5030 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7053 5030 1111 63 0 6990 0
vsize: 28212
[startup+480.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 5188 0 0 0 47979 26 0 0 25 0 1 0 907264419 29184000 5108 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7125 5108 1111 63 0 7062 0
vsize: 28500
[startup+490.022 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 5255 0 0 0 48979 26 0 0 25 0 1 0 907264419 29474816 5175 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 5175 1111 63 0 7133 0
vsize: 28784
[startup+500.026 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 5332 0 0 0 49980 27 0 0 25 0 1 0 907264419 29765632 5252 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7267 5252 1111 63 0 7204 0
vsize: 29068
[startup+510.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 5409 0 0 0 50980 27 0 0 25 0 1 0 907264419 30060544 5329 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7339 5329 1111 63 0 7276 0
vsize: 29356
[startup+520.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 5474 0 0 0 51980 27 0 0 25 0 1 0 907264419 30347264 5394 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 5394 1111 63 0 7346 0
vsize: 29636
[startup+530.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 5546 0 0 0 52980 27 0 0 25 0 1 0 907264419 30642176 5466 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7481 5466 1111 63 0 7418 0
vsize: 29924
[startup+540.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 5623 0 0 0 53980 27 0 0 25 0 1 0 907264419 30932992 5543 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7552 5543 1111 63 0 7489 0
vsize: 30208
[startup+550.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 5688 0 0 0 54980 27 0 0 25 0 1 0 907264419 31223808 5608 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7623 5608 1111 63 0 7560 0
vsize: 30492
[startup+560.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 5768 0 0 0 55980 28 0 0 25 0 1 0 907264419 31510528 5688 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7693 5688 1111 63 0 7630 0
vsize: 30772
[startup+570.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 5839 0 0 0 56980 28 0 0 25 0 1 0 907264419 31809536 5759 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7766 5759 1111 63 0 7703 0
vsize: 31064
[startup+580.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 5910 0 0 0 57980 28 0 0 25 0 1 0 907264419 32100352 5830 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7837 5830 1111 63 0 7774 0
vsize: 31348
[startup+590.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 5981 0 0 0 58981 28 0 0 25 0 1 0 907264419 32387072 5901 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7907 5901 1111 63 0 7844 0
vsize: 31628
[startup+600.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 6053 0 0 0 59981 28 0 0 25 0 1 0 907264419 32686080 5973 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7980 5973 1111 63 0 7917 0
vsize: 31920
[startup+610.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 6130 0 0 0 60981 28 0 0 25 0 1 0 907264419 32976896 6050 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8051 6050 1111 63 0 7988 0
vsize: 32204
[startup+620.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 6195 0 0 0 61981 28 0 0 25 0 1 0 907264419 33263616 6115 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 6115 1111 63 0 8058 0
vsize: 32484
[startup+630.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 6274 0 0 0 62981 28 0 0 25 0 1 0 907264419 33558528 6194 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8193 6194 1111 63 0 8130 0
vsize: 32772
[startup+640.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 6362 0 0 0 63981 28 0 0 25 0 1 0 907264419 34041856 6282 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8311 6282 1111 63 0 8248 0
vsize: 33244
[startup+650.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 6426 0 0 0 64981 29 0 0 25 0 1 0 907264419 34328576 6346 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8381 6346 1111 63 0 8318 0
vsize: 33524
[startup+660.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 6503 0 0 0 65981 29 0 0 25 0 1 0 907264419 34615296 6423 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8451 6423 1111 63 0 8388 0
vsize: 33804
[startup+670.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 6576 0 0 0 66982 29 0 0 25 0 1 0 907264419 34910208 6496 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8523 6496 1111 63 0 8460 0
vsize: 34092
[startup+680.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 6647 0 0 0 67982 29 0 0 25 0 1 0 907264419 35205120 6567 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8595 6567 1111 63 0 8532 0
vsize: 34380
[startup+690.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 6718 0 0 0 68982 29 0 0 25 0 1 0 907264419 35491840 6638 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8665 6638 1111 63 0 8602 0
vsize: 34660
[startup+700.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 6791 0 0 0 69982 29 0 0 25 0 1 0 907264419 35786752 6711 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8737 6711 1111 63 0 8674 0
vsize: 34948
[startup+710.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 6868 0 0 0 70981 29 0 0 25 0 1 0 907264419 36077568 6788 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8808 6788 1111 63 0 8745 0
vsize: 35232
[startup+720.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 6934 0 0 0 71981 29 0 0 25 0 1 0 907264419 36368384 6854 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8879 6854 1111 63 0 8816 0
vsize: 35516
[startup+730.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 7011 0 0 0 72981 29 0 0 25 0 1 0 907264419 36655104 6931 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8949 6931 1111 63 0 8886 0
vsize: 35796
[startup+740.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 7090 0 0 0 73981 30 0 0 25 0 1 0 907264419 36954112 7010 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9022 7010 1111 63 0 8959 0
vsize: 36088
[startup+750.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 7156 0 0 0 74981 30 0 0 25 0 1 0 907264419 37244928 7076 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 7076 1111 63 0 9030 0
vsize: 36372
[startup+760.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 7233 0 0 0 75981 30 0 0 25 0 1 0 907264419 37531648 7153 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9163 7153 1111 63 0 9100 0
vsize: 36652
[startup+770.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 7305 0 0 0 76981 30 0 0 25 0 1 0 907264419 37830656 7225 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9236 7225 1111 63 0 9173 0
vsize: 36944
[startup+780.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 7376 0 0 0 77981 30 0 0 25 0 1 0 907264419 38121472 7296 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9307 7296 1111 63 0 9244 0
vsize: 37228
[startup+790.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 7447 0 0 0 78981 30 0 0 25 0 1 0 907264419 38408192 7367 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9377 7367 1111 63 0 9314 0
vsize: 37508
[startup+800.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 7521 0 0 0 79982 30 0 0 25 0 1 0 907264419 38703104 7441 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9449 7441 1111 63 0 9386 0
vsize: 37796
[startup+810.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 7598 0 0 0 80982 30 0 0 25 0 1 0 907264419 38993920 7518 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9520 7518 1111 63 0 9457 0
vsize: 38080
[startup+820.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 7663 0 0 0 81982 31 0 0 25 0 1 0 907264419 39284736 7583 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9591 7583 1111 63 0 9528 0
vsize: 38364
[startup+830.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 7741 0 0 0 82982 31 0 0 25 0 1 0 907264419 39579648 7661 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9663 7661 1111 63 0 9600 0
vsize: 38652
[startup+840.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 7820 0 0 0 83982 31 0 0 25 0 1 0 907264419 40013824 7740 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9769 7740 1111 63 0 9706 0
vsize: 39076
[startup+850.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 7885 0 0 0 84982 31 0 0 25 0 1 0 907264419 40161280 7805 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9805 7805 1111 63 0 9742 0
vsize: 39220
[startup+860.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 7962 0 0 0 85982 31 0 0 25 0 1 0 907264419 40595456 7882 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9911 7882 1111 63 0 9848 0
vsize: 39644
[startup+870.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 8034 0 0 0 86982 32 0 0 25 0 1 0 907264419 40890368 7954 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9983 7954 1111 63 0 9920 0
vsize: 39932
[startup+880.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 8112 0 0 0 87982 32 0 0 25 0 1 0 907264419 41185280 8032 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10055 8032 1111 63 0 9992 0
vsize: 40220
[startup+890.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 8177 0 0 0 88982 32 0 0 25 0 1 0 907264419 41472000 8097 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10125 8097 1111 63 0 10062 0
vsize: 40500
[startup+900.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 8255 0 0 0 89982 32 0 0 25 0 1 0 907264419 41758720 8175 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10195 8175 1111 63 0 10132 0
vsize: 40780
[startup+910.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 8334 0 0 0 90982 32 0 0 25 0 1 0 907264419 42061824 8254 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10269 8254 1111 63 0 10206 0
vsize: 41076
[startup+920.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 8399 0 0 0 91982 32 0 0 25 0 1 0 907264419 42348544 8319 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10339 8319 1111 63 0 10276 0
vsize: 41356
[startup+930.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 8476 0 0 0 92982 32 0 0 25 0 1 0 907264419 42635264 8396 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10409 8396 1111 63 0 10346 0
vsize: 41636
[startup+940.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 8549 0 0 0 93983 32 0 0 25 0 1 0 907264419 42934272 8469 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10482 8469 1111 63 0 10419 0
vsize: 41928
[startup+950.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 8626 0 0 0 94983 32 0 0 25 0 1 0 907264419 43225088 8546 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10553 8546 1111 63 0 10490 0
vsize: 42212
[startup+960.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 8692 0 0 0 95983 32 0 0 25 0 1 0 907264419 43511808 8612 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10623 8612 1111 63 0 10560 0
vsize: 42492
[startup+970.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 8769 0 0 0 96983 32 0 0 25 0 1 0 907264419 43806720 8689 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10695 8689 1111 63 0 10632 0
vsize: 42780
[startup+980.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 8848 0 0 0 97983 33 0 0 25 0 1 0 907264419 44101632 8768 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10767 8768 1111 63 0 10704 0
vsize: 43068
[startup+990.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 8914 0 0 0 98983 33 0 0 25 0 1 0 907264419 44388352 8834 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10837 8834 1111 63 0 10774 0
vsize: 43348
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 8991 0 0 0 99983 33 0 0 25 0 1 0 907264419 44683264 8911 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10909 8911 1111 63 0 10846 0
vsize: 43636
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 9064 0 0 0 100983 33 0 0 25 0 1 0 907264419 44969984 8984 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10979 8984 1111 63 0 10916 0
vsize: 43916
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 9141 0 0 0 101983 33 0 0 25 0 1 0 907264419 45412352 9061 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11087 9061 1111 63 0 11024 0
vsize: 44348
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 9207 0 0 0 102983 33 0 0 25 0 1 0 907264419 45559808 9127 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11123 9127 1111 63 0 11060 0
vsize: 44492
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 9284 0 0 0 103983 33 0 0 25 0 1 0 907264419 45993984 9204 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11229 9204 1111 63 0 11166 0
vsize: 44916
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 9363 0 0 0 104983 34 0 0 25 0 1 0 907264419 46288896 9283 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11301 9283 1111 63 0 11238 0
vsize: 45204
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 9434 0 0 0 105983 34 0 0 25 0 1 0 907264419 46579712 9354 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11372 9354 1111 63 0 11309 0
vsize: 45488
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 9506 0 0 0 106984 34 0 0 25 0 1 0 907264419 46870528 9426 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11443 9426 1111 63 0 11380 0
vsize: 45772
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 9579 0 0 0 107983 34 0 0 25 0 1 0 907264419 47161344 9499 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11514 9499 1111 63 0 11451 0
vsize: 46056
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 9656 0 0 0 108984 34 0 0 25 0 1 0 907264419 47456256 9576 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11586 9576 1111 63 0 11523 0
vsize: 46344
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 9727 0 0 0 109984 34 0 0 25 0 1 0 907264419 47747072 9647 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11657 9647 1111 63 0 11594 0
vsize: 46628
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 9801 0 0 0 110984 34 0 0 25 0 1 0 907264419 48033792 9721 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11727 9721 1111 63 0 11664 0
vsize: 46908
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 9878 0 0 0 111984 35 0 0 25 0 1 0 907264419 48332800 9798 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11800 9798 1111 63 0 11737 0
vsize: 47200
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 9949 0 0 0 112984 35 0 0 25 0 1 0 907264419 48623616 9869 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11871 9869 1111 63 0 11808 0
vsize: 47484
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 10020 0 0 0 113984 35 0 0 25 0 1 0 907264419 48910336 9940 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11941 9940 1111 63 0 11878 0
vsize: 47764
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 10094 0 0 0 114984 35 0 0 25 0 1 0 907264419 49209344 10014 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12014 10014 1111 63 0 11951 0
vsize: 48056
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 10171 0 0 0 115984 36 0 0 25 0 1 0 907264419 49500160 10091 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12085 10091 1111 63 0 12022 0
vsize: 48340
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 10243 0 0 0 116984 36 0 0 25 0 1 0 907264419 49786880 10163 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12155 10163 1111 63 0 12092 0
vsize: 48620
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 10321 0 0 0 117984 36 0 0 25 0 1 0 907264419 50229248 10241 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12263 10241 1111 63 0 12200 0
vsize: 49052
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 10392 0 0 0 118984 36 0 0 25 0 1 0 907264419 50515968 10312 4294967295 134512640 134716908 3221224560 3221222788 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12333 10312 1111 63 0 12270 0
vsize: 49332
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) R 19490 31399 31398 0 -1 0 10470 0 0 0 119984 36 0 0 25 0 1 0 907264419 50810880 10390 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12405 10390 1111 63 0 12342 0
vsize: 49620
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 19493
Raw data (stat): 19491 (bsolo_lpr_cuts-) Z 19490 31399 31398 0 -1 1036 10470 0 0 0 119984 38 0 0 24 0 1 0 907264419 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.11
CPU time (s): 1200.23
CPU user time (s): 1199.84
CPU system time (s): 0.384941
CPU usage (%): 100.01
Max. virtual memory (Kb): 49620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####