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-n3701.opb
MD5SUM	c5e85fef75cd61b11166b8854f4a9cf3
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	39244285251
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	39244285251
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.963853
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 41613

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        764860 kB
Buffers:         24332 kB
Cached:         223640 kB
SwapCached:        636 kB
Active:          33708 kB
Inactive:       216296 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        764608 kB
SwapTotal:     2097136 kB
SwapFree:      2095492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14188 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 17:36:54 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 29679 7 1200.28 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.92 0.97 0.91 1/54 4595
Raw data (stat): 4595 (runsolver) R 4594 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912007328 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0008 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 1160 0 0 0 995 3 0 0 25 0 1 0 912007328 16052224 1080 4294967295 134512640 134716908 3221224560 3221222788 1077414382 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.0014 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 1400 0 0 0 1994 3 0 0 25 0 1 0 912007328 17039360 1320 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.0012 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 1650 0 0 0 2994 4 0 0 25 0 1 0 912007328 18178048 1570 4294967295 134512640 134716908 3221224560 3221222788 1077414385 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.0023 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 1892 0 0 0 3994 4 0 0 25 0 1 0 912007328 19165184 1812 4294967295 134512640 134716908 3221224560 3221222788 1077414345 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.0027 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 2139 0 0 0 4993 5 0 0 25 0 1 0 912007328 20152320 2059 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.0034 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 2392 0 0 0 5992 6 0 0 25 0 1 0 912007328 21135360 2312 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.0038 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 2639 0 0 0 6992 6 0 0 25 0 1 0 912007328 22114304 2559 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.0039 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 2887 0 0 0 7992 7 0 0 25 0 1 0 912007328 23240704 2807 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2807 1111 63 0 5611 0
vsize: 22696
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 3134 0 0 0 8992 7 0 0 25 0 1 0 912007328 24227840 3054 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 3382 0 0 0 9991 8 0 0 25 0 1 0 912007328 25214976 3302 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 3630 0 0 0 10991 8 0 0 25 0 1 0 912007328 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 3885 0 0 0 11991 9 0 0 25 0 1 0 912007328 27348992 3805 4294967295 134512640 134716908 3221224560 3221222788 1077414420 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 4133 0 0 0 12990 9 0 0 25 0 1 0 912007328 28336128 4053 4294967295 134512640 134716908 3221224560 3221221388 1077253384 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 4387 0 0 0 13990 10 0 0 25 0 1 0 912007328 29315072 4307 4294967295 134512640 134716908 3221224560 3221222788 1077414357 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.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 4636 0 0 0 14990 11 0 0 25 0 1 0 912007328 30302208 4556 4294967295 134512640 134716908 3221224560 3221222788 1077414385 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 4890 0 0 0 15989 11 0 0 25 0 1 0 912007328 31428608 4810 4294967295 134512640 134716908 3221224560 3221222788 1077414413 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 5139 0 0 0 16989 12 0 0 25 0 1 0 912007328 32415744 5059 4294967295 134512640 134716908 3221224560 3221222788 1077414410 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 5388 0 0 0 17988 13 0 0 25 0 1 0 912007328 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 5643 0 0 0 18988 13 0 0 25 0 1 0 912007328 34529280 5563 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 5897 0 0 0 19988 13 0 0 25 0 1 0 912007328 35516416 5817 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 6144 0 0 0 20988 14 0 0 25 0 1 0 912007328 36495360 6064 4294967295 134512640 134716908 3221224560 3221222788 1077414420 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 6404 0 0 0 21987 14 0 0 25 0 1 0 912007328 37625856 6324 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 6664 0 0 0 22987 15 0 0 25 0 1 0 912007328 38760448 6584 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 6919 0 0 0 23986 16 0 0 25 0 1 0 912007328 39747584 6839 4294967295 134512640 134716908 3221224560 3221222788 1077414385 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 7174 0 0 0 24986 16 0 0 25 0 1 0 912007328 40734720 7094 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 7436 0 0 0 25986 17 0 0 25 0 1 0 912007328 41861120 7356 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 7685 0 0 0 26985 18 0 0 25 0 1 0 912007328 42848256 7605 4294967295 134512640 134716908 3221224560 3221222788 1077414336 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 7946 0 0 0 27985 18 0 0 25 0 1 0 912007328 43974656 7866 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10736 7866 1111 63 0 10673 0
vsize: 42944
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 8201 0 0 0 28984 19 0 0 25 0 1 0 912007328 44957696 8121 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 8456 0 0 0 29984 19 0 0 25 0 1 0 912007328 46084096 8376 4294967295 134512640 134716908 3221224560 3221223216 134527946 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 8719 0 0 0 30984 20 0 0 25 0 1 0 912007328 47071232 8639 4294967295 134512640 134716908 3221224560 3221222788 1077414382 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 8980 0 0 0 31983 20 0 0 25 0 1 0 912007328 48197632 8900 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 9236 0 0 0 32983 21 0 0 25 0 1 0 912007328 49184768 9156 4294967295 134512640 134716908 3221224560 3221222788 1077414395 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 9498 0 0 0 33983 21 0 0 25 0 1 0 912007328 50311168 9418 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12283 9418 1111 63 0 12220 0
vsize: 49132
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 9753 0 0 0 34982 22 0 0 25 0 1 0 912007328 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 10015 0 0 0 35982 23 0 0 25 0 1 0 912007328 52424704 9935 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 10276 0 0 0 36982 23 0 0 25 0 1 0 912007328 53403648 10196 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 10538 0 0 0 37982 23 0 0 25 0 1 0 912007328 54530048 10458 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13313 10458 1111 63 0 13250 0
vsize: 53252
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 10801 0 0 0 38982 23 0 0 25 0 1 0 912007328 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 11063 0 0 0 39982 24 0 0 25 0 1 0 912007328 56643584 10983 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13829 10983 1111 63 0 13766 0
vsize: 55316
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 11330 0 0 0 40981 24 0 0 25 0 1 0 912007328 57774080 11250 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14105 11250 1111 63 0 14042 0
vsize: 56420
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 11592 0 0 0 41981 25 0 0 25 0 1 0 912007328 58900480 11512 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14380 11512 1111 63 0 14317 0
vsize: 57520
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 11860 0 0 0 42980 26 0 0 25 0 1 0 912007328 59883520 11780 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14620 11780 1111 63 0 14557 0
vsize: 58480
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 12140 0 0 0 43980 26 0 0 25 0 1 0 912007328 61231104 12060 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14949 12060 1111 63 0 14886 0
vsize: 59796
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 12408 0 0 0 44979 27 0 0 25 0 1 0 912007328 62357504 12328 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15224 12328 1111 63 0 15161 0
vsize: 60896
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 12671 0 0 0 45979 27 0 0 25 0 1 0 912007328 63340544 12591 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15464 12591 1111 63 0 15401 0
vsize: 61856
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 12938 0 0 0 46979 28 0 0 25 0 1 0 912007328 64466944 12858 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15739 12858 1111 63 0 15676 0
vsize: 62956
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 13201 0 0 0 47978 28 0 0 25 0 1 0 912007328 65593344 13121 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16014 13123 1111 63 0 15951 0
vsize: 64056
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 13476 0 0 0 48978 29 0 0 25 0 1 0 912007328 66719744 13396 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16289 13396 1111 63 0 16226 0
vsize: 65156
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 13739 0 0 0 49978 29 0 0 25 0 1 0 912007328 67706880 13659 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16530 13659 1111 63 0 16467 0
vsize: 66120
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 14014 0 0 0 50978 30 0 0 25 0 1 0 912007328 68833280 13934 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16805 13934 1111 63 0 16742 0
vsize: 67220
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 14277 0 0 0 51977 30 0 0 25 0 1 0 912007328 69959680 14197 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17080 14197 1111 63 0 17017 0
vsize: 68320
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 14552 0 0 0 52977 31 0 0 25 0 1 0 912007328 71086080 14472 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17355 14472 1111 63 0 17292 0
vsize: 69420
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 14822 0 0 0 53976 32 0 0 25 0 1 0 912007328 72212480 14742 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17630 14742 1111 63 0 17567 0
vsize: 70520
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 15090 0 0 0 54976 32 0 0 25 0 1 0 912007328 73199616 15010 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17871 15010 1111 63 0 17808 0
vsize: 71484
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 15366 0 0 0 55975 33 0 0 25 0 1 0 912007328 74326016 15286 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18146 15286 1111 63 0 18083 0
vsize: 72584
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 15636 0 0 0 56975 33 0 0 25 0 1 0 912007328 75452416 15556 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18421 15556 1111 63 0 18358 0
vsize: 73684
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 15911 0 0 0 57975 33 0 0 25 0 1 0 912007328 76578816 15831 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18696 15831 1111 63 0 18633 0
vsize: 74784
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 16181 0 0 0 58975 34 0 0 25 0 1 0 912007328 77701120 16101 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18970 16101 1111 63 0 18907 0
vsize: 75880
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 16454 0 0 0 59974 35 0 0 25 0 1 0 912007328 78827520 16374 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19245 16374 1111 63 0 19182 0
vsize: 76980
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 16730 0 0 0 60974 35 0 0 25 0 1 0 912007328 79953920 16650 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19520 16650 1111 63 0 19457 0
vsize: 78080
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 17006 0 0 0 61974 36 0 0 25 0 1 0 912007328 81080320 16926 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19795 16926 1111 63 0 19732 0
vsize: 79180
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 17282 0 0 0 62973 36 0 0 25 0 1 0 912007328 82206720 17202 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20070 17202 1111 63 0 20007 0
vsize: 80280
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 17559 0 0 0 63973 37 0 0 25 0 1 0 912007328 83333120 17479 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20345 17479 1111 63 0 20282 0
vsize: 81380
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 17834 0 0 0 64972 38 0 0 25 0 1 0 912007328 84459520 17754 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20620 17754 1111 63 0 20557 0
vsize: 82480
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 18110 0 0 0 65971 39 0 0 25 0 1 0 912007328 85590016 18030 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20896 18030 1111 63 0 20833 0
vsize: 83584
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 18393 0 0 0 66971 40 0 0 25 0 1 0 912007328 86716416 18313 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21171 18313 1111 63 0 21108 0
vsize: 84684
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 18675 0 0 0 67970 41 0 0 25 0 1 0 912007328 87842816 18595 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21446 18595 1111 63 0 21383 0
vsize: 85784
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 18952 0 0 0 68969 42 0 0 25 0 1 0 912007328 88969216 18872 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21721 18872 1111 63 0 21658 0
vsize: 86884
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 19227 0 0 0 69969 42 0 0 25 0 1 0 912007328 90095616 19147 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21996 19147 1111 63 0 21933 0
vsize: 87984
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 19516 0 0 0 70969 43 0 0 25 0 1 0 912007328 91365376 19436 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22306 19436 1111 63 0 22243 0
vsize: 89224
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 19793 0 0 0 71968 43 0 0 25 0 1 0 912007328 92491776 19713 4294967295 134512640 134716908 3221224560 3221222788 1077414397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22581 19713 1111 63 0 22518 0
vsize: 90324
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 20075 0 0 0 72967 44 0 0 25 0 1 0 912007328 93618176 19995 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22856 19995 1111 63 0 22793 0
vsize: 91424
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 20359 0 0 0 73967 45 0 0 25 0 1 0 912007328 94744576 20279 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23131 20279 1111 63 0 23068 0
vsize: 92524
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 20641 0 0 0 74967 46 0 0 25 0 1 0 912007328 95870976 20561 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23406 20561 1111 63 0 23343 0
vsize: 93624
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 20924 0 0 0 75966 46 0 0 25 0 1 0 912007328 97136640 20844 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23715 20844 1111 63 0 23652 0
vsize: 94860
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 21213 0 0 0 76966 47 0 0 25 0 1 0 912007328 98263040 21133 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23990 21133 1111 63 0 23927 0
vsize: 95960
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 21489 0 0 0 77965 47 0 0 25 0 1 0 912007328 99385344 21409 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24264 21409 1111 63 0 24201 0
vsize: 97056
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 21779 0 0 0 78965 48 0 0 25 0 1 0 912007328 100511744 21699 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24539 21699 1111 63 0 24476 0
vsize: 98156
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 22067 0 0 0 79965 48 0 0 25 0 1 0 912007328 101777408 21987 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24848 21987 1111 63 0 24785 0
vsize: 99392
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 22349 0 0 0 80964 49 0 0 25 0 1 0 912007328 102903808 22269 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25123 22269 1111 63 0 25060 0
vsize: 100492
[startup+820.021 s]
Raw data (loadavg): 1.07 0.99 0.91 3/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 22632 0 0 0 81964 50 0 0 25 0 1 0 912007328 104030208 22552 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25398 22552 1111 63 0 25335 0
vsize: 101592
[startup+830.021 s]
Raw data (loadavg): 1.06 0.99 0.91 3/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 22920 0 0 0 82963 50 0 0 25 0 1 0 912007328 105295872 22840 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25707 22840 1111 63 0 25644 0
vsize: 102828
[startup+840.021 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 23243 0 0 0 83963 51 0 0 25 0 1 0 912007328 106786816 23163 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26071 23163 1111 63 0 26008 0
vsize: 104284
[startup+850.022 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 23531 0 0 0 84962 52 0 0 25 0 1 0 912007328 108052480 23451 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26380 23451 1111 63 0 26317 0
vsize: 105520
[startup+860.022 s]
Raw data (loadavg): 1.03 0.99 0.91 3/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 23822 0 0 0 85961 53 0 0 25 0 1 0 912007328 109178880 23742 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26655 23742 1111 63 0 26592 0
vsize: 106620
[startup+870.022 s]
Raw data (loadavg): 1.03 0.99 0.91 3/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 24111 0 0 0 86961 53 0 0 25 0 1 0 912007328 110305280 24031 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26930 24031 1111 63 0 26867 0
vsize: 107720
[startup+880.022 s]
Raw data (loadavg): 1.02 0.99 0.91 3/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 24407 0 0 0 87960 54 0 0 25 0 1 0 912007328 111575040 24327 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27240 24327 1111 63 0 27177 0
vsize: 108960
[startup+890.022 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 24698 0 0 0 88960 55 0 0 25 0 1 0 912007328 112701440 24618 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27515 24618 1111 63 0 27452 0
vsize: 110060
[startup+900.022 s]
Raw data (loadavg): 1.02 0.99 0.91 3/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 24994 0 0 0 89960 55 0 0 25 0 1 0 912007328 113967104 24914 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27824 24914 1111 63 0 27761 0
vsize: 111296
[startup+910.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 25284 0 0 0 90959 56 0 0 25 0 1 0 912007328 115093504 25204 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28099 25204 1111 63 0 28036 0
vsize: 112396
[startup+920.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 25586 0 0 0 91959 56 0 0 25 0 1 0 912007328 116359168 25506 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28408 25506 1111 63 0 28345 0
vsize: 113632
[startup+930.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 25877 0 0 0 92959 57 0 0 25 0 1 0 912007328 117624832 25797 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28717 25797 1111 63 0 28654 0
vsize: 114868
[startup+940.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 26179 0 0 0 93959 57 0 0 25 0 1 0 912007328 118751232 26099 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28992 26099 1111 63 0 28929 0
vsize: 115968
[startup+950.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 26470 0 0 0 94958 58 0 0 25 0 1 0 912007328 120020992 26390 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29302 26390 1111 63 0 29239 0
vsize: 117208
[startup+960.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 26773 0 0 0 95958 58 0 0 25 0 1 0 912007328 121286656 26693 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29611 26693 1111 63 0 29548 0
vsize: 118444
[startup+970.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 27068 0 0 0 96958 58 0 0 25 0 1 0 912007328 122413056 26988 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29886 26988 1111 63 0 29823 0
vsize: 119544
[startup+980.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 27373 0 0 0 97958 59 0 0 25 0 1 0 912007328 123682816 27293 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30196 27293 1111 63 0 30133 0
vsize: 120784
[startup+990.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 27669 0 0 0 98957 60 0 0 25 0 1 0 912007328 124948480 27589 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30505 27589 1111 63 0 30442 0
vsize: 122020
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 27973 0 0 0 99957 60 0 0 25 0 1 0 912007328 126074880 27893 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30780 27893 1111 63 0 30717 0
vsize: 123120
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 28277 0 0 0 100957 60 0 0 25 0 1 0 912007328 127340544 28197 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31089 28197 1111 63 0 31026 0
vsize: 124356
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 28581 0 0 0 101957 61 0 0 25 0 1 0 912007328 128606208 28501 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31398 28501 1111 63 0 31335 0
vsize: 125592
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 28884 0 0 0 102957 61 0 0 25 0 1 0 912007328 129880064 28804 4294967295 134512640 134716908 3221224560 3221222892 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31709 28804 1111 63 0 31646 0
vsize: 126836
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 29186 0 0 0 103957 61 0 0 25 0 1 0 912007328 131145728 29106 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32018 29106 1111 63 0 31955 0
vsize: 128072
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 29491 0 0 0 104956 62 0 0 25 0 1 0 912007328 132276224 29411 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32294 29411 1111 63 0 32231 0
vsize: 129176
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 29793 0 0 0 105956 62 0 0 25 0 1 0 912007328 133541888 29713 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32603 29713 1111 63 0 32540 0
vsize: 130412
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 30103 0 0 0 106956 63 0 0 25 0 1 0 912007328 134807552 30023 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32912 30023 1111 63 0 32849 0
vsize: 131648
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 30413 0 0 0 107955 64 0 0 25 0 1 0 912007328 136077312 30333 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33222 30333 1111 63 0 33159 0
vsize: 132888
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 30717 0 0 0 108955 64 0 0 25 0 1 0 912007328 137342976 30637 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33531 30637 1111 63 0 33468 0
vsize: 134124
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 31026 0 0 0 109955 65 0 0 25 0 1 0 912007328 138608640 30946 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33840 30946 1111 63 0 33777 0
vsize: 135360
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 31338 0 0 0 110955 65 0 0 25 0 1 0 912007328 139874304 31258 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34149 31258 1111 63 0 34086 0
vsize: 136596
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 31647 0 0 0 111955 65 0 0 25 0 1 0 912007328 141144064 31567 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34459 31567 1111 63 0 34396 0
vsize: 137836
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 31956 0 0 0 112954 66 0 0 25 0 1 0 912007328 142409728 31876 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34768 31876 1111 63 0 34705 0
vsize: 139072
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 32274 0 0 0 113954 67 0 0 25 0 1 0 912007328 143679488 32194 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35078 32194 1111 63 0 35015 0
vsize: 140312
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 32583 0 0 0 114953 67 0 0 25 0 1 0 912007328 144945152 32503 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35387 32503 1111 63 0 35324 0
vsize: 141548
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 32895 0 0 0 115953 68 0 0 25 0 1 0 912007328 146210816 32815 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35696 32815 1111 63 0 35633 0
vsize: 142784
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 33211 0 0 0 116952 68 0 0 25 0 1 0 912007328 147476480 33131 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36005 33131 1111 63 0 35942 0
vsize: 144020
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 33529 0 0 0 117952 69 0 0 25 0 1 0 912007328 148885504 33449 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36349 33449 1111 63 0 36286 0
vsize: 145396
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 33845 0 0 0 118952 69 0 0 25 0 1 0 912007328 150151168 33765 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36658 33765 1111 63 0 36595 0
vsize: 146632
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) R 4594 7266 7265 0 -1 0 34165 0 0 0 119950 71 0 0 25 0 1 0 912007328 151416832 34085 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36967 34085 1111 63 0 36904 0
vsize: 147868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 4595
Raw data (stat): 4595 (bsolo_lpr_cuts-) Z 4594 7266 7265 0 -1 1036 34165 0 0 0 119950 77 0 0 25 0 1 0 912007328 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.1
CPU time (s): 1200.28
CPU user time (s): 1199.5
CPU system time (s): 0.774882
CPU usage (%): 100.015
Max. virtual memory (Kb): 147868
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####