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-n370a.opb
MD5SUM	1f27e2752aef6110d896dff85e9c13b8
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	39171467771
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	39171467771
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	1.01184
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 41623

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        889288 kB
Buffers:          9764 kB
Cached:         114188 kB
SwapCached:        896 kB
Active:          36068 kB
Inactive:        89868 kB
HighTotal:      131008 kB
HighFree:        48804 kB
LowTotal:       903652 kB
LowFree:        840484 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4972 kB
Slab:            13544 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 18:07:14 (client local time) WITH STATUS 0 IN 1200.46 SECONDS
stats: 29688 7 1200.46 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.96 0.90 2/54 15148
Raw data (stat): 15148 (runsolver) R 15147 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912188491 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.0002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 1160 0 0 0 993 4 0 0 25 0 1 0 912188491 16052224 1080 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3919 1080 1111 63 0 3856 0
vsize: 15676
[startup+20.0002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 1400 0 0 0 1993 4 0 0 25 0 1 0 912188491 17039360 1320 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4160 1320 1111 63 0 4097 0
vsize: 16640
[startup+30.0003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 1650 0 0 0 2993 5 0 0 25 0 1 0 912188491 18178048 1570 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 1570 1111 63 0 4375 0
vsize: 17752
[startup+40.0005 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 1892 0 0 0 3992 6 0 0 25 0 1 0 912188491 19165184 1812 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1812 1111 63 0 4616 0
vsize: 18716
[startup+50.0006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 2139 0 0 0 4992 6 0 0 25 0 1 0 912188491 20152320 2059 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2059 1111 63 0 4857 0
vsize: 19680
[startup+60.0007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 2392 0 0 0 5992 6 0 0 25 0 1 0 912188491 21135360 2312 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5160 2312 1111 63 0 5097 0
vsize: 20640
[startup+70.0009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 2639 0 0 0 6992 7 0 0 25 0 1 0 912188491 22114304 2559 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 2559 1111 63 0 5336 0
vsize: 21596
[startup+80.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 2886 0 0 0 7992 8 0 0 25 0 1 0 912188491 23240704 2806 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2806 1111 63 0 5611 0
vsize: 22696
[startup+90.0012 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 3134 0 0 0 8991 8 0 0 25 0 1 0 912188491 24227840 3054 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 3054 1111 63 0 5852 0
vsize: 23660
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 3382 0 0 0 9991 9 0 0 25 0 1 0 912188491 25214976 3302 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6156 3302 1111 63 0 6093 0
vsize: 24624
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 3630 0 0 0 10991 9 0 0 25 0 1 0 912188491 26202112 3550 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 3550 1111 63 0 6334 0
vsize: 25588
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 3885 0 0 0 11990 10 0 0 25 0 1 0 912188491 27348992 3805 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6677 3805 1111 63 0 6614 0
vsize: 26708
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 4133 0 0 0 12990 11 0 0 25 0 1 0 912188491 28336128 4053 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6918 4053 1111 63 0 6855 0
vsize: 27672
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 4387 0 0 0 13990 11 0 0 25 0 1 0 912188491 29315072 4307 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7157 4307 1111 63 0 7094 0
vsize: 28628
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 4636 0 0 0 14990 12 0 0 25 0 1 0 912188491 30302208 4556 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7398 4556 1111 63 0 7335 0
vsize: 29592
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 4890 0 0 0 15989 13 0 0 25 0 1 0 912188491 31428608 4810 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7673 4810 1111 63 0 7610 0
vsize: 30692
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 5139 0 0 0 16989 13 0 0 25 0 1 0 912188491 32415744 5059 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7914 5059 1111 63 0 7851 0
vsize: 31656
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 5388 0 0 0 17989 14 0 0 25 0 1 0 912188491 33402880 5308 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8155 5308 1111 63 0 8092 0
vsize: 32620
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 5643 0 0 0 18989 14 0 0 25 0 1 0 912188491 34529280 5563 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8430 5563 1111 63 0 8367 0
vsize: 33720
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 5897 0 0 0 19989 14 0 0 25 0 1 0 912188491 35516416 5817 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8671 5817 1111 63 0 8608 0
vsize: 34684
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 6144 0 0 0 20989 15 0 0 25 0 1 0 912188491 36495360 6064 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8910 6064 1111 63 0 8847 0
vsize: 35640
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 6404 0 0 0 21989 15 0 0 25 0 1 0 912188491 37625856 6324 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9186 6324 1111 63 0 9123 0
vsize: 36744
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 6664 0 0 0 22988 16 0 0 25 0 1 0 912188491 38760448 6584 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9463 6584 1111 63 0 9400 0
vsize: 37852
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 6919 0 0 0 23988 17 0 0 25 0 1 0 912188491 39747584 6839 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9704 6839 1111 63 0 9641 0
vsize: 38816
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 7174 0 0 0 24988 17 0 0 25 0 1 0 912188491 40734720 7094 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9945 7094 1111 63 0 9882 0
vsize: 39780
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 7436 0 0 0 25988 17 0 0 25 0 1 0 912188491 41861120 7356 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10220 7356 1111 63 0 10157 0
vsize: 40880
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 7685 0 0 0 26987 19 0 0 25 0 1 0 912188491 42848256 7605 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10461 7605 1111 63 0 10398 0
vsize: 41844
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 7947 0 0 0 27987 19 0 0 25 0 1 0 912188491 43974656 7867 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10736 7867 1111 63 0 10673 0
vsize: 42944
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 8201 0 0 0 28987 19 0 0 25 0 1 0 912188491 44957696 8121 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10976 8121 1111 63 0 10913 0
vsize: 43904
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 8456 0 0 0 29987 20 0 0 25 0 1 0 912188491 46084096 8376 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11251 8376 1111 63 0 11188 0
vsize: 45004
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 8719 0 0 0 30987 20 0 0 25 0 1 0 912188491 47071232 8639 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11492 8639 1111 63 0 11429 0
vsize: 45968
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 8980 0 0 0 31987 21 0 0 25 0 1 0 912188491 48197632 8900 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11767 8900 1111 63 0 11704 0
vsize: 47068
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 9236 0 0 0 32987 21 0 0 25 0 1 0 912188491 49184768 9156 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12008 9156 1111 63 0 11945 0
vsize: 48032
[startup+340.006 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 9492 0 0 0 33987 22 0 0 25 0 1 0 912188491 50311168 9412 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12283 9412 1111 63 0 12220 0
vsize: 49132
[startup+350.006 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 9753 0 0 0 34986 23 0 0 25 0 1 0 912188491 51298304 9673 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12524 9673 1111 63 0 12461 0
vsize: 50096
[startup+360.006 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 10015 0 0 0 35986 23 0 0 25 0 1 0 912188491 52424704 9935 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12799 9935 1111 63 0 12736 0
vsize: 51196
[startup+370.007 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 10276 0 0 0 36986 24 0 0 25 0 1 0 912188491 53403648 10196 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13038 10196 1111 63 0 12975 0
vsize: 52152
[startup+380.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 10537 0 0 0 37986 24 0 0 25 0 1 0 912188491 54530048 10457 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13313 10457 1111 63 0 13250 0
vsize: 53252
[startup+390.007 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 10801 0 0 0 38985 25 0 0 25 0 1 0 912188491 55656448 10721 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13588 10721 1111 63 0 13525 0
vsize: 54352
[startup+400.007 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 11062 0 0 0 39985 26 0 0 25 0 1 0 912188491 56643584 10982 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13829 10982 1111 63 0 13766 0
vsize: 55316
[startup+410.007 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 11324 0 0 0 40985 26 0 0 25 0 1 0 912188491 57774080 11244 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14105 11244 1111 63 0 14042 0
vsize: 56420
[startup+420.007 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 11586 0 0 0 41984 27 0 0 25 0 1 0 912188491 58757120 11506 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14345 11506 1111 63 0 14282 0
vsize: 57380
[startup+430.008 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 11853 0 0 0 42984 27 0 0 25 0 1 0 912188491 59883520 11773 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14620 11773 1111 63 0 14557 0
vsize: 58480
[startup+440.007 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 12133 0 0 0 43984 28 0 0 25 0 1 0 912188491 61231104 12053 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14949 12053 1111 63 0 14886 0
vsize: 59796
[startup+450.007 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 12402 0 0 0 44984 29 0 0 25 0 1 0 912188491 62218240 12322 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15190 12322 1111 63 0 15127 0
vsize: 60760
[startup+460.008 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 12664 0 0 0 45984 29 0 0 25 0 1 0 912188491 63340544 12584 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15464 12584 1111 63 0 15401 0
vsize: 61856
[startup+470.008 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 12931 0 0 0 46983 29 0 0 25 0 1 0 912188491 64466944 12851 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15739 12851 1111 63 0 15676 0
vsize: 62956
[startup+480.008 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 13200 0 0 0 47984 30 0 0 25 0 1 0 912188491 65593344 13120 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16014 13120 1111 63 0 15951 0
vsize: 64056
[startup+490.008 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 13463 0 0 0 48983 30 0 0 25 0 1 0 912188491 66580480 13383 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16255 13383 1111 63 0 16192 0
vsize: 65020
[startup+500.009 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 13738 0 0 0 49983 31 0 0 25 0 1 0 912188491 67706880 13658 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16530 13658 1111 63 0 16467 0
vsize: 66120
[startup+510.009 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 14000 0 0 0 50983 31 0 0 25 0 1 0 912188491 68833280 13920 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16805 13920 1111 63 0 16742 0
vsize: 67220
[startup+520.01 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 14270 0 0 0 51983 32 0 0 25 0 1 0 912188491 69959680 14190 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17080 14190 1111 63 0 17017 0
vsize: 68320
[startup+530.01 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 14539 0 0 0 52982 33 0 0 25 0 1 0 912188491 70946816 14459 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17321 14459 1111 63 0 17258 0
vsize: 69284
[startup+540.01 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 14815 0 0 0 53982 33 0 0 25 0 1 0 912188491 72073216 14735 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17596 14735 1111 63 0 17533 0
vsize: 70384
[startup+550.01 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 15083 0 0 0 54982 33 0 0 25 0 1 0 912188491 73199616 15003 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17871 15003 1111 63 0 17808 0
vsize: 71484
[startup+560.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 15353 0 0 0 55982 34 0 0 25 0 1 0 912188491 74326016 15273 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18146 15273 1111 63 0 18083 0
vsize: 72584
[startup+570.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 15628 0 0 0 56982 34 0 0 25 0 1 0 912188491 75452416 15548 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18421 15548 1111 63 0 18358 0
vsize: 73684
[startup+580.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 15898 0 0 0 57982 34 0 0 25 0 1 0 912188491 76578816 15818 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18696 15818 1111 63 0 18633 0
vsize: 74784
[startup+590.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 16172 0 0 0 58982 35 0 0 25 0 1 0 912188491 77701120 16092 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18970 16092 1111 63 0 18907 0
vsize: 75880
[startup+600.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 16441 0 0 0 59982 35 0 0 25 0 1 0 912188491 78827520 16361 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19245 16361 1111 63 0 19182 0
vsize: 76980
[startup+610.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 16717 0 0 0 60982 36 0 0 25 0 1 0 912188491 79953920 16637 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19520 16637 1111 63 0 19457 0
vsize: 78080
[startup+620.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 16993 0 0 0 61981 37 0 0 25 0 1 0 912188491 81080320 16913 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19795 16913 1111 63 0 19732 0
vsize: 79180
[startup+630.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 17269 0 0 0 62981 38 0 0 25 0 1 0 912188491 82206720 17189 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20070 17189 1111 63 0 20007 0
vsize: 80280
[startup+640.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 17545 0 0 0 63980 39 0 0 25 0 1 0 912188491 83333120 17465 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20345 17465 1111 63 0 20282 0
vsize: 81380
[startup+650.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 17820 0 0 0 64980 40 0 0 25 0 1 0 912188491 84459520 17740 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20620 17740 1111 63 0 20557 0
vsize: 82480
[startup+660.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 18097 0 0 0 65979 40 0 0 25 0 1 0 912188491 85590016 18017 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20896 18017 1111 63 0 20833 0
vsize: 83584
[startup+670.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 18379 0 0 0 66979 41 0 0 25 0 1 0 912188491 86716416 18299 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21171 18299 1111 63 0 21108 0
vsize: 84684
[startup+680.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 18660 0 0 0 67979 41 0 0 25 0 1 0 912188491 87842816 18580 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21446 18580 1111 63 0 21383 0
vsize: 85784
[startup+690.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 18938 0 0 0 68979 42 0 0 25 0 1 0 912188491 88969216 18858 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21721 18858 1111 63 0 21658 0
vsize: 86884
[startup+700.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 19214 0 0 0 69979 42 0 0 25 0 1 0 912188491 90095616 19134 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21996 19134 1111 63 0 21933 0
vsize: 87984
[startup+710.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 19503 0 0 0 70979 43 0 0 25 0 1 0 912188491 91222016 19423 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22271 19423 1111 63 0 22208 0
vsize: 89084
[startup+720.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 19779 0 0 0 71978 43 0 0 25 0 1 0 912188491 92348416 19699 4294967295 134512640 134716908 3221224560 3221222788 1077414347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22546 19699 1111 63 0 22483 0
vsize: 90184
[startup+730.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 20061 0 0 0 72978 44 0 0 25 0 1 0 912188491 93618176 19981 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22856 19981 1111 63 0 22793 0
vsize: 91424
[startup+740.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 20345 0 0 0 73978 45 0 0 25 0 1 0 912188491 94744576 20265 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23131 20265 1111 63 0 23068 0
vsize: 92524
[startup+750.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 20633 0 0 0 74978 45 0 0 25 0 1 0 912188491 95870976 20553 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23406 20553 1111 63 0 23343 0
vsize: 93624
[startup+760.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 20910 0 0 0 75978 46 0 0 25 0 1 0 912188491 96997376 20830 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23681 20830 1111 63 0 23618 0
vsize: 94724
[startup+770.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15148
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 21199 0 0 0 76978 46 0 0 25 0 1 0 912188491 98263040 21119 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23990 21119 1111 63 0 23927 0
vsize: 95960
[startup+780.015 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 15201
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 21488 0 0 0 77975 48 0 0 25 0 1 0 912188491 99385344 21408 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24264 21408 1111 63 0 24201 0
vsize: 97056
[startup+790.016 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 15201
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 21779 0 0 0 78975 49 0 0 25 0 1 0 912188491 100511744 21699 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24539 21699 1111 63 0 24476 0
vsize: 98156
[startup+800.016 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 15201
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 22067 0 0 0 79975 49 0 0 25 0 1 0 912188491 101777408 21987 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24848 21987 1111 63 0 24785 0
vsize: 99392
[startup+810.016 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 15201
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 22356 0 0 0 80975 50 0 0 25 0 1 0 912188491 102903808 22276 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25123 22276 1111 63 0 25060 0
vsize: 100492
[startup+820.016 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 15201
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 22645 0 0 0 81975 51 0 0 25 0 1 0 912188491 104169472 22565 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25432 22565 1111 63 0 25369 0
vsize: 101728
[startup+830.016 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 15201
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 22934 0 0 0 82974 51 0 0 25 0 1 0 912188491 105295872 22854 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25707 22854 1111 63 0 25644 0
vsize: 102828
[startup+840.016 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 15201
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 23263 0 0 0 83974 52 0 0 25 0 1 0 912188491 106926080 23183 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26105 23183 1111 63 0 26042 0
vsize: 104420
[startup+850.016 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 23558 0 0 0 84974 52 0 0 25 0 1 0 912188491 108052480 23478 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26380 23478 1111 63 0 26317 0
vsize: 105520
[startup+860.017 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 23850 0 0 0 85974 53 0 0 25 0 1 0 912188491 109318144 23770 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26689 23770 1111 63 0 26626 0
vsize: 106756
[startup+870.016 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 24145 0 0 0 86974 53 0 0 25 0 1 0 912188491 110444544 24065 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26964 24065 1111 63 0 26901 0
vsize: 107856
[startup+880.017 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 24443 0 0 0 87973 54 0 0 25 0 1 0 912188491 111710208 24363 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27273 24363 1111 63 0 27210 0
vsize: 109092
[startup+890.017 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 24738 0 0 0 88973 54 0 0 25 0 1 0 912188491 112979968 24658 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27583 24658 1111 63 0 27520 0
vsize: 110332
[startup+900.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 25036 0 0 0 89973 55 0 0 25 0 1 0 912188491 114106368 24956 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27858 24956 1111 63 0 27795 0
vsize: 111432
[startup+910.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 25333 0 0 0 90972 56 0 0 25 0 1 0 912188491 115372032 25253 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28167 25253 1111 63 0 28104 0
vsize: 112668
[startup+920.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 25629 0 0 0 91972 56 0 0 25 0 1 0 912188491 116498432 25549 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28442 25549 1111 63 0 28379 0
vsize: 113768
[startup+930.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 25933 0 0 0 92972 57 0 0 25 0 1 0 912188491 117768192 25853 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28752 25853 1111 63 0 28689 0
vsize: 115008
[startup+940.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 26229 0 0 0 93972 57 0 0 25 0 1 0 912188491 119037952 26149 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29062 26149 1111 63 0 28999 0
vsize: 116248
[startup+950.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 26527 0 0 0 94972 58 0 0 25 0 1 0 912188491 120160256 26447 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29336 26447 1111 63 0 29273 0
vsize: 117344
[startup+960.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 26829 0 0 0 95972 58 0 0 25 0 1 0 912188491 121434112 26749 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29647 26749 1111 63 0 29584 0
vsize: 118588
[startup+970.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 27132 0 0 0 96972 59 0 0 25 0 1 0 912188491 122699776 27052 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29956 27052 1111 63 0 29893 0
vsize: 119824
[startup+980.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 27436 0 0 0 97971 60 0 0 25 0 1 0 912188491 123969536 27356 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30266 27356 1111 63 0 30203 0
vsize: 121064
[startup+990.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 27745 0 0 0 98971 60 0 0 25 0 1 0 912188491 125235200 27665 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30575 27665 1111 63 0 30512 0
vsize: 122300
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 28056 0 0 0 99971 61 0 0 25 0 1 0 912188491 126500864 27976 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30884 27976 1111 63 0 30821 0
vsize: 123536
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 28366 0 0 0 100970 62 0 0 25 0 1 0 912188491 127766528 28286 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31193 28286 1111 63 0 31130 0
vsize: 124772
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 28677 0 0 0 101970 62 0 0 25 0 1 0 912188491 129036288 28597 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31503 28597 1111 63 0 31440 0
vsize: 126012
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 28993 0 0 0 102969 63 0 0 25 0 1 0 912188491 130301952 28913 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31812 28913 1111 63 0 31749 0
vsize: 127248
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 29304 0 0 0 103969 63 0 0 25 0 1 0 912188491 131567616 29224 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32121 29224 1111 63 0 32058 0
vsize: 128484
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 29614 0 0 0 104969 64 0 0 25 0 1 0 912188491 132833280 29534 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32430 29534 1111 63 0 32367 0
vsize: 129720
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 29930 0 0 0 105969 65 0 0 25 0 1 0 912188491 134103040 29850 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32740 29850 1111 63 0 32677 0
vsize: 130960
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 30246 0 0 0 106968 66 0 0 25 0 1 0 912188491 135368704 30166 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33049 30166 1111 63 0 32986 0
vsize: 132196
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15203
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 30556 0 0 0 107968 66 0 0 25 0 1 0 912188491 136638464 30476 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33359 30476 1111 63 0 33296 0
vsize: 133436
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15205
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 30874 0 0 0 108967 67 0 0 25 0 1 0 912188491 138043392 30794 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33702 30794 1111 63 0 33639 0
vsize: 134808
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15205
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 31190 0 0 0 109967 68 0 0 25 0 1 0 912188491 139309056 31110 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34011 31110 1111 63 0 33948 0
vsize: 136044
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15205
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 31510 0 0 0 110967 68 0 0 25 0 1 0 912188491 140578816 31430 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34321 31430 1111 63 0 34258 0
vsize: 137284
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15205
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 31826 0 0 0 111966 69 0 0 25 0 1 0 912188491 141848576 31746 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34631 31746 1111 63 0 34568 0
vsize: 138524
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15205
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 32145 0 0 0 112966 70 0 0 25 0 1 0 912188491 143118336 32065 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34941 32065 1111 63 0 34878 0
vsize: 139764
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15205
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 32467 0 0 0 113966 71 0 0 25 0 1 0 912188491 144523264 32387 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35284 32387 1111 63 0 35221 0
vsize: 141136
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15205
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 32785 0 0 0 114966 71 0 0 25 0 1 0 912188491 145788928 32705 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35593 32705 1111 63 0 35530 0
vsize: 142372
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15205
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 33102 0 0 0 115965 72 0 0 25 0 1 0 912188491 147058688 33022 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35903 33022 1111 63 0 35840 0
vsize: 143612
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15205
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 33425 0 0 0 116965 72 0 0 25 0 1 0 912188491 148463616 33345 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36246 33345 1111 63 0 36183 0
vsize: 144984
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15205
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 33743 0 0 0 117965 73 0 0 25 0 1 0 912188491 149729280 33663 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36555 33663 1111 63 0 36492 0
vsize: 146220
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15205
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 34066 0 0 0 118965 73 0 0 25 0 1 0 912188491 150999040 33986 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36865 33986 1111 63 0 36802 0
vsize: 147460
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 15205
Raw data (stat): 15148 (bsolo_lpr_cuts-) R 15147 25568 25567 0 -1 0 34391 0 0 0 119965 73 0 0 25 0 1 0 912188491 152403968 34311 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37208 34311 1111 63 0 37145 0
vsize: 148832
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 15205
Raw data (stat): 15148 (bsolo_lpr_cuts-) Z 15147 25568 25567 0 -1 1036 34391 0 0 0 119965 80 0 0 25 0 1 0 912188491 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.09
CPU time (s): 1200.46
CPU user time (s): 1199.66
CPU system time (s): 0.800878
CPU usage (%): 100.031
Max. virtual memory (Kb): 148832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####