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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2p.opb
MD5SUM	5f5cb3c37eae37e49339d7674a999c27
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	172663
Biggest coefficient in the objective function	10485760
Number of bits for the biggest coefficient in the objective function	24
Sum of the numbers in the objective function	42533442284
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	30985420800
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	101083836075
Number of bits of the biggest sum of numbers	37
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.9357
Number of variables	210852
Total number of constraints	10500
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	10500
Minimum length of a constraint	10
Maximum length of a constraint	413
Trace number 40217

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        717360 kB
Buffers:         31740 kB
Cached:         262632 kB
SwapCached:        680 kB
Active:          59384 kB
Inactive:       237024 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        717108 kB
SwapTotal:     2097136 kB
SwapFree:      2095436 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5032 kB
Slab:            15168 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 04:36:54 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 28261 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.97 0.91 1/54 20397
Raw data (stat): 20397 (runsolver) R 20396 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898677029 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 1460 0 0 0 992 5 0 0 25 0 1 0 898677029 15765504 1380 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3849 1380 1111 63 0 3786 0
vsize: 15396
[startup+20.0021 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 1610 0 0 0 1991 6 0 0 25 0 1 0 898677029 16322560 1530 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3985 1530 1111 63 0 3922 0
vsize: 15940
[startup+30.0025 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 1758 0 0 0 2991 7 0 0 25 0 1 0 898677029 16875520 1678 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4120 1678 1111 63 0 4057 0
vsize: 16480
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 1908 0 0 0 3990 8 0 0 25 0 1 0 898677029 17571840 1828 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4290 1828 1111 63 0 4227 0
vsize: 17160
[startup+50.0036 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 2057 0 0 0 4990 8 0 0 25 0 1 0 898677029 18124800 1977 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4425 1977 1111 63 0 4362 0
vsize: 17700
[startup+60.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 2208 0 0 0 5990 8 0 0 25 0 1 0 898677029 18825216 2128 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4596 2128 1111 63 0 4533 0
vsize: 18384
[startup+70.0039 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 2358 0 0 0 6990 9 0 0 25 0 1 0 898677029 19386368 2278 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4733 2278 1111 63 0 4670 0
vsize: 18932
[startup+80.0052 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 2506 0 0 0 7990 9 0 0 25 0 1 0 898677029 19939328 2426 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4868 2426 1111 63 0 4805 0
vsize: 19472
[startup+90.0055 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 2656 0 0 0 8989 10 0 0 25 0 1 0 898677029 20631552 2576 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5037 2576 1111 63 0 4974 0
vsize: 20148
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 2810 0 0 0 9988 10 0 0 25 0 1 0 898677029 21184512 2730 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5172 2730 1111 63 0 5109 0
vsize: 20688
[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 2959 0 0 0 10988 11 0 0 25 0 1 0 898677029 21880832 2879 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5342 2879 1111 63 0 5279 0
vsize: 21368
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 3114 0 0 0 11988 11 0 0 25 0 1 0 898677029 22433792 3034 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5477 3034 1111 63 0 5414 0
vsize: 21908
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 3264 0 0 0 12988 11 0 0 25 0 1 0 898677029 23130112 3184 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5647 3184 1111 63 0 5584 0
vsize: 22588
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 3412 0 0 0 13987 12 0 0 25 0 1 0 898677029 23678976 3332 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5781 3332 1111 63 0 5718 0
vsize: 23124
[startup+150.009 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 3563 0 0 0 14987 13 0 0 25 0 1 0 898677029 24379392 3483 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5952 3483 1111 63 0 5889 0
vsize: 23808
[startup+160.008 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 3717 0 0 0 15986 13 0 0 25 0 1 0 898677029 24932352 3637 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6087 3637 1111 63 0 6024 0
vsize: 24348
[startup+170.009 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 3861 0 0 0 16986 14 0 0 25 0 1 0 898677029 25481216 3781 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6221 3781 1111 63 0 6158 0
vsize: 24884
[startup+180.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 4016 0 0 0 17984 15 0 0 25 0 1 0 898677029 26177536 3936 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6391 3936 1111 63 0 6328 0
vsize: 25564
[startup+190.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 4164 0 0 0 18984 15 0 0 25 0 1 0 898677029 26730496 4084 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6526 4084 1111 63 0 6463 0
vsize: 26104
[startup+200.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 4308 0 0 0 19984 16 0 0 25 0 1 0 898677029 27430912 4228 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6697 4228 1111 63 0 6634 0
vsize: 26788
[startup+210.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 4472 0 0 0 20984 16 0 0 25 0 1 0 898677029 28123136 4392 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6866 4392 1111 63 0 6803 0
vsize: 27464
[startup+220.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 4619 0 0 0 21984 16 0 0 25 0 1 0 898677029 28672000 4539 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7000 4539 1111 63 0 6937 0
vsize: 28000
[startup+230.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 4768 0 0 0 22984 16 0 0 25 0 1 0 898677029 29220864 4688 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7134 4688 1111 63 0 7071 0
vsize: 28536
[startup+240.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 4918 0 0 0 23984 17 0 0 25 0 1 0 898677029 29921280 4838 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7305 4838 1111 63 0 7242 0
vsize: 29220
[startup+250.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 5067 0 0 0 24983 17 0 0 25 0 1 0 898677029 30474240 4987 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7440 4987 1111 63 0 7377 0
vsize: 29760
[startup+260.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 5217 0 0 0 25983 17 0 0 25 0 1 0 898677029 31170560 5137 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7610 5137 1111 63 0 7547 0
vsize: 30440
[startup+270.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 5366 0 0 0 26983 18 0 0 25 0 1 0 898677029 31719424 5286 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7744 5286 1111 63 0 7681 0
vsize: 30976
[startup+280.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 5516 0 0 0 27983 18 0 0 25 0 1 0 898677029 32280576 5436 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7881 5436 1111 63 0 7818 0
vsize: 31524
[startup+290.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 5671 0 0 0 28983 18 0 0 25 0 1 0 898677029 32972800 5591 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8050 5591 1111 63 0 7987 0
vsize: 32200
[startup+300.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 5816 0 0 0 29983 19 0 0 25 0 1 0 898677029 33521664 5736 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8184 5736 1111 63 0 8121 0
vsize: 32736
[startup+310.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 5970 0 0 0 30982 19 0 0 25 0 1 0 898677029 34217984 5890 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8354 5890 1111 63 0 8291 0
vsize: 33416
[startup+320.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 6120 0 0 0 31982 20 0 0 25 0 1 0 898677029 34770944 6040 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8489 6040 1111 63 0 8426 0
vsize: 33956
[startup+330.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 6270 0 0 0 32982 20 0 0 25 0 1 0 898677029 35467264 6190 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8659 6190 1111 63 0 8596 0
vsize: 34636
[startup+340.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 6418 0 0 0 33982 20 0 0 25 0 1 0 898677029 36020224 6338 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8794 6338 1111 63 0 8731 0
vsize: 35176
[startup+350.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 6575 0 0 0 34982 20 0 0 25 0 1 0 898677029 36716544 6495 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8964 6495 1111 63 0 8901 0
vsize: 35856
[startup+360.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 6724 0 0 0 35982 20 0 0 25 0 1 0 898677029 37269504 6644 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9099 6644 1111 63 0 9036 0
vsize: 36396
[startup+370.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 6874 0 0 0 36982 20 0 0 25 0 1 0 898677029 37826560 6794 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9235 6794 1111 63 0 9172 0
vsize: 36940
[startup+380.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 7022 0 0 0 37982 20 0 0 25 0 1 0 898677029 38518784 6942 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9404 6942 1111 63 0 9341 0
vsize: 37616
[startup+390.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 7178 0 0 0 38982 21 0 0 25 0 1 0 898677029 39075840 7098 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9540 7098 1111 63 0 9477 0
vsize: 38160
[startup+400.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 7327 0 0 0 39982 21 0 0 25 0 1 0 898677029 39768064 7247 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9709 7247 1111 63 0 9646 0
vsize: 38836
[startup+410.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 7477 0 0 0 40982 21 0 0 25 0 1 0 898677029 40325120 7397 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9845 7397 1111 63 0 9782 0
vsize: 39380
[startup+420.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 7642 0 0 0 41982 22 0 0 25 0 1 0 898677029 41058304 7562 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10024 7562 1111 63 0 9961 0
vsize: 40096
[startup+430.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 7792 0 0 0 42982 22 0 0 25 0 1 0 898677029 41754624 7712 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10194 7712 1111 63 0 10131 0
vsize: 40776
[startup+440.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 7942 0 0 0 43982 22 0 0 25 0 1 0 898677029 42303488 7862 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10328 7862 1111 63 0 10265 0
vsize: 41312
[startup+450.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 8096 0 0 0 44981 22 0 0 25 0 1 0 898677029 42995712 8016 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10497 8016 1111 63 0 10434 0
vsize: 41988
[startup+460.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 8253 0 0 0 45981 23 0 0 25 0 1 0 898677029 43556864 8173 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10634 8173 1111 63 0 10571 0
vsize: 42536
[startup+470.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 8396 0 0 0 46981 23 0 0 25 0 1 0 898677029 44105728 8316 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10768 8316 1111 63 0 10705 0
vsize: 43072
[startup+480.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 8552 0 0 0 47981 23 0 0 25 0 1 0 898677029 44802048 8472 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10938 8472 1111 63 0 10875 0
vsize: 43752
[startup+490.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 8701 0 0 0 48981 24 0 0 25 0 1 0 898677029 45355008 8621 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11073 8621 1111 63 0 11010 0
vsize: 44292
[startup+500.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 8858 0 0 0 49980 24 0 0 25 0 1 0 898677029 46055424 8778 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11244 8778 1111 63 0 11181 0
vsize: 44976
[startup+510.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 9007 0 0 0 50980 24 0 0 25 0 1 0 898677029 46604288 8927 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11378 8927 1111 63 0 11315 0
vsize: 45512
[startup+520.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 9164 0 0 0 51980 25 0 0 25 0 1 0 898677029 47300608 9084 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11548 9084 1111 63 0 11485 0
vsize: 46192
[startup+530.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 9313 0 0 0 52980 25 0 0 25 0 1 0 898677029 47857664 9233 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11684 9233 1111 63 0 11621 0
vsize: 46736
[startup+540.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 9469 0 0 0 53980 25 0 0 25 0 1 0 898677029 48553984 9389 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11854 9389 1111 63 0 11791 0
vsize: 47416
[startup+550.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 9619 0 0 0 54980 26 0 0 25 0 1 0 898677029 49102848 9539 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11988 9539 1111 63 0 11925 0
vsize: 47952
[startup+560.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 9775 0 0 0 55979 26 0 0 25 0 1 0 898677029 49799168 9695 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12158 9695 1111 63 0 12095 0
vsize: 48632
[startup+570.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 9924 0 0 0 56979 27 0 0 25 0 1 0 898677029 50356224 9844 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12294 9844 1111 63 0 12231 0
vsize: 49176
[startup+580.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 10081 0 0 0 57979 27 0 0 25 0 1 0 898677029 51052544 10001 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12464 10001 1111 63 0 12401 0
vsize: 49856
[startup+590.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 10230 0 0 0 58979 27 0 0 25 0 1 0 898677029 51605504 10150 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12599 10150 1111 63 0 12536 0
vsize: 50396
[startup+600.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 10387 0 0 0 59979 27 0 0 25 0 1 0 898677029 52293632 10307 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12767 10307 1111 63 0 12704 0
vsize: 51068
[startup+610.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 10536 0 0 0 60979 28 0 0 25 0 1 0 898677029 52854784 10456 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12904 10456 1111 63 0 12841 0
vsize: 51616
[startup+620.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 10691 0 0 0 61979 28 0 0 25 0 1 0 898677029 53547008 10611 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13073 10611 1111 63 0 13010 0
vsize: 52292
[startup+630.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 10843 0 0 0 62979 28 0 0 25 0 1 0 898677029 54104064 10763 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13209 10763 1111 63 0 13146 0
vsize: 52836
[startup+640.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 10997 0 0 0 63979 28 0 0 25 0 1 0 898677029 54792192 10917 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13377 10917 1111 63 0 13314 0
vsize: 53508
[startup+650.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 11155 0 0 0 64979 29 0 0 25 0 1 0 898677029 55492608 11075 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13548 11075 1111 63 0 13485 0
vsize: 54192
[startup+660.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 11310 0 0 0 65979 29 0 0 25 0 1 0 898677029 56045568 11230 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13683 11230 1111 63 0 13620 0
vsize: 54732
[startup+670.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 11460 0 0 0 66979 29 0 0 25 0 1 0 898677029 56741888 11380 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13853 11380 1111 63 0 13790 0
vsize: 55412
[startup+680.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 11610 0 0 0 67978 30 0 0 25 0 1 0 898677029 57290752 11530 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13987 11530 1111 63 0 13924 0
vsize: 55948
[startup+690.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 11772 0 0 0 68978 30 0 0 25 0 1 0 898677029 57991168 11692 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14158 11692 1111 63 0 14095 0
vsize: 56632
[startup+700.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 11922 0 0 0 69978 31 0 0 25 0 1 0 898677029 58544128 11842 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14293 11842 1111 63 0 14230 0
vsize: 57172
[startup+710.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 12079 0 0 0 70978 31 0 0 25 0 1 0 898677029 59240448 11999 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14463 11999 1111 63 0 14400 0
vsize: 57852
[startup+720.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 12234 0 0 0 71978 31 0 0 25 0 1 0 898677029 59789312 12154 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14597 12154 1111 63 0 14534 0
vsize: 58388
[startup+730.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 12385 0 0 0 72978 32 0 0 25 0 1 0 898677029 60489728 12305 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14768 12305 1111 63 0 14705 0
vsize: 59072
[startup+740.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 12546 0 0 0 73977 32 0 0 25 0 1 0 898677029 61177856 12466 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14936 12466 1111 63 0 14873 0
vsize: 59744
[startup+750.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 12697 0 0 0 74978 32 0 0 25 0 1 0 898677029 61739008 12617 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15073 12617 1111 63 0 15010 0
vsize: 60292
[startup+760.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 12859 0 0 0 75977 32 0 0 25 0 1 0 898677029 62427136 12779 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15241 12779 1111 63 0 15178 0
vsize: 60964
[startup+770.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 13015 0 0 0 76977 33 0 0 25 0 1 0 898677029 62988288 12935 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15378 12935 1111 63 0 15315 0
vsize: 61512
[startup+780.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 13164 0 0 0 77976 34 0 0 25 0 1 0 898677029 63676416 13084 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15546 13084 1111 63 0 15483 0
vsize: 62184
[startup+790.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 13321 0 0 0 78976 34 0 0 25 0 1 0 898677029 64229376 13241 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15681 13241 1111 63 0 15618 0
vsize: 62724
[startup+800.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 13476 0 0 0 79976 34 0 0 25 0 1 0 898677029 64925696 13396 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15851 13396 1111 63 0 15788 0
vsize: 63404
[startup+810.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 13633 0 0 0 80976 34 0 0 25 0 1 0 898677029 65622016 13553 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16021 13553 1111 63 0 15958 0
vsize: 64084
[startup+820.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 13794 0 0 0 81976 35 0 0 25 0 1 0 898677029 66174976 13714 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16156 13714 1111 63 0 16093 0
vsize: 64624
[startup+830.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 13967 0 0 0 82976 35 0 0 25 0 1 0 898677029 67031040 13887 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16365 13887 1111 63 0 16302 0
vsize: 65460
[startup+840.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 14117 0 0 0 83976 36 0 0 25 0 1 0 898677029 67727360 14037 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16535 14037 1111 63 0 16472 0
vsize: 66140
[startup+850.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 14274 0 0 0 84975 36 0 0 25 0 1 0 898677029 68280320 14194 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16670 14194 1111 63 0 16607 0
vsize: 66680
[startup+860.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 14436 0 0 0 85975 37 0 0 25 0 1 0 898677029 68972544 14356 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16839 14356 1111 63 0 16776 0
vsize: 67356
[startup+870.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 14585 0 0 0 86975 37 0 0 25 0 1 0 898677029 69529600 14505 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16975 14505 1111 63 0 16912 0
vsize: 67900
[startup+880.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 14749 0 0 0 87975 37 0 0 25 0 1 0 898677029 70225920 14669 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17145 14669 1111 63 0 17082 0
vsize: 68580
[startup+890.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 14904 0 0 0 88975 37 0 0 25 0 1 0 898677029 70914048 14824 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17313 14824 1111 63 0 17250 0
vsize: 69252
[startup+900.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 15062 0 0 0 89975 38 0 0 25 0 1 0 898677029 71471104 14982 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17449 14982 1111 63 0 17386 0
vsize: 69796
[startup+910.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 15217 0 0 0 90974 38 0 0 25 0 1 0 898677029 72163328 15137 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17618 15137 1111 63 0 17555 0
vsize: 70472
[startup+920.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 15374 0 0 0 91974 38 0 0 25 0 1 0 898677029 72859648 15294 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17788 15294 1111 63 0 17725 0
vsize: 71152
[startup+930.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 15536 0 0 0 92974 39 0 0 25 0 1 0 898677029 73412608 15456 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17923 15456 1111 63 0 17860 0
vsize: 71692
[startup+940.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 15693 0 0 0 93974 39 0 0 25 0 1 0 898677029 74108928 15613 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18093 15613 1111 63 0 18030 0
vsize: 72372
[startup+950.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 15849 0 0 0 94974 39 0 0 25 0 1 0 898677029 74797056 15769 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18261 15769 1111 63 0 18198 0
vsize: 73044
[startup+960.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 16012 0 0 0 95974 39 0 0 25 0 1 0 898677029 75358208 15932 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18398 15932 1111 63 0 18335 0
vsize: 73592
[startup+970.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 16167 0 0 0 96974 40 0 0 25 0 1 0 898677029 76050432 16087 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18567 16087 1111 63 0 18504 0
vsize: 74268
[startup+980.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 16325 0 0 0 97974 40 0 0 25 0 1 0 898677029 76746752 16245 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18737 16245 1111 63 0 18674 0
vsize: 74948
[startup+990.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 16481 0 0 0 98974 40 0 0 25 0 1 0 898677029 77295616 16401 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18871 16401 1111 63 0 18808 0
vsize: 75484
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 16638 0 0 0 99973 41 0 0 25 0 1 0 898677029 77996032 16558 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19042 16558 1111 63 0 18979 0
vsize: 76168
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 16800 0 0 0 100973 41 0 0 25 0 1 0 898677029 78684160 16720 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19210 16720 1111 63 0 19147 0
vsize: 76840
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 16957 0 0 0 101973 41 0 0 25 0 1 0 898677029 79245312 16877 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19347 16877 1111 63 0 19284 0
vsize: 77388
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 17119 0 0 0 102973 41 0 0 25 0 1 0 898677029 79933440 17039 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19515 17039 1111 63 0 19452 0
vsize: 78060
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 17276 0 0 0 103973 42 0 0 25 0 1 0 898677029 80629760 17196 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19685 17196 1111 63 0 19622 0
vsize: 78740
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 17438 0 0 0 104973 42 0 0 25 0 1 0 898677029 81182720 17358 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19820 17358 1111 63 0 19757 0
vsize: 79280
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 17595 0 0 0 105973 43 0 0 25 0 1 0 898677029 81883136 17515 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19991 17515 1111 63 0 19928 0
vsize: 79964
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 17757 0 0 0 106972 43 0 0 25 0 1 0 898677029 82571264 17677 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20159 17677 1111 63 0 20096 0
vsize: 80636
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 17915 0 0 0 107972 43 0 0 25 0 1 0 898677029 83128320 17835 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20295 17835 1111 63 0 20232 0
vsize: 81180
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 18070 0 0 0 108972 44 0 0 25 0 1 0 898677029 83820544 17990 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20464 17990 1111 63 0 20401 0
vsize: 81856
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 18234 0 0 0 109972 44 0 0 25 0 1 0 898677029 84516864 18154 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20634 18154 1111 63 0 20571 0
vsize: 82536
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 18389 0 0 0 110972 44 0 0 25 0 1 0 898677029 85069824 18309 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20769 18309 1111 63 0 20706 0
vsize: 83076
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 18553 0 0 0 111972 44 0 0 25 0 1 0 898677029 85766144 18473 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20939 18473 1111 63 0 20876 0
vsize: 83756
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 18715 0 0 0 112972 44 0 0 25 0 1 0 898677029 86454272 18635 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21107 18635 1111 63 0 21044 0
vsize: 84428
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 18872 0 0 0 113972 45 0 0 25 0 1 0 898677029 87154688 18792 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21278 18792 1111 63 0 21215 0
vsize: 85112
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 19035 0 0 0 114972 45 0 0 25 0 1 0 898677029 87707648 18955 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21413 18955 1111 63 0 21350 0
vsize: 85652
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 19192 0 0 0 115972 45 0 0 25 0 1 0 898677029 88395776 19112 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21581 19112 1111 63 0 21518 0
vsize: 86324
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 19354 0 0 0 116972 45 0 0 25 0 1 0 898677029 89092096 19274 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21751 19274 1111 63 0 21688 0
vsize: 87004
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 19517 0 0 0 117972 46 0 0 25 0 1 0 898677029 89788416 19437 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21921 19437 1111 63 0 21858 0
vsize: 87684
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 19679 0 0 0 118972 46 0 0 25 0 1 0 898677029 90341376 19599 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22056 19599 1111 63 0 21993 0
vsize: 88224
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) R 20396 20224 20223 0 -1 0 19843 0 0 0 119971 46 0 0 25 0 1 0 898677029 91033600 19763 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22225 19763 1111 63 0 22162 0
vsize: 88900
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 20397
Raw data (stat): 20397 (bsolo_lpr-v2) Z 20396 20224 20223 0 -1 1036 19843 0 0 0 119971 50 0 0 25 0 1 0 898677029 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.22
CPU user time (s): 1199.71
CPU system time (s): 0.505923
CPU usage (%): 100.012
Max. virtual memory (Kb): 88900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####