PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3703.opb
MD5SUM	15d69bc05970e4bbd20708cb8fb70185
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	104999
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39166356584
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39166356584
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.97585
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 40443

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        881064 kB
Buffers:         17108 kB
Cached:         113980 kB
SwapCached:        696 kB
Active:          29472 kB
Inactive:       103740 kB
HighTotal:      131008 kB
HighFree:        26908 kB
LowTotal:       903652 kB
LowFree:        854156 kB
SwapTotal:     2097136 kB
SwapFree:      2095476 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            14716 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 10:49:09 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 28509 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.98 0.93 1/54 18282
Raw data (stat): 18282 (runsolver) R 18281 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900919313 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.0008 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 1160 0 0 0 994 4 0 0 25 0 1 0 900919313 16052224 1080 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1080 1111 63 0 3856 0
vsize: 15676
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 1407 0 0 0 1994 4 0 0 25 0 1 0 900919313 17178624 1327 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4194 1327 1111 63 0 4131 0
vsize: 16776
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 1657 0 0 0 2994 5 0 0 25 0 1 0 900919313 18178048 1577 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4438 1577 1111 63 0 4375 0
vsize: 17752
[startup+40.001 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 1905 0 0 0 3993 5 0 0 25 0 1 0 900919313 19165184 1825 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 1825 1111 63 0 4616 0
vsize: 18716
[startup+50.0011 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 2153 0 0 0 4993 6 0 0 25 0 1 0 900919313 20152320 2073 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4920 2073 1111 63 0 4857 0
vsize: 19680
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 2406 0 0 0 5993 6 0 0 25 0 1 0 900919313 21274624 2326 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5194 2326 1111 63 0 5131 0
vsize: 20776
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 2660 0 0 0 6993 6 0 0 25 0 1 0 900919313 22261760 2580 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5435 2580 1111 63 0 5372 0
vsize: 21740
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 2907 0 0 0 7993 7 0 0 25 0 1 0 900919313 23240704 2827 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 2827 1111 63 0 5611 0
vsize: 22696
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 3161 0 0 0 8993 7 0 0 25 0 1 0 900919313 24367104 3081 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5949 3081 1111 63 0 5886 0
vsize: 23796
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 3410 0 0 0 9992 7 0 0 25 0 1 0 900919313 25354240 3330 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6190 3330 1111 63 0 6127 0
vsize: 24760
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 3664 0 0 0 10992 8 0 0 25 0 1 0 900919313 26341376 3584 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 3584 1111 63 0 6368 0
vsize: 25724
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 3920 0 0 0 11992 8 0 0 25 0 1 0 900919313 27488256 3840 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6711 3840 1111 63 0 6648 0
vsize: 26844
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 4174 0 0 0 12992 9 0 0 25 0 1 0 900919313 28475392 4094 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6952 4094 1111 63 0 6889 0
vsize: 27808
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 4423 0 0 0 13991 9 0 0 25 0 1 0 900919313 29462528 4343 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7193 4343 1111 63 0 7130 0
vsize: 28772
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 4683 0 0 0 14991 9 0 0 25 0 1 0 900919313 30584832 4603 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7467 4603 1111 63 0 7404 0
vsize: 29868
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 4932 0 0 0 15991 10 0 0 25 0 1 0 900919313 31567872 4852 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7707 4852 1111 63 0 7644 0
vsize: 30828
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 5187 0 0 0 16990 11 0 0 25 0 1 0 900919313 32555008 5107 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7948 5107 1111 63 0 7885 0
vsize: 31792
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 5443 0 0 0 17990 11 0 0 25 0 1 0 900919313 33681408 5363 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8223 5363 1111 63 0 8160 0
vsize: 32892
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 5697 0 0 0 18990 11 0 0 25 0 1 0 900919313 34668544 5617 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8464 5617 1111 63 0 8401 0
vsize: 33856
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 5952 0 0 0 19990 12 0 0 25 0 1 0 900919313 35794944 5872 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8739 5872 1111 63 0 8676 0
vsize: 34956
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 6213 0 0 0 20989 12 0 0 25 0 1 0 900919313 36782080 6133 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8980 6133 1111 63 0 8917 0
vsize: 35920
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 6478 0 0 0 21989 13 0 0 25 0 1 0 900919313 37920768 6398 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 6398 1111 63 0 9195 0
vsize: 37032
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 6733 0 0 0 22989 13 0 0 25 0 1 0 900919313 39043072 6653 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9532 6653 1111 63 0 9469 0
vsize: 38128
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 6993 0 0 0 23988 14 0 0 25 0 1 0 900919313 40030208 6913 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9773 6913 1111 63 0 9710 0
vsize: 39092
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 7249 0 0 0 24988 14 0 0 25 0 1 0 900919313 41156608 7169 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10048 7169 1111 63 0 9985 0
vsize: 40192
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 7511 0 0 0 25988 15 0 0 25 0 1 0 900919313 42143744 7431 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10289 7431 1111 63 0 10226 0
vsize: 41156
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 7767 0 0 0 26988 15 0 0 25 0 1 0 900919313 43270144 7687 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10564 7687 1111 63 0 10501 0
vsize: 42256
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 8030 0 0 0 27987 16 0 0 25 0 1 0 900919313 44257280 7950 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10805 7950 1111 63 0 10742 0
vsize: 43220
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 8291 0 0 0 28987 16 0 0 25 0 1 0 900919313 45383680 8211 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11080 8211 1111 63 0 11017 0
vsize: 44320
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 8553 0 0 0 29987 16 0 0 25 0 1 0 900919313 46370816 8473 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11321 8473 1111 63 0 11258 0
vsize: 45284
[startup+310.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 8816 0 0 0 30986 17 0 0 25 0 1 0 900919313 47489024 8736 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11594 8736 1111 63 0 11531 0
vsize: 46376
[startup+320.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 9076 0 0 0 31986 18 0 0 25 0 1 0 900919313 48615424 8996 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11869 8996 1111 63 0 11806 0
vsize: 47476
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 9338 0 0 0 32985 18 0 0 25 0 1 0 900919313 49602560 9258 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12110 9258 1111 63 0 12047 0
vsize: 48440
[startup+340.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 9601 0 0 0 33985 19 0 0 25 0 1 0 900919313 50733056 9521 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12386 9521 1111 63 0 12323 0
vsize: 49544
[startup+350.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 9862 0 0 0 34984 19 0 0 25 0 1 0 900919313 51716096 9782 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12626 9782 1111 63 0 12563 0
vsize: 50504
[startup+360.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 10126 0 0 0 35984 20 0 0 25 0 1 0 900919313 52842496 10046 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12901 10046 1111 63 0 12838 0
vsize: 51604
[startup+370.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 10394 0 0 0 36984 20 0 0 25 0 1 0 900919313 53968896 10314 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13176 10314 1111 63 0 13113 0
vsize: 52704
[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 10656 0 0 0 37984 21 0 0 25 0 1 0 900919313 54960128 10576 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13418 10576 1111 63 0 13355 0
vsize: 53672
[startup+390.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 10925 0 0 0 38983 21 0 0 25 0 1 0 900919313 56086528 10845 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13693 10845 1111 63 0 13630 0
vsize: 54772
[startup+400.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 11187 0 0 0 39983 22 0 0 25 0 1 0 900919313 57212928 11107 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13968 11107 1111 63 0 13905 0
vsize: 55872
[startup+410.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 11454 0 0 0 40983 22 0 0 25 0 1 0 900919313 58331136 11374 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14241 11374 1111 63 0 14178 0
vsize: 56964
[startup+420.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 11722 0 0 0 41982 23 0 0 25 0 1 0 900919313 59318272 11642 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14482 11642 1111 63 0 14419 0
vsize: 57928
[startup+430.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 12002 0 0 0 42982 23 0 0 25 0 1 0 900919313 60674048 11922 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14813 11922 1111 63 0 14750 0
vsize: 59252
[startup+440.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 12276 0 0 0 43982 24 0 0 25 0 1 0 900919313 61792256 12196 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15086 12196 1111 63 0 15023 0
vsize: 60344
[startup+450.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 12539 0 0 0 44981 24 0 0 25 0 1 0 900919313 62779392 12459 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15327 12459 1111 63 0 15264 0
vsize: 61308
[startup+460.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 12814 0 0 0 45980 25 0 0 25 0 1 0 900919313 63905792 12734 4294967295 134512640 134716908 3221224576 3221223232 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15602 12734 1111 63 0 15539 0
vsize: 62408
[startup+470.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 13084 0 0 0 46980 26 0 0 25 0 1 0 900919313 65032192 13004 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15877 13004 1111 63 0 15814 0
vsize: 63508
[startup+480.006 s]
Raw data (loadavg): 1.07 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 13352 0 0 0 47980 26 0 0 25 0 1 0 900919313 66158592 13272 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16152 13272 1111 63 0 16089 0
vsize: 64608
[startup+490.005 s]
Raw data (loadavg): 1.06 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 13628 0 0 0 48980 26 0 0 25 0 1 0 900919313 67284992 13548 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16427 13548 1111 63 0 16364 0
vsize: 65708
[startup+500.006 s]
Raw data (loadavg): 1.05 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 13898 0 0 0 49979 27 0 0 25 0 1 0 900919313 68411392 13818 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16702 13818 1111 63 0 16639 0
vsize: 66808
[startup+510.006 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 14167 0 0 0 50979 27 0 0 25 0 1 0 900919313 69537792 14087 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16977 14087 1111 63 0 16914 0
vsize: 67908
[startup+520.006 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 14443 0 0 0 51979 28 0 0 25 0 1 0 900919313 70664192 14363 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17252 14363 1111 63 0 17189 0
vsize: 69008
[startup+530.006 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 14718 0 0 0 52979 28 0 0 25 0 1 0 900919313 71794688 14638 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17528 14638 1111 63 0 17465 0
vsize: 70112
[startup+540.006 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 14992 0 0 0 53978 29 0 0 25 0 1 0 900919313 72912896 14912 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17801 14912 1111 63 0 17738 0
vsize: 71204
[startup+550.006 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 15268 0 0 0 54978 29 0 0 25 0 1 0 900919313 74039296 15188 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18076 15188 1111 63 0 18013 0
vsize: 72304
[startup+560.006 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 15538 0 0 0 55978 29 0 0 25 0 1 0 900919313 75026432 15458 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18317 15458 1111 63 0 18254 0
vsize: 73268
[startup+570.006 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 15819 0 0 0 56978 30 0 0 25 0 1 0 900919313 76292096 15739 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18626 15739 1111 63 0 18563 0
vsize: 74504
[startup+580.007 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 16096 0 0 0 57977 31 0 0 25 0 1 0 900919313 77418496 16016 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18901 16016 1111 63 0 18838 0
vsize: 75604
[startup+590.007 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 16372 0 0 0 58977 31 0 0 25 0 1 0 900919313 78548992 16292 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19177 16292 1111 63 0 19114 0
vsize: 76708
[startup+600.007 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 16648 0 0 0 59976 32 0 0 25 0 1 0 900919313 79675392 16568 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19452 16568 1111 63 0 19389 0
vsize: 77808
[startup+610.007 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 16925 0 0 0 60976 32 0 0 25 0 1 0 900919313 80801792 16845 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19727 16845 1111 63 0 19664 0
vsize: 78908
[startup+620.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 17206 0 0 0 61976 32 0 0 25 0 1 0 900919313 81928192 17126 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 17126 1111 63 0 19939 0
vsize: 80008
[startup+630.008 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 17489 0 0 0 62975 34 0 0 25 0 1 0 900919313 83054592 17409 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20277 17409 1111 63 0 20214 0
vsize: 81108
[startup+640.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 17765 0 0 0 63975 34 0 0 25 0 1 0 900919313 84180992 17685 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20552 17685 1111 63 0 20489 0
vsize: 82208
[startup+650.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 18048 0 0 0 64975 34 0 0 25 0 1 0 900919313 85307392 17968 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20827 17968 1111 63 0 20764 0
vsize: 83308
[startup+660.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 18331 0 0 0 65975 35 0 0 25 0 1 0 900919313 86433792 18251 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21102 18251 1111 63 0 21039 0
vsize: 84408
[startup+670.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 18607 0 0 0 66975 35 0 0 25 0 1 0 900919313 87560192 18527 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21377 18527 1111 63 0 21314 0
vsize: 85508
[startup+680.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 18897 0 0 0 67974 36 0 0 25 0 1 0 900919313 88829952 18817 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21687 18817 1111 63 0 21624 0
vsize: 86748
[startup+690.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 19179 0 0 0 68974 36 0 0 25 0 1 0 900919313 89956352 19099 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21962 19099 1111 63 0 21899 0
vsize: 87848
[startup+700.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 19462 0 0 0 69974 36 0 0 25 0 1 0 900919313 91082752 19382 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22237 19382 1111 63 0 22174 0
vsize: 88948
[startup+710.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 19751 0 0 0 70974 37 0 0 25 0 1 0 900919313 92348416 19671 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22546 19671 1111 63 0 22483 0
vsize: 90184
[startup+720.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 20033 0 0 0 71973 38 0 0 25 0 1 0 900919313 93474816 19953 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22821 19953 1111 63 0 22758 0
vsize: 91284
[startup+730.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 20318 0 0 0 72973 38 0 0 25 0 1 0 900919313 94601216 20238 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23096 20238 1111 63 0 23033 0
vsize: 92384
[startup+740.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 20606 0 0 0 73973 38 0 0 25 0 1 0 900919313 95723520 20526 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23370 20526 1111 63 0 23307 0
vsize: 93480
[startup+750.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 20896 0 0 0 74972 39 0 0 25 0 1 0 900919313 96997376 20816 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23681 20816 1111 63 0 23618 0
vsize: 94724
[startup+760.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 21186 0 0 0 75973 39 0 0 25 0 1 0 900919313 98119680 21106 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23955 21106 1111 63 0 23892 0
vsize: 95820
[startup+770.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 21473 0 0 0 76972 40 0 0 25 0 1 0 900919313 99385344 21393 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24264 21393 1111 63 0 24201 0
vsize: 97056
[startup+780.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 21763 0 0 0 77972 40 0 0 25 0 1 0 900919313 100511744 21683 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24539 21683 1111 63 0 24476 0
vsize: 98156
[startup+790.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 22052 0 0 0 78971 41 0 0 25 0 1 0 900919313 101638144 21972 4294967295 134512640 134716908 3221224576 3221222804 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24814 21972 1111 63 0 24751 0
vsize: 99256
[startup+800.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 22342 0 0 0 79971 41 0 0 25 0 1 0 900919313 102903808 22262 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25123 22262 1111 63 0 25060 0
vsize: 100492
[startup+810.011 s]
Raw data (loadavg): 1.08 1.02 0.94 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 22631 0 0 0 80970 42 0 0 25 0 1 0 900919313 104030208 22551 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25398 22551 1111 63 0 25335 0
vsize: 101592
[startup+820.011 s]
Raw data (loadavg): 1.14 1.03 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 22920 0 0 0 81969 43 0 0 25 0 1 0 900919313 105295872 22840 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25707 22840 1111 63 0 25644 0
vsize: 102828
[startup+830.011 s]
Raw data (loadavg): 1.12 1.03 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 23249 0 0 0 82969 44 0 0 25 0 1 0 900919313 106786816 23169 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26071 23169 1111 63 0 26008 0
vsize: 104284
[startup+840.01 s]
Raw data (loadavg): 1.10 1.03 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 23545 0 0 0 83969 44 0 0 25 0 1 0 900919313 108052480 23465 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26380 23465 1111 63 0 26317 0
vsize: 105520
[startup+850.01 s]
Raw data (loadavg): 1.08 1.03 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 23836 0 0 0 84968 45 0 0 25 0 1 0 900919313 109178880 23756 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26655 23756 1111 63 0 26592 0
vsize: 106620
[startup+860.011 s]
Raw data (loadavg): 1.07 1.03 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 24131 0 0 0 85968 45 0 0 25 0 1 0 900919313 110444544 24051 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26964 24051 1111 63 0 26901 0
vsize: 107856
[startup+870.011 s]
Raw data (loadavg): 1.06 1.03 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 24429 0 0 0 86967 46 0 0 25 0 1 0 900919313 111710208 24349 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27273 24349 1111 63 0 27210 0
vsize: 109092
[startup+880.01 s]
Raw data (loadavg): 1.05 1.02 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 24718 0 0 0 87967 47 0 0 25 0 1 0 900919313 112840704 24638 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27549 24638 1111 63 0 27486 0
vsize: 110196
[startup+890.012 s]
Raw data (loadavg): 1.04 1.02 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 25021 0 0 0 88967 47 0 0 25 0 1 0 900919313 114106368 24941 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27858 24941 1111 63 0 27795 0
vsize: 111432
[startup+900.011 s]
Raw data (loadavg): 1.04 1.02 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 25318 0 0 0 89966 48 0 0 25 0 1 0 900919313 115232768 25238 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28133 25238 1111 63 0 28070 0
vsize: 112532
[startup+910.011 s]
Raw data (loadavg): 1.03 1.02 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 25614 0 0 0 90965 48 0 0 25 0 1 0 900919313 116498432 25534 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28442 25534 1111 63 0 28379 0
vsize: 113768
[startup+920.011 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 25918 0 0 0 91965 49 0 0 25 0 1 0 900919313 117768192 25838 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28752 25838 1111 63 0 28689 0
vsize: 115008
[startup+930.011 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 26215 0 0 0 92965 49 0 0 25 0 1 0 900919313 118894592 26135 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29027 26135 1111 63 0 28964 0
vsize: 116108
[startup+940.011 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 26513 0 0 0 93964 50 0 0 25 0 1 0 900919313 120160256 26433 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29336 26433 1111 63 0 29273 0
vsize: 117344
[startup+950.011 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 26815 0 0 0 94964 51 0 0 25 0 1 0 900919313 121434112 26735 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29647 26735 1111 63 0 29584 0
vsize: 118588
[startup+960.011 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 27119 0 0 0 95963 52 0 0 25 0 1 0 900919313 122699776 27039 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29956 27039 1111 63 0 29893 0
vsize: 119824
[startup+970.011 s]
Raw data (loadavg): 1.01 1.02 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 27422 0 0 0 96963 52 0 0 25 0 1 0 900919313 123826176 27342 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30231 27342 1111 63 0 30168 0
vsize: 120924
[startup+980.013 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 27724 0 0 0 97963 53 0 0 25 0 1 0 900919313 125095936 27644 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30541 27644 1111 63 0 30478 0
vsize: 122164
[startup+990.014 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 28029 0 0 0 98963 53 0 0 25 0 1 0 900919313 126361600 27949 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30850 27949 1111 63 0 30787 0
vsize: 123400
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 28331 0 0 0 99962 54 0 0 25 0 1 0 900919313 127627264 28251 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31159 28251 1111 63 0 31096 0
vsize: 124636
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 28636 0 0 0 100961 54 0 0 25 0 1 0 900919313 128892928 28556 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31468 28556 1111 63 0 31405 0
vsize: 125872
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 28945 0 0 0 101961 55 0 0 25 0 1 0 900919313 130162688 28865 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31778 28865 1111 63 0 31715 0
vsize: 127112
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 29250 0 0 0 102960 56 0 0 25 0 1 0 900919313 131289088 29170 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32053 29170 1111 63 0 31990 0
vsize: 128212
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 29559 0 0 0 103960 57 0 0 25 0 1 0 900919313 132554752 29479 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32362 29479 1111 63 0 32299 0
vsize: 129448
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 29862 0 0 0 104959 57 0 0 25 0 1 0 900919313 133824512 29782 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32672 29782 1111 63 0 32609 0
vsize: 130688
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 30178 0 0 0 105959 58 0 0 25 0 1 0 900919313 135090176 30098 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32981 30098 1111 63 0 32918 0
vsize: 131924
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 30481 0 0 0 106959 58 0 0 25 0 1 0 900919313 136355840 30401 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33290 30401 1111 63 0 33227 0
vsize: 133160
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 30792 0 0 0 107958 59 0 0 25 0 1 0 900919313 137621504 30712 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33599 30712 1111 63 0 33536 0
vsize: 134396
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 31101 0 0 0 108958 59 0 0 25 0 1 0 900919313 138891264 31021 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33909 31021 1111 63 0 33846 0
vsize: 135636
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 31413 0 0 0 109958 60 0 0 25 0 1 0 900919313 140156928 31333 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34218 31333 1111 63 0 34155 0
vsize: 136872
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 31722 0 0 0 110958 60 0 0 25 0 1 0 900919313 141422592 31642 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34527 31642 1111 63 0 34464 0
vsize: 138108
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 32033 0 0 0 111957 61 0 0 25 0 1 0 900919313 142688256 31953 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34836 31953 1111 63 0 34773 0
vsize: 139344
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 32349 0 0 0 112957 62 0 0 25 0 1 0 900919313 143958016 32269 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35146 32269 1111 63 0 35083 0
vsize: 140584
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 32659 0 0 0 113956 62 0 0 25 0 1 0 900919313 145223680 32579 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35455 32579 1111 63 0 35392 0
vsize: 141820
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 32979 0 0 0 114956 62 0 0 25 0 1 0 900919313 146628608 32899 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35798 32899 1111 63 0 35735 0
vsize: 143192
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 33295 0 0 0 115956 63 0 0 25 0 1 0 900919313 147902464 33215 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36109 33215 1111 63 0 36046 0
vsize: 144436
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 33613 0 0 0 116955 63 0 0 25 0 1 0 900919313 149172224 33533 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36419 33533 1111 63 0 36356 0
vsize: 145676
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 33929 0 0 0 117955 64 0 0 25 0 1 0 900919313 150437888 33849 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36728 33849 1111 63 0 36665 0
vsize: 146912
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 34247 0 0 0 118954 65 0 0 25 0 1 0 900919313 151703552 34167 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37037 34167 1111 63 0 36974 0
vsize: 148148
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) R 18281 7266 7265 0 -1 0 34564 0 0 0 119954 65 0 0 25 0 1 0 900919313 153112576 34484 4294967295 134512640 134716908 3221224576 3221223232 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37381 34484 1111 63 0 37318 0
vsize: 149524
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 18282
Raw data (stat): 18282 (bsolo_lpr-v2) Z 18281 7266 7265 0 -1 1036 34564 0 0 0 119954 72 0 0 25 0 1 0 900919313 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.08
CPU time (s): 1200.27
CPU user time (s): 1199.55
CPU system time (s): 0.72289
CPU usage (%): 100.016
Max. virtual memory (Kb): 149524
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####