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-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370e.opb
MD5SUM	5298b427bf0fc38e6e22a1bd59273927
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39220173760
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39220173760
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.967852
Number of variables	105000
Total number of constraints	5150
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	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 41627

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 17:57:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29692 boxname=wulflinc4 idbench=1476 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  5298b427bf0fc38e6e22a1bd59273927  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n370e.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n370e.opb
IDLAUNCH: 29692
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        868060 kB
Buffers:          9956 kB
Cached:         136076 kB
SwapCached:        916 kB
Active:          32300 kB
Inactive:       115736 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        867780 kB
SwapTotal:     2097136 kB
SwapFree:      2095168 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            12948 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 18:18:01 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 29692 7 1200.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.94 0.90 2/54 19038
Raw data (stat): 19038 (runsolver) R 19037 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912244445 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 19038
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 1160 0 0 0 994 3 0 0 25 0 1 0 912244445 16052224 1080 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1080 1111 63 0 3856 0
vsize: 15676
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 19038
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 1400 0 0 0 1994 4 0 0 25 0 1 0 912244445 17039360 1320 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4160 1320 1111 63 0 4097 0
vsize: 16640
[startup+30.0012 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 19038
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 1650 0 0 0 2993 5 0 0 25 0 1 0 912244445 18178048 1570 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4438 1570 1111 63 0 4375 0
vsize: 17752
[startup+40.0011 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 19038
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 1892 0 0 0 3993 5 0 0 25 0 1 0 912244445 19165184 1812 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 1812 1111 63 0 4616 0
vsize: 18716
[startup+50.002 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 19038
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 2139 0 0 0 4993 5 0 0 25 0 1 0 912244445 20152320 2059 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4920 2059 1111 63 0 4857 0
vsize: 19680
[startup+60.0022 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 19038
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 2392 0 0 0 5992 6 0 0 25 0 1 0 912244445 21135360 2312 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5160 2312 1111 63 0 5097 0
vsize: 20640
[startup+70.0027 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19038
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 2640 0 0 0 6992 6 0 0 25 0 1 0 912244445 22114304 2560 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5399 2560 1111 63 0 5336 0
vsize: 21596
[startup+80.0039 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19038
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 2887 0 0 0 7992 6 0 0 25 0 1 0 912244445 23240704 2807 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 2807 1111 63 0 5611 0
vsize: 22696
[startup+90.0036 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19038
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 3134 0 0 0 8992 7 0 0 25 0 1 0 912244445 24227840 3054 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5915 3054 1111 63 0 5852 0
vsize: 23660
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19038
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 3382 0 0 0 9991 8 0 0 25 0 1 0 912244445 25214976 3302 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6156 3302 1111 63 0 6093 0
vsize: 24624
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19038
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 3630 0 0 0 10991 8 0 0 25 0 1 0 912244445 26202112 3550 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6397 3550 1111 63 0 6334 0
vsize: 25588
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19038
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 3886 0 0 0 11991 8 0 0 25 0 1 0 912244445 27348992 3806 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6677 3806 1111 63 0 6614 0
vsize: 26708
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19091
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 4140 0 0 0 12989 11 0 0 25 0 1 0 912244445 28336128 4060 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6918 4060 1111 63 0 6855 0
vsize: 27672
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19091
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 4395 0 0 0 13989 11 0 0 25 0 1 0 912244445 29315072 4315 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7157 4315 1111 63 0 7094 0
vsize: 28628
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19091
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 4649 0 0 0 14989 12 0 0 25 0 1 0 912244445 30441472 4569 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7432 4569 1111 63 0 7369 0
vsize: 29728
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19091
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 4904 0 0 0 15988 12 0 0 25 0 1 0 912244445 31428608 4824 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7673 4824 1111 63 0 7610 0
vsize: 30692
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19091
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 5153 0 0 0 16988 13 0 0 25 0 1 0 912244445 32415744 5073 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7914 5073 1111 63 0 7851 0
vsize: 31656
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19091
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 5415 0 0 0 17987 13 0 0 25 0 1 0 912244445 33542144 5335 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8189 5335 1111 63 0 8126 0
vsize: 32756
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19091
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 5664 0 0 0 18987 14 0 0 25 0 1 0 912244445 34529280 5584 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8430 5584 1111 63 0 8367 0
vsize: 33720
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 5924 0 0 0 19986 14 0 0 25 0 1 0 912244445 35655680 5844 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8705 5844 1111 63 0 8642 0
vsize: 34820
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 6179 0 0 0 20986 15 0 0 25 0 1 0 912244445 36642816 6099 4294967295 134512640 134716908 3221224560 3221222832 134525639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8946 6099 1111 63 0 8883 0
vsize: 35784
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 6432 0 0 0 21986 15 0 0 25 0 1 0 912244445 37765120 6352 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9220 6352 1111 63 0 9157 0
vsize: 36880
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 6705 0 0 0 22986 16 0 0 25 0 1 0 912244445 38903808 6625 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9498 6625 1111 63 0 9435 0
vsize: 37992
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 6959 0 0 0 23986 16 0 0 25 0 1 0 912244445 39886848 6879 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9738 6879 1111 63 0 9675 0
vsize: 38952
[startup+250.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 7216 0 0 0 24985 16 0 0 25 0 1 0 912244445 41017344 7136 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10014 7136 1111 63 0 9951 0
vsize: 40056
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 7478 0 0 0 25985 17 0 0 25 0 1 0 912244445 42004480 7398 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10255 7398 1111 63 0 10192 0
vsize: 41020
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 7739 0 0 0 26985 17 0 0 25 0 1 0 912244445 43130880 7659 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10530 7659 1111 63 0 10467 0
vsize: 42120
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 8002 0 0 0 27985 17 0 0 25 0 1 0 912244445 44113920 7922 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10770 7922 1111 63 0 10707 0
vsize: 43080
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 8257 0 0 0 28985 18 0 0 25 0 1 0 912244445 45244416 8177 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11046 8177 1111 63 0 10983 0
vsize: 44184
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 8519 0 0 0 29985 18 0 0 25 0 1 0 912244445 46223360 8439 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11285 8439 1111 63 0 11222 0
vsize: 45140
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 8780 0 0 0 30984 18 0 0 25 0 1 0 912244445 47349760 8700 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11560 8700 1111 63 0 11497 0
vsize: 46240
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 9042 0 0 0 31984 19 0 0 25 0 1 0 912244445 48476160 8962 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 8962 1111 63 0 11772 0
vsize: 47340
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 9304 0 0 0 32984 19 0 0 25 0 1 0 912244445 49463296 9224 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12076 9224 1111 63 0 12013 0
vsize: 48304
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 9573 0 0 0 33984 20 0 0 25 0 1 0 912244445 50589696 9493 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12351 9493 1111 63 0 12288 0
vsize: 49404
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 9834 0 0 0 34984 20 0 0 25 0 1 0 912244445 51716096 9754 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12626 9754 1111 63 0 12563 0
vsize: 50504
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 10098 0 0 0 35984 20 0 0 25 0 1 0 912244445 52703232 10018 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12867 10018 1111 63 0 12804 0
vsize: 51468
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 10360 0 0 0 36983 21 0 0 25 0 1 0 912244445 53829632 10280 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13142 10280 1111 63 0 13079 0
vsize: 52568
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 10629 0 0 0 37983 21 0 0 25 0 1 0 912244445 54960128 10549 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13418 10549 1111 63 0 13355 0
vsize: 53672
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 10898 0 0 0 38982 22 0 0 25 0 1 0 912244445 55939072 10818 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13657 10818 1111 63 0 13594 0
vsize: 54628
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 11158 0 0 0 39982 23 0 0 25 0 1 0 912244445 57065472 11078 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13932 11078 1111 63 0 13869 0
vsize: 55728
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 11426 0 0 0 40981 24 0 0 25 0 1 0 912244445 58191872 11346 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14207 11346 1111 63 0 14144 0
vsize: 56828
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 11694 0 0 0 41981 24 0 0 25 0 1 0 912244445 59318272 11614 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14482 11614 1111 63 0 14419 0
vsize: 57928
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 11990 0 0 0 42980 25 0 0 25 0 1 0 912244445 60522496 11910 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14776 11910 1111 63 0 14713 0
vsize: 59104
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19093
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 12249 0 0 0 43980 25 0 0 25 0 1 0 912244445 61652992 12169 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15052 12169 1111 63 0 14989 0
vsize: 60208
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 12518 0 0 0 44980 26 0 0 25 0 1 0 912244445 62779392 12438 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15327 12438 1111 63 0 15264 0
vsize: 61308
[startup+460.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 12788 0 0 0 45981 26 0 0 25 0 1 0 912244445 63905792 12708 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15602 12708 1111 63 0 15539 0
vsize: 62408
[startup+470.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 13063 0 0 0 46981 27 0 0 25 0 1 0 912244445 65032192 12983 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15877 12983 1111 63 0 15814 0
vsize: 63508
[startup+480.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 13332 0 0 0 47980 28 0 0 25 0 1 0 912244445 66019328 13252 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16118 13252 1111 63 0 16055 0
vsize: 64472
[startup+490.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 13602 0 0 0 48979 29 0 0 25 0 1 0 912244445 67145728 13522 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16393 13522 1111 63 0 16330 0
vsize: 65572
[startup+500.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 13877 0 0 0 49979 29 0 0 25 0 1 0 912244445 68272128 13797 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16668 13797 1111 63 0 16605 0
vsize: 66672
[startup+510.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 14153 0 0 0 50979 29 0 0 25 0 1 0 912244445 69398528 14073 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16943 14073 1111 63 0 16880 0
vsize: 67772
[startup+520.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 14428 0 0 0 51979 29 0 0 25 0 1 0 912244445 70520832 14348 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17217 14348 1111 63 0 17154 0
vsize: 68868
[startup+530.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 14696 0 0 0 52979 30 0 0 25 0 1 0 912244445 71647232 14616 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17492 14616 1111 63 0 17429 0
vsize: 69968
[startup+540.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 14972 0 0 0 53979 30 0 0 25 0 1 0 912244445 72773632 14892 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17767 14892 1111 63 0 17704 0
vsize: 71068
[startup+550.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 15248 0 0 0 54978 31 0 0 25 0 1 0 912244445 73900032 15168 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18042 15168 1111 63 0 17979 0
vsize: 72168
[startup+560.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 15525 0 0 0 55979 31 0 0 25 0 1 0 912244445 75026432 15445 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18317 15445 1111 63 0 18254 0
vsize: 73268
[startup+570.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 15806 0 0 0 56979 32 0 0 25 0 1 0 912244445 76152832 15726 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18592 15726 1111 63 0 18529 0
vsize: 74368
[startup+580.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 16082 0 0 0 57978 32 0 0 25 0 1 0 912244445 77283328 16002 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18868 16002 1111 63 0 18805 0
vsize: 75472
[startup+590.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 16359 0 0 0 58978 33 0 0 25 0 1 0 912244445 78409728 16279 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19143 16279 1111 63 0 19080 0
vsize: 76572
[startup+600.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 16635 0 0 0 59978 33 0 0 25 0 1 0 912244445 79536128 16555 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19418 16555 1111 63 0 19355 0
vsize: 77672
[startup+610.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 16917 0 0 0 60978 33 0 0 25 0 1 0 912244445 80662528 16837 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19693 16837 1111 63 0 19630 0
vsize: 78772
[startup+620.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 17199 0 0 0 61977 34 0 0 25 0 1 0 912244445 81928192 17119 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 17119 1111 63 0 19939 0
vsize: 80008
[startup+630.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 17476 0 0 0 62977 34 0 0 25 0 1 0 912244445 83054592 17396 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20277 17396 1111 63 0 20214 0
vsize: 81108
[startup+640.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 17759 0 0 0 63977 35 0 0 25 0 1 0 912244445 84180992 17679 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20552 17679 1111 63 0 20489 0
vsize: 82208
[startup+650.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 18041 0 0 0 64976 36 0 0 25 0 1 0 912244445 85307392 17961 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20827 17961 1111 63 0 20764 0
vsize: 83308
[startup+660.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 18324 0 0 0 65976 36 0 0 25 0 1 0 912244445 86433792 18244 4294967295 134512640 134716908 3221224560 3221223216 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21102 18244 1111 63 0 21039 0
vsize: 84408
[startup+670.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 18606 0 0 0 66976 37 0 0 25 0 1 0 912244445 87560192 18526 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21377 18526 1111 63 0 21314 0
vsize: 85508
[startup+680.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 18890 0 0 0 67975 38 0 0 25 0 1 0 912244445 88829952 18810 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21687 18810 1111 63 0 21624 0
vsize: 86748
[startup+690.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 19173 0 0 0 68974 39 0 0 25 0 1 0 912244445 89956352 19093 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21962 19093 1111 63 0 21899 0
vsize: 87848
[startup+700.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 19462 0 0 0 69974 39 0 0 25 0 1 0 912244445 91082752 19382 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22237 19382 1111 63 0 22174 0
vsize: 88948
[startup+710.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 19745 0 0 0 70973 40 0 0 25 0 1 0 912244445 92209152 19665 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22512 19665 1111 63 0 22449 0
vsize: 90048
[startup+720.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 20033 0 0 0 71973 40 0 0 25 0 1 0 912244445 93474816 19953 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22821 19953 1111 63 0 22758 0
vsize: 91284
[startup+730.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 20318 0 0 0 72973 41 0 0 25 0 1 0 912244445 94601216 20238 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23096 20238 1111 63 0 23033 0
vsize: 92384
[startup+740.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 20607 0 0 0 73972 41 0 0 25 0 1 0 912244445 95723520 20527 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23370 20527 1111 63 0 23307 0
vsize: 93480
[startup+750.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 20896 0 0 0 74972 42 0 0 25 0 1 0 912244445 96997376 20816 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23681 20816 1111 63 0 23618 0
vsize: 94724
[startup+760.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 21186 0 0 0 75972 42 0 0 25 0 1 0 912244445 98119680 21106 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23955 21106 1111 63 0 23892 0
vsize: 95820
[startup+770.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 21475 0 0 0 76971 43 0 0 25 0 1 0 912244445 99385344 21395 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24264 21395 1111 63 0 24201 0
vsize: 97056
[startup+780.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 21764 0 0 0 77972 43 0 0 25 0 1 0 912244445 100511744 21684 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24539 21684 1111 63 0 24476 0
vsize: 98156
[startup+790.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 22053 0 0 0 78971 44 0 0 25 0 1 0 912244445 101638144 21973 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24814 21973 1111 63 0 24751 0
vsize: 99256
[startup+800.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 22349 0 0 0 79971 44 0 0 25 0 1 0 912244445 102903808 22269 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25123 22269 1111 63 0 25060 0
vsize: 100492
[startup+810.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 22645 0 0 0 80971 45 0 0 25 0 1 0 912244445 104169472 22565 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25432 22565 1111 63 0 25369 0
vsize: 101728
[startup+820.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 22934 0 0 0 81970 45 0 0 25 0 1 0 912244445 105295872 22854 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25707 22854 1111 63 0 25644 0
vsize: 102828
[startup+830.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 23257 0 0 0 82970 46 0 0 25 0 1 0 912244445 106926080 23177 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26105 23177 1111 63 0 26042 0
vsize: 104420
[startup+840.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 23558 0 0 0 83970 46 0 0 25 0 1 0 912244445 108052480 23478 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26380 23478 1111 63 0 26317 0
vsize: 105520
[startup+850.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 23850 0 0 0 84969 47 0 0 25 0 1 0 912244445 109318144 23770 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26689 23770 1111 63 0 26626 0
vsize: 106756
[startup+860.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 24145 0 0 0 85969 47 0 0 25 0 1 0 912244445 110444544 24065 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26964 24065 1111 63 0 26901 0
vsize: 107856
[startup+870.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 24443 0 0 0 86968 48 0 0 25 0 1 0 912244445 111710208 24363 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27273 24363 1111 63 0 27210 0
vsize: 109092
[startup+880.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 24746 0 0 0 87968 48 0 0 25 0 1 0 912244445 112979968 24666 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27583 24666 1111 63 0 27520 0
vsize: 110332
[startup+890.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 25037 0 0 0 88968 49 0 0 25 0 1 0 912244445 114106368 24957 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27858 24957 1111 63 0 27795 0
vsize: 111432
[startup+900.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 25340 0 0 0 89967 50 0 0 25 0 1 0 912244445 115372032 25260 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28167 25260 1111 63 0 28104 0
vsize: 112668
[startup+910.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 25642 0 0 0 90966 51 0 0 25 0 1 0 912244445 116645888 25562 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28478 25562 1111 63 0 28415 0
vsize: 113912
[startup+920.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 25940 0 0 0 91966 51 0 0 25 0 1 0 912244445 117768192 25860 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28752 25860 1111 63 0 28689 0
vsize: 115008
[startup+930.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 26242 0 0 0 92966 52 0 0 25 0 1 0 912244445 119037952 26162 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29062 26162 1111 63 0 28999 0
vsize: 116248
[startup+940.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 26547 0 0 0 93966 52 0 0 25 0 1 0 912244445 120307712 26467 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29372 26467 1111 63 0 29309 0
vsize: 117488
[startup+950.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 26849 0 0 0 94965 53 0 0 25 0 1 0 912244445 121573376 26769 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29681 26769 1111 63 0 29618 0
vsize: 118724
[startup+960.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 27153 0 0 0 95965 53 0 0 25 0 1 0 912244445 122839040 27073 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29990 27073 1111 63 0 29927 0
vsize: 119960
[startup+970.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 27456 0 0 0 96965 54 0 0 25 0 1 0 912244445 123969536 27376 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30266 27376 1111 63 0 30203 0
vsize: 121064
[startup+980.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 27759 0 0 0 97965 54 0 0 25 0 1 0 912244445 125235200 27679 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30575 27679 1111 63 0 30512 0
vsize: 122300
[startup+990.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 28070 0 0 0 98964 55 0 0 25 0 1 0 912244445 126500864 27990 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30884 27990 1111 63 0 30821 0
vsize: 123536
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 28372 0 0 0 99964 55 0 0 25 0 1 0 912244445 127766528 28292 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31193 28292 1111 63 0 31130 0
vsize: 124772
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 28677 0 0 0 100963 56 0 0 25 0 1 0 912244445 129036288 28597 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31503 28597 1111 63 0 31440 0
vsize: 126012
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 28993 0 0 0 101963 56 0 0 25 0 1 0 912244445 130301952 28913 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31812 28913 1111 63 0 31749 0
vsize: 127248
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 29298 0 0 0 102963 56 0 0 25 0 1 0 912244445 131567616 29218 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32121 29218 1111 63 0 32058 0
vsize: 128484
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 29607 0 0 0 103963 57 0 0 25 0 1 0 912244445 132833280 29527 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32430 29527 1111 63 0 32367 0
vsize: 129720
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 29916 0 0 0 104963 57 0 0 25 0 1 0 912244445 134103040 29836 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32740 29836 1111 63 0 32677 0
vsize: 130960
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 30226 0 0 0 105963 57 0 0 25 0 1 0 912244445 135368704 30146 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33049 30146 1111 63 0 32986 0
vsize: 132196
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 30535 0 0 0 106963 58 0 0 25 0 1 0 912244445 136638464 30455 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33359 30455 1111 63 0 33296 0
vsize: 133436
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 30847 0 0 0 107962 59 0 0 25 0 1 0 912244445 137904128 30767 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33668 30767 1111 63 0 33605 0
vsize: 134672
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 31156 0 0 0 108962 59 0 0 25 0 1 0 912244445 139169792 31076 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33977 31076 1111 63 0 33914 0
vsize: 135908
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 31474 0 0 0 109962 59 0 0 25 0 1 0 912244445 140435456 31394 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34286 31394 1111 63 0 34223 0
vsize: 137144
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 31790 0 0 0 110962 60 0 0 25 0 1 0 912244445 141705216 31710 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34596 31710 1111 63 0 34533 0
vsize: 138384
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 32103 0 0 0 111961 61 0 0 25 0 1 0 912244445 142970880 32023 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34905 32023 1111 63 0 34842 0
vsize: 139620
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 32420 0 0 0 112961 61 0 0 25 0 1 0 912244445 144244736 32340 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35216 32340 1111 63 0 35153 0
vsize: 140864
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 32737 0 0 0 113960 62 0 0 25 0 1 0 912244445 145649664 32657 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35559 32657 1111 63 0 35496 0
vsize: 142236
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 33054 0 0 0 114960 62 0 0 25 0 1 0 912244445 146915328 32974 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35868 32974 1111 63 0 35805 0
vsize: 143472
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 33370 0 0 0 115959 63 0 0 25 0 1 0 912244445 148185088 33290 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36178 33290 1111 63 0 36115 0
vsize: 144712
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 33694 0 0 0 116959 64 0 0 25 0 1 0 912244445 149450752 33614 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36487 33614 1111 63 0 36424 0
vsize: 145948
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 34011 0 0 0 117958 65 0 0 25 0 1 0 912244445 150855680 33931 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36830 33931 1111 63 0 36767 0
vsize: 147320
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 34329 0 0 0 118958 65 0 0 25 0 1 0 912244445 152125440 34249 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37140 34249 1111 63 0 37077 0
vsize: 148560
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) R 19037 21152 21151 0 -1 0 34652 0 0 0 119958 65 0 0 25 0 1 0 912244445 153391104 34572 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37449 34572 1111 63 0 37386 0
vsize: 149796
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19095
Raw data (stat): 19038 (bsolo_lpr_cuts-) Z 19037 21152 21151 0 -1 1036 34652 0 0 0 119958 72 0 0 25 0 1 0 912244445 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.14
CPU time (s): 1200.31
CPU user time (s): 1199.59
CPU system time (s): 0.723889
CPU usage (%): 100.014
Max. virtual memory (Kb): 149796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####