PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
MD5SUM	e6bff154156b54af3a9a38f7579209b6
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	17324
Optimality of the best value was proved	NO
Number of terms in the objective function	163
Biggest coefficient in the objective function	1024
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	74742
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	8192
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	74742
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06984
Number of variables	163
Total number of constraints	126
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	56
Number of constraints which are nor clauses,nor cardinality constraints	70
Minimum length of a constraint	1
Maximum length of a constraint	102
Trace number 40117

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        638024 kB
Buffers:         27348 kB
Cached:         348080 kB
SwapCached:       1020 kB
Active:          28300 kB
Inactive:       349236 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        637772 kB
SwapTotal:     2097136 kB
SwapFree:      2095172 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13460 kB
Committed_AS:    63716 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 03:00:07 (client local time) WITH STATUS 0 IN 1200.58 SECONDS
stats: 28176 7 1200.58 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 163 variables and 73 constraints.
c After prepocess the problem consists of 163 variables and 73 constraints.
c preprocess terminated 0.352 s
c Initial Lower Bound: 13312
c Lower Bound Elapsed time: 0.04125
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 17954 @ 1.256
#### 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.94 0.90 2/54 23539
Raw data (stat): 23539 (runsolver) R 23538 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898103877 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.0012 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 13669 0 2 0 937 52 0 0 25 0 1 0 898103877 30593024 6647 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7469 6647 1111 63 0 7406 0
vsize: 29876
[startup+20.0023 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 25531 0 2 0 1886 103 0 0 25 0 1 0 898103877 52408320 11867 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12844 11868 1111 63 0 12781 0
vsize: 51180
[startup+30.0031 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 37397 0 2 0 2838 153 0 0 25 0 1 0 898103877 76996608 17476 4294967295 134512640 134716908 3221224576 3221222848 1074056036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18798 17476 1111 63 0 18735 0
vsize: 75192
[startup+40.0035 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 48933 0 2 0 3785 205 0 0 25 0 1 0 898103877 97693696 22574 4294967295 134512640 134716908 3221224576 3221222264 1077377291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23800 22573 1111 63 0 23737 0
vsize: 95404
[startup+50.0047 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 59909 0 2 0 4740 251 0 0 25 0 1 0 898103877 118063104 27584 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28824 27584 1111 63 0 28761 0
vsize: 115296
[startup+60.0045 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 72268 0 2 0 5692 299 0 0 25 0 1 0 898103877 146497536 33561 4294967295 134512640 134716908 3221224576 3221221972 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35766 33561 1111 63 0 35703 0
vsize: 143064
[startup+70.0051 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 82104 0 2 0 6649 343 0 0 25 0 1 0 898103877 163065856 37632 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39811 37633 1111 63 0 39748 0
vsize: 159244
[startup+80.0062 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 96682 0 2 0 7599 393 0 0 25 0 1 0 898103877 179392512 41684 4294967295 134512640 134716908 3221224576 3221223024 1073990361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43797 41684 1111 63 0 43734 0
vsize: 175188
[startup+90.006 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 112969 0 2 0 8548 445 0 0 25 0 1 0 898103877 191885312 44806 4294967295 134512640 134716908 3221224576 3221223292 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46847 44806 1111 63 0 46784 0
vsize: 187388
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 127988 0 2 0 9506 487 0 0 25 0 1 0 898103877 201035776 47009 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49081 47009 1111 63 0 49018 0
vsize: 196324
[startup+110.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 153691 0 2 0 10443 550 0 0 25 0 1 0 898103877 216129536 50588 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52766 50588 1111 63 0 52703 0
vsize: 211064
[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 184018 0 2 0 11369 625 0 0 25 0 1 0 898103877 229941248 54089 4294967295 134512640 134716908 3221224576 3221222928 1074153205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56138 54089 1111 63 0 56075 0
vsize: 224552
[startup+130.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 201178 0 2 0 12323 671 0 0 25 0 1 0 898103877 237273088 55624 4294967295 134512640 134716908 3221224576 3221221504 1075960378 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57928 55624 1111 63 0 57865 0
vsize: 231712
[startup+140.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 225161 0 2 0 13263 732 0 0 25 0 1 0 898103877 245243904 57860 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59874 57860 1111 63 0 59811 0
vsize: 239496
[startup+150.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 232688 0 2 0 14244 750 0 0 25 0 1 0 898103877 252129280 59484 4294967295 134512640 134716908 3221224576 3221221768 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61555 59484 1111 63 0 61492 0
vsize: 246220
[startup+160.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 236819 0 2 0 15236 760 0 0 25 0 1 0 898103877 251289600 59386 4294967295 134512640 134716908 3221224576 3221222928 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61350 59386 1111 63 0 61287 0
vsize: 245400
[startup+170.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 238271 0 2 0 16233 763 0 0 25 0 1 0 898103877 252248064 59637 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61584 59637 1111 63 0 61521 0
vsize: 246336
[startup+180.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 251550 0 2 0 17202 794 0 0 25 0 1 0 898103877 258101248 60986 4294967295 134512640 134716908 3221224576 3221223132 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63013 60986 1111 63 0 62950 0
vsize: 252052
[startup+190.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 278090 0 2 0 18137 859 0 0 25 0 1 0 898103877 286388224 65146 4294967295 134512640 134716908 3221224576 3221223148 134613972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69919 65146 1111 63 0 69856 0
vsize: 279676
[startup+200.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 287905 0 2 0 19112 885 0 0 25 0 1 0 898103877 288997376 65833 4294967295 134512640 134716908 3221224576 3221222848 1073986696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70556 65833 1111 63 0 70493 0
vsize: 282224
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 303131 0 2 0 20074 923 0 0 25 0 1 0 898103877 297992192 67994 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72752 67994 1111 63 0 72689 0
vsize: 291008
[startup+220.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 304962 0 2 0 21070 927 0 0 25 0 1 0 898103877 297222144 67838 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72564 67838 1111 63 0 72501 0
vsize: 290256
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 311047 0 2 0 22056 942 0 0 25 0 1 0 898103877 299384832 68344 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73092 68344 1111 63 0 73029 0
vsize: 292368
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 316411 0 2 0 23040 958 0 0 25 0 1 0 898103877 302723072 69201 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73907 69201 1111 63 0 73844 0
vsize: 295628
[startup+250.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 331585 0 2 0 24000 998 0 0 25 0 1 0 898103877 309891072 70899 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76032 70906 1111 63 0 75969 0
vsize: 302628
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 354465 0 2 0 24940 1059 0 0 25 0 1 0 898103877 320753664 73636 4294967295 134512640 134716908 3221224576 3221222576 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78309 73636 1111 63 0 78246 0
vsize: 313236
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 356120 0 2 0 25935 1065 0 0 25 0 1 0 898103877 321163264 73736 4294967295 134512640 134716908 3221224576 3221223368 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78409 73736 1111 63 0 78346 0
vsize: 313636
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 359432 0 2 0 26925 1075 0 0 25 0 1 0 898103877 322048000 73953 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78625 73953 1111 63 0 78562 0
vsize: 314500
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 377630 0 2 0 27884 1116 0 0 25 0 1 0 898103877 329568256 75840 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80461 75840 1111 63 0 80398 0
vsize: 321844
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 390225 0 2 0 28854 1147 0 0 25 0 1 0 898103877 334807040 77165 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81740 77165 1111 63 0 81677 0
vsize: 326960
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 390368 0 2 0 29852 1149 0 0 25 0 1 0 898103877 335380480 77308 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81880 77308 1111 63 0 81817 0
vsize: 327520
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 390411 0 2 0 30851 1151 0 0 25 0 1 0 898103877 335540224 77351 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81919 77351 1111 63 0 81856 0
vsize: 327676
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 391468 0 2 0 31848 1154 0 0 25 0 1 0 898103877 338280448 78021 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82588 78021 1111 63 0 82525 0
vsize: 330352
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 391468 0 2 0 32848 1154 0 0 25 0 1 0 898103877 338280448 78021 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82588 78021 1111 63 0 82525 0
vsize: 330352
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 391468 0 2 0 33848 1154 0 0 25 0 1 0 898103877 338280448 78021 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82588 78021 1111 63 0 82525 0
vsize: 330352
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 391468 0 2 0 34849 1154 0 0 25 0 1 0 898103877 338280448 78021 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82588 78021 1111 63 0 82525 0
vsize: 330352
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 394287 0 2 0 35842 1161 0 0 25 0 1 0 898103877 335876096 77440 4294967295 134512640 134716908 3221224576 3221223288 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82001 77440 1111 63 0 81938 0
vsize: 328004
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 394287 0 2 0 36843 1161 0 0 25 0 1 0 898103877 335876096 77440 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82001 77440 1111 63 0 81938 0
vsize: 328004
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 394287 0 2 0 37843 1161 0 0 25 0 1 0 898103877 335876096 77440 4294967295 134512640 134716908 3221224576 3221223392 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82001 77440 1111 63 0 81938 0
vsize: 328004
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 394287 0 2 0 38843 1161 0 0 25 0 1 0 898103877 335876096 77440 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82001 77440 1111 63 0 81938 0
vsize: 328004
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 395556 0 2 0 39840 1164 0 0 25 0 1 0 898103877 335507456 77329 4294967295 134512640 134716908 3221224576 3221222880 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81911 77329 1111 63 0 81848 0
vsize: 327644
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 397197 0 2 0 40837 1168 0 0 25 0 1 0 898103877 335495168 77347 4294967295 134512640 134716908 3221224576 3221223368 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81908 77347 1111 63 0 81845 0
vsize: 327632
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 397197 0 2 0 41838 1168 0 0 25 0 1 0 898103877 335495168 77347 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81908 77347 1111 63 0 81845 0
vsize: 327632
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 399094 0 2 0 42833 1173 0 0 25 0 1 0 898103877 337133568 77773 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82308 77773 1111 63 0 82245 0
vsize: 329232
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 400230 0 2 0 43830 1176 0 0 25 0 1 0 898103877 336306176 77579 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82106 77579 1111 63 0 82043 0
vsize: 328424
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 401472 0 2 0 44828 1179 0 0 25 0 1 0 898103877 336318464 77588 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82109 77588 1111 63 0 82046 0
vsize: 328436
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 402709 0 2 0 45825 1182 0 0 25 0 1 0 898103877 337051648 77773 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82288 77773 1111 63 0 82225 0
vsize: 329152
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 402797 0 2 0 46825 1183 0 0 25 0 1 0 898103877 336605184 77664 4294967295 134512640 134716908 3221224576 3221222576 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82179 77664 1111 63 0 82116 0
vsize: 328716
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 409288 0 2 0 47807 1201 0 0 25 0 1 0 898103877 338358272 78087 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82987 78090 1111 63 0 82924 0
vsize: 330428
[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 416692 0 2 0 48787 1221 0 0 25 0 1 0 898103877 341012480 78747 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83255 78747 1111 63 0 83192 0
vsize: 333020
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 422548 0 2 0 49771 1237 0 0 25 0 1 0 898103877 343560192 79390 4294967295 134512640 134716908 3221224576 3221222304 1075828589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83877 79390 1111 63 0 83814 0
vsize: 335508
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 435244 0 2 0 50739 1270 0 0 25 0 1 0 898103877 351232000 81317 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85750 81317 1111 63 0 85687 0
vsize: 343000
[startup+530.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 439999 0 2 0 51726 1283 0 0 25 0 1 0 898103877 352464896 81628 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86051 81628 1111 63 0 85988 0
vsize: 344204
[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 450614 0 2 0 52697 1313 0 0 25 0 1 0 898103877 355717120 82478 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86845 82478 1111 63 0 86782 0
vsize: 347380
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 479246 0 2 0 53614 1396 0 0 25 0 1 0 898103877 371466240 86309 4294967295 134512640 134716908 3221224576 3221223300 1077374195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90690 86309 1111 63 0 90627 0
vsize: 362760
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 496929 0 2 0 54564 1446 0 0 25 0 1 0 898103877 381493248 88876 4294967295 134512640 134716908 3221224576 3221223288 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93138 88876 1111 63 0 93075 0
vsize: 372552
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 512940 0 2 0 55522 1489 0 0 25 0 1 0 898103877 387747840 90448 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94665 90448 1111 63 0 94602 0
vsize: 378660
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 538747 0 2 0 56454 1558 0 0 25 0 1 0 898103877 398991360 93273 4294967295 134512640 134716908 3221224576 3221222872 1074138335 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97410 93273 1111 63 0 97347 0
vsize: 389640
[startup+590.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 571172 0 2 0 57365 1646 0 0 25 0 1 0 898103877 419463168 97812 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102408 97812 1111 63 0 102345 0
vsize: 409632
[startup+600.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 590564 0 2 0 58316 1696 0 0 25 0 1 0 898103877 428937216 100195 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104721 100195 1111 63 0 104658 0
vsize: 418884
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 597305 0 2 0 59298 1715 0 0 25 0 1 0 898103877 433381376 100576 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105046 100561 1111 63 0 104983 0
vsize: 423224
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 621945 0 2 0 60231 1782 0 0 25 0 1 0 898103877 440688640 103154 4294967295 134512640 134716908 3221224576 3221222576 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107590 103154 1111 63 0 107527 0
vsize: 430360
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 629370 0 2 0 61211 1802 0 0 25 0 1 0 898103877 442216448 103528 4294967295 134512640 134716908 3221224576 3221223288 134543125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107963 103528 1111 63 0 107900 0
vsize: 431852
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 638766 0 2 0 62186 1828 0 0 25 0 1 0 898103877 446005248 104464 4294967295 134512640 134716908 3221224576 3221222576 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108888 104464 1111 63 0 108825 0
vsize: 435552
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 638889 0 2 0 63185 1829 0 0 25 0 1 0 898103877 446590976 104587 4294967295 134512640 134716908 3221224576 3221222576 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109031 104587 1111 63 0 108968 0
vsize: 436124
[startup+660.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 639744 0 2 0 64183 1832 0 0 25 0 1 0 898103877 448643072 105105 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109532 105105 1111 63 0 109469 0
vsize: 438128
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 639744 0 2 0 65183 1832 0 0 25 0 1 0 898103877 448643072 105105 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109532 105105 1111 63 0 109469 0
vsize: 438128
[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 639744 0 2 0 66184 1832 0 0 25 0 1 0 898103877 448643072 105105 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109532 105105 1111 63 0 109469 0
vsize: 438128
[startup+690.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 642126 0 2 0 67178 1838 0 0 25 0 1 0 898103877 446091264 104493 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108909 104493 1111 63 0 108846 0
vsize: 435636
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 642225 0 2 0 68176 1840 0 0 25 0 1 0 898103877 446496768 104592 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109008 104592 1111 63 0 108945 0
vsize: 436032
[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 642969 0 2 0 69175 1841 0 0 25 0 1 0 898103877 448352256 105033 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109461 105033 1111 63 0 109398 0
vsize: 437844
[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 642969 0 2 0 70176 1841 0 0 25 0 1 0 898103877 448352256 105033 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109461 105033 1111 63 0 109398 0
vsize: 437844
[startup+730.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 647869 0 2 0 71164 1853 0 0 25 0 1 0 898103877 446267392 104563 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108952 104563 1111 63 0 108889 0
vsize: 435808
[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 656061 0 2 0 72138 1879 0 0 25 0 1 0 898103877 451178496 105779 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110151 105779 1111 63 0 110088 0
vsize: 440604
[startup+750.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 656182 0 2 0 73136 1882 0 0 25 0 1 0 898103877 451739648 105900 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110288 105900 1111 63 0 110225 0
vsize: 441152
[startup+760.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 656910 0 2 0 74135 1883 0 0 25 0 1 0 898103877 453402624 106322 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110694 106322 1111 63 0 110631 0
vsize: 442776
[startup+770.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 656910 0 2 0 75135 1883 0 0 25 0 1 0 898103877 453402624 106322 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110694 106322 1111 63 0 110631 0
vsize: 442776
[startup+780.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 659121 0 2 0 76130 1890 0 0 25 0 1 0 898103877 451248128 105809 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110168 105809 1111 63 0 110105 0
vsize: 440672
[startup+790.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 659773 0 2 0 77128 1892 0 0 25 0 1 0 898103877 452890624 106196 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110569 106196 1111 63 0 110506 0
vsize: 442276
[startup+800.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 659773 0 2 0 78128 1892 0 0 25 0 1 0 898103877 452890624 106196 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110569 106196 1111 63 0 110506 0
vsize: 442276
[startup+810.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 663046 0 2 0 79121 1899 0 0 25 0 1 0 898103877 450895872 105750 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110082 105750 1111 63 0 110019 0
vsize: 440328
[startup+820.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 670714 0 2 0 80098 1923 0 0 25 0 1 0 898103877 455733248 106938 4294967295 134512640 134716908 3221224576 3221222560 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111263 106938 1111 63 0 111200 0
vsize: 445052
[startup+830.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 671405 0 2 0 81096 1925 0 0 25 0 1 0 898103877 457527296 107363 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111701 107363 1111 63 0 111638 0
vsize: 446804
[startup+840.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 671405 0 2 0 82096 1925 0 0 25 0 1 0 898103877 457527296 107363 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111701 107363 1111 63 0 111638 0
vsize: 446804
[startup+850.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 675586 0 2 0 83084 1938 0 0 25 0 1 0 898103877 455221248 106852 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111138 106852 1111 63 0 111075 0
vsize: 444552
[startup+860.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 682504 0 2 0 84064 1958 0 0 25 0 1 0 898103877 460029952 108023 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112312 108023 1111 63 0 112249 0
vsize: 449248
[startup+870.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 684610 0 2 0 85060 1963 0 0 25 0 1 0 898103877 460124160 108059 4294967295 134512640 134716908 3221224576 3221223292 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112335 108059 1111 63 0 112272 0
vsize: 449340
[startup+880.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 690936 0 2 0 86043 1980 0 0 25 0 1 0 898103877 461086720 108334 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112570 108334 1111 63 0 112507 0
vsize: 450280
[startup+890.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 711362 0 2 0 86986 2037 0 0 25 0 1 0 898103877 471511040 110803 4294967295 134512640 134716908 3221224576 3221222560 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115115 110803 1111 63 0 115052 0
vsize: 460460
[startup+900.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 713107 0 2 0 87983 2041 0 0 25 0 1 0 898103877 470966272 110694 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114982 110694 1111 63 0 114919 0
vsize: 459928
[startup+910.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 713623 0 2 0 88981 2043 0 0 25 0 1 0 898103877 472543232 111071 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115367 111071 1111 63 0 115304 0
vsize: 461468
[startup+920.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 715069 0 2 0 89978 2046 0 0 25 0 1 0 898103877 471121920 110732 4294967295 134512640 134716908 3221224576 3221223368 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115020 110732 1111 63 0 114957 0
vsize: 460080
[startup+930.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 734708 0 2 0 90922 2103 0 0 25 0 1 0 898103877 480083968 113008 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117208 113008 1111 63 0 117145 0
vsize: 468832
[startup+940.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 748865 0 2 0 91884 2141 0 0 25 0 1 0 898103877 488435712 115108 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119247 115108 1111 63 0 119184 0
vsize: 476988
[startup+950.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 772831 0 2 0 92826 2200 0 0 25 0 1 0 898103877 498847744 117414 4294967295 134512640 134716908 3221224576 3221222576 1074056269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121789 117414 1111 63 0 121726 0
vsize: 487156
[startup+960.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 801041 0 2 0 93761 2264 0 0 25 0 1 0 898103877 543322112 122469 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132647 122469 1111 63 0 132584 0
vsize: 530588
[startup+970.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 801151 0 2 0 94760 2266 0 0 25 0 1 0 898103877 543772672 122579 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132757 122579 1111 63 0 132694 0
vsize: 531028
[startup+980.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 801263 0 2 0 95758 2268 0 0 25 0 1 0 898103877 544231424 122691 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132869 122691 1111 63 0 132806 0
vsize: 531476
[startup+990.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 801298 0 2 0 96757 2269 0 0 25 0 1 0 898103877 544374784 122726 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132904 122726 1111 63 0 132841 0
vsize: 531616
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 801329 0 2 0 97757 2270 0 0 25 0 1 0 898103877 544501760 122757 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132935 122757 1111 63 0 132872 0
vsize: 531740
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 801355 0 2 0 98756 2271 0 0 25 0 1 0 898103877 544608256 122783 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132961 122783 1111 63 0 132898 0
vsize: 531844
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 801420 0 2 0 99756 2272 0 0 25 0 1 0 898103877 544874496 122848 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133026 122848 1111 63 0 132963 0
vsize: 532104
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 801442 0 2 0 100755 2272 0 0 25 0 1 0 898103877 544964608 122870 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133048 122870 1111 63 0 132985 0
vsize: 532192
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 801468 0 2 0 101755 2273 0 0 25 0 1 0 898103877 545071104 122896 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133074 122896 1111 63 0 133011 0
vsize: 532296
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 802930 0 2 0 102752 2276 0 0 25 0 1 0 898103877 548966400 123844 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134025 123844 1111 63 0 133962 0
vsize: 536100
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 802930 0 2 0 103753 2276 0 0 25 0 1 0 898103877 548966400 123844 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134025 123844 1111 63 0 133962 0
vsize: 536100
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 802930 0 2 0 104753 2276 0 0 25 0 1 0 898103877 548966400 123844 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134025 123844 1111 63 0 133962 0
vsize: 536100
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 802930 0 2 0 105753 2276 0 0 25 0 1 0 898103877 548966400 123844 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134025 123844 1111 63 0 133962 0
vsize: 536100
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 802930 0 2 0 106754 2276 0 0 25 0 1 0 898103877 548966400 123844 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134025 123844 1111 63 0 133962 0
vsize: 536100
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 802930 0 2 0 107754 2276 0 0 25 0 1 0 898103877 548966400 123844 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134025 123844 1111 63 0 133962 0
vsize: 536100
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 802930 0 2 0 108754 2276 0 0 25 0 1 0 898103877 548966400 123844 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134025 123844 1111 63 0 133962 0
vsize: 536100
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 802930 0 2 0 109755 2276 0 0 25 0 1 0 898103877 548966400 123844 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134025 123844 1111 63 0 133962 0
vsize: 536100
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 807160 0 2 0 110746 2285 0 0 25 0 1 0 898103877 555659264 124025 4294967295 134512640 134716908 3221224576 3221221496 1075964733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135659 124025 1111 63 0 135596 0
vsize: 542636
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 807160 0 2 0 111746 2286 0 0 25 0 1 0 898103877 545136640 122924 4294967295 134512640 134716908 3221224576 3221223356 134622712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133090 122924 1111 63 0 133027 0
vsize: 532360
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 807160 0 2 0 112746 2286 0 0 25 0 1 0 898103877 545136640 122924 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133090 122924 1111 63 0 133027 0
vsize: 532360
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 807160 0 2 0 113747 2286 0 0 25 0 1 0 898103877 545136640 122924 4294967295 134512640 134716908 3221224576 3221223300 134622899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133090 122924 1111 63 0 133027 0
vsize: 532360
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 807160 0 2 0 114747 2286 0 0 25 0 1 0 898103877 545136640 122924 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133090 122924 1111 63 0 133027 0
vsize: 532360
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 807160 0 2 0 115747 2286 0 0 25 0 1 0 898103877 545136640 122924 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133090 122924 1111 63 0 133027 0
vsize: 532360
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23539
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 807160 0 2 0 116748 2286 0 0 25 0 1 0 898103877 545136640 122924 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133090 122924 1111 63 0 133027 0
vsize: 532360
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 23575
Raw data (stat): 23539 (bsolo_lpr-v2) R 23538 25568 25567 0 -1 0 807160 0 2 0 117748 2286 0 0 25 0 1 0 898103877 545136640 122924 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133090 122924 1111 63 0 133027 0
vsize: 532360
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 23576
Raw data (stat): 23539 (bsolo_lpr-v2) Z 23538 25568 25567 0 -1 1036 807160 0 2 0 117748 2309 0 0 25 0 1 0 898103877 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.28
CPU time (s): 1200.58
CPU user time (s): 1177.48
CPU system time (s): 23.0945
CPU usage (%): 100.025
Max. virtual memory (Kb): 542636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####