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/submitted/manquinho/ttp/normalized-circ10_3.opb
MD5SUM	fc17fbe37098e8642918641dd9a84b04
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	350
Optimality of the best value was proved	NO
Number of terms in the objective function	900
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	2500
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	32
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	2500
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.1
Number of variables	2700
Total number of constraints	42620
Number of constraints which are clauses	20220
Number of constraints which are cardinality constraints (but not clauses)	800
Number of constraints which are nor clauses,nor cardinality constraints	21600
Minimum length of a constraint	2
Maximum length of a constraint	36
Trace number 40806

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        727888 kB
Buffers:         30076 kB
Cached:         256008 kB
SwapCached:        808 kB
Active:          50464 kB
Inactive:       237692 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        727636 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12968 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 22:36:45 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 28870 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2700 variables and 43070 constraints.
c After prepocess the problem consists of 2700 variables and 41292 constraints.
c preprocess terminated 235.698 s
#### 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.67 0.84 0.86 1/54 582
Raw data (stat): 582 (runsolver) R 581 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905156895 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.72 0.84 0.86 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 8407 0 0 0 974 23 0 0 25 0 1 0 905156895 47661056 8327 4294967295 134512640 134716908 3221224576 3221223168 134527014 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11636 8327 1111 63 0 11573 0
vsize: 46544
[startup+20.0022 s]
Raw data (loadavg): 0.76 0.85 0.86 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 59206 0 0 0 1844 152 0 0 25 0 1 0 905156895 51159040 11630 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12490 11630 1111 63 0 12427 0
vsize: 49960
[startup+30.0024 s]
Raw data (loadavg): 0.80 0.85 0.86 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 79382 0 0 0 2795 201 0 0 25 0 1 0 905156895 54071296 12356 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13201 12356 1111 63 0 13138 0
vsize: 52804
[startup+40.0022 s]
Raw data (loadavg): 0.83 0.86 0.86 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 83430 0 0 0 3786 211 0 0 25 0 1 0 905156895 56373248 12918 4294967295 134512640 134716908 3221224576 3221223000 1077377734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13763 12918 1111 63 0 13700 0
vsize: 55052
[startup+50.0024 s]
Raw data (loadavg): 0.85 0.86 0.86 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 88231 0 0 0 4774 222 0 0 25 0 1 0 905156895 69177344 16020 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16889 16020 1111 63 0 16826 0
vsize: 67556
[startup+60.0033 s]
Raw data (loadavg): 0.88 0.86 0.87 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 88489 0 0 0 5774 223 0 0 25 0 1 0 905156895 69177344 16044 4294967295 134512640 134716908 3221224576 3221222988 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16889 16044 1111 63 0 16826 0
vsize: 67556
[startup+70.0038 s]
Raw data (loadavg): 0.89 0.87 0.87 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 88489 0 0 0 6774 223 0 0 25 0 1 0 905156895 69177344 16044 4294967295 134512640 134716908 3221224576 3221223224 134555031 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16889 16044 1111 63 0 16826 0
vsize: 67556
[startup+80.0039 s]
Raw data (loadavg): 0.91 0.87 0.87 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 89691 0 0 0 7771 226 0 0 25 0 1 0 905156895 69177344 16044 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16889 16044 1111 63 0 16826 0
vsize: 67556
[startup+90.0045 s]
Raw data (loadavg): 0.92 0.88 0.87 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 92947 0 0 0 8763 234 0 0 25 0 1 0 905156895 69177344 16044 4294967295 134512640 134716908 3221224576 3221222968 134542985 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16889 16044 1111 63 0 16826 0
vsize: 67556
[startup+100.004 s]
Raw data (loadavg): 0.93 0.88 0.87 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 96478 0 0 0 9755 242 0 0 25 0 1 0 905156895 72642560 16889 4294967295 134512640 134716908 3221224576 3221223192 134536909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17735 16889 1111 63 0 17672 0
vsize: 70940
[startup+110.005 s]
Raw data (loadavg): 0.94 0.88 0.87 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 97438 0 0 0 10753 245 0 0 25 0 1 0 905156895 72642560 16890 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17735 16890 1111 63 0 17672 0
vsize: 70940
[startup+120.005 s]
Raw data (loadavg): 0.95 0.89 0.87 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 99385 0 0 0 11747 250 0 0 25 0 1 0 905156895 72642560 16890 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17735 16890 1111 63 0 17672 0
vsize: 70940
[startup+130.005 s]
Raw data (loadavg): 0.96 0.89 0.87 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 100056 0 0 0 12746 252 0 0 25 0 1 0 905156895 75390976 17561 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18406 17561 1111 63 0 18343 0
vsize: 73624
[startup+140.006 s]
Raw data (loadavg): 0.97 0.89 0.87 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 100579 0 0 0 13745 253 0 0 25 0 1 0 905156895 75808768 17663 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18508 17663 1111 63 0 18445 0
vsize: 74032
[startup+150.005 s]
Raw data (loadavg): 0.97 0.90 0.87 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 101969 0 0 0 14742 257 0 0 25 0 1 0 905156895 75808768 17663 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18508 17663 1111 63 0 18445 0
vsize: 74032
[startup+160.005 s]
Raw data (loadavg): 0.97 0.90 0.88 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103645 0 0 0 15738 261 0 0 25 0 1 0 905156895 78106624 18224 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+170.008 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103645 0 0 0 16738 261 0 0 25 0 1 0 905156895 78106624 18224 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+180.007 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103645 0 0 0 17738 261 0 0 25 0 1 0 905156895 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+190.008 s]
Raw data (loadavg): 0.98 0.91 0.88 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103645 0 0 0 18738 261 0 0 25 0 1 0 905156895 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+200.008 s]
Raw data (loadavg): 0.98 0.91 0.88 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103645 0 0 0 19738 261 0 0 25 0 1 0 905156895 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+210.009 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103645 0 0 0 20738 262 0 0 25 0 1 0 905156895 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+220.008 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103645 0 0 0 21738 262 0 0 25 0 1 0 905156895 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+230.008 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103646 0 0 0 22738 262 0 0 25 0 1 0 905156895 78106624 18225 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18225 1111 63 0 19006 0
vsize: 76276
[startup+240.009 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 23737 262 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+250.009 s]
Raw data (loadavg): 0.99 0.92 0.88 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 24737 263 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222592 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+260.009 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 25738 263 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+270.01 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 26738 263 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+280.009 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 27738 263 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+290.01 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 28738 263 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222808 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+300.01 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 29738 263 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+310.011 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 30738 263 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+320.011 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103667 0 0 0 31739 263 0 0 25 0 1 0 905156895 78106624 18246 4294967295 134512640 134716908 3221224576 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+330.011 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103976 0 0 0 32737 264 0 0 25 0 1 0 905156895 79368192 18555 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19377 18555 1111 63 0 19314 0
vsize: 77508
[startup+340.01 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 103997 0 0 0 33737 265 0 0 25 0 1 0 905156895 79454208 18576 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19398 18576 1111 63 0 19335 0
vsize: 77592
[startup+350.01 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104016 0 0 0 34737 265 0 0 25 0 1 0 905156895 79532032 18595 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19417 18595 1111 63 0 19354 0
vsize: 77668
[startup+360.012 s]
Raw data (loadavg): 0.99 0.94 0.89 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104036 0 0 0 35737 265 0 0 25 0 1 0 905156895 79613952 18615 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19437 18615 1111 63 0 19374 0
vsize: 77748
[startup+370.012 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104056 0 0 0 36736 266 0 0 25 0 1 0 905156895 79695872 18635 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19457 18635 1111 63 0 19394 0
vsize: 77828
[startup+380.012 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104072 0 0 0 37736 267 0 0 25 0 1 0 905156895 79761408 18651 4294967295 134512640 134716908 3221224576 3221222640 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19473 18651 1111 63 0 19410 0
vsize: 77892
[startup+390.012 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104089 0 0 0 38736 267 0 0 25 0 1 0 905156895 79831040 18668 4294967295 134512640 134716908 3221224576 3221222768 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19490 18668 1111 63 0 19427 0
vsize: 77960
[startup+400.013 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104105 0 0 0 39735 268 0 0 25 0 1 0 905156895 79896576 18684 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19506 18684 1111 63 0 19443 0
vsize: 78024
[startup+410.013 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104122 0 0 0 40735 268 0 0 25 0 1 0 905156895 79966208 18701 4294967295 134512640 134716908 3221224576 3221222576 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19523 18701 1111 63 0 19460 0
vsize: 78092
[startup+420.014 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104137 0 0 0 41735 268 0 0 25 0 1 0 905156895 80027648 18716 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19538 18716 1111 63 0 19475 0
vsize: 78152
[startup+430.014 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104151 0 0 0 42735 268 0 0 25 0 1 0 905156895 80084992 18730 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19552 18730 1111 63 0 19489 0
vsize: 78208
[startup+440.014 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104165 0 0 0 43735 269 0 0 25 0 1 0 905156895 80142336 18744 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19566 18744 1111 63 0 19503 0
vsize: 78264
[startup+450.014 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104180 0 0 0 44734 269 0 0 25 0 1 0 905156895 80203776 18759 4294967295 134512640 134716908 3221224576 3221222528 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19581 18759 1111 63 0 19518 0
vsize: 78324
[startup+460.015 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104193 0 0 0 45734 270 0 0 25 0 1 0 905156895 80257024 18772 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19594 18772 1111 63 0 19531 0
vsize: 78376
[startup+470.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104206 0 0 0 46734 270 0 0 25 0 1 0 905156895 80310272 18785 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19607 18785 1111 63 0 19544 0
vsize: 78428
[startup+480.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104219 0 0 0 47734 270 0 0 25 0 1 0 905156895 80363520 18798 4294967295 134512640 134716908 3221224576 3221222336 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19620 18798 1111 63 0 19557 0
vsize: 78480
[startup+490.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104231 0 0 0 48734 271 0 0 25 0 1 0 905156895 80412672 18810 4294967295 134512640 134716908 3221224576 3221222592 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19632 18810 1111 63 0 19569 0
vsize: 78528
[startup+500.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104244 0 0 0 49733 272 0 0 25 0 1 0 905156895 80465920 18823 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19645 18823 1111 63 0 19582 0
vsize: 78580
[startup+510.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104257 0 0 0 50733 272 0 0 25 0 1 0 905156895 80519168 18836 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19658 18836 1111 63 0 19595 0
vsize: 78632
[startup+520.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104269 0 0 0 51733 272 0 0 25 0 1 0 905156895 80568320 18848 4294967295 134512640 134716908 3221224576 3221222544 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19670 18848 1111 63 0 19607 0
vsize: 78680
[startup+530.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104281 0 0 0 52733 272 0 0 25 0 1 0 905156895 80617472 18860 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19682 18860 1111 63 0 19619 0
vsize: 78728
[startup+540.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104293 0 0 0 53733 272 0 0 25 0 1 0 905156895 80666624 18872 4294967295 134512640 134716908 3221224576 3221222272 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19694 18872 1111 63 0 19631 0
vsize: 78776
[startup+550.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104303 0 0 0 54733 273 0 0 25 0 1 0 905156895 80707584 18882 4294967295 134512640 134716908 3221224576 3221222720 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19704 18882 1111 63 0 19641 0
vsize: 78816
[startup+560.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104314 0 0 0 55733 273 0 0 25 0 1 0 905156895 80752640 18893 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19715 18893 1111 63 0 19652 0
vsize: 78860
[startup+570.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104325 0 0 0 56733 273 0 0 25 0 1 0 905156895 80797696 18904 4294967295 134512640 134716908 3221224576 3221222640 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19726 18904 1111 63 0 19663 0
vsize: 78904
[startup+580.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104336 0 0 0 57733 273 0 0 25 0 1 0 905156895 80842752 18915 4294967295 134512640 134716908 3221224576 3221222592 1074153751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19737 18915 1111 63 0 19674 0
vsize: 78948
[startup+590.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104348 0 0 0 58733 273 0 0 25 0 1 0 905156895 80891904 18927 4294967295 134512640 134716908 3221224576 3221222544 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19749 18927 1111 63 0 19686 0
vsize: 78996
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104358 0 0 0 59733 274 0 0 25 0 1 0 905156895 80932864 18937 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19759 18937 1111 63 0 19696 0
vsize: 79036
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104801 0 0 0 60732 275 0 0 25 0 1 0 905156895 82747392 19380 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20202 19380 1111 63 0 20139 0
vsize: 80808
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104816 0 0 0 61731 276 0 0 25 0 1 0 905156895 82808832 19395 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20217 19395 1111 63 0 20154 0
vsize: 80868
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104832 0 0 0 62731 276 0 0 25 0 1 0 905156895 82874368 19411 4294967295 134512640 134716908 3221224576 3221222592 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20233 19411 1111 63 0 20170 0
vsize: 80932
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104846 0 0 0 63731 277 0 0 25 0 1 0 905156895 82931712 19425 4294967295 134512640 134716908 3221224576 3221222688 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20247 19425 1111 63 0 20184 0
vsize: 80988
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104861 0 0 0 64731 277 0 0 25 0 1 0 905156895 82993152 19440 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20262 19440 1111 63 0 20199 0
vsize: 81048
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104876 0 0 0 65731 277 0 0 25 0 1 0 905156895 83054592 19455 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20277 19455 1111 63 0 20214 0
vsize: 81108
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104891 0 0 0 66731 277 0 0 25 0 1 0 905156895 83116032 19470 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20292 19470 1111 63 0 20229 0
vsize: 81168
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104904 0 0 0 67731 277 0 0 25 0 1 0 905156895 83169280 19483 4294967295 134512640 134716908 3221224576 3221222528 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20305 19483 1111 63 0 20242 0
vsize: 81220
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104916 0 0 0 68731 277 0 0 25 0 1 0 905156895 83218432 19495 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20317 19495 1111 63 0 20254 0
vsize: 81268
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104930 0 0 0 69730 278 0 0 25 0 1 0 905156895 83275776 19509 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20331 19509 1111 63 0 20268 0
vsize: 81324
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104943 0 0 0 70730 279 0 0 25 0 1 0 905156895 83329024 19522 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20344 19522 1111 63 0 20281 0
vsize: 81376
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104958 0 0 0 71730 279 0 0 25 0 1 0 905156895 83390464 19537 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20359 19537 1111 63 0 20296 0
vsize: 81436
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104970 0 0 0 72730 279 0 0 25 0 1 0 905156895 83439616 19549 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20371 19549 1111 63 0 20308 0
vsize: 81484
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104984 0 0 0 73730 280 0 0 25 0 1 0 905156895 83496960 19563 4294967295 134512640 134716908 3221224576 3221222768 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20385 19563 1111 63 0 20322 0
vsize: 81540
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 104997 0 0 0 74730 280 0 0 25 0 1 0 905156895 83550208 19576 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20398 19576 1111 63 0 20335 0
vsize: 81592
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105011 0 0 0 75730 280 0 0 25 0 1 0 905156895 83607552 19590 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20412 19590 1111 63 0 20349 0
vsize: 81648
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105026 0 0 0 76730 281 0 0 25 0 1 0 905156895 83668992 19605 4294967295 134512640 134716908 3221224576 3221222688 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20427 19605 1111 63 0 20364 0
vsize: 81708
[startup+780.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105036 0 0 0 77729 281 0 0 25 0 1 0 905156895 83709952 19615 4294967295 134512640 134716908 3221224576 3221222720 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20437 19615 1111 63 0 20374 0
vsize: 81748
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105048 0 0 0 78729 281 0 0 25 0 1 0 905156895 83759104 19627 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20449 19627 1111 63 0 20386 0
vsize: 81796
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105060 0 0 0 79729 281 0 0 25 0 1 0 905156895 83808256 19639 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20461 19639 1111 63 0 20398 0
vsize: 81844
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105074 0 0 0 80729 282 0 0 25 0 1 0 905156895 83865600 19653 4294967295 134512640 134716908 3221224576 3221222544 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20475 19653 1111 63 0 20412 0
vsize: 81900
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105086 0 0 0 81729 282 0 0 25 0 1 0 905156895 83914752 19665 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20487 19665 1111 63 0 20424 0
vsize: 81948
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105098 0 0 0 82729 282 0 0 25 0 1 0 905156895 83963904 19677 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20499 19677 1111 63 0 20436 0
vsize: 81996
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105127 0 0 0 83729 282 0 0 25 0 1 0 905156895 84082688 19706 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20528 19706 1111 63 0 20465 0
vsize: 82112
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105138 0 0 0 84729 283 0 0 25 0 1 0 905156895 84127744 19717 4294967295 134512640 134716908 3221224576 3221222528 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20539 19717 1111 63 0 20476 0
vsize: 82156
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105150 0 0 0 85729 283 0 0 25 0 1 0 905156895 84176896 19729 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20551 19729 1111 63 0 20488 0
vsize: 82204
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105160 0 0 0 86729 284 0 0 25 0 1 0 905156895 84217856 19739 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20561 19739 1111 63 0 20498 0
vsize: 82244
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105175 0 0 0 87729 284 0 0 25 0 1 0 905156895 84279296 19754 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20576 19754 1111 63 0 20513 0
vsize: 82304
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 105187 0 0 0 88729 284 0 0 25 0 1 0 905156895 84328448 19766 4294967295 134512640 134716908 3221224576 3221222528 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20588 19766 1111 63 0 20525 0
vsize: 82352
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 109884 0 0 0 89720 293 0 0 25 0 1 0 905156895 96591872 22796 4294967295 134512640 134716908 3221224576 3221222480 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23582 22796 1111 63 0 23519 0
vsize: 94328
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 115636 0 0 0 90707 306 0 0 25 0 1 0 905156895 119570432 25191 4294967295 134512640 134716908 3221224576 3221220628 1075964437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29192 25191 1111 63 0 29129 0
vsize: 116768
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 116859 0 0 0 91704 309 0 0 25 0 1 0 905156895 119570432 26412 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29192 26412 1111 63 0 29129 0
vsize: 116768
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117045 0 0 0 92704 310 0 0 25 0 1 0 905156895 115036160 25434 4294967295 134512640 134716908 3221224576 3221220624 1074969465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28085 25434 1111 63 0 28022 0
vsize: 112340
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117156 0 0 0 93703 310 0 0 25 0 1 0 905156895 115564544 25543 4294967295 134512640 134716908 3221224576 3221220752 1074961143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28214 25543 1111 63 0 28151 0
vsize: 112856
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117289 0 0 0 94703 311 0 0 25 0 1 0 905156895 116121600 25674 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28350 25674 1111 63 0 28287 0
vsize: 113400
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117412 0 0 0 95703 311 0 0 25 0 1 0 905156895 116707328 25795 4294967295 134512640 134716908 3221224576 3221220816 1075114277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28493 25795 1111 63 0 28430 0
vsize: 113972
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117521 0 0 0 96703 311 0 0 25 0 1 0 905156895 117313536 25902 4294967295 134512640 134716908 3221224576 3221220708 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28641 25902 1111 63 0 28578 0
vsize: 114564
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117619 0 0 0 97703 312 0 0 25 0 1 0 905156895 117956608 25998 4294967295 134512640 134716908 3221224576 3221220428 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28798 25998 1111 63 0 28735 0
vsize: 115192
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117875 0 0 0 98703 312 0 0 25 0 1 0 905156895 118628352 26252 4294967295 134512640 134716908 3221224576 3221220440 1075964740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28962 26252 1111 63 0 28899 0
vsize: 115848
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117917 0 0 0 99703 312 0 0 25 0 1 0 905156895 118628352 26292 4294967295 134512640 134716908 3221224576 3221220524 1074873504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28962 26292 1111 63 0 28899 0
vsize: 115848
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117938 0 0 0 100703 312 0 0 25 0 1 0 905156895 118628352 26309 4294967295 134512640 134716908 3221224576 3221220524 1074873478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28962 26309 1111 63 0 28899 0
vsize: 115848
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117946 0 0 0 101703 312 0 0 25 0 1 0 905156895 118628352 26315 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28962 26315 1111 63 0 28899 0
vsize: 115848
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117971 0 0 0 102703 312 0 0 25 0 1 0 905156895 118628352 26338 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28962 26338 1111 63 0 28899 0
vsize: 115848
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117991 0 0 0 103703 313 0 0 25 0 1 0 905156895 118628352 26356 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28962 26356 1111 63 0 28899 0
vsize: 115848
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117991 0 0 0 104703 313 0 0 25 0 1 0 905156895 118628352 26356 4294967295 134512640 134716908 3221224576 3221220640 1075095169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28962 26356 1111 63 0 28899 0
vsize: 115848
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117993 0 0 0 105703 313 0 0 25 0 1 0 905156895 118628352 26356 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28962 26356 1111 63 0 28899 0
vsize: 115848
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 117995 0 0 0 106703 313 0 0 25 0 1 0 905156895 118628352 26356 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28962 26356 1111 63 0 28899 0
vsize: 115848
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118074 0 0 0 107703 313 0 0 25 0 1 0 905156895 119345152 26433 4294967295 134512640 134716908 3221224576 3221220640 1075093367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29137 26433 1111 63 0 29074 0
vsize: 116548
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118120 0 0 0 108704 313 0 0 25 0 1 0 905156895 119345152 26477 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29137 26477 1111 63 0 29074 0
vsize: 116548
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118120 0 0 0 109704 313 0 0 25 0 1 0 905156895 119345152 26477 4294967295 134512640 134716908 3221224576 3221220688 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29137 26477 1111 63 0 29074 0
vsize: 116548
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118127 0 0 0 110704 313 0 0 25 0 1 0 905156895 119345152 26482 4294967295 134512640 134716908 3221224576 3221220752 1074961267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29137 26482 1111 63 0 29074 0
vsize: 116548
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118130 0 0 0 111704 313 0 0 25 0 1 0 905156895 119345152 26483 4294967295 134512640 134716908 3221224576 3221220388 1074786556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29137 26483 1111 63 0 29074 0
vsize: 116548
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118153 0 0 0 112704 313 0 0 25 0 1 0 905156895 119345152 26504 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29137 26504 1111 63 0 29074 0
vsize: 116548
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118160 0 0 0 113704 313 0 0 25 0 1 0 905156895 119345152 26509 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29137 26509 1111 63 0 29074 0
vsize: 116548
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118160 0 0 0 114704 313 0 0 25 0 1 0 905156895 119345152 26509 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29137 26509 1111 63 0 29074 0
vsize: 116548
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118162 0 0 0 115705 313 0 0 25 0 1 0 905156895 119345152 26509 4294967295 134512640 134716908 3221224576 3221220688 1074815188 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29137 26509 1111 63 0 29074 0
vsize: 116548
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118170 0 0 0 116705 313 0 0 25 0 1 0 905156895 119345152 26515 4294967295 134512640 134716908 3221224576 3221220364 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29137 26515 1111 63 0 29074 0
vsize: 116548
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118194 0 0 0 117705 313 0 0 25 0 1 0 905156895 119345152 26537 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29137 26537 1111 63 0 29074 0
vsize: 116548
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118212 0 0 0 118705 313 0 0 25 0 1 0 905156895 119345152 26553 4294967295 134512640 134716908 3221224576 3221220688 1074815241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29137 26553 1111 63 0 29074 0
vsize: 116548
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) R 581 20224 20223 0 -1 0 118216 0 0 0 119705 313 0 0 25 0 1 0 905156895 119676928 26557 4294967295 134512640 134716908 3221224576 3221221248 1076084226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29218 26557 1111 63 0 29155 0
vsize: 116872
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 582
Raw data (stat): 582 (bsolo_lpr_cuts-) Z 581 20224 20223 0 -1 1036 118216 0 0 0 119705 318 0 0 25 0 1 0 905156895 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.09
CPU time (s): 1200.25
CPU user time (s): 1197.06
CPU system time (s): 3.18751
CPU usage (%): 100.013
Max. virtual memory (Kb): 116872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####