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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-a1c1s1.opb
MD5SUM60a85eb68562d07c063b16fa35f27512
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 27456
Biggest coefficient in the objective function 1310720000000
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 254165973806800
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 1310720000000
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 254165973806800
Number of bits of the biggest sum of numbers48
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.648901
Number of variables71616
Total number of constraints3312
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3312
Minimum length of a constraint33
Maximum length of a constraint545

Trace number 40318

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 06:42:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28382 boxname=wulflinc4 idbench=1338 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  60a85eb68562d07c063b16fa35f27512  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-a1c1s1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-a1c1s1.opb
IDLAUNCH: 28382
/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:        804540 kB
Buffers:         20920 kB
Cached:         187104 kB
SwapCached:        872 kB
Active:          26776 kB
Inactive:       183324 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        804288 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4916 kB
Slab:            14348 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 07:02:24 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 28382 7 1175.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 71616 variables and 4560 constraints.
c After prepocess the problem consists of 59596 variables and 5084 constraints.
c preprocess terminated 342.474 s
c Initial Lower Bound: 716256478
c Lower Bound Elapsed time: 52.0376
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### 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.95 0.90 1/54 29337
Raw data (stat): 29337 (runsolver) R 29336 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899551889 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.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 1469 0 0 0 994 3 0 0 25 0 1 0 899551889 18604032 1389 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4542 1389 1111 63 0 4479 0
vsize: 18168
[startup+20.0004 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2382 0 0 0 1992 5 0 0 25 0 1 0 899551889 22401024 2302 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5469 2302 1111 63 0 5406 0
vsize: 21876
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 3344 0 0 0 2991 7 0 0 25 0 1 0 899551889 26341376 3264 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 3264 1111 63 0 6368 0
vsize: 25724
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 4336 0 0 0 3989 9 0 0 25 0 1 0 899551889 30441472 4256 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7432 4256 1111 63 0 7369 0
vsize: 29728
[startup+50.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 5377 0 0 0 4987 11 0 0 25 0 1 0 899551889 34668544 5297 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8464 5297 1111 63 0 8401 0
vsize: 33856
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 6489 0 0 0 5984 14 0 0 25 0 1 0 899551889 39329792 6409 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9602 6409 1111 63 0 9539 0
vsize: 38408
[startup+70.0017 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 7675 0 0 0 6983 16 0 0 25 0 1 0 899551889 44113920 7595 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10770 7595 1111 63 0 10707 0
vsize: 43080
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 8923 0 0 0 7980 18 0 0 25 0 1 0 899551889 49184768 8843 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12008 8843 1111 63 0 11945 0
vsize: 48032
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 10350 0 0 0 8978 21 0 0 25 0 1 0 899551889 55095296 10270 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13451 10270 1111 63 0 13388 0
vsize: 53804
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 11874 0 0 0 9975 24 0 0 25 0 1 0 899551889 61370368 11794 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14983 11794 1111 63 0 14920 0
vsize: 59932
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 13481 0 0 0 10972 27 0 0 25 0 1 0 899551889 67985408 13401 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16598 13401 1111 63 0 16535 0
vsize: 66392
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 15150 0 0 0 11969 30 0 0 25 0 1 0 899551889 74747904 15070 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18249 15070 1111 63 0 18186 0
vsize: 72996
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 16928 0 0 0 12966 33 0 0 25 0 1 0 899551889 82067456 16848 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20036 16848 1111 63 0 19973 0
vsize: 80144
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 18670 0 0 0 13963 37 0 0 25 0 1 0 899551889 89088000 18590 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21750 18590 1111 63 0 21687 0
vsize: 87000
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 49002 0 0 0 14902 97 0 0 25 0 1 0 899551889 212652032 48580 4294967295 134512640 134716908 3221224576 3221222620 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51917 48580 1111 63 0 51854 0
vsize: 207668
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 54910 0 0 0 15887 112 0 0 25 0 1 0 899551889 236793856 54488 4294967295 134512640 134716908 3221224576 3221222476 1076880029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57811 54488 1111 63 0 57748 0
vsize: 231244
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 68295 0 0 0 16856 142 0 0 25 0 1 0 899551889 262606848 62697 4294967295 134512640 134716908 3221224576 3221223312 134630831 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64113 62697 1111 63 0 64050 0
vsize: 256452
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 68604 0 0 0 17855 143 0 0 25 0 1 0 899551889 263962624 63006 4294967295 134512640 134716908 3221224576 3221223304 134675289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64444 63006 1111 63 0 64381 0
vsize: 257776
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 162321 0 0 0 18650 348 0 0 25 0 1 0 899551889 265854976 63483 4294967295 134512640 134716908 3221224576 3221223312 134630833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64906 63483 1111 63 0 64843 0
vsize: 259624
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 321892 0 0 0 19306 692 0 0 25 0 1 0 899551889 267534336 63874 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65246 63804 1111 63 0 65183 0
vsize: 261264
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 468851 0 0 0 19991 1008 0 0 25 0 1 0 899551889 267350016 63833 4294967295 134512640 134716908 3221224576 3221223160 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65271 63833 1111 63 0 65208 0
vsize: 261084
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 629196 0 0 0 20648 1351 0 0 25 0 1 0 899551889 267755520 63948 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65370 63948 1111 63 0 65307 0
vsize: 261480
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 796199 0 0 0 21284 1715 0 0 25 0 1 0 899551889 268886016 64211 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65646 64217 1111 63 0 65583 0
vsize: 262584
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 958580 0 0 0 21929 2070 0 0 25 0 1 0 899551889 269291520 64262 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65745 64268 1111 63 0 65682 0
vsize: 262980
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 1129012 0 0 0 22558 2441 0 0 25 0 1 0 899551889 268697600 64174 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65600 64174 1111 63 0 65537 0
vsize: 262400
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 1308608 0 0 0 23170 2829 0 0 25 0 1 0 899551889 269692928 64220 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65843 64227 1111 63 0 65780 0
vsize: 263372
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 1501861 0 0 0 23752 3248 0 0 25 0 1 0 899551889 269824000 64273 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65875 64279 1111 63 0 65812 0
vsize: 263500
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 1693566 0 0 0 24327 3673 0 0 25 0 1 0 899551889 268963840 64248 4294967295 134512640 134716908 3221224576 3221223304 134675279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65665 64248 1111 63 0 65602 0
vsize: 262660
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 1693699 0 0 0 25327 3673 0 0 25 0 1 0 899551889 269520896 64381 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65801 64381 1111 63 0 65738 0
vsize: 263204
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 1693705 0 0 0 26327 3673 0 0 25 0 1 0 899551889 269520896 64387 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65801 64387 1111 63 0 65738 0
vsize: 263204
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 1693705 0 0 0 27327 3673 0 0 25 0 1 0 899551889 269520896 64387 4294967295 134512640 134716908 3221224576 3221223232 134627277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65801 64387 1111 63 0 65738 0
vsize: 263204
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 1693705 0 0 0 28327 3673 0 0 25 0 1 0 899551889 269520896 64387 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65801 64387 1111 63 0 65738 0
vsize: 263204
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 1693705 0 0 0 29328 3673 0 0 25 0 1 0 899551889 269520896 64387 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65801 64387 1111 63 0 65738 0
vsize: 263204
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 1693705 0 0 0 30328 3673 0 0 25 0 1 0 899551889 269520896 64387 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65801 64387 1111 63 0 65738 0
vsize: 263204
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 1797284 0 0 0 31100 3901 0 0 25 0 1 0 899551889 283693056 67656 4294967295 134512640 134716908 3221224576 3221222592 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69261 67656 1111 63 0 69198 0
vsize: 277044
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 1914861 0 0 0 31833 4167 0 0 25 0 1 0 899551889 284336128 67806 4294967295 134512640 134716908 3221224576 3221222488 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69418 67811 1111 63 0 69355 0
vsize: 277672
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2016780 0 0 0 32603 4397 0 0 25 0 1 0 899551889 284700672 67904 4294967295 134512640 134716908 3221224576 3221221960 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69507 67909 1111 63 0 69444 0
vsize: 278028
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2100592 0 0 0 33401 4600 0 0 25 0 1 0 899551889 285224960 67996 4294967295 134512640 134716908 3221224576 3221221912 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69635 68000 1111 63 0 69572 0
vsize: 278540
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2171744 0 0 0 34227 4773 0 0 25 0 1 0 899551889 285376512 68098 4294967295 134512640 134716908 3221224576 3221222064 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69672 68098 1111 63 0 69609 0
vsize: 278688
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2234019 0 0 0 35076 4925 0 0 25 0 1 0 899551889 285843456 68213 4294967295 134512640 134716908 3221224576 3221222112 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69786 68213 1111 63 0 69723 0
vsize: 279144
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2290638 0 0 0 35941 5060 0 0 25 0 1 0 899551889 286085120 68272 4294967295 134512640 134716908 3221224576 3221222592 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69845 68272 1111 63 0 69782 0
vsize: 279380
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2344593 0 0 0 36811 5190 0 0 25 0 1 0 899551889 286306304 68327 4294967295 134512640 134716908 3221224576 3221222048 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69899 68327 1111 63 0 69836 0
vsize: 279596
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2395279 0 0 0 37687 5315 0 0 25 0 1 0 899551889 286887936 68403 4294967295 134512640 134716908 3221224576 3221222024 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70041 68408 1111 63 0 69978 0
vsize: 280164
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2418996 0 0 0 38628 5374 0 0 25 0 1 0 899551889 302456832 71705 4294967295 134512640 134716908 3221224576 3221220640 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71705 1111 63 0 73779 0
vsize: 295368
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2419008 0 0 0 39628 5374 0 0 25 0 1 0 899551889 302456832 71717 4294967295 134512640 134716908 3221224576 3221220700 1075116489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71717 1111 63 0 73779 0
vsize: 295368
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2419016 0 0 0 40628 5374 0 0 25 0 1 0 899551889 302456832 71725 4294967295 134512640 134716908 3221224576 3221221544 1075007302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71725 1111 63 0 73779 0
vsize: 295368
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2419024 0 0 0 41628 5374 0 0 25 0 1 0 899551889 302456832 71733 4294967295 134512640 134716908 3221224576 3221220700 1075116784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71733 1111 63 0 73779 0
vsize: 295368
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2419024 0 0 0 42628 5374 0 0 25 0 1 0 899551889 302456832 71733 4294967295 134512640 134716908 3221224576 3221221024 1075088581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71733 1111 63 0 73779 0
vsize: 295368
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2419024 0 0 0 43629 5374 0 0 25 0 1 0 899551889 302456832 71733 4294967295 134512640 134716908 3221224576 3221221136 1075967941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71733 1111 63 0 73779 0
vsize: 295368
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2419028 0 0 0 44629 5374 0 0 25 0 1 0 899551889 302456832 71737 4294967295 134512640 134716908 3221224576 3221220700 1075116478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71737 1111 63 0 73779 0
vsize: 295368
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2419045 0 1 0 45605 5374 0 0 25 0 1 0 899551889 302456832 71755 4294967295 134512640 134716908 3221224576 3221221384 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71755 1111 63 0 73779 0
vsize: 295368
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2419053 0 1 0 46606 5374 0 0 25 0 1 0 899551889 302456832 71763 4294967295 134512640 134716908 3221224576 3221220552 1074950180 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71763 1111 63 0 73779 0
vsize: 295368
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2419066 0 1 0 47606 5374 0 0 25 0 1 0 899551889 303194112 71776 4294967295 134512640 134716908 3221224576 3221220640 1075091544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74022 71776 1111 63 0 73959 0
vsize: 296088
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2419066 0 1 0 48606 5374 0 0 25 0 1 0 899551889 303194112 71776 4294967295 134512640 134716908 3221224576 3221220444 1074860595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74022 71776 1111 63 0 73959 0
vsize: 296088
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2419066 0 1 0 49606 5374 0 0 25 0 1 0 899551889 303194112 71776 4294967295 134512640 134716908 3221224576 3221220444 1074860595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74022 71776 1111 63 0 73959 0
vsize: 296088
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2419066 0 1 0 50606 5374 0 0 25 0 1 0 899551889 303194112 71776 4294967295 134512640 134716908 3221224576 3221220348 1074787489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74022 71776 1111 63 0 73959 0
vsize: 296088
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2424030 0 1 0 51594 5386 0 0 25 0 1 0 899551889 296804352 70488 4294967295 134512640 134716908 3221224576 3221220816 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70488 1111 63 0 72399 0
vsize: 289848
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2424030 0 1 0 52595 5386 0 0 25 0 1 0 899551889 296804352 70488 4294967295 134512640 134716908 3221224576 3221220640 1074794640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70488 1111 63 0 72399 0
vsize: 289848
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2424030 0 1 0 53595 5386 0 0 25 0 1 0 899551889 296804352 70488 4294967295 134512640 134716908 3221224576 3221220552 1074950169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70488 1111 63 0 72399 0
vsize: 289848
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2434422 0 1 0 54573 5409 0 0 25 0 1 0 899551889 296804352 70455 4294967295 134512640 134716908 3221224576 3221221504 1074810483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70455 1111 63 0 72399 0
vsize: 289848
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2434426 0 1 0 55573 5409 0 0 25 0 1 0 899551889 296804352 70459 4294967295 134512640 134716908 3221224576 3221220476 1074860977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70459 1111 63 0 72399 0
vsize: 289848
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2444831 0 1 0 56550 5431 0 0 25 0 1 0 899551889 296804352 70459 4294967295 134512640 134716908 3221224576 3221221424 1074620040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70459 1111 63 0 72399 0
vsize: 289848
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2444834 0 1 0 57551 5431 0 0 25 0 1 0 899551889 296804352 70462 4294967295 134512640 134716908 3221224576 3221220552 1074950198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70462 1111 63 0 72399 0
vsize: 289848
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2444834 0 1 0 58551 5431 0 0 25 0 1 0 899551889 296804352 70462 4294967295 134512640 134716908 3221224576 3221220444 1074860595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70462 1111 63 0 72399 0
vsize: 289848
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2454636 0 1 0 59531 5452 0 0 25 0 1 0 899551889 296804352 69862 4294967295 134512640 134716908 3221224576 3221221520 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 69862 1111 63 0 72399 0
vsize: 289848
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2461113 0 1 0 60519 5464 0 0 25 0 1 0 899551889 302686208 71804 4294967295 134512640 134716908 3221224576 3221221424 1074620038 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73898 71804 1111 63 0 73835 0
vsize: 295592
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2465729 0 1 0 61509 5474 0 0 25 0 1 0 899551889 296804352 70462 4294967295 134512640 134716908 3221224576 3221220700 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70462 1111 63 0 72399 0
vsize: 289848
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2465735 0 1 0 62509 5474 0 0 25 0 1 0 899551889 296804352 70468 4294967295 134512640 134716908 3221224576 3221220684 1075563849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70468 1111 63 0 72399 0
vsize: 289848
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2465735 0 1 0 63509 5474 0 0 25 0 1 0 899551889 296804352 70468 4294967295 134512640 134716908 3221224576 3221220476 1074860993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70468 1111 63 0 72399 0
vsize: 289848
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2476162 0 1 0 64488 5495 0 0 25 0 1 0 899551889 296804352 70463 4294967295 134512640 134716908 3221224576 3221220688 1074815284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70463 1111 63 0 72399 0
vsize: 289848
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2476170 0 1 0 65488 5495 0 0 25 0 1 0 899551889 296804352 70471 4294967295 134512640 134716908 3221224576 3221220688 1074815309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70471 1111 63 0 72399 0
vsize: 289848
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2476178 0 1 0 66488 5495 0 0 25 0 1 0 899551889 296804352 70479 4294967295 134512640 134716908 3221224576 3221220640 1074794659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70479 1111 63 0 72399 0
vsize: 289848
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2476187 0 1 0 67489 5495 0 0 25 0 1 0 899551889 296804352 70488 4294967295 134512640 134716908 3221224576 3221220552 1074950180 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70488 1111 63 0 72399 0
vsize: 289848
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2476190 0 1 0 68489 5495 0 0 25 0 1 0 899551889 296804352 70491 4294967295 134512640 134716908 3221224576 3221220992 1075240464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70491 1111 63 0 72399 0
vsize: 289848
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2486590 0 1 0 69467 5517 0 0 25 0 1 0 899551889 296804352 70465 4294967295 134512640 134716908 3221224576 3221220552 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70465 1111 63 0 72399 0
vsize: 289848
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2486591 0 1 0 70467 5517 0 0 25 0 1 0 899551889 296804352 70466 4294967295 134512640 134716908 3221224576 3221220684 1075563857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70466 1111 63 0 72399 0
vsize: 289848
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2486591 0 1 0 71468 5517 0 0 25 0 1 0 899551889 296804352 70466 4294967295 134512640 134716908 3221224576 3221220476 1074860959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70466 1111 63 0 72399 0
vsize: 289848
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2496996 0 1 0 72446 5539 0 0 25 0 1 0 899551889 296804352 70471 4294967295 134512640 134716908 3221224576 3221221048 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70471 1111 63 0 72399 0
vsize: 289848
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2496997 0 1 0 73446 5539 0 0 25 0 1 0 899551889 296804352 70472 4294967295 134512640 134716908 3221224576 3221221400 1074950084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70472 1111 63 0 72399 0
vsize: 289848
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2496997 0 1 0 74446 5539 0 0 25 0 1 0 899551889 296804352 70472 4294967295 134512640 134716908 3221224576 3221220476 1074860948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70472 1111 63 0 72399 0
vsize: 289848
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2507382 0 1 0 75424 5561 0 0 25 0 1 0 899551889 296804352 70451 4294967295 134512640 134716908 3221224576 3221220552 1074950204 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70451 1111 63 0 72399 0
vsize: 289848
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2507385 0 1 0 76424 5561 0 0 25 0 1 0 899551889 296804352 70454 4294967295 134512640 134716908 3221224576 3221221600 1074834340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70454 1111 63 0 72399 0
vsize: 289848
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517777 0 1 0 77403 5583 0 0 25 0 1 0 899551889 296804352 70458 4294967295 134512640 134716908 3221224576 3221220504 1074860223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70458 1111 63 0 72399 0
vsize: 289848
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517779 0 1 0 78403 5583 0 0 25 0 1 0 899551889 296804352 70460 4294967295 134512640 134716908 3221224576 3221221400 1074950077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70460 1111 63 0 72399 0
vsize: 289848
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517784 0 1 0 79403 5583 0 0 25 0 1 0 899551889 296804352 70465 4294967295 134512640 134716908 3221224576 3221221600 1074835532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70465 1111 63 0 72399 0
vsize: 289848
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517797 0 1 0 80404 5583 0 0 25 0 1 0 899551889 296804352 70478 4294967295 134512640 134716908 3221224576 3221220640 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70478 1111 63 0 72399 0
vsize: 289848
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517798 0 1 0 81403 5583 0 0 25 0 1 0 899551889 287088640 68670 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68670 1111 63 0 70027 0
vsize: 280360
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517798 0 1 0 82403 5583 0 0 25 0 1 0 899551889 287088640 68670 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68670 1111 63 0 70027 0
vsize: 280360
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517799 0 1 0 83403 5583 0 0 25 0 1 0 899551889 287088640 68671 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68671 1111 63 0 70027 0
vsize: 280360
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517799 0 1 0 84403 5583 0 0 25 0 1 0 899551889 287088640 68671 4294967295 134512640 134716908 3221224576 3221223376 134597597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68671 1111 63 0 70027 0
vsize: 280360
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517799 0 1 0 85404 5583 0 0 25 0 1 0 899551889 287088640 68671 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68671 1111 63 0 70027 0
vsize: 280360
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517799 0 1 0 86404 5583 0 0 25 0 1 0 899551889 287088640 68671 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68671 1111 63 0 70027 0
vsize: 280360
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517799 0 1 0 87404 5583 0 0 25 0 1 0 899551889 287088640 68671 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68671 1111 63 0 70027 0
vsize: 280360
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517799 0 1 0 88404 5583 0 0 25 0 1 0 899551889 287088640 68671 4294967295 134512640 134716908 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68671 1111 63 0 70027 0
vsize: 280360
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517799 0 1 0 89404 5583 0 0 25 0 1 0 899551889 287088640 68671 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68671 1111 63 0 70027 0
vsize: 280360
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517799 0 1 0 90404 5583 0 0 25 0 1 0 899551889 287088640 68671 4294967295 134512640 134716908 3221224576 3221223352 134613544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68671 1111 63 0 70027 0
vsize: 280360
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517799 0 1 0 91405 5584 0 0 25 0 1 0 899551889 287088640 68671 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68671 1111 63 0 70027 0
vsize: 280360
[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517799 0 1 0 92405 5584 0 0 25 0 1 0 899551889 287088640 68671 4294967295 134512640 134716908 3221224576 3221223356 134600365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68671 1111 63 0 70027 0
vsize: 280360
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 93405 5584 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 94405 5584 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 95405 5584 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 96405 5584 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29337
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 97405 5584 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1040.24 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 29374
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 98425 5585 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1050.24 s]
Raw data (loadavg): 1.30 1.04 0.93 2/54 29390
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 99425 5585 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1060.24 s]
Raw data (loadavg): 1.25 1.03 0.93 2/54 29390
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 100426 5585 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1070.24 s]
Raw data (loadavg): 1.21 1.03 0.93 2/54 29390
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 101426 5585 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1080.24 s]
Raw data (loadavg): 1.18 1.03 0.93 2/54 29390
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 102426 5585 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1090.24 s]
Raw data (loadavg): 1.15 1.03 0.93 2/54 29390
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 103426 5585 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1100.24 s]
Raw data (loadavg): 1.13 1.03 0.93 2/54 29390
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 104426 5585 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1110.24 s]
Raw data (loadavg): 1.11 1.03 0.93 2/54 29390
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 105426 5585 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223376 134597773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1120.24 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 29392
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 106427 5585 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223352 134613517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1130.24 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 29392
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 107426 5585 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1140.24 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 29392
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 108427 5585 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1150.24 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 29392
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 109427 5585 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223376 134597779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1160.24 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 29392
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 110427 5585 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1170.24 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 29392
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 111427 5585 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 280360
[startup+1175.25 s]
Raw data (loadavg): 1.03 1.02 0.93 1/53 29392
Raw data (stat): 29337 (bsolo_lpr-v2) R 29336 21152 21151 0 -1 0 2517801 0 1 0 111427 5585 0 0 25 0 1 0 899551889 287088640 68673 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70090 68673 1111 63 0 70027 0
vsize: 0

Child status: 0
Real time (s): 1175.25
CPU time (s): 1175.14
CPU user time (s): 1119.16
CPU system time (s): 55.9865
CPU usage (%): 99.9905
Max. virtual memory (Kb): 296088
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####