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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum3.opb
MD5SUM	fd20bcfe4a71405dc1e0ef3cb894b630
Bench Category	optimization, big integers (OPTBIGINT)
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	87370
Biggest coefficient in the objective function	1310720000
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	13573186735
Number of bits of the sum of numbers in the objective function	34
Biggest number in a constraint	10240000000000000927712935936
Number of bits of the biggest number in a constraint	94
Biggest sum of numbers in a constraint	29801266744107043904416645120
Number of bits of the biggest sum of numbers	95
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.893863
Number of variables	93400
Total number of constraints	70153
Number of constraints which are clauses	6081
Number of constraints which are cardinality constraints (but not clauses)	7185
Number of constraints which are nor clauses,nor cardinality constraints	56887
Minimum length of a constraint	1
Maximum length of a constraint	1018
Trace number 39965

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 23:33:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28027 boxname=wulflinc2 idbench=983 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  fd20bcfe4a71405dc1e0ef3cb894b630  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-momentum3.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-momentum3.opb
IDLAUNCH: 28027
/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:        178176 kB
Buffers:         34452 kB
Cached:         798212 kB
SwapCached:       1492 kB
Active:         342452 kB
Inactive:       492384 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        177924 kB
SwapTotal:     2097136 kB
SwapFree:      2094668 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5000 kB
Slab:            15916 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 23:53:51 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 28027 7 1200.37 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): 1.11 1.00 0.92 1/54 32358
Raw data (stat): 32358 (runsolver) R 32357 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896990655 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0005 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 1219 0 0 0 994 3 0 0 25 0 1 0 896990655 16711680 1139 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4080 1139 1111 63 0 4017 0
vsize: 16320
[startup+20.0012 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 1618 0 0 0 1993 4 0 0 25 0 1 0 896990655 18345984 1538 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4479 1538 1111 63 0 4416 0
vsize: 17916
[startup+30.0008 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 2027 0 0 0 2993 5 0 0 25 0 1 0 896990655 19992576 1947 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4881 1947 1111 63 0 4818 0
vsize: 19524
[startup+40.0015 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 2432 0 0 0 3992 6 0 0 25 0 1 0 896990655 21762048 2352 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5313 2352 1111 63 0 5250 0
vsize: 21252
[startup+50.0024 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 2843 0 0 0 4991 7 0 0 25 0 1 0 896990655 23392256 2763 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5711 2763 1111 63 0 5648 0
vsize: 22844
[startup+60.002 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 3249 0 0 0 5990 8 0 0 25 0 1 0 896990655 25026560 3169 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6110 3169 1111 63 0 6047 0
vsize: 24440
[startup+70.0026 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 3704 0 0 0 6990 8 0 0 25 0 1 0 896990655 26841088 3624 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6553 3624 1111 63 0 6490 0
vsize: 26212
[startup+80.0034 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 4254 0 0 0 7989 9 0 0 25 0 1 0 896990655 29147136 4174 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7116 4174 1111 63 0 7053 0
vsize: 28464
[startup+90.004 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 4769 0 0 0 8988 11 0 0 25 0 1 0 896990655 31272960 4689 4294967295 134512640 134716908 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7635 4689 1111 63 0 7572 0
vsize: 30540
[startup+100.004 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 5277 0 0 0 9987 12 0 0 25 0 1 0 896990655 33406976 5197 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8156 5197 1111 63 0 8093 0
vsize: 32624
[startup+110.003 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 5774 0 0 0 10986 13 0 0 25 0 1 0 896990655 35409920 5694 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8645 5694 1111 63 0 8582 0
vsize: 34580
[startup+120.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 6285 0 0 0 11985 14 0 0 25 0 1 0 896990655 37548032 6205 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9167 6205 1111 63 0 9104 0
vsize: 36668
[startup+130.004 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 6793 0 0 0 12984 15 0 0 25 0 1 0 896990655 39526400 6713 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9650 6713 1111 63 0 9587 0
vsize: 38600
[startup+140.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 7303 0 0 0 13984 15 0 0 25 0 1 0 896990655 41664512 7223 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10172 7223 1111 63 0 10109 0
vsize: 40688
[startup+150.005 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 7818 0 0 0 14984 16 0 0 25 0 1 0 896990655 43798528 7738 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10693 7738 1111 63 0 10630 0
vsize: 42772
[startup+160.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 8334 0 0 0 15982 17 0 0 25 0 1 0 896990655 45936640 8254 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11215 8254 1111 63 0 11152 0
vsize: 44860
[startup+170.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 8842 0 0 0 16982 18 0 0 25 0 1 0 896990655 47939584 8762 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11704 8762 1111 63 0 11641 0
vsize: 46816
[startup+180.005 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 9373 0 0 0 17981 19 0 0 25 0 1 0 896990655 50221056 9293 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12261 9293 1111 63 0 12198 0
vsize: 49044
[startup+190.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 9882 0 0 0 18980 20 0 0 25 0 1 0 896990655 52224000 9802 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12750 9802 1111 63 0 12687 0
vsize: 51000
[startup+200.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 10407 0 0 0 19980 21 0 0 25 0 1 0 896990655 54358016 10327 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13271 10327 1111 63 0 13208 0
vsize: 53084
[startup+210.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 10928 0 0 0 20979 21 0 0 25 0 1 0 896990655 56496128 10848 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13793 10848 1111 63 0 13730 0
vsize: 55172
[startup+220.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 11451 0 0 0 21979 22 0 0 25 0 1 0 896990655 58634240 11371 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14315 11371 1111 63 0 14252 0
vsize: 57260
[startup+230.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 11973 0 0 0 22978 23 0 0 25 0 1 0 896990655 60768256 11893 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14836 11893 1111 63 0 14773 0
vsize: 59344
[startup+240.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 12503 0 0 0 23977 24 0 0 25 0 1 0 896990655 63041536 12423 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15391 12423 1111 63 0 15328 0
vsize: 61564
[startup+250.006 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 13031 0 0 0 24977 25 0 0 25 0 1 0 896990655 65179648 12951 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15913 12951 1111 63 0 15850 0
vsize: 63652
[startup+260.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 13561 0 0 0 25976 26 0 0 25 0 1 0 896990655 67313664 13481 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16434 13481 1111 63 0 16371 0
vsize: 65736
[startup+270.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 14089 0 0 0 26975 27 0 0 25 0 1 0 896990655 69447680 14009 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16955 14009 1111 63 0 16892 0
vsize: 67820
[startup+280.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 14626 0 0 0 27974 28 0 0 25 0 1 0 896990655 71589888 14546 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17478 14546 1111 63 0 17415 0
vsize: 69912
[startup+290.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 15161 0 0 0 28973 30 0 0 25 0 1 0 896990655 73859072 15081 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18032 15081 1111 63 0 17969 0
vsize: 72128
[startup+300.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 15697 0 0 0 29972 31 0 0 25 0 1 0 896990655 75993088 15617 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18553 15617 1111 63 0 18490 0
vsize: 74212
[startup+310.007 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 16245 0 0 0 30972 31 0 0 25 0 1 0 896990655 78286848 16165 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19113 16165 1111 63 0 19050 0
vsize: 76452
[startup+320.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 16781 0 0 0 31971 32 0 0 25 0 1 0 896990655 80424960 16701 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19635 16701 1111 63 0 19572 0
vsize: 78540
[startup+330.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 17328 0 0 0 32971 32 0 0 25 0 1 0 896990655 82698240 17248 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20190 17248 1111 63 0 20127 0
vsize: 80760
[startup+340.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 17889 0 0 0 33970 33 0 0 25 0 1 0 896990655 85053440 17809 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20765 17809 1111 63 0 20702 0
vsize: 83060
[startup+350.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 18437 0 0 0 34970 34 0 0 25 0 1 0 896990655 87326720 18357 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21320 18357 1111 63 0 21257 0
vsize: 85280
[startup+360.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 18993 0 0 0 35969 35 0 0 25 0 1 0 896990655 89620480 18913 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21880 18913 1111 63 0 21817 0
vsize: 87520
[startup+370.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 19540 0 0 0 36968 36 0 0 25 0 1 0 896990655 91889664 19460 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22434 19460 1111 63 0 22371 0
vsize: 89736
[startup+380.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 20092 0 0 0 37968 37 0 0 25 0 1 0 896990655 94187520 20012 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22995 20012 1111 63 0 22932 0
vsize: 91980
[startup+390.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 20651 0 0 0 38967 38 0 0 25 0 1 0 896990655 96456704 20571 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23549 20571 1111 63 0 23486 0
vsize: 94196
[startup+400.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 21213 0 0 0 39966 39 0 0 25 0 1 0 896990655 98725888 21133 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24103 21133 1111 63 0 24040 0
vsize: 96412
[startup+410.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 21769 0 0 0 40964 41 0 0 25 0 1 0 896990655 101023744 21689 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24664 21689 1111 63 0 24601 0
vsize: 98656
[startup+420.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 22331 0 0 0 41963 42 0 0 25 0 1 0 896990655 103292928 22251 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25218 22251 1111 63 0 25155 0
vsize: 100872
[startup+430.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 22898 0 0 0 42962 43 0 0 25 0 1 0 896990655 105586688 22818 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25778 22818 1111 63 0 25715 0
vsize: 103112
[startup+440.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 23462 0 0 0 43961 44 0 0 25 0 1 0 896990655 107859968 23382 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26333 23382 1111 63 0 26270 0
vsize: 105332
[startup+450.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 24035 0 0 0 44960 46 0 0 25 0 1 0 896990655 110264320 23955 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26920 23955 1111 63 0 26857 0
vsize: 107680
[startup+460.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 24604 0 0 0 45959 47 0 0 25 0 1 0 896990655 112533504 24524 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27474 24524 1111 63 0 27411 0
vsize: 109896
[startup+470.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 25178 0 0 0 46958 48 0 0 25 0 1 0 896990655 114937856 25098 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28061 25098 1111 63 0 27998 0
vsize: 112244
[startup+480.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 25754 0 0 0 47957 49 0 0 25 0 1 0 896990655 117211136 25674 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28616 25674 1111 63 0 28553 0
vsize: 114464
[startup+490.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 26335 0 0 0 48956 50 0 0 25 0 1 0 896990655 119640064 26255 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29209 26255 1111 63 0 29146 0
vsize: 116836
[startup+500.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 26910 0 0 0 49956 51 0 0 25 0 1 0 896990655 122068992 26830 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29802 26830 1111 63 0 29739 0
vsize: 119208
[startup+510.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 27496 0 0 0 50955 52 0 0 25 0 1 0 896990655 124338176 27416 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30356 27416 1111 63 0 30293 0
vsize: 121424
[startup+520.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 28086 0 0 0 51954 53 0 0 25 0 1 0 896990655 126771200 28006 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30950 28006 1111 63 0 30887 0
vsize: 123800
[startup+530.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 28667 0 0 0 52954 54 0 0 25 0 1 0 896990655 129175552 28587 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31537 28587 1111 63 0 31474 0
vsize: 126148
[startup+540.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 29262 0 0 0 53953 55 0 0 25 0 1 0 896990655 131608576 29182 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32131 29182 1111 63 0 32068 0
vsize: 128524
[startup+550.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 29848 0 0 0 54952 56 0 0 25 0 1 0 896990655 134033408 29768 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32723 29768 1111 63 0 32660 0
vsize: 130892
[startup+560.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 30436 0 0 0 55950 57 0 0 25 0 1 0 896990655 136437760 30356 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33310 30356 1111 63 0 33247 0
vsize: 133240
[startup+570.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 31025 0 0 0 56950 58 0 0 25 0 1 0 896990655 138870784 30945 4294967295 134512640 134716908 3221224576 3221223232 134527953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33904 30945 1111 63 0 33841 0
vsize: 135616
[startup+580.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 31624 0 0 0 57949 59 0 0 25 0 1 0 896990655 141295616 31544 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34496 31544 1111 63 0 34433 0
vsize: 137984
[startup+590.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 32227 0 0 0 58948 60 0 0 25 0 1 0 896990655 143679488 32147 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35078 32147 1111 63 0 35015 0
vsize: 140312
[startup+600.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 32820 0 0 0 59948 60 0 0 25 0 1 0 896990655 146214912 32740 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35697 32740 1111 63 0 35634 0
vsize: 142788
[startup+610.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 33423 0 0 0 60947 61 0 0 25 0 1 0 896990655 148647936 33343 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36291 33343 1111 63 0 36228 0
vsize: 145164
[startup+620.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 34028 0 0 0 61946 63 0 0 25 0 1 0 896990655 151072768 33948 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36883 33948 1111 63 0 36820 0
vsize: 147532
[startup+630.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 34628 0 0 0 62946 63 0 0 25 0 1 0 896990655 153632768 34548 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37508 34548 1111 63 0 37445 0
vsize: 150032
[startup+640.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 35269 0 0 0 63945 64 0 0 25 0 1 0 896990655 156438528 35189 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38193 35189 1111 63 0 38130 0
vsize: 152772
[startup+650.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 35875 0 0 0 64944 65 0 0 25 0 1 0 896990655 158994432 35795 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38817 35795 1111 63 0 38754 0
vsize: 155268
[startup+660.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 36490 0 0 0 65943 66 0 0 25 0 1 0 896990655 161427456 36410 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39411 36410 1111 63 0 39348 0
vsize: 157644
[startup+670.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 37103 0 0 0 66942 68 0 0 25 0 1 0 896990655 163987456 37023 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40036 37023 1111 63 0 39973 0
vsize: 160144
[startup+680.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 37731 0 0 0 67941 69 0 0 25 0 1 0 896990655 166555648 37651 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40663 37651 1111 63 0 40600 0
vsize: 162652
[startup+690.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 38344 0 0 0 68940 70 0 0 25 0 1 0 896990655 168980480 38264 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41255 38264 1111 63 0 41192 0
vsize: 165020
[startup+700.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 38972 0 0 0 69940 70 0 0 25 0 1 0 896990655 171548672 38892 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41882 38892 1111 63 0 41819 0
vsize: 167528
[startup+710.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 39599 0 0 0 70939 71 0 0 25 0 1 0 896990655 174108672 39519 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42507 39519 1111 63 0 42444 0
vsize: 170028
[startup+720.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 40226 0 0 0 71938 72 0 0 25 0 1 0 896990655 176676864 40146 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43134 40146 1111 63 0 43071 0
vsize: 172536
[startup+730.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 40853 0 0 0 72937 73 0 0 25 0 1 0 896990655 179236864 40773 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43759 40773 1111 63 0 43696 0
vsize: 175036
[startup+740.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 41493 0 0 0 73936 75 0 0 25 0 1 0 896990655 181936128 41413 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44418 41413 1111 63 0 44355 0
vsize: 177672
[startup+750.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 42127 0 0 0 74935 76 0 0 25 0 1 0 896990655 184500224 42047 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45044 42047 1111 63 0 44981 0
vsize: 180176
[startup+760.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 42767 0 0 0 75934 77 0 0 25 0 1 0 896990655 187064320 42687 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45670 42687 1111 63 0 45607 0
vsize: 182680
[startup+770.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 43407 0 0 0 76933 79 0 0 25 0 1 0 896990655 189763584 43327 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46329 43327 1111 63 0 46266 0
vsize: 185316
[startup+780.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 44055 0 0 0 77932 80 0 0 25 0 1 0 896990655 192327680 43975 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46955 43975 1111 63 0 46892 0
vsize: 187820
[startup+790.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 44693 0 0 0 78931 81 0 0 25 0 1 0 896990655 195047424 44613 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47619 44613 1111 63 0 47556 0
vsize: 190476
[startup+800.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 45348 0 0 0 79930 82 0 0 25 0 1 0 896990655 197611520 45268 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48245 45268 1111 63 0 48182 0
vsize: 192980
[startup+810.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 46000 0 0 0 80929 83 0 0 25 0 1 0 896990655 200314880 45920 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48905 45920 1111 63 0 48842 0
vsize: 195620
[startup+820.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 46652 0 0 0 81928 85 0 0 25 0 1 0 896990655 203010048 46572 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49563 46572 1111 63 0 49500 0
vsize: 198252
[startup+830.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 47308 0 0 0 82926 86 0 0 25 0 1 0 896990655 205733888 47228 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50228 47228 1111 63 0 50165 0
vsize: 200912
[startup+840.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 47971 0 0 0 83925 87 0 0 25 0 1 0 896990655 208429056 47891 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50886 47891 1111 63 0 50823 0
vsize: 203544
[startup+850.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 48639 0 0 0 84924 89 0 0 25 0 1 0 896990655 211103744 48559 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51539 48559 1111 63 0 51476 0
vsize: 206156
[startup+860.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 49304 0 0 0 85923 90 0 0 25 0 1 0 896990655 213794816 49224 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52196 49224 1111 63 0 52133 0
vsize: 208784
[startup+870.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 49984 0 0 0 86921 92 0 0 25 0 1 0 896990655 216633344 49904 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52889 49904 1111 63 0 52826 0
vsize: 211556
[startup+880.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 50665 0 0 0 87920 93 0 0 25 0 1 0 896990655 219332608 50585 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53548 50585 1111 63 0 53485 0
vsize: 214192
[startup+890.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 51342 0 0 0 88919 95 0 0 25 0 1 0 896990655 222187520 51262 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54245 51262 1111 63 0 54182 0
vsize: 216980
[startup+900.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 52036 0 0 0 89917 97 0 0 25 0 1 0 896990655 225042432 51956 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54942 51956 1111 63 0 54879 0
vsize: 219768
[startup+910.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 52728 0 0 0 90916 98 0 0 25 0 1 0 896990655 227901440 52648 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55640 52648 1111 63 0 55577 0
vsize: 222560
[startup+920.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 53420 0 0 0 91915 100 0 0 25 0 1 0 896990655 230731776 53340 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56331 53340 1111 63 0 56268 0
vsize: 225324
[startup+930.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 54120 0 0 0 92913 101 0 0 25 0 1 0 896990655 233590784 54040 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57029 54040 1111 63 0 56966 0
vsize: 228116
[startup+940.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 54826 0 0 0 93913 102 0 0 25 0 1 0 896990655 236449792 54746 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57727 54746 1111 63 0 57664 0
vsize: 230908
[startup+950.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 55530 0 0 0 94911 104 0 0 25 0 1 0 896990655 239280128 55450 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58418 55450 1111 63 0 58355 0
vsize: 233672
[startup+960.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 56243 0 0 0 95910 105 0 0 25 0 1 0 896990655 242270208 56163 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59148 56163 1111 63 0 59085 0
vsize: 236592
[startup+970.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 56955 0 0 0 96909 106 0 0 25 0 1 0 896990655 245100544 56875 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59839 56875 1111 63 0 59776 0
vsize: 239356
[startup+980.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 57680 0 0 0 97908 108 0 0 25 0 1 0 896990655 248086528 57600 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60568 57600 1111 63 0 60505 0
vsize: 242272
[startup+990.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 58399 0 0 0 98906 110 0 0 25 0 1 0 896990655 251080704 58319 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61299 58319 1111 63 0 61236 0
vsize: 245196
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 59129 0 0 0 99905 112 0 0 25 0 1 0 896990655 254074880 59049 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62030 59049 1111 63 0 61967 0
vsize: 248120
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 59862 0 0 0 100904 113 0 0 25 0 1 0 896990655 257064960 59782 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62760 59782 1111 63 0 62697 0
vsize: 251040
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 60607 0 0 0 101903 114 0 0 25 0 1 0 896990655 260055040 60527 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63490 60527 1111 63 0 63427 0
vsize: 253960
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 61351 0 0 0 102901 116 0 0 25 0 1 0 896990655 263045120 61271 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64220 61271 1111 63 0 64157 0
vsize: 256880
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 62096 0 0 0 103899 118 0 0 25 0 1 0 896990655 266174464 62016 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64984 62016 1111 63 0 64921 0
vsize: 259936
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 62854 0 0 0 104898 119 0 0 25 0 1 0 896990655 269299712 62774 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65747 62774 1111 63 0 65684 0
vsize: 262988
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 63625 0 0 0 105898 121 0 0 25 0 1 0 896990655 272396288 63545 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66503 63545 1111 63 0 66440 0
vsize: 266012
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 64389 0 0 0 106897 122 0 0 25 0 1 0 896990655 275525632 64309 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67267 64309 1111 63 0 67204 0
vsize: 269068
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 65159 0 0 0 107895 125 0 0 25 0 1 0 896990655 278646784 65079 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68029 65079 1111 63 0 67966 0
vsize: 272116
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 65936 0 0 0 108894 126 0 0 25 0 1 0 896990655 281796608 65856 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68798 65856 1111 63 0 68735 0
vsize: 275192
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 66720 0 0 0 109893 128 0 0 25 0 1 0 896990655 285057024 66640 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69594 66640 1111 63 0 69531 0
vsize: 278376
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 67505 0 0 0 110891 129 0 0 25 0 1 0 896990655 288206848 67425 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70363 67425 1111 63 0 70300 0
vsize: 281452
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 68301 0 0 0 111890 131 0 0 25 0 1 0 896990655 291471360 68221 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71160 68221 1111 63 0 71097 0
vsize: 284640
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 69099 0 0 0 112889 132 0 0 25 0 1 0 896990655 294752256 69019 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71961 69019 1111 63 0 71898 0
vsize: 287844
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 69895 0 0 0 113888 133 0 0 25 0 1 0 896990655 298037248 69815 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72763 69815 1111 63 0 72700 0
vsize: 291052
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 70821 0 0 0 114886 135 0 0 25 0 1 0 896990655 302022656 70615 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73736 70615 1111 63 0 73673 0
vsize: 294944
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 71638 0 0 0 115884 137 0 0 25 0 1 0 896990655 305442816 71432 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74571 71432 1111 63 0 74508 0
vsize: 298284
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 72456 0 0 0 116883 139 0 0 25 0 1 0 896990655 308723712 72250 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75372 72250 1111 63 0 75309 0
vsize: 301488
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 73272 0 0 0 117881 141 0 0 25 0 1 0 896990655 312143872 73066 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76207 73066 1111 63 0 76144 0
vsize: 304828
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 74089 0 0 0 118880 142 0 0 25 0 1 0 896990655 315420672 73883 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77007 73883 1111 63 0 76944 0
vsize: 308028
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) R 32357 31399 31398 0 -1 0 74912 0 0 0 119879 143 0 0 25 0 1 0 896990655 318816256 74706 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77836 74706 1111 63 0 77773 0
vsize: 311344
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 32358
Raw data (stat): 32358 (bsolo_lpr-v2) Z 32357 31399 31398 0 -1 1036 74912 0 0 0 119879 157 0 0 25 0 1 0 896990655 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.2
CPU time (s): 1200.37
CPU user time (s): 1198.8
CPU system time (s): 1.57676
CPU usage (%): 100.015
Max. virtual memory (Kb): 311344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####