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-n3704.opb
MD5SUM	ff4950ed0b09d2cfc714de8611974ec9
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39088316758
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	39088316758
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.98385
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 40444

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 10:36:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28510 boxname=wulflinc2 idbench=1466 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  ff4950ed0b09d2cfc714de8611974ec9  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-n3704.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-n3704.opb
IDLAUNCH: 28510
/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:        888020 kB
Buffers:         11660 kB
Cached:         112200 kB
SwapCached:       1328 kB
Active:          32556 kB
Inactive:        93316 kB
HighTotal:      131008 kB
HighFree:        43680 kB
LowTotal:       903652 kB
LowFree:        844340 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            14952 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 10:56:08 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 28510 7 1200.26 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.91 0.95 0.93 2/54 8533
Raw data (stat): 8533 (runsolver) R 8532 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900964952 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.95 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 1160 0 0 0 993 4 0 0 25 0 1 0 900964952 16052224 1080 4294967295 134512640 134716908 3221224576 3221222804 1077414370 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.0012 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 1407 0 0 0 1993 4 0 0 25 0 1 0 900964952 17178624 1327 4294967295 134512640 134716908 3221224576 3221222804 1077414383 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.0015 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 1657 0 0 0 2992 5 0 0 25 0 1 0 900964952 18178048 1577 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.0012 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 1905 0 0 0 3991 6 0 0 25 0 1 0 900964952 19165184 1825 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.0023 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 2153 0 0 0 4991 7 0 0 25 0 1 0 900964952 20152320 2073 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.002 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 2406 0 0 0 5990 7 0 0 25 0 1 0 900964952 21274624 2326 4294967295 134512640 134716908 3221224576 3221222804 1077414420 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.0023 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 2660 0 0 0 6990 8 0 0 25 0 1 0 900964952 22261760 2580 4294967295 134512640 134716908 3221224576 3221222804 1077414357 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.003 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 2907 0 0 0 7989 9 0 0 25 0 1 0 900964952 23240704 2827 4294967295 134512640 134716908 3221224576 3221222804 1077414433 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.0028 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 3161 0 0 0 8988 11 0 0 25 0 1 0 900964952 24367104 3081 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.96 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 3409 0 0 0 9987 12 0 0 25 0 1 0 900964952 25354240 3329 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6190 3329 1111 63 0 6127 0
vsize: 24760
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 3658 0 0 0 10987 12 0 0 25 0 1 0 900964952 26341376 3578 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 3578 1111 63 0 6368 0
vsize: 25724
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 3919 0 0 0 11986 13 0 0 25 0 1 0 900964952 27488256 3839 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6711 3839 1111 63 0 6648 0
vsize: 26844
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 4174 0 0 0 12985 14 0 0 25 0 1 0 900964952 28475392 4094 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 4423 0 0 0 13985 15 0 0 25 0 1 0 900964952 29462528 4343 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 4677 0 0 0 14984 15 0 0 25 0 1 0 900964952 30584832 4597 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7467 4597 1111 63 0 7404 0
vsize: 29868
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 4931 0 0 0 15983 17 0 0 25 0 1 0 900964952 31567872 4851 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7707 4851 1111 63 0 7644 0
vsize: 30828
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 5187 0 0 0 16983 18 0 0 25 0 1 0 900964952 32555008 5107 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 5442 0 0 0 17982 19 0 0 25 0 1 0 900964952 33681408 5362 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8223 5362 1111 63 0 8160 0
vsize: 32892
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 5697 0 0 0 18981 19 0 0 25 0 1 0 900964952 34668544 5617 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 5952 0 0 0 19981 20 0 0 25 0 1 0 900964952 35794944 5872 4294967295 134512640 134716908 3221224576 3221222804 1077414426 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.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 6206 0 0 0 20981 20 0 0 25 0 1 0 900964952 36782080 6126 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8980 6126 1111 63 0 8917 0
vsize: 35920
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 6472 0 0 0 21980 21 0 0 25 0 1 0 900964952 37920768 6392 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 6392 1111 63 0 9195 0
vsize: 37032
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 6732 0 0 0 22979 22 0 0 25 0 1 0 900964952 39043072 6652 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9532 6652 1111 63 0 9469 0
vsize: 38128
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 6987 0 0 0 23979 23 0 0 25 0 1 0 900964952 40030208 6907 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9773 6907 1111 63 0 9710 0
vsize: 39092
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 7243 0 0 0 24978 23 0 0 25 0 1 0 900964952 41017344 7163 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10014 7163 1111 63 0 9951 0
vsize: 40056
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 7505 0 0 0 25978 24 0 0 25 0 1 0 900964952 42143744 7425 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10289 7425 1111 63 0 10226 0
vsize: 41156
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 7766 0 0 0 26977 25 0 0 25 0 1 0 900964952 43270144 7686 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10564 7686 1111 63 0 10501 0
vsize: 42256
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 8023 0 0 0 27976 26 0 0 25 0 1 0 900964952 44257280 7943 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10805 7943 1111 63 0 10742 0
vsize: 43220
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 8284 0 0 0 28975 27 0 0 25 0 1 0 900964952 45383680 8204 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11080 8204 1111 63 0 11017 0
vsize: 44320
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 8546 0 0 0 29974 28 0 0 25 0 1 0 900964952 46370816 8466 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11321 8466 1111 63 0 11258 0
vsize: 45284
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 8801 0 0 0 30973 29 0 0 25 0 1 0 900964952 47489024 8721 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11594 8721 1111 63 0 11531 0
vsize: 46376
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 9063 0 0 0 31973 30 0 0 25 0 1 0 900964952 48476160 8983 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11835 8983 1111 63 0 11772 0
vsize: 47340
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 9325 0 0 0 32972 31 0 0 25 0 1 0 900964952 49602560 9245 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12110 9245 1111 63 0 12047 0
vsize: 48440
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 9588 0 0 0 33971 32 0 0 25 0 1 0 900964952 50589696 9508 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12351 9508 1111 63 0 12288 0
vsize: 49404
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 9855 0 0 0 34970 33 0 0 25 0 1 0 900964952 51716096 9775 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12626 9775 1111 63 0 12563 0
vsize: 50504
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 10119 0 0 0 35970 34 0 0 25 0 1 0 900964952 52842496 10039 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12901 10039 1111 63 0 12838 0
vsize: 51604
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 10380 0 0 0 36969 34 0 0 25 0 1 0 900964952 53829632 10300 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13142 10300 1111 63 0 13079 0
vsize: 52568
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 10649 0 0 0 37969 35 0 0 25 0 1 0 900964952 54960128 10569 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13418 10569 1111 63 0 13355 0
vsize: 53672
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 10912 0 0 0 38968 36 0 0 25 0 1 0 900964952 56086528 10832 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13693 10832 1111 63 0 13630 0
vsize: 54772
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 11180 0 0 0 39967 37 0 0 25 0 1 0 900964952 57212928 11100 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13968 11100 1111 63 0 13905 0
vsize: 55872
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 11440 0 0 0 40967 37 0 0 25 0 1 0 900964952 58191872 11360 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14207 11360 1111 63 0 14144 0
vsize: 56828
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 11708 0 0 0 41967 38 0 0 25 0 1 0 900964952 59318272 11628 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14482 11628 1111 63 0 14419 0
vsize: 57928
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 11996 0 0 0 42966 38 0 0 25 0 1 0 900964952 60674048 11916 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14813 11916 1111 63 0 14750 0
vsize: 59252
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 12262 0 0 0 43966 39 0 0 25 0 1 0 900964952 61652992 12182 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15052 12182 1111 63 0 14989 0
vsize: 60208
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 12525 0 0 0 44965 40 0 0 25 0 1 0 900964952 62779392 12445 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15327 12445 1111 63 0 15264 0
vsize: 61308
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 12801 0 0 0 45964 41 0 0 25 0 1 0 900964952 63905792 12721 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15602 12721 1111 63 0 15539 0
vsize: 62408
[startup+470.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 13064 0 0 0 46963 42 0 0 25 0 1 0 900964952 65032192 12984 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15877 12984 1111 63 0 15814 0
vsize: 63508
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 13338 0 0 0 47962 43 0 0 25 0 1 0 900964952 66158592 13258 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16152 13258 1111 63 0 16089 0
vsize: 64608
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 13608 0 0 0 48961 44 0 0 25 0 1 0 900964952 67145728 13528 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16393 13528 1111 63 0 16330 0
vsize: 65572
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 13877 0 0 0 49961 45 0 0 25 0 1 0 900964952 68272128 13797 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16668 13797 1111 63 0 16605 0
vsize: 66672
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 14153 0 0 0 50959 47 0 0 25 0 1 0 900964952 69398528 14073 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16943 14073 1111 63 0 16880 0
vsize: 67772
[startup+520.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 14421 0 0 0 51958 48 0 0 25 0 1 0 900964952 70520832 14341 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17217 14341 1111 63 0 17154 0
vsize: 68868
[startup+530.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 14690 0 0 0 52958 48 0 0 25 0 1 0 900964952 71647232 14610 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17492 14610 1111 63 0 17429 0
vsize: 69968
[startup+540.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 14966 0 0 0 53957 49 0 0 25 0 1 0 900964952 72773632 14886 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17767 14886 1111 63 0 17704 0
vsize: 71068
[startup+550.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 15241 0 0 0 54956 50 0 0 25 0 1 0 900964952 73900032 15161 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18042 15161 1111 63 0 17979 0
vsize: 72168
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 15517 0 0 0 55956 51 0 0 25 0 1 0 900964952 75026432 15437 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18317 15437 1111 63 0 18254 0
vsize: 73268
[startup+570.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 15792 0 0 0 56955 52 0 0 25 0 1 0 900964952 76152832 15712 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18592 15712 1111 63 0 18529 0
vsize: 74368
[startup+580.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 16069 0 0 0 57955 52 0 0 25 0 1 0 900964952 77283328 15989 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18868 15989 1111 63 0 18805 0
vsize: 75472
[startup+590.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 16345 0 0 0 58954 53 0 0 25 0 1 0 900964952 78409728 16265 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19143 16265 1111 63 0 19080 0
vsize: 76572
[startup+600.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 16621 0 0 0 59954 53 0 0 25 0 1 0 900964952 79536128 16541 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19418 16541 1111 63 0 19355 0
vsize: 77672
[startup+610.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 16897 0 0 0 60953 54 0 0 25 0 1 0 900964952 80662528 16817 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19693 16817 1111 63 0 19630 0
vsize: 78772
[startup+620.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 17179 0 0 0 61953 55 0 0 25 0 1 0 900964952 81788928 17099 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19968 17099 1111 63 0 19905 0
vsize: 79872
[startup+630.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 17455 0 0 0 62953 55 0 0 25 0 1 0 900964952 82915328 17375 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20243 17375 1111 63 0 20180 0
vsize: 80972
[startup+640 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 17738 0 0 0 63952 56 0 0 25 0 1 0 900964952 84041728 17658 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20518 17658 1111 63 0 20455 0
vsize: 82072
[startup+650 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 18014 0 0 0 64952 57 0 0 25 0 1 0 900964952 85168128 17934 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20793 17934 1111 63 0 20730 0
vsize: 83172
[startup+660 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 18297 0 0 0 65951 57 0 0 25 0 1 0 900964952 86294528 18217 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21068 18217 1111 63 0 21005 0
vsize: 84272
[startup+669.999 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 18579 0 0 0 66950 58 0 0 25 0 1 0 900964952 87560192 18499 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21377 18499 1111 63 0 21314 0
vsize: 85508
[startup+680 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 18862 0 0 0 67950 59 0 0 25 0 1 0 900964952 88686592 18782 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21652 18782 1111 63 0 21589 0
vsize: 86608
[startup+690 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 19145 0 0 0 68949 60 0 0 25 0 1 0 900964952 89817088 19065 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21928 19065 1111 63 0 21865 0
vsize: 87712
[startup+700 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 19428 0 0 0 69948 61 0 0 25 0 1 0 900964952 90935296 19348 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22201 19348 1111 63 0 22138 0
vsize: 88804
[startup+710.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 19711 0 0 0 70948 62 0 0 25 0 1 0 900964952 92061696 19631 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22476 19631 1111 63 0 22413 0
vsize: 89904
[startup+720.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 19998 0 0 0 71947 62 0 0 25 0 1 0 900964952 93331456 19918 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22786 19918 1111 63 0 22723 0
vsize: 91144
[startup+730.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 20282 0 0 0 72947 63 0 0 25 0 1 0 900964952 94457856 20202 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23061 20202 1111 63 0 22998 0
vsize: 92244
[startup+740.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 20564 0 0 0 73946 64 0 0 25 0 1 0 900964952 95584256 20484 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23336 20484 1111 63 0 23273 0
vsize: 93344
[startup+750.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 20854 0 0 0 74946 65 0 0 25 0 1 0 900964952 96849920 20774 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23645 20774 1111 63 0 23582 0
vsize: 94580
[startup+760.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 21143 0 0 0 75945 65 0 0 25 0 1 0 900964952 97976320 21063 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23920 21063 1111 63 0 23857 0
vsize: 95680
[startup+770.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 21432 0 0 0 76945 66 0 0 25 0 1 0 900964952 99102720 21352 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24195 21352 1111 63 0 24132 0
vsize: 96780
[startup+780.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 21723 0 0 0 77944 67 0 0 25 0 1 0 900964952 100372480 21643 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24505 21643 1111 63 0 24442 0
vsize: 98020
[startup+790.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 22011 0 0 0 78944 67 0 0 25 0 1 0 900964952 101498880 21931 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24780 21931 1111 63 0 24717 0
vsize: 99120
[startup+800.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 22301 0 0 0 79943 68 0 0 25 0 1 0 900964952 102764544 22221 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25089 22221 1111 63 0 25026 0
vsize: 100356
[startup+810.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 22590 0 0 0 80942 69 0 0 25 0 1 0 900964952 103890944 22510 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25364 22510 1111 63 0 25301 0
vsize: 101456
[startup+820.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 22879 0 0 0 81941 71 0 0 25 0 1 0 900964952 105017344 22799 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25639 22799 1111 63 0 25576 0
vsize: 102556
[startup+830.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 23208 0 0 0 82940 71 0 0 25 0 1 0 900964952 106643456 23128 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26036 23128 1111 63 0 25973 0
vsize: 104144
[startup+840.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 23497 0 0 0 83939 73 0 0 25 0 1 0 900964952 107913216 23417 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26346 23417 1111 63 0 26283 0
vsize: 105384
[startup+850.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 23795 0 0 0 84939 73 0 0 25 0 1 0 900964952 109039616 23715 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26621 23715 1111 63 0 26558 0
vsize: 106484
[startup+860.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 24084 0 0 0 85938 74 0 0 25 0 1 0 900964952 110305280 24004 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26930 24004 1111 63 0 26867 0
vsize: 107720
[startup+870.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 24387 0 0 0 86937 75 0 0 25 0 1 0 900964952 111431680 24307 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27205 24307 1111 63 0 27142 0
vsize: 108820
[startup+880.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 24677 0 0 0 87937 76 0 0 25 0 1 0 900964952 112701440 24597 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27515 24597 1111 63 0 27452 0
vsize: 110060
[startup+890.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 24979 0 0 0 88936 76 0 0 25 0 1 0 900964952 113967104 24899 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27824 24899 1111 63 0 27761 0
vsize: 111296
[startup+900.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 25270 0 0 0 89935 78 0 0 25 0 1 0 900964952 115093504 25190 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28099 25190 1111 63 0 28036 0
vsize: 112396
[startup+910.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 25572 0 0 0 90934 79 0 0 25 0 1 0 900964952 116359168 25492 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28408 25492 1111 63 0 28345 0
vsize: 113632
[startup+920.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 25870 0 0 0 91933 80 0 0 25 0 1 0 900964952 117485568 25790 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28683 25790 1111 63 0 28620 0
vsize: 114732
[startup+930.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 26166 0 0 0 92933 80 0 0 25 0 1 0 900964952 118751232 26086 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28992 26086 1111 63 0 28929 0
vsize: 115968
[startup+940.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 26469 0 0 0 93933 81 0 0 25 0 1 0 900964952 120020992 26389 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29302 26389 1111 63 0 29239 0
vsize: 117208
[startup+950.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 26772 0 0 0 94932 82 0 0 25 0 1 0 900964952 121286656 26692 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29611 26692 1111 63 0 29548 0
vsize: 118444
[startup+960.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 27075 0 0 0 95931 82 0 0 25 0 1 0 900964952 122413056 26995 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29886 26995 1111 63 0 29823 0
vsize: 119544
[startup+970.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 27373 0 0 0 96931 83 0 0 25 0 1 0 900964952 123682816 27293 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30196 27293 1111 63 0 30133 0
vsize: 120784
[startup+980.001 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 27675 0 0 0 97930 84 0 0 25 0 1 0 900964952 124948480 27595 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30505 27595 1111 63 0 30442 0
vsize: 122020
[startup+990.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 27981 0 0 0 98930 85 0 0 25 0 1 0 900964952 126222336 27901 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30816 27901 1111 63 0 30753 0
vsize: 123264
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 28284 0 0 0 99929 86 0 0 25 0 1 0 900964952 127340544 28204 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31089 28204 1111 63 0 31026 0
vsize: 124356
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 28588 0 0 0 100928 86 0 0 25 0 1 0 900964952 128606208 28508 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31398 28508 1111 63 0 31335 0
vsize: 125592
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 28897 0 0 0 101928 87 0 0 25 0 1 0 900964952 129880064 28817 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31709 28817 1111 63 0 31646 0
vsize: 126836
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 29200 0 0 0 102927 88 0 0 25 0 1 0 900964952 131145728 29120 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32018 29120 1111 63 0 31955 0
vsize: 128072
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 29505 0 0 0 103926 90 0 0 25 0 1 0 900964952 132415488 29425 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32328 29425 1111 63 0 32265 0
vsize: 129312
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 29814 0 0 0 104925 91 0 0 25 0 1 0 900964952 133681152 29734 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32637 29734 1111 63 0 32574 0
vsize: 130548
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 30124 0 0 0 105924 92 0 0 25 0 1 0 900964952 134950912 30044 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32947 30044 1111 63 0 32884 0
vsize: 131788
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 30427 0 0 0 106924 92 0 0 25 0 1 0 900964952 136216576 30347 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33256 30347 1111 63 0 33193 0
vsize: 133024
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 30744 0 0 0 107923 93 0 0 25 0 1 0 900964952 137482240 30664 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33565 30664 1111 63 0 33502 0
vsize: 134260
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 31047 0 0 0 108922 94 0 0 25 0 1 0 900964952 138747904 30967 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33874 30967 1111 63 0 33811 0
vsize: 135496
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 31365 0 0 0 109922 95 0 0 25 0 1 0 900964952 140017664 31285 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34184 31285 1111 63 0 34121 0
vsize: 136736
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 31674 0 0 0 110921 96 0 0 25 0 1 0 900964952 141283328 31594 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34493 31594 1111 63 0 34430 0
vsize: 137972
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 31984 0 0 0 111921 96 0 0 25 0 1 0 900964952 142548992 31904 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34802 31904 1111 63 0 34739 0
vsize: 139208
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 32308 0 0 0 112920 97 0 0 25 0 1 0 900964952 143814656 32228 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35111 32228 1111 63 0 35048 0
vsize: 140444
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 32625 0 0 0 113919 98 0 0 25 0 1 0 900964952 145084416 32545 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35421 32545 1111 63 0 35358 0
vsize: 141684
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 32950 0 0 0 114919 99 0 0 25 0 1 0 900964952 146489344 32870 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35764 32870 1111 63 0 35701 0
vsize: 143056
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 33266 0 0 0 115918 100 0 0 25 0 1 0 900964952 147759104 33186 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36074 33186 1111 63 0 36011 0
vsize: 144296
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 33599 0 0 0 116918 100 0 0 25 0 1 0 900964952 149172224 33519 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36419 33519 1111 63 0 36356 0
vsize: 145676
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 33915 0 0 0 117917 101 0 0 25 0 1 0 900964952 150437888 33835 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36728 33835 1111 63 0 36665 0
vsize: 146912
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 34240 0 0 0 118916 102 0 0 25 0 1 0 900964952 151703552 34160 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37037 34160 1111 63 0 36974 0
vsize: 148148
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) R 8532 31399 31398 0 -1 0 34563 0 0 0 119916 103 0 0 25 0 1 0 900964952 153112576 34483 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37381 34483 1111 63 0 37318 0
vsize: 149524
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.93 1/54 8533
Raw data (stat): 8533 (bsolo_lpr-v2) Z 8532 31399 31398 0 -1 1036 34563 0 0 0 119916 109 0 0 25 0 1 0 900964952 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.07
CPU time (s): 1200.26
CPU user time (s): 1199.16
CPU system time (s): 1.09783
CPU usage (%): 100.016
Max. virtual memory (Kb): 149524
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####