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-fit2d.opb
MD5SUM	2e76b80d3e2b7702736bbbb87d69e547
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	75000
Biggest coefficient in the objective function	20812800
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	5499924834
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	20812800
Number of bits of the biggest number in a constraint	25
Biggest sum of numbers in a constraint	5499924834
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.850869
Number of variables	87000
Total number of constraints	10525
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	10525
Minimum length of a constraint	7
Maximum length of a constraint	87000
Trace number 40216

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 04:16:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28260 boxname=wulflinc4 idbench=1216 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  2e76b80d3e2b7702736bbbb87d69e547  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-fit2d.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-fit2d.opb
IDLAUNCH: 28260
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        815892 kB
Buffers:          8848 kB
Cached:         187888 kB
SwapCached:        872 kB
Active:          46884 kB
Inactive:       151916 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        815640 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4916 kB
Slab:            14268 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:17 (client local time) WITH STATUS 0 IN 1200.47 SECONDS
stats: 28260 7 1200.47 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.84 0.93 0.90 1/54 27076
Raw data (stat): 27076 (runsolver) R 27075 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898672317 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 1431 0 0 0 993 4 0 0 25 0 1 0 898672317 17465344 1351 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4264 1351 1111 63 0 4201 0
vsize: 17056
[startup+20.0014 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 2007 0 0 0 1993 4 0 0 25 0 1 0 898672317 19824640 1927 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4840 1927 1111 63 0 4777 0
vsize: 19360
[startup+30.0026 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 2586 0 0 0 2993 5 0 0 25 0 1 0 898672317 22200320 2506 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5420 2506 1111 63 0 5357 0
vsize: 21680
[startup+40.0031 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 3169 0 0 0 3991 7 0 0 25 0 1 0 898672317 24608768 3089 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6008 3089 1111 63 0 5945 0
vsize: 24032
[startup+50.003 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 3764 0 0 0 4990 8 0 0 25 0 1 0 898672317 27078656 3684 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6611 3684 1111 63 0 6548 0
vsize: 26444
[startup+60.0039 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 4353 0 0 0 5990 9 0 0 25 0 1 0 898672317 29466624 4273 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7194 4273 1111 63 0 7131 0
vsize: 28776
[startup+70.0037 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 4949 0 0 0 6989 10 0 0 25 0 1 0 898672317 31850496 4869 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7776 4869 1111 63 0 7713 0
vsize: 31104
[startup+80.0045 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 5538 0 0 0 7988 11 0 0 25 0 1 0 898672317 34234368 5458 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8358 5458 1111 63 0 8295 0
vsize: 33432
[startup+90.0048 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 6134 0 0 0 8987 12 0 0 25 0 1 0 898672317 36782080 6054 4294967295 134512640 134716908 3221224576 3221222636 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8980 6054 1111 63 0 8917 0
vsize: 35920
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 6737 0 0 0 9985 14 0 0 25 0 1 0 898672317 39272448 6657 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9588 6657 1111 63 0 9525 0
vsize: 38352
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 7340 0 0 0 10985 14 0 0 25 0 1 0 898672317 41660416 7260 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10171 7260 1111 63 0 10108 0
vsize: 40684
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 7948 0 0 0 11984 15 0 0 25 0 1 0 898672317 44224512 7868 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10797 7868 1111 63 0 10734 0
vsize: 43188
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 8544 0 0 0 12984 16 0 0 25 0 1 0 898672317 46612480 8464 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11380 8464 1111 63 0 11317 0
vsize: 45520
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 9153 0 0 0 13983 17 0 0 25 0 1 0 898672317 49106944 9073 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11989 9073 1111 63 0 11926 0
vsize: 47956
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 9770 0 0 0 14981 19 0 0 25 0 1 0 898672317 51625984 9690 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12604 9690 1111 63 0 12541 0
vsize: 50416
[startup+160.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 10385 0 0 0 15981 20 0 0 25 0 1 0 898672317 54140928 10305 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13218 10305 1111 63 0 13155 0
vsize: 52872
[startup+170.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 11000 0 0 0 16980 21 0 0 25 0 1 0 898672317 56688640 10920 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13840 10920 1111 63 0 13777 0
vsize: 55360
[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 11621 0 0 0 17979 22 0 0 25 0 1 0 898672317 59228160 11541 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14460 11541 1111 63 0 14397 0
vsize: 57840
[startup+190.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 12254 0 0 0 18978 23 0 0 25 0 1 0 898672317 61898752 12174 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15112 12174 1111 63 0 15049 0
vsize: 60448
[startup+200.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 12869 0 0 0 19977 24 0 0 25 0 1 0 898672317 64417792 12789 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15727 12789 1111 63 0 15664 0
vsize: 62908
[startup+210.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 13504 0 0 0 20976 26 0 0 25 0 1 0 898672317 66932736 13424 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16341 13424 1111 63 0 16278 0
vsize: 65364
[startup+220.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 14132 0 0 0 21975 27 0 0 25 0 1 0 898672317 69500928 14052 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16968 14052 1111 63 0 16905 0
vsize: 67872
[startup+230.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 14762 0 0 0 22975 28 0 0 25 0 1 0 898672317 72155136 14682 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17616 14682 1111 63 0 17553 0
vsize: 70464
[startup+240.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 15396 0 0 0 23973 30 0 0 25 0 1 0 898672317 74674176 15316 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18231 15316 1111 63 0 18168 0
vsize: 72924
[startup+250.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 16036 0 0 0 24972 31 0 0 25 0 1 0 898672317 77373440 15956 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18890 15956 1111 63 0 18827 0
vsize: 75560
[startup+260.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 16678 0 0 0 25972 32 0 0 25 0 1 0 898672317 79892480 16598 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19505 16598 1111 63 0 19442 0
vsize: 78020
[startup+270.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 17320 0 0 0 26971 33 0 0 25 0 1 0 898672317 82567168 17240 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20158 17240 1111 63 0 20095 0
vsize: 80632
[startup+280.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 17968 0 0 0 27970 34 0 0 25 0 1 0 898672317 85245952 17888 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20812 17888 1111 63 0 20749 0
vsize: 83248
[startup+290.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 18614 0 0 0 28969 35 0 0 25 0 1 0 898672317 87810048 18534 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21438 18534 1111 63 0 21375 0
vsize: 85752
[startup+300.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 19270 0 0 0 29969 36 0 0 25 0 1 0 898672317 90464256 19190 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22086 19190 1111 63 0 22023 0
vsize: 88344
[startup+310.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 19923 0 0 0 30968 37 0 0 25 0 1 0 898672317 93143040 19843 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22740 19843 1111 63 0 22677 0
vsize: 90960
[startup+320.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 20578 0 0 0 31967 38 0 0 25 0 1 0 898672317 95838208 20498 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23398 20498 1111 63 0 23335 0
vsize: 93592
[startup+330.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 21239 0 0 0 32966 39 0 0 25 0 1 0 898672317 98648064 21159 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24084 21159 1111 63 0 24021 0
vsize: 96336
[startup+340.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 21910 0 0 0 33966 40 0 0 25 0 1 0 898672317 101326848 21830 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24738 21830 1111 63 0 24675 0
vsize: 98952
[startup+350.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 22576 0 0 0 34965 42 0 0 25 0 1 0 898672317 104022016 22496 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25396 22496 1111 63 0 25333 0
vsize: 101584
[startup+360.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 23269 0 0 0 35964 43 0 0 25 0 1 0 898672317 106999808 23189 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26123 23189 1111 63 0 26060 0
vsize: 104492
[startup+370.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 23941 0 0 0 36963 44 0 0 25 0 1 0 898672317 109699072 23861 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26782 23861 1111 63 0 26719 0
vsize: 107128
[startup+380.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 24615 0 0 0 37963 45 0 0 25 0 1 0 898672317 112558080 24535 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27480 24535 1111 63 0 27417 0
vsize: 109920
[startup+390.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 25295 0 0 0 38962 46 0 0 25 0 1 0 898672317 115367936 25215 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28166 25215 1111 63 0 28103 0
vsize: 112664
[startup+400.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 25968 0 0 0 39961 47 0 0 25 0 1 0 898672317 118042624 25888 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28819 25888 1111 63 0 28756 0
vsize: 115276
[startup+410.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 26661 0 0 0 40960 48 0 0 25 0 1 0 898672317 120897536 26581 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29516 26581 1111 63 0 29453 0
vsize: 118064
[startup+420.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 27347 0 0 0 41959 49 0 0 25 0 1 0 898672317 123707392 27267 4294967295 134512640 134716908 3221224576 3221222804 1077414397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30202 27267 1111 63 0 30139 0
vsize: 120808
[startup+430.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 28033 0 0 0 42959 50 0 0 25 0 1 0 898672317 126537728 27953 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30893 27953 1111 63 0 30830 0
vsize: 123572
[startup+440.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 28725 0 0 0 43957 52 0 0 25 0 1 0 898672317 129347584 28645 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31579 28645 1111 63 0 31516 0
vsize: 126316
[startup+450.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 29431 0 0 0 44956 53 0 0 25 0 1 0 898672317 132182016 29351 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32271 29351 1111 63 0 32208 0
vsize: 129084
[startup+460.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 30128 0 0 0 45955 54 0 0 25 0 1 0 898672317 135012352 30048 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32962 30048 1111 63 0 32899 0
vsize: 131848
[startup+470.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 30836 0 0 0 46954 56 0 0 25 0 1 0 898672317 137977856 30756 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33686 30756 1111 63 0 33623 0
vsize: 134744
[startup+480.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 31539 0 0 0 47953 57 0 0 25 0 1 0 898672317 140783616 31459 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34371 31459 1111 63 0 34308 0
vsize: 137484
[startup+490.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 32241 0 0 0 48952 58 0 0 25 0 1 0 898672317 143773696 32161 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35101 32161 1111 63 0 35038 0
vsize: 140404
[startup+500.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 32952 0 0 0 49951 60 0 0 25 0 1 0 898672317 146608128 32872 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35793 32872 1111 63 0 35730 0
vsize: 143172
[startup+510.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 33665 0 0 0 50952 61 0 0 25 0 1 0 898672317 149573632 33585 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36517 33585 1111 63 0 36454 0
vsize: 146068
[startup+520.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 34382 0 0 0 51951 62 0 0 25 0 1 0 898672317 152403968 34302 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37208 34302 1111 63 0 37145 0
vsize: 148832
[startup+530.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 35099 0 0 0 52950 63 0 0 25 0 1 0 898672317 155394048 35019 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37938 35019 1111 63 0 37875 0
vsize: 151752
[startup+540.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 35813 0 0 0 53948 66 0 0 25 0 1 0 898672317 158359552 35733 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38662 35733 1111 63 0 38599 0
vsize: 154648
[startup+550.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 36530 0 0 0 54947 67 0 0 25 0 1 0 898672317 161189888 36450 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39353 36450 1111 63 0 39290 0
vsize: 157412
[startup+560.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 37256 0 0 0 55946 67 0 0 25 0 1 0 898672317 164159488 37176 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40078 37176 1111 63 0 40015 0
vsize: 160312
[startup+570.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 37986 0 0 0 56944 70 0 0 25 0 1 0 898672317 167170048 37906 4294967295 134512640 134716908 3221224576 3221221100 1077198905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40813 37906 1111 63 0 40750 0
vsize: 163252
[startup+580.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 38712 0 0 0 57944 71 0 0 25 0 1 0 898672317 170115072 38632 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41532 38632 1111 63 0 41469 0
vsize: 166128
[startup+590.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 39448 0 0 0 58943 72 0 0 25 0 1 0 898672317 173256704 39368 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42299 39368 1111 63 0 42236 0
vsize: 169196
[startup+600.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 40168 0 0 0 59942 73 0 0 25 0 1 0 898672317 176070656 40088 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42986 40088 1111 63 0 42923 0
vsize: 171944
[startup+610.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 40910 0 0 0 60941 74 0 0 25 0 1 0 898672317 179212288 40830 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43753 40830 1111 63 0 43690 0
vsize: 175012
[startup+620.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 41650 0 0 0 61940 75 0 0 25 0 1 0 898672317 182177792 41570 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44477 41570 1111 63 0 44414 0
vsize: 177908
[startup+630.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 42398 0 0 0 62938 77 0 0 25 0 1 0 898672317 185298944 42318 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45239 42318 1111 63 0 45176 0
vsize: 180956
[startup+640.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 43143 0 0 0 63936 79 0 0 25 0 1 0 898672317 188289024 43063 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45969 43063 1111 63 0 45906 0
vsize: 183876
[startup+650.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 43885 0 0 0 64935 80 0 0 25 0 1 0 898672317 191279104 43805 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46699 43805 1111 63 0 46636 0
vsize: 186796
[startup+660.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 44641 0 0 0 65935 81 0 0 25 0 1 0 898672317 194379776 44561 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47456 44561 1111 63 0 47393 0
vsize: 189824
[startup+670.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 45396 0 0 0 66933 83 0 0 25 0 1 0 898672317 197521408 45316 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48223 45316 1111 63 0 48160 0
vsize: 192892
[startup+680.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 46192 0 0 0 67932 84 0 0 25 0 1 0 898672317 201011200 46112 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49075 46112 1111 63 0 49012 0
vsize: 196300
[startup+690.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 46950 0 0 0 68931 85 0 0 25 0 1 0 898672317 204152832 46870 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49842 46870 1111 63 0 49779 0
vsize: 199368
[startup+700.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 47719 0 0 0 69930 87 0 0 25 0 1 0 898672317 207278080 47639 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50605 47639 1111 63 0 50542 0
vsize: 202420
[startup+710.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 48488 0 0 0 70929 88 0 0 25 0 1 0 898672317 210395136 48408 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51366 48408 1111 63 0 51303 0
vsize: 205464
[startup+720.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 49289 0 0 0 71927 89 0 0 25 0 1 0 898672317 213700608 49209 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52173 49209 1111 63 0 52110 0
vsize: 208692
[startup+730.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 50143 0 0 0 72926 91 0 0 25 0 1 0 898672317 217268224 50063 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53044 50063 1111 63 0 52981 0
vsize: 212176
[startup+740.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 51012 0 0 0 73925 92 0 0 25 0 1 0 898672317 220823552 50932 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53912 50932 1111 63 0 53849 0
vsize: 215648
[startup+750.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 51877 0 0 0 74924 94 0 0 25 0 1 0 898672317 224231424 51797 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54744 51797 1111 63 0 54681 0
vsize: 218976
[startup+760.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 52762 0 0 0 75923 95 0 0 25 0 1 0 898672317 227950592 52682 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55652 52682 1111 63 0 55589 0
vsize: 222608
[startup+770.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 53644 0 0 0 76922 96 0 0 25 0 1 0 898672317 231464960 53564 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56510 53564 1111 63 0 56447 0
vsize: 226040
[startup+780.084 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 54528 0 0 0 77920 98 0 0 25 0 1 0 898672317 235175936 54448 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57416 54448 1111 63 0 57353 0
vsize: 229664
[startup+790.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 55426 0 0 0 78919 100 0 0 25 0 1 0 898672317 238845952 55346 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58312 55346 1111 63 0 58249 0
vsize: 233248
[startup+800.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 56327 0 0 0 79917 101 0 0 25 0 1 0 898672317 242544640 56247 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59215 56247 1111 63 0 59152 0
vsize: 236860
[startup+810.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 57232 0 0 0 80915 103 0 0 25 0 1 0 898672317 246259712 57152 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60122 57152 1111 63 0 60059 0
vsize: 240488
[startup+820.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 58138 0 0 0 81914 105 0 0 25 0 1 0 898672317 249921536 58058 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61016 58058 1111 63 0 60953 0
vsize: 244064
[startup+830.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 59055 0 0 0 82912 107 0 0 25 0 1 0 898672317 253620224 58975 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61919 58975 1111 63 0 61856 0
vsize: 247676
[startup+840.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 59978 0 0 0 83910 109 0 0 25 0 1 0 898672317 257445888 59898 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62853 59898 1111 63 0 62790 0
vsize: 251412
[startup+850.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 60911 0 0 0 84908 111 0 0 25 0 1 0 898672317 261320704 60831 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63799 60831 1111 63 0 63736 0
vsize: 255196
[startup+860.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 61853 0 0 0 85906 113 0 0 25 0 1 0 898672317 265146368 61773 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64733 61773 1111 63 0 64670 0
vsize: 258932
[startup+870.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 62790 0 0 0 86905 114 0 0 25 0 1 0 898672317 268996608 62710 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65673 62710 1111 63 0 65610 0
vsize: 262692
[startup+880.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 63743 0 0 0 87904 117 0 0 25 0 1 0 898672317 272822272 63663 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66607 63663 1111 63 0 66544 0
vsize: 266428
[startup+890.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 64704 0 0 0 88902 118 0 0 25 0 1 0 898672317 276774912 64624 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67572 64624 1111 63 0 67509 0
vsize: 270288
[startup+900.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 65670 0 0 0 89901 120 0 0 25 0 1 0 898672317 280649728 65590 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68518 65590 1111 63 0 68455 0
vsize: 274072
[startup+910.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 66662 0 0 0 90900 121 0 0 25 0 1 0 898672317 284790784 66582 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69529 66582 1111 63 0 69466 0
vsize: 278116
[startup+920.093 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 67681 0 0 0 91898 123 0 0 25 0 1 0 898672317 288899072 67601 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70532 67601 1111 63 0 70469 0
vsize: 282128
[startup+930.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 68731 0 0 0 92896 125 0 0 25 0 1 0 898672317 293195776 68651 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71581 68651 1111 63 0 71518 0
vsize: 286324
[startup+940.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 69795 0 0 0 93895 127 0 0 25 0 1 0 898672317 297603072 69715 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72657 69715 1111 63 0 72594 0
vsize: 290628
[startup+950.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 70864 0 0 0 94893 129 0 0 25 0 1 0 898672317 302030848 70784 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73738 70784 1111 63 0 73675 0
vsize: 294952
[startup+960.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 71953 0 0 0 95891 131 0 0 25 0 1 0 898672317 306483200 71873 4294967295 134512640 134716908 3221224576 3221222796 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74825 71873 1111 63 0 74762 0
vsize: 299300
[startup+970.095 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 73048 0 0 0 96889 133 0 0 25 0 1 0 898672317 310931456 72968 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75911 72968 1111 63 0 75848 0
vsize: 303644
[startup+980.096 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 74155 0 0 0 97887 135 0 0 25 0 1 0 898672317 315465728 74075 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77018 74075 1111 63 0 76955 0
vsize: 308072
[startup+990.097 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 75262 0 0 0 98886 137 0 0 25 0 1 0 898672317 319913984 75182 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78104 75182 1111 63 0 78041 0
vsize: 312416
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 76384 0 0 0 99884 139 0 0 25 0 1 0 898672317 324530176 76304 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79231 76304 1111 63 0 79168 0
vsize: 316924
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 77518 0 0 0 100882 141 0 0 25 0 1 0 898672317 329220096 77438 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80376 77438 1111 63 0 80313 0
vsize: 321504
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 78651 0 0 0 101880 143 0 0 25 0 1 0 898672317 333828096 78571 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81501 78571 1111 63 0 81438 0
vsize: 326004
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 79803 0 0 0 102878 145 0 0 25 0 1 0 898672317 338591744 79723 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82664 79723 1111 63 0 82601 0
vsize: 330656
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 80950 0 0 0 103876 147 0 0 25 0 1 0 898672317 343179264 80870 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83784 80870 1111 63 0 83721 0
vsize: 335136
[startup+1050.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 82103 0 0 0 104874 150 0 0 25 0 1 0 898672317 347918336 82023 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84941 82023 1111 63 0 84878 0
vsize: 339764
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 83268 0 0 0 105873 151 0 0 25 0 1 0 898672317 352632832 83188 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86092 83188 1111 63 0 86029 0
vsize: 344368
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 84473 0 0 0 106871 153 0 0 25 0 1 0 898672317 357666816 84393 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87321 84393 1111 63 0 87258 0
vsize: 349284
[startup+1080.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 85714 0 0 0 107870 154 0 0 25 0 1 0 898672317 362663936 85634 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88541 85634 1111 63 0 88478 0
vsize: 354164
[startup+1090.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 86951 0 0 0 108869 156 0 0 25 0 1 0 898672317 367697920 86871 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89770 86871 1111 63 0 89707 0
vsize: 359080
[startup+1100.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 88212 0 0 0 109867 158 0 0 25 0 1 0 898672317 372858880 88132 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91030 88132 1111 63 0 90967 0
vsize: 364120
[startup+1110.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 89480 0 0 0 110865 160 0 0 25 0 1 0 898672317 378175488 89400 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92328 89400 1111 63 0 92265 0
vsize: 369312
[startup+1120.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 90748 0 0 0 111862 163 0 0 25 0 1 0 898672317 383356928 90668 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93593 90668 1111 63 0 93530 0
vsize: 374372
[startup+1130.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 92151 0 0 0 112860 166 0 0 25 0 1 0 898672317 389246976 91945 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95031 91945 1111 63 0 94968 0
vsize: 380124
[startup+1140.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 93438 0 0 0 113857 169 0 0 25 0 1 0 898672317 394563584 93232 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96329 93232 1111 63 0 96266 0
vsize: 385316
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 94739 0 0 0 114854 172 0 0 25 0 1 0 898672317 399880192 94533 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97627 94533 1111 63 0 97564 0
vsize: 390508
[startup+1160.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 96040 0 0 0 115852 175 0 0 25 0 1 0 898672317 405196800 95834 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98925 95834 1111 63 0 98862 0
vsize: 395700
[startup+1170.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 97360 0 0 0 116850 177 0 0 25 0 1 0 898672317 410513408 97154 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100223 97154 1111 63 0 100160 0
vsize: 400892
[startup+1180.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 98688 0 0 0 117847 179 0 0 25 0 1 0 898672317 415965184 98482 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101554 98482 1111 63 0 101491 0
vsize: 406216
[startup+1190.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 100026 0 0 0 118845 182 0 0 25 0 1 0 898672317 421433344 99820 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102889 99820 1111 63 0 102826 0
vsize: 411556
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) R 27075 21152 21151 0 -1 0 101366 0 0 0 119843 184 0 0 25 0 1 0 898672317 426909696 101160 4294967295 134512640 134716908 3221224576 3221223232 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104226 101160 1111 63 0 104163 0
vsize: 416904
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.3 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 27076
Raw data (stat): 27076 (bsolo_lpr-v2) Z 27075 21152 21151 0 -1 1036 101366 0 0 0 119843 203 0 0 25 0 1 0 898672317 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.3
CPU time (s): 1200.47
CPU user time (s): 1198.43
CPU system time (s): 2.03369
CPU usage (%): 100.014
Max. virtual memory (Kb): 416904
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####