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 39634

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        254528 kB
Buffers:         34704 kB
Cached:         720972 kB
SwapCached:       1164 kB
Active:          66224 kB
Inactive:       691912 kB
HighTotal:      131008 kB
HighFree:         2100 kB
LowTotal:       903652 kB
LowFree:        252428 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            16364 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 15:32:24 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 27698 7 1200.19 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 234.677 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.62 0.84 0.87 2/54 26790
Raw data (stat): 26790 (runsolver) R 26789 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893981567 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.0007 s]
Raw data (loadavg): 0.68 0.85 0.87 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 8385 0 0 0 973 24 0 0 25 0 1 0 893981567 47525888 8305 4294967295 134512640 134716908 3221224576 3221223028 134674818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11603 8305 1111 63 0 11540 0
vsize: 46412
[startup+20.002 s]
Raw data (loadavg): 0.73 0.85 0.87 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 57927 0 0 0 1850 147 0 0 25 0 1 0 893981567 50454528 11473 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12318 11473 1111 63 0 12255 0
vsize: 49272
[startup+30.0027 s]
Raw data (loadavg): 0.77 0.86 0.87 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 79358 0 0 0 2796 201 0 0 25 0 1 0 893981567 54071296 12356 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13201 12356 1111 63 0 13138 0
vsize: 52804
[startup+40.0029 s]
Raw data (loadavg): 0.80 0.86 0.87 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 83415 0 0 0 3786 211 0 0 25 0 1 0 893981567 56373248 12912 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13763 12912 1111 63 0 13700 0
vsize: 55052
[startup+50.0041 s]
Raw data (loadavg): 0.83 0.87 0.87 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 88231 0 0 0 4774 223 0 0 25 0 1 0 893981567 69177344 16020 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16889 16020 1111 63 0 16826 0
vsize: 67556
[startup+60.0037 s]
Raw data (loadavg): 0.86 0.87 0.87 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 88489 0 0 0 5774 224 0 0 25 0 1 0 893981567 69177344 16044 4294967295 134512640 134716908 3221224576 3221223056 134536643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16889 16044 1111 63 0 16826 0
vsize: 67556
[startup+70.0046 s]
Raw data (loadavg): 0.88 0.87 0.87 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 88489 0 0 0 6773 224 0 0 25 0 1 0 893981567 69177344 16044 4294967295 134512640 134716908 3221224576 3221223152 134535745 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.005 s]
Raw data (loadavg): 0.90 0.88 0.88 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 89691 0 0 0 7771 227 0 0 25 0 1 0 893981567 69177344 16044 4294967295 134512640 134716908 3221224576 3221222984 134543652 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.0046 s]
Raw data (loadavg): 0.91 0.88 0.88 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 92947 0 0 0 8762 236 0 0 25 0 1 0 893981567 69177344 16044 4294967295 134512640 134716908 3221224576 3221223056 134539471 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.005 s]
Raw data (loadavg): 0.93 0.88 0.88 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 96478 0 0 0 9754 245 0 0 25 0 1 0 893981567 72642560 16889 4294967295 134512640 134716908 3221224576 3221222940 134539235 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.89 0.88 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 97616 0 0 0 10751 247 0 0 25 0 1 0 893981567 73482240 17068 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17940 17074 1111 63 0 17877 0
vsize: 71760
[startup+120.006 s]
Raw data (loadavg): 0.95 0.89 0.88 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 99385 0 0 0 11747 252 0 0 25 0 1 0 893981567 72642560 16890 4294967295 134512640 134716908 3221224576 3221222960 134542365 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.006 s]
Raw data (loadavg): 0.95 0.89 0.88 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 100056 0 0 0 12746 253 0 0 25 0 1 0 893981567 75390976 17561 4294967295 134512640 134716908 3221224576 3221223216 134594970 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.005 s]
Raw data (loadavg): 0.96 0.90 0.88 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 100579 0 0 0 13745 254 0 0 25 0 1 0 893981567 75808768 17663 4294967295 134512640 134716908 3221224576 3221223192 134536900 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.006 s]
Raw data (loadavg): 0.97 0.90 0.88 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 101969 0 0 0 14741 258 0 0 25 0 1 0 893981567 75808768 17663 4294967295 134512640 134716908 3221224576 3221223056 134539376 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.006 s]
Raw data (loadavg): 0.97 0.90 0.88 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103645 0 0 0 15737 262 0 0 25 0 1 0 893981567 78106624 18224 4294967295 134512640 134716908 3221224576 3221223064 134543614 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.006 s]
Raw data (loadavg): 0.97 0.91 0.88 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103645 0 0 0 16738 262 0 0 25 0 1 0 893981567 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.006 s]
Raw data (loadavg): 0.98 0.91 0.89 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103645 0 0 0 17738 262 0 0 25 0 1 0 893981567 78106624 18224 4294967295 134512640 134716908 3221224576 3221223228 134558608 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.006 s]
Raw data (loadavg): 0.98 0.91 0.89 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103645 0 0 0 18738 262 0 0 25 0 1 0 893981567 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.006 s]
Raw data (loadavg): 0.98 0.91 0.89 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103645 0 0 0 19738 262 0 0 25 0 1 0 893981567 78106624 18224 4294967295 134512640 134716908 3221224576 3221223224 134558492 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.006 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103645 0 0 0 20738 262 0 0 25 0 1 0 893981567 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.007 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103645 0 0 0 21738 262 0 0 25 0 1 0 893981567 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.007 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103646 0 0 0 22738 262 0 0 25 0 1 0 893981567 78106624 18225 4294967295 134512640 134716908 3221224576 3221223352 134558490 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.007 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103667 0 0 0 23738 262 0 0 25 0 1 0 893981567 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+250.007 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103667 0 0 0 24738 262 0 0 25 0 1 0 893981567 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+260.008 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103667 0 0 0 25738 262 0 0 25 0 1 0 893981567 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.008 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103667 0 0 0 26739 262 0 0 25 0 1 0 893981567 78106624 18246 4294967295 134512640 134716908 3221224576 3221222744 1074138166 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.008 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103667 0 0 0 27739 262 0 0 25 0 1 0 893981567 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153779 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.009 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103667 0 0 0 28739 262 0 0 25 0 1 0 893981567 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+300.009 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103667 0 0 0 29739 262 0 0 25 0 1 0 893981567 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+310.008 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103667 0 0 0 30739 263 0 0 25 0 1 0 893981567 78106624 18246 4294967295 134512640 134716908 3221224576 3221222768 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.009 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103667 0 0 0 31739 263 0 0 25 0 1 0 893981567 78106624 18246 4294967295 134512640 134716908 3221224576 3221222576 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+330.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103978 0 0 0 32738 264 0 0 25 0 1 0 893981567 79376384 18557 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19379 18557 1111 63 0 19316 0
vsize: 77516
[startup+340.009 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 103999 0 0 0 33738 264 0 0 25 0 1 0 893981567 79462400 18578 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19400 18578 1111 63 0 19337 0
vsize: 77600
[startup+350.009 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104020 0 0 0 34738 264 0 0 25 0 1 0 893981567 79548416 18599 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19421 18599 1111 63 0 19358 0
vsize: 77684
[startup+360.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104039 0 0 0 35738 265 0 0 25 0 1 0 893981567 79626240 18618 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19440 18618 1111 63 0 19377 0
vsize: 77760
[startup+370.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104058 0 0 0 36738 265 0 0 25 0 1 0 893981567 79704064 18637 4294967295 134512640 134716908 3221224576 3221222816 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19459 18637 1111 63 0 19396 0
vsize: 77836
[startup+380.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104076 0 0 0 37737 266 0 0 25 0 1 0 893981567 79777792 18655 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19477 18655 1111 63 0 19414 0
vsize: 77908
[startup+390.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104093 0 0 0 38737 266 0 0 25 0 1 0 893981567 79847424 18672 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19494 18672 1111 63 0 19431 0
vsize: 77976
[startup+400.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104109 0 0 0 39737 267 0 0 25 0 1 0 893981567 79912960 18688 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19510 18688 1111 63 0 19447 0
vsize: 78040
[startup+410.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104125 0 0 0 40737 267 0 0 25 0 1 0 893981567 79978496 18704 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19526 18704 1111 63 0 19463 0
vsize: 78104
[startup+420.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104139 0 0 0 41737 267 0 0 25 0 1 0 893981567 80035840 18718 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19540 18718 1111 63 0 19477 0
vsize: 78160
[startup+430.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104155 0 0 0 42737 267 0 0 25 0 1 0 893981567 80101376 18734 4294967295 134512640 134716908 3221224576 3221222688 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19556 18734 1111 63 0 19493 0
vsize: 78224
[startup+440.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104170 0 0 0 43736 268 0 0 25 0 1 0 893981567 80162816 18749 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19571 18749 1111 63 0 19508 0
vsize: 78284
[startup+450.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104183 0 0 0 44736 268 0 0 25 0 1 0 893981567 80216064 18762 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19584 18762 1111 63 0 19521 0
vsize: 78336
[startup+460.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104197 0 0 0 45736 269 0 0 25 0 1 0 893981567 80273408 18776 4294967295 134512640 134716908 3221224576 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19598 18776 1111 63 0 19535 0
vsize: 78392
[startup+470.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104210 0 0 0 46736 269 0 0 25 0 1 0 893981567 80326656 18789 4294967295 134512640 134716908 3221224576 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19611 18789 1111 63 0 19548 0
vsize: 78444
[startup+480.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104224 0 0 0 47736 269 0 0 25 0 1 0 893981567 80384000 18803 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19625 18803 1111 63 0 19562 0
vsize: 78500
[startup+490.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104237 0 0 0 48736 270 0 0 25 0 1 0 893981567 80437248 18816 4294967295 134512640 134716908 3221224576 3221222768 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19638 18816 1111 63 0 19575 0
vsize: 78552
[startup+500.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104249 0 0 0 49736 270 0 0 25 0 1 0 893981567 80486400 18828 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19650 18828 1111 63 0 19587 0
vsize: 78600
[startup+510.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104262 0 0 0 50735 270 0 0 25 0 1 0 893981567 80539648 18841 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19663 18841 1111 63 0 19600 0
vsize: 78652
[startup+520.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104273 0 0 0 51735 271 0 0 25 0 1 0 893981567 80584704 18852 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19674 18852 1111 63 0 19611 0
vsize: 78696
[startup+530.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104285 0 0 0 52735 271 0 0 25 0 1 0 893981567 80633856 18864 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19686 18864 1111 63 0 19623 0
vsize: 78744
[startup+540.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104296 0 0 0 53735 271 0 0 25 0 1 0 893981567 80678912 18875 4294967295 134512640 134716908 3221224576 3221222768 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19697 18875 1111 63 0 19634 0
vsize: 78788
[startup+550.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104308 0 0 0 54735 271 0 0 25 0 1 0 893981567 80728064 18887 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19709 18887 1111 63 0 19646 0
vsize: 78836
[startup+560.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104319 0 0 0 55735 272 0 0 25 0 1 0 893981567 80773120 18898 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18898 1111 63 0 19657 0
vsize: 78880
[startup+570.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104331 0 0 0 56734 272 0 0 25 0 1 0 893981567 80822272 18910 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19732 18910 1111 63 0 19669 0
vsize: 78928
[startup+580.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104341 0 0 0 57735 272 0 0 25 0 1 0 893981567 80863232 18920 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19742 18920 1111 63 0 19679 0
vsize: 78968
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104352 0 0 0 58734 273 0 0 25 0 1 0 893981567 80908288 18931 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19753 18931 1111 63 0 19690 0
vsize: 79012
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104363 0 0 0 59734 273 0 0 25 0 1 0 893981567 80953344 18942 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19764 18942 1111 63 0 19701 0
vsize: 79056
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104811 0 0 0 60733 275 0 0 25 0 1 0 893981567 82788352 19390 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20212 19390 1111 63 0 20149 0
vsize: 80848
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104825 0 0 0 61733 275 0 0 25 0 1 0 893981567 82845696 19404 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20226 19404 1111 63 0 20163 0
vsize: 80904
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104841 0 0 0 62733 275 0 0 25 0 1 0 893981567 82911232 19420 4294967295 134512640 134716908 3221224576 3221222576 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20242 19420 1111 63 0 20179 0
vsize: 80968
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104855 0 0 0 63732 275 0 0 25 0 1 0 893981567 82968576 19434 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20256 19434 1111 63 0 20193 0
vsize: 81024
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104870 0 0 0 64732 276 0 0 25 0 1 0 893981567 83030016 19449 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20271 19449 1111 63 0 20208 0
vsize: 81084
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104885 0 0 0 65732 276 0 0 25 0 1 0 893981567 83091456 19464 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20286 19464 1111 63 0 20223 0
vsize: 81144
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104900 0 0 0 66732 276 0 0 25 0 1 0 893981567 83152896 19479 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20301 19479 1111 63 0 20238 0
vsize: 81204
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104913 0 0 0 67732 277 0 0 25 0 1 0 893981567 83206144 19492 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20314 19492 1111 63 0 20251 0
vsize: 81256
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104928 0 0 0 68732 277 0 0 25 0 1 0 893981567 83267584 19507 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20329 19507 1111 63 0 20266 0
vsize: 81316
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104942 0 0 0 69732 277 0 0 25 0 1 0 893981567 83324928 19521 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20343 19521 1111 63 0 20280 0
vsize: 81372
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104955 0 0 0 70732 277 0 0 25 0 1 0 893981567 83378176 19534 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20356 19534 1111 63 0 20293 0
vsize: 81424
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104970 0 0 0 71732 278 0 0 25 0 1 0 893981567 83439616 19549 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20371 19549 1111 63 0 20308 0
vsize: 81484
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104982 0 0 0 72732 278 0 0 25 0 1 0 893981567 83488768 19561 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20383 19561 1111 63 0 20320 0
vsize: 81532
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 104997 0 0 0 73732 278 0 0 25 0 1 0 893981567 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+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 105011 0 0 0 74732 278 0 0 25 0 1 0 893981567 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+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 105024 0 0 0 75732 278 0 0 25 0 1 0 893981567 83660800 19603 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20425 19603 1111 63 0 20362 0
vsize: 81700
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 105036 0 0 0 76732 278 0 0 25 0 1 0 893981567 83709952 19615 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20437 19615 1111 63 0 20374 0
vsize: 81748
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 105048 0 0 0 77732 278 0 0 25 0 1 0 893981567 83759104 19627 4294967295 134512640 134716908 3221224576 3221222688 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20449 19627 1111 63 0 20386 0
vsize: 81796
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 105062 0 0 0 78732 279 0 0 25 0 1 0 893981567 83816448 19641 4294967295 134512640 134716908 3221224576 3221222736 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20463 19641 1111 63 0 20400 0
vsize: 81852
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 105075 0 0 0 79731 279 0 0 25 0 1 0 893981567 83869696 19654 4294967295 134512640 134716908 3221224576 3221222736 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20476 19654 1111 63 0 20413 0
vsize: 81904
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 105086 0 0 0 80731 279 0 0 25 0 1 0 893981567 83914752 19665 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20487 19665 1111 63 0 20424 0
vsize: 81948
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 105115 0 0 0 81730 280 0 0 25 0 1 0 893981567 84033536 19694 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20516 19694 1111 63 0 20453 0
vsize: 82064
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 105127 0 0 0 82730 280 0 0 25 0 1 0 893981567 84082688 19706 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20528 19706 1111 63 0 20465 0
vsize: 82112
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 105141 0 0 0 83729 281 0 0 25 0 1 0 893981567 84140032 19720 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20542 19720 1111 63 0 20479 0
vsize: 82168
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 105151 0 0 0 84729 281 0 0 25 0 1 0 893981567 84180992 19730 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20552 19730 1111 63 0 20489 0
vsize: 82208
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 105163 0 0 0 85728 282 0 0 25 0 1 0 893981567 84230144 19742 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20564 19742 1111 63 0 20501 0
vsize: 82256
[startup+870.016 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 105177 0 0 0 86728 282 0 0 25 0 1 0 893981567 84287488 19756 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20578 19756 1111 63 0 20515 0
vsize: 82312
[startup+880.017 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 105192 0 0 0 87727 283 0 0 25 0 1 0 893981567 84348928 19771 4294967295 134512640 134716908 3221224576 3221222480 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20593 19771 1111 63 0 20530 0
vsize: 82372
[startup+890.017 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 112359 0 0 0 88711 299 0 0 25 0 1 0 893981567 108023808 23355 4294967295 134512640 134716908 3221224576 3221221672 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26373 23355 1111 63 0 26310 0
vsize: 105492
[startup+900.018 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 115670 0 0 0 89703 307 0 0 25 0 1 0 893981567 119570432 25225 4294967295 134512640 134716908 3221224576 3221220688 1074815241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29192 25225 1111 63 0 29129 0
vsize: 116768
[startup+910.019 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 116995 0 0 0 90699 311 0 0 25 0 1 0 893981567 115036160 25384 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28085 25384 1111 63 0 28022 0
vsize: 112340
[startup+920.019 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 117112 0 0 0 91699 311 0 0 25 0 1 0 893981567 115564544 25499 4294967295 134512640 134716908 3221224576 3221220624 1074969465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28214 25499 1111 63 0 28151 0
vsize: 112856
[startup+930.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 117244 0 0 0 92698 312 0 0 25 0 1 0 893981567 116121600 25629 4294967295 134512640 134716908 3221224576 3221220688 1074815259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28350 25629 1111 63 0 28287 0
vsize: 113400
[startup+940.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 117382 0 0 0 93698 313 0 0 25 0 1 0 893981567 116707328 25765 4294967295 134512640 134716908 3221224576 3221220640 1075095124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28493 25765 1111 63 0 28430 0
vsize: 113972
[startup+950.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 117493 0 0 0 94697 313 0 0 25 0 1 0 893981567 117313536 25874 4294967295 134512640 134716908 3221224576 3221220592 1075895659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28641 25874 1111 63 0 28578 0
vsize: 114564
[startup+960.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 117572 0 0 0 95697 314 0 0 25 0 1 0 893981567 117956608 25951 4294967295 134512640 134716908 3221224576 3221220700 1076111372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28798 25951 1111 63 0 28735 0
vsize: 115192
[startup+970.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 117846 0 0 0 96697 314 0 0 25 0 1 0 893981567 118628352 26223 4294967295 134512640 134716908 3221224576 3221220524 1074873537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28962 26223 1111 63 0 28899 0
vsize: 115848
[startup+980.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 117889 0 0 0 97697 314 0 0 25 0 1 0 893981567 118628352 26266 4294967295 134512640 134716908 3221224576 3221220608 1075112103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28962 26266 1111 63 0 28899 0
vsize: 115848
[startup+990.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 117926 0 0 0 98696 315 0 0 25 0 1 0 893981567 118628352 26299 4294967295 134512640 134716908 3221224576 3221220440 1075964745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28962 26299 1111 63 0 28899 0
vsize: 115848
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 117939 0 0 0 99696 315 0 0 25 0 1 0 893981567 118628352 26310 4294967295 134512640 134716908 3221224576 3221220524 1074873504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28962 26310 1111 63 0 28899 0
vsize: 115848
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 117946 0 0 0 100696 316 0 0 25 0 1 0 893981567 118628352 26315 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28962 26315 1111 63 0 28899 0
vsize: 115848
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 117971 0 0 0 101696 316 0 0 25 0 1 0 893981567 118628352 26338 4294967295 134512640 134716908 3221224576 3221220492 1074788915 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28962 26338 1111 63 0 28899 0
vsize: 115848
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 117991 0 0 0 102695 316 0 0 25 0 1 0 893981567 118628352 26356 4294967295 134512640 134716908 3221224576 3221220524 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28962 26356 1111 63 0 28899 0
vsize: 115848
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 117993 0 0 0 103695 316 0 0 25 0 1 0 893981567 118628352 26356 4294967295 134512640 134716908 3221224576 3221220524 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28962 26356 1111 63 0 28899 0
vsize: 115848
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 117995 0 0 0 104695 317 0 0 25 0 1 0 893981567 118960128 26358 4294967295 134512640 134716908 3221224576 3221221520 1075971386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29043 26358 1111 63 0 28980 0
vsize: 116172
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 117996 0 0 0 105694 317 0 0 25 0 1 0 893981567 118628352 26357 4294967295 134512640 134716908 3221224576 3221220524 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28962 26357 1111 63 0 28899 0
vsize: 115848
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 118083 0 0 0 106694 318 0 0 25 0 1 0 893981567 119345152 26442 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29137 26442 1111 63 0 29074 0
vsize: 116548
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 118120 0 0 0 107694 318 0 0 25 0 1 0 893981567 119345152 26477 4294967295 134512640 134716908 3221224576 3221220640 1074883509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29137 26477 1111 63 0 29074 0
vsize: 116548
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 118127 0 0 0 108693 318 0 0 25 0 1 0 893981567 119345152 26482 4294967295 134512640 134716908 3221224576 3221220752 1074961301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29137 26482 1111 63 0 29074 0
vsize: 116548
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 118127 0 0 0 109693 319 0 0 25 0 1 0 893981567 119345152 26482 4294967295 134512640 134716908 3221224576 3221220708 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29137 26482 1111 63 0 29074 0
vsize: 116548
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 118130 0 0 0 110693 319 0 0 25 0 1 0 893981567 119345152 26483 4294967295 134512640 134716908 3221224576 3221220752 1074961149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29137 26483 1111 63 0 29074 0
vsize: 116548
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 118154 0 0 0 111693 319 0 0 25 0 1 0 893981567 119345152 26505 4294967295 134512640 134716908 3221224576 3221220688 1074815488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29137 26505 1111 63 0 29074 0
vsize: 116548
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 118160 0 0 0 112693 320 0 0 25 0 1 0 893981567 119345152 26509 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29137 26509 1111 63 0 29074 0
vsize: 116548
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 118162 0 0 0 113692 320 0 0 25 0 1 0 893981567 119345152 26509 4294967295 134512640 134716908 3221224576 3221220688 1074815231 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29137 26509 1111 63 0 29074 0
vsize: 116548
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 118162 0 0 0 114692 320 0 0 25 0 1 0 893981567 119345152 26509 4294967295 134512640 134716908 3221224576 3221220708 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29137 26509 1111 63 0 29074 0
vsize: 116548
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 118170 0 0 0 115692 321 0 0 25 0 1 0 893981567 119345152 26515 4294967295 134512640 134716908 3221224576 3221220524 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29137 26515 1111 63 0 29074 0
vsize: 116548
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 118194 0 0 0 116691 321 0 0 25 0 1 0 893981567 119345152 26537 4294967295 134512640 134716908 3221224576 3221220752 1074961244 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29137 26537 1111 63 0 29074 0
vsize: 116548
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 118212 0 0 0 117691 322 0 0 25 0 1 0 893981567 119345152 26553 4294967295 134512640 134716908 3221224576 3221220544 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29137 26553 1111 63 0 29074 0
vsize: 116548
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 118219 0 0 0 118691 322 0 0 25 0 1 0 893981567 119345152 26558 4294967295 134512640 134716908 3221224576 3221220752 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29137 26558 1111 63 0 29074 0
vsize: 116548
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) R 26789 31399 31398 0 -1 0 118220 0 0 0 119691 322 0 0 25 0 1 0 893981567 119345152 26559 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29137 26559 1111 63 0 29074 0
vsize: 116548
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 26790
Raw data (stat): 26790 (bsolo_lpr-v2) Z 26789 31399 31398 0 -1 1036 118220 0 0 0 119691 327 0 0 25 0 1 0 893981567 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.08
CPU time (s): 1200.19
CPU user time (s): 1196.91
CPU system time (s): 3.2775
CPU usage (%): 100.009
Max. virtual memory (Kb): 116768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####