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/submitted/een/normalized-p0282.opb
MD5SUM	dd62132555621025f45a5a6099c90742
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	258411
Optimality of the best value was proved	NO
Number of terms in the objective function	282
Biggest coefficient in the objective function	160646
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	1302615
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	160646
Number of bits of the biggest number in a constraint	18
Biggest sum of numbers in a constraint	1302615
Number of bits of the biggest sum of numbers	21
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
Number of variables	282
Total number of constraints	221
Number of constraints which are clauses	177
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	44
Minimum length of a constraint	2
Maximum length of a constraint	57
Trace number 39768

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 20:03:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27831 boxname=wulflinc6 idbench=389 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  dd62132555621025f45a5a6099c90742  /oldhome/oroussel/tmp/wulflinc6/normalized-p0282.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-p0282.opb
IDLAUNCH: 27831
/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:        911748 kB
Buffers:         34068 kB
Cached:          66476 kB
SwapCached:       1796 kB
Active:          31052 kB
Inactive:        72380 kB
HighTotal:      131008 kB
HighFree:        78344 kB
LowTotal:       903652 kB
LowFree:        833404 kB
SwapTotal:     2097136 kB
SwapFree:      2094416 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5048 kB
Slab:            13896 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 20:23:22 (client local time) WITH STATUS 0 IN 1200.42 SECONDS
stats: 27831 7 1200.42 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 282 variables and 221 constraints.
c After prepocess the problem consists of 282 variables and 221 constraints.
c preprocess terminated 0.19 s
c Initial Lower Bound: 55080
c Lower Bound Elapsed time: 0.02075
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 554397 @ 3.848
c NEW SOLUTION FOUND: 416986 @ 3.848
c NEW SOLUTION FOUND: 411134 @ 3.913
c NEW SOLUTION FOUND: 410043 @ 3.925
c NEW SOLUTION FOUND: 404910 @ 4.232
c NEW SOLUTION FOUND: 397967 @ 4.236
c NEW SOLUTION FOUND: 397602 @ 4.421
c NEW SOLUTION FOUND: 392488 @ 4.824
c NEW SOLUTION FOUND: 390957 @ 7.756
c NEW SOLUTION FOUND: 389696 @ 7.92
c NEW SOLUTION FOUND: 389331 @ 8.063
c NEW SOLUTION FOUND: 388372 @ 11.184
c NEW SOLUTION FOUND: 379344 @ 11.997
c NEW SOLUTION FOUND: 366922 @ 12.056
c NEW SOLUTION FOUND: 365712 @ 12.881
c NEW SOLUTION FOUND: 365347 @ 12.974
c NEW SOLUTION FOUND: 361291 @ 40.642
c NEW SOLUTION FOUND: 361133 @ 49.067
#### 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.92 0.98 0.91 2/54 18090
Raw data (stat): 18090 (runsolver) R 18089 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895723072 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0013 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 18090
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 9098 0 0 0 965 32 0 0 25 0 1 0 895723072 8658944 1424 4294967295 134512640 134716908 3221224592 3221222472 1077379568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2114 1424 1111 63 0 2051 0
vsize: 8456
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 18090
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 22052 0 0 0 1933 64 0 0 25 0 1 0 895723072 11661312 1931 4294967295 134512640 134716908 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2847 1931 1111 63 0 2784 0
vsize: 11388
[startup+30.0036 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 18090
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 41043 0 0 0 2892 106 0 0 25 0 1 0 895723072 12165120 2273 4294967295 134512640 134716908 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2970 2273 1111 63 0 2907 0
vsize: 11880
[startup+40.0037 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 18090
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 70021 0 0 0 3825 173 0 0 25 0 1 0 895723072 16109568 3215 4294967295 134512640 134716908 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3933 3215 1111 63 0 3870 0
vsize: 15732
[startup+50.0045 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 18090
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 111430 0 0 0 4731 267 0 0 25 0 1 0 895723072 22081536 4677 4294967295 134512640 134716908 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5391 4677 1111 63 0 5328 0
vsize: 21564
[startup+60.005 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 18090
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 117091 0 0 0 5718 281 0 0 25 0 1 0 895723072 23396352 5005 4294967295 134512640 134716908 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5712 5005 1111 63 0 5649 0
vsize: 22848
[startup+70.0061 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 18090
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 122523 0 0 0 6706 294 0 0 25 0 1 0 895723072 23486464 5001 4294967295 134512640 134716908 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5734 5001 1111 63 0 5671 0
vsize: 22936
[startup+80.007 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 18090
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 129115 0 0 0 7691 309 0 0 25 0 1 0 895723072 22978560 4903 4294967295 134512640 134716908 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5610 4903 1111 63 0 5547 0
vsize: 22440
[startup+90.0075 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 18090
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 144501 0 0 0 8655 346 0 0 25 0 1 0 895723072 26492928 5412 4294967295 134512640 134716908 3221224592 3221220924 1076111473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6468 5412 1111 63 0 6405 0
vsize: 25872
[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 18090
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 161416 0 0 0 9618 383 0 0 25 0 1 0 895723072 24915968 5361 4294967295 134512640 134716908 3221224592 3221222616 1077377857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6083 5361 1111 63 0 6020 0
vsize: 24332
[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 18090
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 164446 0 0 0 10611 390 0 0 25 0 1 0 895723072 25694208 5566 4294967295 134512640 134716908 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6273 5566 1111 63 0 6210 0
vsize: 25092
[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18090
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 164446 0 0 0 11611 390 0 0 25 0 1 0 895723072 25694208 5566 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6273 5566 1111 63 0 6210 0
vsize: 25092
[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18090
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 166795 0 0 0 12605 397 0 0 25 0 1 0 895723072 25210880 5448 4294967295 134512640 134716908 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6155 5448 1111 63 0 6092 0
vsize: 24620
[startup+140.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 170223 0 0 0 13597 405 0 0 25 0 1 0 895723072 25210880 5448 4294967295 134512640 134716908 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6155 5448 1111 63 0 6092 0
vsize: 24620
[startup+150.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 184139 0 0 0 14563 440 0 0 25 0 1 0 895723072 26112000 5659 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6375 5659 1111 63 0 6312 0
vsize: 25500
[startup+160.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 202298 0 0 0 15520 483 0 0 25 0 1 0 895723072 26828800 5806 4294967295 134512640 134716908 3221224592 3221222528 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6550 5806 1111 63 0 6487 0
vsize: 26200
[startup+170.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 204499 0 0 0 16515 488 0 0 25 0 1 0 895723072 26886144 5850 4294967295 134512640 134716908 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6564 5850 1111 63 0 6501 0
vsize: 26256
[startup+180.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 208476 0 0 0 17505 499 0 0 25 0 1 0 895723072 26357760 5721 4294967295 134512640 134716908 3221224592 3221223396 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 5721 1111 63 0 6372 0
vsize: 25740
[startup+190.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 227032 0 0 0 18460 545 0 0 25 0 1 0 895723072 28475392 6226 4294967295 134512640 134716908 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 6226 1111 63 0 6889 0
vsize: 27808
[startup+200.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 229867 0 0 0 19454 550 0 0 25 0 1 0 895723072 27824128 6076 4294967295 134512640 134716908 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6793 6076 1111 63 0 6730 0
vsize: 27172
[startup+210.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 243852 0 0 0 20422 582 0 0 25 0 1 0 895723072 27672576 6019 4294967295 134512640 134716908 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6756 6019 1111 63 0 6693 0
vsize: 27024
[startup+220.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 259414 0 0 0 21385 621 0 0 25 0 1 0 895723072 27947008 6089 4294967295 134512640 134716908 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6823 6089 1111 63 0 6760 0
vsize: 27292
[startup+230.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 297325 0 0 0 22297 709 0 0 25 0 1 0 895723072 31846400 7038 4294967295 134512640 134716908 3221224592 3221223180 1077402400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7775 7038 1111 63 0 7712 0
vsize: 31100
[startup+240.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 338001 0 0 0 23201 805 0 0 25 0 1 0 895723072 37273600 8319 4294967295 134512640 134716908 3221224592 3221223376 134622522 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9100 8319 1111 63 0 9037 0
vsize: 36400
[startup+250.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 381123 0 0 0 24109 897 0 0 25 0 1 0 895723072 43634688 9298 4294967295 134512640 134716908 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10376 9296 1111 63 0 10313 0
vsize: 42612
[startup+260.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 420876 0 0 0 25016 990 0 0 25 0 1 0 895723072 46538752 10346 4294967295 134512640 134716908 3221224592 3221223488 134621531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11362 10346 1111 63 0 11299 0
vsize: 45448
[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 442123 0 0 0 25967 1040 0 0 25 0 1 0 895723072 49676288 11114 4294967295 134512640 134716908 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12128 11114 1111 63 0 12065 0
vsize: 48512
[startup+280.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 442248 0 0 0 26966 1041 0 0 25 0 1 0 895723072 50073600 11180 4294967295 134512640 134716908 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12225 11180 1111 63 0 12162 0
vsize: 48900
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 444436 0 0 0 27961 1047 0 0 25 0 1 0 895723072 56651776 12532 4294967295 134512640 134716908 3221224592 3221220820 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13831 12532 1111 63 0 13768 0
vsize: 55324
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 446444 0 0 0 28956 1051 0 0 25 0 1 0 895723072 50114560 11222 4294967295 134512640 134716908 3221224592 3221223328 134622790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12235 11222 1111 63 0 12172 0
vsize: 48940
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 446444 0 0 0 29957 1051 0 0 25 0 1 0 895723072 50114560 11222 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12235 11222 1111 63 0 12172 0
vsize: 48940
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 446444 0 0 0 30957 1052 0 0 25 0 1 0 895723072 50114560 11222 4294967295 134512640 134716908 3221224592 3221223384 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12235 11222 1111 63 0 12172 0
vsize: 48940
[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 447048 0 0 0 31955 1054 0 0 25 0 1 0 895723072 50806784 11391 4294967295 134512640 134716908 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12404 11391 1111 63 0 12341 0
vsize: 49616
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 449164 0 0 0 32950 1059 0 0 25 0 1 0 895723072 49659904 11111 4294967295 134512640 134716908 3221224592 3221223396 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12124 11111 1111 63 0 12061 0
vsize: 48496
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 463219 0 0 0 33918 1092 0 0 25 0 1 0 895723072 49102848 10975 4294967295 134512640 134716908 3221224592 3221222880 1074143103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11988 10975 1111 63 0 11925 0
vsize: 47952
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 487356 0 0 0 34861 1149 0 0 25 0 1 0 895723072 49844224 11157 4294967295 134512640 134716908 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12169 11157 1111 63 0 12106 0
vsize: 48676
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 500934 0 0 0 35830 1180 0 0 25 0 1 0 895723072 50892800 11399 4294967295 134512640 134716908 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12425 11399 1111 63 0 12362 0
vsize: 49700
[startup+380.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 505854 0 0 0 36819 1192 0 0 25 0 1 0 895723072 50528256 11324 4294967295 134512640 134716908 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12336 11324 1111 63 0 12273 0
vsize: 49344
[startup+390.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 520433 0 0 0 37784 1227 0 0 25 0 1 0 895723072 51613696 11585 4294967295 134512640 134716908 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12601 11585 1111 63 0 12538 0
vsize: 50404
[startup+400.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 522953 0 0 0 38778 1233 0 0 25 0 1 0 895723072 51728384 11621 4294967295 134512640 134716908 3221224592 3221223328 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12629 11621 1111 63 0 12566 0
vsize: 50516
[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 528146 0 0 0 39766 1245 0 0 25 0 1 0 895723072 51019776 11449 4294967295 134512640 134716908 3221224592 3221222992 1074153742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12456 11449 1111 63 0 12393 0
vsize: 49824
[startup+420.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 553970 0 0 0 40706 1306 0 0 25 0 1 0 895723072 51757056 11613 4294967295 134512640 134716908 3221224592 3221222892 1074064528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12636 11613 1111 63 0 12573 0
vsize: 50544
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 569560 0 0 0 41669 1343 0 0 25 0 1 0 895723072 52150272 11727 4294967295 134512640 134716908 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12732 11727 1111 63 0 12669 0
vsize: 50928
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 594944 0 0 0 42609 1404 0 0 25 0 1 0 895723072 53231616 11970 4294967295 134512640 134716908 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12996 11970 1111 63 0 12933 0
vsize: 51984
[startup+450.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 599021 0 0 0 43598 1415 0 0 25 0 1 0 895723072 54616064 12278 4294967295 134512640 134716908 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13334 12278 1111 63 0 13271 0
vsize: 53336
[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 599089 0 0 0 44598 1415 0 0 25 0 1 0 895723072 54886400 12346 4294967295 134512640 134716908 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13400 12346 1111 63 0 13337 0
vsize: 53600
[startup+470.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 599159 0 0 0 45598 1416 0 0 25 0 1 0 895723072 55111680 12416 4294967295 134512640 134716908 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13455 12416 1111 63 0 13392 0
vsize: 53820
[startup+480.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 599237 0 0 0 46597 1416 0 0 25 0 1 0 895723072 55435264 12494 4294967295 134512640 134716908 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13534 12494 1111 63 0 13471 0
vsize: 54136
[startup+490.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 599317 0 0 0 47597 1417 0 0 25 0 1 0 895723072 55746560 12574 4294967295 134512640 134716908 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13610 12574 1111 63 0 13547 0
vsize: 54440
[startup+500.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 599350 0 0 0 48596 1418 0 0 25 0 1 0 895723072 55881728 12607 4294967295 134512640 134716908 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13643 12607 1111 63 0 13580 0
vsize: 54572
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 599382 0 0 0 49596 1419 0 0 25 0 1 0 895723072 56012800 12639 4294967295 134512640 134716908 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13675 12639 1111 63 0 13612 0
vsize: 54700
[startup+520.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 600879 0 0 0 50593 1422 0 0 25 0 1 0 895723072 60018688 13616 4294967295 134512640 134716908 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14653 13616 1111 63 0 14590 0
vsize: 58612
[startup+530.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 600879 0 0 0 51593 1422 0 0 25 0 1 0 895723072 60018688 13616 4294967295 134512640 134716908 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14653 13616 1111 63 0 14590 0
vsize: 58612
[startup+540.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 603941 0 0 0 52587 1428 0 0 25 0 1 0 895723072 71565312 15603 4294967295 134512640 134716908 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17472 15603 1111 63 0 17409 0
vsize: 69888
[startup+550.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 607515 0 0 0 53577 1439 0 0 25 0 1 0 895723072 56139776 12680 4294967295 134512640 134716908 3221224592 3221223304 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13706 12680 1111 63 0 13643 0
vsize: 54824
[startup+560.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 607515 0 0 0 54578 1439 0 0 25 0 1 0 895723072 56139776 12680 4294967295 134512640 134716908 3221224592 3221223396 134622499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13706 12680 1111 63 0 13643 0
vsize: 54824
[startup+570.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 607515 0 0 0 55578 1439 0 0 25 0 1 0 895723072 56139776 12680 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13706 12680 1111 63 0 13643 0
vsize: 54824
[startup+580.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 607515 0 0 0 56578 1439 0 0 25 0 1 0 895723072 56139776 12680 4294967295 134512640 134716908 3221224592 3221223408 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13706 12680 1111 63 0 13643 0
vsize: 54824
[startup+590.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 607515 0 0 0 57579 1439 0 0 25 0 1 0 895723072 56139776 12680 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13706 12680 1111 63 0 13643 0
vsize: 54824
[startup+600.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 607515 0 0 0 58579 1439 0 0 25 0 1 0 895723072 56139776 12680 4294967295 134512640 134716908 3221224592 3221223304 134543165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13706 12680 1111 63 0 13643 0
vsize: 54824
[startup+610.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 607515 0 0 0 59579 1439 0 0 25 0 1 0 895723072 56139776 12680 4294967295 134512640 134716908 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13706 12680 1111 63 0 13643 0
vsize: 54824
[startup+620.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 607616 0 0 0 60578 1440 0 0 25 0 1 0 895723072 54611968 12307 4294967295 134512640 134716908 3221224592 3221222832 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13333 12307 1111 63 0 13270 0
vsize: 53332
[startup+630.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 608261 0 0 0 61576 1442 0 0 25 0 1 0 895723072 56401920 12735 4294967295 134512640 134716908 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13770 12735 1111 63 0 13707 0
vsize: 55080
[startup+640.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 611851 0 0 0 62566 1453 0 0 25 0 1 0 895723072 54644736 12315 4294967295 134512640 134716908 3221224592 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13341 12315 1111 63 0 13278 0
vsize: 53364
[startup+650.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 611973 0 0 0 63565 1455 0 0 25 0 1 0 895723072 55144448 12437 4294967295 134512640 134716908 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13463 12437 1111 63 0 13400 0
vsize: 53852
[startup+660.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 612020 0 0 0 64564 1455 0 0 25 0 1 0 895723072 55336960 12484 4294967295 134512640 134716908 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13510 12484 1111 63 0 13447 0
vsize: 54040
[startup+670.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 612903 0 0 0 65562 1458 0 0 25 0 1 0 895723072 57712640 13062 4294967295 134512640 134716908 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14090 13062 1111 63 0 14027 0
vsize: 56360
[startup+680.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 617387 0 0 0 66552 1468 0 0 25 0 1 0 895723072 55410688 12502 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12502 1111 63 0 13465 0
vsize: 54112
[startup+690.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 617387 0 0 0 67552 1468 0 0 25 0 1 0 895723072 55410688 12502 4294967295 134512640 134716908 3221224592 3221223408 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12502 1111 63 0 13465 0
vsize: 54112
[startup+700.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 617387 0 0 0 68553 1468 0 0 25 0 1 0 895723072 55410688 12502 4294967295 134512640 134716908 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12502 1111 63 0 13465 0
vsize: 54112
[startup+710.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 617387 0 0 0 69553 1468 0 0 25 0 1 0 895723072 55410688 12502 4294967295 134512640 134716908 3221224592 3221223320 134622870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13528 12502 1111 63 0 13465 0
vsize: 54112
[startup+720.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 617387 0 0 0 70553 1468 0 0 25 0 1 0 895723072 54198272 12206 4294967295 134512640 134716908 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13232 12206 1111 63 0 13169 0
vsize: 52928
[startup+730.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 621046 0 0 0 71545 1477 0 0 25 0 1 0 895723072 54198272 12206 4294967295 134512640 134716908 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13232 12206 1111 63 0 13169 0
vsize: 52928
[startup+740.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 630512 0 0 0 72521 1501 0 0 25 0 1 0 895723072 54198272 12206 4294967295 134512640 134716908 3221224592 3221223152 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13232 12206 1111 63 0 13169 0
vsize: 52928
[startup+750.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 652328 0 0 0 73468 1555 0 0 25 0 1 0 895723072 55205888 12440 4294967295 134512640 134716908 3221224592 3221222880 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13478 12440 1111 63 0 13415 0
vsize: 53912
[startup+760.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 652465 0 0 0 74466 1557 0 0 25 0 1 0 895723072 55529472 12531 4294967295 134512640 134716908 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13557 12531 1111 63 0 13494 0
vsize: 54228
[startup+770.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 657128 0 0 0 75455 1568 0 0 25 0 1 0 895723072 55599104 12548 4294967295 134512640 134716908 3221224592 3221223408 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13574 12548 1111 63 0 13511 0
vsize: 54296
[startup+780.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 657128 0 0 0 76455 1568 0 0 25 0 1 0 895723072 55599104 12548 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13574 12548 1111 63 0 13511 0
vsize: 54296
[startup+790.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 657128 0 0 0 77456 1568 0 0 25 0 1 0 895723072 55599104 12548 4294967295 134512640 134716908 3221224592 3221223316 134622875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13574 12548 1111 63 0 13511 0
vsize: 54296
[startup+800.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 657128 0 0 0 78456 1568 0 0 25 0 1 0 895723072 55599104 12548 4294967295 134512640 134716908 3221224592 3221223408 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13574 12548 1111 63 0 13511 0
vsize: 54296
[startup+810.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 657809 0 0 0 79453 1571 0 0 25 0 1 0 895723072 56688640 12803 4294967295 134512640 134716908 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13840 12803 1111 63 0 13777 0
vsize: 55360
[startup+820.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 660904 0 0 0 80446 1579 0 0 25 0 1 0 895723072 55332864 12483 4294967295 134512640 134716908 3221224592 3221223408 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13509 12483 1111 63 0 13446 0
vsize: 54036
[startup+830.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 666632 0 0 0 81430 1595 0 0 25 0 1 0 895723072 54759424 12343 4294967295 134512640 134716908 3221224592 3221223408 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13369 12343 1111 63 0 13306 0
vsize: 53476
[startup+840.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 679494 0 0 0 82397 1629 0 0 25 0 1 0 895723072 55042048 12381 4294967295 134512640 134716908 3221224592 3221221784 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13438 12381 1111 63 0 13375 0
vsize: 53752
[startup+850.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 694105 0 0 0 83357 1669 0 0 25 0 1 0 895723072 56803328 12821 4294967295 134512640 134716908 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13868 12821 1111 63 0 13805 0
vsize: 55472
[startup+860.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 696856 0 0 0 84352 1674 0 0 25 0 1 0 895723072 55619584 12554 4294967295 134512640 134716908 3221224592 3221223396 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13579 12554 1111 63 0 13516 0
vsize: 54316
[startup+870.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 698167 0 0 0 85349 1678 0 0 25 0 1 0 895723072 55246848 12455 4294967295 134512640 134716908 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13488 12455 1111 63 0 13425 0
vsize: 53952
[startup+880.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 709356 0 0 0 86320 1707 0 0 25 0 1 0 895723072 55382016 12496 4294967295 134512640 134716908 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13521 12496 1111 63 0 13458 0
vsize: 54084
[startup+890.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 716588 0 0 0 87301 1726 0 0 25 0 1 0 895723072 55160832 12442 4294967295 134512640 134716908 3221224592 3221223328 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 12442 1111 63 0 13404 0
vsize: 53868
[startup+900.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 724513 0 0 0 88281 1747 0 0 25 0 1 0 895723072 56229888 12703 4294967295 134512640 134716908 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13728 12703 1111 63 0 13665 0
vsize: 54912
[startup+910.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 724582 0 0 0 89280 1747 0 0 25 0 1 0 895723072 56512512 12772 4294967295 134512640 134716908 3221224592 3221222480 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13797 12772 1111 63 0 13734 0
vsize: 55188
[startup+920.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 724642 0 0 0 90279 1749 0 0 25 0 1 0 895723072 56889344 12832 4294967295 134512640 134716908 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13889 12832 1111 63 0 13826 0
vsize: 55556
[startup+930.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 725635 0 0 0 91277 1751 0 0 25 0 1 0 895723072 59506688 13500 4294967295 134512640 134716908 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14528 13500 1111 63 0 14465 0
vsize: 58112
[startup+940.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 730218 0 0 0 92266 1763 0 0 25 0 1 0 895723072 56901632 12867 4294967295 134512640 134716908 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12867 1111 63 0 13829 0
vsize: 55568
[startup+950.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 730218 0 0 0 93267 1763 0 0 25 0 1 0 895723072 56901632 12867 4294967295 134512640 134716908 3221224592 3221223396 134622499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13892 12867 1111 63 0 13829 0
vsize: 55568
[startup+960.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 730510 0 0 0 94266 1764 0 0 25 0 1 0 895723072 57004032 12848 4294967295 134512640 134716908 3221224592 3221222320 1075829044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13917 12848 1111 63 0 13854 0
vsize: 55668
[startup+970.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 748714 0 0 0 95220 1810 0 0 25 0 1 0 895723072 55693312 12572 4294967295 134512640 134716908 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13597 12572 1111 63 0 13534 0
vsize: 54388
[startup+980.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 772027 0 0 0 96162 1868 0 0 25 0 1 0 895723072 57401344 12934 4294967295 134512640 134716908 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14014 12934 1111 63 0 13951 0
vsize: 56056
[startup+990.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 809386 0 0 0 97068 1963 0 0 25 0 1 0 895723072 58925056 13336 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14386 13336 1111 63 0 14323 0
vsize: 57544
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 846254 0 0 0 97978 2053 0 0 25 0 1 0 895723072 61243392 13876 4294967295 134512640 134716908 3221224592 3221222896 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14952 13876 1111 63 0 14889 0
vsize: 59808
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 880227 0 0 0 98894 2137 0 0 25 0 1 0 895723072 63557632 14453 4294967295 134512640 134716908 3221224592 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15517 14453 1111 63 0 15454 0
vsize: 62068
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 895594 0 0 0 99855 2176 0 0 25 0 1 0 895723072 63193088 14378 4294967295 134512640 134716908 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15428 14378 1111 63 0 15365 0
vsize: 61712
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 933637 0 0 0 100760 2272 0 0 25 0 1 0 895723072 65912832 14984 4294967295 134512640 134716908 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16092 14984 1111 63 0 16029 0
vsize: 64368
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 959305 0 0 0 101699 2334 0 0 25 0 1 0 895723072 66060288 15075 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16128 15075 1111 63 0 16065 0
vsize: 64512
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 985644 0 0 0 102631 2401 0 0 25 0 1 0 895723072 67649536 15441 4294967295 134512640 134716908 3221224592 3221222448 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16516 15441 1111 63 0 16453 0
vsize: 66064
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 985801 0 0 0 103629 2403 0 0 25 0 1 0 895723072 68341760 15598 4294967295 134512640 134716908 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16685 15598 1111 63 0 16622 0
vsize: 66740
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 987675 0 0 0 104625 2408 0 0 25 0 1 0 895723072 81027072 16625 4294967295 134512640 134716908 3221224592 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19782 16627 1111 63 0 19719 0
vsize: 79128
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 990735 0 0 0 105619 2414 0 0 25 0 1 0 895723072 68464640 15658 4294967295 134512640 134716908 3221224592 3221223328 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16715 15658 1111 63 0 16652 0
vsize: 66860
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 990735 0 0 0 106620 2414 0 0 25 0 1 0 895723072 68464640 15658 4294967295 134512640 134716908 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16715 15658 1111 63 0 16652 0
vsize: 66860
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 990803 0 0 0 107619 2415 0 0 25 0 1 0 895723072 67670016 15464 4294967295 134512640 134716908 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16521 15464 1111 63 0 16458 0
vsize: 66084
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 994276 0 0 0 108610 2424 0 0 25 0 1 0 895723072 69271552 15855 4294967295 134512640 134716908 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16912 15855 1111 63 0 16849 0
vsize: 67648
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 997201 0 0 0 109603 2432 0 0 25 0 1 0 895723072 68055040 15555 4294967295 134512640 134716908 3221224592 3221223408 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16615 15555 1111 63 0 16552 0
vsize: 66460
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 1003488 0 0 0 110586 2450 0 0 25 0 1 0 895723072 67391488 15396 4294967295 134512640 134716908 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16453 15396 1111 63 0 16390 0
vsize: 65812
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 1031126 0 0 0 111512 2523 0 0 25 0 1 0 895723072 68001792 15542 4294967295 134512640 134716908 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16602 15542 1111 63 0 16539 0
vsize: 66408
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 1046306 0 0 0 112475 2561 0 0 25 0 1 0 895723072 68325376 15621 4294967295 134512640 134716908 3221224592 3221222336 1076999581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16681 15621 1111 63 0 16618 0
vsize: 66724
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 1081566 0 0 0 113387 2649 0 0 25 0 1 0 895723072 76013568 15992 4294967295 134512640 134716908 3221224592 3221220736 1074970836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18558 15992 1111 63 0 18495 0
vsize: 74232
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 1096872 0 0 0 114348 2688 0 0 25 0 1 0 895723072 71229440 16319 4294967295 134512640 134716908 3221224592 3221222544 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17390 16319 1111 63 0 17327 0
vsize: 69560
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 1096949 0 0 0 115347 2690 0 0 25 0 1 0 895723072 71528448 16396 4294967295 134512640 134716908 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17463 16396 1111 63 0 17400 0
vsize: 69852
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 1097030 0 0 0 116347 2690 0 0 25 0 1 0 895723072 71909376 16477 4294967295 134512640 134716908 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17556 16477 1111 63 0 17493 0
vsize: 70224
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) R 18089 25568 25567 0 -1 0 1097092 0 0 0 117346 2692 0 0 25 0 1 0 895723072 72224768 16539 4294967295 134512640 134716908 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17633 16539 1111 63 0 17570 0
vsize: 70532
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 18092
Raw data (stat): 18090 (bsolo_lpr-v2) Z 18089 25568 25567 0 -1 1036 1097092 0 0 0 117346 2695 0 0 25 0 1 0 895723072 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.05
CPU time (s): 1200.42
CPU user time (s): 1173.47
CPU system time (s): 26.9519
CPU usage (%): 100.031
Max. virtual memory (Kb): 79128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####