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/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb
MD5SUM	5d90b7cbb5bac2aa14257b9c5448f25d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	304
Optimality of the best value was proved	NO
Number of terms in the objective function	173
Biggest coefficient in the objective function	100
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	8448
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	100
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	8448
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05184
Number of variables	257
Total number of constraints	353
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	353
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	44
Trace number 39732

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        912420 kB
Buffers:         33952 kB
Cached:          65636 kB
SwapCached:        984 kB
Active:          34456 kB
Inactive:        67240 kB
HighTotal:      131008 kB
HighFree:        94276 kB
LowTotal:       903652 kB
LowFree:        818144 kB
SwapTotal:     2097136 kB
SwapFree:      2095204 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4924 kB
Slab:            14800 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 18:57:45 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 27798 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 257 variables and 181 constraints.
c After prepocess the problem consists of 216 variables and 98 constraints.
c preprocess terminated 0.122 s
c Initial Lower Bound: 303
c Lower Bound Elapsed time: 0.00975
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 4133 @ 0.575
c NEW SOLUTION FOUND: 4038 @ 0.648
c NEW SOLUTION FOUND: 4037 @ 0.673
c NEW SOLUTION FOUND: 4036 @ 0.696
c NEW SOLUTION FOUND: 4035 @ 0.719
c NEW SOLUTION FOUND: 4034 @ 0.742
c NEW SOLUTION FOUND: 4033 @ 0.764
c NEW SOLUTION FOUND: 3933 @ 0.829
c NEW SOLUTION FOUND: 3833 @ 0.9
c NEW SOLUTION FOUND: 3733 @ 0.982
c NEW SOLUTION FOUND: 3633 @ 1.08
c NEW SOLUTION FOUND: 3533 @ 1.183
c NEW SOLUTION FOUND: 3433 @ 1.295
c NEW SOLUTION FOUND: 3432 @ 1.4
c NEW SOLUTION FOUND: 3332 @ 1.51
c NEW SOLUTION FOUND: 3331 @ 1.702
c NEW SOLUTION FOUND: 3231 @ 1.986
c NEW SOLUTION FOUND: 3230 @ 2.308
c NEW SOLUTION FOUND: 3130 @ 2.565
c NEW SOLUTION FOUND: 3129 @ 2.865
c NEW SOLUTION FOUND: 3029 @ 3.095
c NEW SOLUTION FOUND: 3028 @ 3.386
c NEW SOLUTION FOUND: 2928 @ 3.624
c NEW SOLUTION FOUND: 2927 @ 3.954
c NEW SOLUTION FOUND: 2827 @ 4.242
c NEW SOLUTION FOUND: 2826 @ 4.594
c NEW SOLUTION FOUND: 2726 @ 4.891
c NEW SOLUTION FOUND: 2725 @ 5.298
c NEW SOLUTION FOUND: 2625 @ 5.605
c NEW SOLUTION FOUND: 2624 @ 6.004
c NEW SOLUTION FOUND: 2524 @ 6.322
c NEW SOLUTION FOUND: 2523 @ 6.786
c NEW SOLUTION FOUND: 2423 @ 7.126
c NEW SOLUTION FOUND: 2422 @ 7.597
c NEW SOLUTION FOUND: 2322 @ 7.984
c NEW SOLUTION FOUND: 2321 @ 8.488
c NEW SOLUTION FOUND: 2221 @ 8.916
c NEW SOLUTION FOUND: 2121 @ 9.529
c NEW SOLUTION FOUND: 2120 @ 10.031
c NEW SOLUTION FOUND: 2119 @ 10.685
c NEW SOLUTION FOUND: 2019 @ 11.144
c NEW SOLUTION FOUND: 1919 @ 11.881
c NEW SOLUTION FOUND: 1918 @ 12.429
c NEW SOLUTION FOUND: 1917 @ 13.371
c NEW SOLUTION FOUND: 1819 @ 14.055
c NEW SOLUTION FOUND: 1818 @ 14.665
c NEW SOLUTION FOUND: 1817 @ 15.451
c NEW SOLUTION FOUND: 1816 @ 18.18
c NEW SOLUTION FOUND: 1720 @ 19.041
c NEW SOLUTION FOUND: 1719 @ 19.67
c NEW SOLUTION FOUND: 1718 @ 21.721
c NEW SOLUTION FOUND: 1717 @ 23.508
c NEW SOLUTION FOUND: 1716 @ 25.149
c NEW SOLUTION FOUND: 1715 @ 26.719
c NEW SOLUTION FOUND: 1620 @ 27.588
c NEW SOLUTION FOUND: 1619 @ 28.956
c NEW SOLUTION FOUND: 1618 @ 31.811
c NEW SOLUTION FOUND: 1617 @ 33.717
c NEW SOLUTION FOUND: 1616 @ 43.848
c NEW SOLUTION FOUND: 1615 @ 75.86
c NEW SOLUTION FOUND: 1519 @ 546.902
c NEW SOLUTION FOUND: 1518 @ 547.187
c NEW SOLUTION FOUND: 1517 @ 551.498
c NEW SOLUTION FOUND: 1516 @ 554.678
c NEW SOLUTION FOUND: 1515 @ 594.557
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.98 0.92 2/54 18981
Raw data (stat): 18981 (runsolver) R 18980 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895200713 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.0003 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 7079 0 0 0 962 34 0 0 25 0 1 0 895200713 10625024 1886 4294967295 134512640 134716908 3221224592 3221223040 1073990032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2594 1886 1111 63 0 2531 0
vsize: 10376
[startup+20.0001 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 15714 0 0 0 1927 69 0 0 25 0 1 0 895200713 15851520 3137 4294967295 134512640 134716908 3221224592 3221222704 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3870 3137 1111 63 0 3807 0
vsize: 15480
[startup+30.0012 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 27158 0 0 0 2888 108 0 0 25 0 1 0 895200713 19525632 4058 4294967295 134512640 134716908 3221224592 3221222800 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4767 4058 1111 63 0 4704 0
vsize: 19068
[startup+40.0008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 37849 0 0 0 3856 140 0 0 25 0 1 0 895200713 24485888 5219 4294967295 134512640 134716908 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5946 5215 1111 63 0 5883 0
vsize: 23912
[startup+50.0006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 49326 0 0 0 4820 177 0 0 25 0 1 0 895200713 29130752 6382 4294967295 134512640 134716908 3221224592 3221222884 1074206882 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7112 6382 1111 63 0 7049 0
vsize: 28448
[startup+60.0008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 65936 0 0 0 5776 220 0 0 25 0 1 0 895200713 33767424 7527 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8244 7527 1111 63 0 8181 0
vsize: 32976
[startup+70.0003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 83904 0 0 0 6731 266 0 0 25 0 1 0 895200713 38494208 8681 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9398 8681 1111 63 0 9335 0
vsize: 37592
[startup+80.0012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 98287 0 0 0 7691 306 0 0 25 0 1 0 895200713 43560960 9791 4294967295 134512640 134716908 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10635 9791 1111 63 0 10572 0
vsize: 42540
[startup+90.0014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 116737 0 0 0 8642 355 0 0 25 0 1 0 895200713 48259072 10933 4294967295 134512640 134716908 3221224592 3221222320 1075828490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11782 10933 1111 63 0 11719 0
vsize: 47128
[startup+100.001 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 125769 0 0 0 9617 380 0 0 25 0 1 0 895200713 50540544 11438 4294967295 134512640 134716908 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12339 11439 1111 63 0 12276 0
vsize: 49356
[startup+110.002 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 140628 0 0 0 10575 422 0 0 25 0 1 0 895200713 53587968 12241 4294967295 134512640 134716908 3221224592 3221222320 1075635444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13083 12241 1111 63 0 13020 0
vsize: 52332
[startup+120.002 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 155417 0 0 0 11536 462 0 0 25 0 1 0 895200713 57090048 13110 4294967295 134512640 134716908 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13938 13110 1111 63 0 13875 0
vsize: 55752
[startup+130.003 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 175293 0 0 0 12485 513 0 0 25 0 1 0 895200713 61595648 14198 4294967295 134512640 134716908 3221224592 3221221712 1074864908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15080 14201 1111 63 0 15017 0
vsize: 60152
[startup+140.003 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 190819 0 0 0 13443 555 0 0 25 0 1 0 895200713 64839680 15033 4294967295 134512640 134716908 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15830 15033 1111 63 0 15767 0
vsize: 63320
[startup+150.003 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 209031 0 0 0 14396 602 0 0 25 0 1 0 895200713 69152768 16086 4294967295 134512640 134716908 3221224592 3221222520 1077380458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16883 16086 1111 63 0 16820 0
vsize: 67532
[startup+160.003 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 224786 0 0 0 15358 641 0 0 25 0 1 0 895200713 75800576 17375 4294967295 134512640 134716908 3221224592 3221222416 1075824347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18506 17375 1111 63 0 18443 0
vsize: 74024
[startup+170.003 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 245278 0 0 0 16305 694 0 0 25 0 1 0 895200713 81874944 18776 4294967295 134512640 134716908 3221224592 3221222512 1075799556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19989 18776 1111 63 0 19926 0
vsize: 79956
[startup+180.003 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 266564 0 0 0 17246 752 0 0 25 0 1 0 895200713 88285184 20287 4294967295 134512640 134716908 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21554 20287 1111 63 0 21491 0
vsize: 86216
[startup+190.004 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 281667 0 0 0 18208 791 0 0 25 0 1 0 895200713 92131328 21257 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22493 21257 1111 63 0 22430 0
vsize: 89972
[startup+200.004 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 300837 0 0 0 19158 841 0 0 25 0 1 0 895200713 98414592 22751 4294967295 134512640 134716908 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24027 22751 1111 63 0 23964 0
vsize: 96108
[startup+210.005 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 314566 0 0 0 20123 877 0 0 25 0 1 0 895200713 100700160 23352 4294967295 134512640 134716908 3221224592 3221222848 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24585 23352 1111 63 0 24522 0
vsize: 98340
[startup+220.005 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 331534 0 0 0 21079 920 0 0 25 0 1 0 895200713 104620032 24322 4294967295 134512640 134716908 3221224592 3221222848 1074206235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25542 24322 1111 63 0 25479 0
vsize: 102168
[startup+230.005 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 353791 0 0 0 22020 980 0 0 25 0 1 0 895200713 110403584 25735 4294967295 134512640 134716908 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26954 25735 1111 63 0 26891 0
vsize: 107816
[startup+240.005 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 367957 0 0 0 22986 1014 0 0 25 0 1 0 895200713 114614272 26729 4294967295 134512640 134716908 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27982 26729 1111 63 0 27919 0
vsize: 111928
[startup+250.005 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 384372 0 0 0 23942 1058 0 0 25 0 1 0 895200713 118243328 27594 4294967295 134512640 134716908 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28868 27594 1111 63 0 28805 0
vsize: 115472
[startup+260.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 406214 0 0 0 24884 1116 0 0 25 0 1 0 895200713 123670528 28944 4294967295 134512640 134716908 3221224592 3221220556 1074860608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30129 28936 1111 63 0 30066 0
vsize: 120772
[startup+270.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 428438 0 0 0 25826 1174 0 0 25 0 1 0 895200713 128598016 30216 4294967295 134512640 134716908 3221224592 3221223408 134556877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31396 30216 1111 63 0 31333 0
vsize: 125584
[startup+280.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 450218 0 0 0 26765 1236 0 0 25 0 1 0 895200713 133562368 31431 4294967295 134512640 134716908 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32608 31431 1111 63 0 32545 0
vsize: 130432
[startup+290.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 468351 0 0 0 27712 1289 0 0 25 0 1 0 895200713 144744448 33347 4294967295 134512640 134716908 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35338 33347 1111 63 0 35275 0
vsize: 141352
[startup+300.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 488129 0 0 0 28662 1339 0 0 25 0 1 0 895200713 152031232 34832 4294967295 134512640 134716908 3221224592 3221222920 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37075 34827 1111 63 0 37012 0
vsize: 148468
[startup+310.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 505702 0 0 0 29613 1388 0 0 25 0 1 0 895200713 157569024 36003 4294967295 134512640 134716908 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38469 36003 1111 63 0 38406 0
vsize: 153876
[startup+320.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 533721 0 0 0 30548 1453 0 0 25 0 1 0 895200713 163590144 37473 4294967295 134512640 134716908 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39939 37473 1111 63 0 39876 0
vsize: 159756
[startup+330.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 553497 0 0 0 31499 1503 0 0 25 0 1 0 895200713 167161856 38329 4294967295 134512640 134716908 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40811 38329 1111 63 0 40748 0
vsize: 163244
[startup+340.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 573861 0 0 0 32452 1550 0 0 25 0 1 0 895200713 171282432 39245 4294967295 134512640 134716908 3221224592 3221220864 1074798933 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41766 39243 1111 63 0 41703 0
vsize: 167268
[startup+350.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 598195 0 0 0 33390 1612 0 0 25 0 1 0 895200713 175955968 40464 4294967295 134512640 134716908 3221224592 3221222848 1073978421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42958 40464 1111 63 0 42895 0
vsize: 171832
[startup+360.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 626463 0 0 0 34324 1678 0 0 25 0 1 0 895200713 181723136 41815 4294967295 134512640 134716908 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44366 41815 1111 63 0 44303 0
vsize: 177464
[startup+370.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 632196 0 0 0 35311 1691 0 0 25 0 1 0 895200713 182820864 41887 4294967295 134512640 134716908 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44634 41889 1111 63 0 44571 0
vsize: 178536
[startup+380.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 673368 0 0 0 36225 1778 0 0 25 0 1 0 895200713 187834368 43124 4294967295 134512640 134716908 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45742 43122 1111 63 0 45679 0
vsize: 183432
[startup+390.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 698516 0 0 0 37168 1835 0 0 25 0 1 0 895200713 189091840 43670 4294967295 134512640 134716908 3221224592 3221222576 1074056237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46165 43670 1111 63 0 46102 0
vsize: 184660
[startup+400.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 741753 0 0 0 38068 1935 0 0 25 0 1 0 895200713 193003520 44643 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47120 44643 1111 63 0 47057 0
vsize: 188480
[startup+410.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 767217 0 0 0 39012 1991 0 0 25 0 1 0 895200713 195428352 45259 4294967295 134512640 134716908 3221224592 3221222592 1074918343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47712 45259 1111 63 0 47649 0
vsize: 190848
[startup+420.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 800894 0 0 0 39936 2068 0 0 25 0 1 0 895200713 198307840 45960 4294967295 134512640 134716908 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48415 45960 1111 63 0 48352 0
vsize: 193660
[startup+430.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 846244 0 0 0 40835 2168 0 0 25 0 1 0 895200713 202878976 47121 4294967295 134512640 134716908 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49531 47121 1111 63 0 49468 0
vsize: 198124
[startup+440.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 853792 0 0 0 41818 2186 0 0 25 0 1 0 895200713 203857920 47330 4294967295 134512640 134716908 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49770 47330 1111 63 0 49707 0
vsize: 199080
[startup+450.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 872337 0 0 0 42775 2228 0 0 25 0 1 0 895200713 205623296 47772 4294967295 134512640 134716908 3221224592 3221223328 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50201 47772 1111 63 0 50138 0
vsize: 200804
[startup+460.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 900871 0 0 0 43713 2289 0 0 25 0 1 0 895200713 207982592 48304 4294967295 134512640 134716908 3221224592 3221222336 1075640218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50777 48304 1111 63 0 50714 0
vsize: 203108
[startup+470.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 931211 0 0 0 44647 2355 0 0 25 0 1 0 895200713 210751488 48925 4294967295 134512640 134716908 3221224592 3221222920 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51395 48923 1111 63 0 51332 0
vsize: 205812
[startup+480.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 971091 0 0 0 45558 2445 0 0 25 0 1 0 895200713 214134784 49830 4294967295 134512640 134716908 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52279 49830 1111 63 0 52216 0
vsize: 209116
[startup+490.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 997515 0 0 0 46500 2503 0 0 25 0 1 0 895200713 217006080 50535 4294967295 134512640 134716908 3221224592 3221223328 134622790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52980 50535 1111 63 0 52917 0
vsize: 211920
[startup+500.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1017870 0 0 0 47454 2549 0 0 25 0 1 0 895200713 218451968 50869 4294967295 134512640 134716908 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53333 50869 1111 63 0 53270 0
vsize: 213332
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1052457 0 0 0 48377 2626 0 0 25 0 1 0 895200713 221863936 51695 4294967295 134512640 134716908 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54166 51695 1111 63 0 54103 0
vsize: 216664
[startup+520.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1078550 0 0 0 49320 2683 0 0 25 0 1 0 895200713 225431552 52447 4294967295 134512640 134716908 3221224592 3221222888 1074206881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55037 52447 1111 63 0 54974 0
vsize: 220148
[startup+530.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1109338 0 0 0 50254 2749 0 0 25 0 1 0 895200713 229199872 53179 4294967295 134512640 134716908 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55957 53180 1111 63 0 55894 0
vsize: 223828
[startup+540.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1133597 0 0 0 51201 2802 0 0 25 0 1 0 895200713 231333888 53635 4294967295 134512640 134716908 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56478 53647 1111 63 0 56415 0
vsize: 225912
[startup+550.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1169065 0 0 0 52122 2882 0 0 25 0 1 0 895200713 234696704 54483 4294967295 134512640 134716908 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57299 54496 1111 63 0 57236 0
vsize: 229196
[startup+560.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1205944 0 0 0 53039 2965 0 0 25 0 1 0 895200713 238182400 55463 4294967295 134512640 134716908 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58266 55466 1111 63 0 58203 0
vsize: 232600
[startup+570.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1248305 0 0 0 53940 3064 0 0 25 0 1 0 895200713 244445184 56800 4294967295 134512640 134716908 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59563 56798 1111 63 0 59500 0
vsize: 238716
[startup+580.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1289483 0 0 0 54852 3152 0 0 25 0 1 0 895200713 249028608 58156 4294967295 134512640 134716908 3221224592 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60798 58156 1111 63 0 60735 0
vsize: 243192
[startup+590.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1331180 0 0 0 55762 3242 0 0 25 0 1 0 895200713 254652416 59596 4294967295 134512640 134716908 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62171 59596 1111 63 0 62108 0
vsize: 248684
[startup+600.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1351996 0 0 0 56718 3287 0 0 25 0 1 0 895200713 258355200 60462 4294967295 134512640 134716908 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63075 60462 1111 63 0 63012 0
vsize: 252300
[startup+610.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1354243 0 0 0 57713 3292 0 0 25 0 1 0 895200713 258351104 60473 4294967295 134512640 134716908 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63074 60473 1111 63 0 63011 0
vsize: 252296
[startup+620.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1362537 0 0 0 58694 3311 0 0 25 0 1 0 895200713 258895872 60378 4294967295 134512640 134716908 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62963 60372 1111 63 0 62900 0
vsize: 252828
[startup+630.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1404879 0 0 0 59607 3398 0 0 25 0 1 0 895200713 264204288 61760 4294967295 134512640 134716908 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64503 61760 1111 63 0 64440 0
vsize: 258012
[startup+640.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1428901 0 0 0 60556 3449 0 0 25 0 1 0 895200713 266113024 62457 4294967295 134512640 134716908 3221224592 3221223272 134523851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64969 62457 1111 63 0 64906 0
vsize: 259876
[startup+650.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1441028 0 0 0 61531 3475 0 0 25 0 1 0 895200713 268742656 63120 4294967295 134512640 134716908 3221224592 3221222320 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65611 63120 1111 63 0 65548 0
vsize: 262444
[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1441168 0 0 0 62530 3475 0 0 25 0 1 0 895200713 269447168 63260 4294967295 134512640 134716908 3221224592 3221222608 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65783 63260 1111 63 0 65720 0
vsize: 263132
[startup+670.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1441281 0 0 0 63530 3476 0 0 25 0 1 0 895200713 269860864 63373 4294967295 134512640 134716908 3221224592 3221222560 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65884 63373 1111 63 0 65821 0
vsize: 263536
[startup+680.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1441397 0 0 0 64529 3477 0 0 25 0 1 0 895200713 270385152 63489 4294967295 134512640 134716908 3221224592 3221222512 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66012 63489 1111 63 0 65949 0
vsize: 264048
[startup+690.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1441469 0 0 0 65528 3478 0 0 25 0 1 0 895200713 270680064 63561 4294967295 134512640 134716908 3221224592 3221222544 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66084 63561 1111 63 0 66021 0
vsize: 264336
[startup+700.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1441567 0 0 0 66527 3479 0 0 25 0 1 0 895200713 270958592 63659 4294967295 134512640 134716908 3221224592 3221222544 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66152 63659 1111 63 0 66089 0
vsize: 264608
[startup+710.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1441619 0 0 0 67526 3480 0 0 25 0 1 0 895200713 271171584 63711 4294967295 134512640 134716908 3221224592 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66204 63711 1111 63 0 66141 0
vsize: 264816
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1441675 0 0 0 68526 3480 0 0 25 0 1 0 895200713 271400960 63767 4294967295 134512640 134716908 3221224592 3221222560 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66260 63767 1111 63 0 66197 0
vsize: 265040
[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1441765 0 0 0 69526 3481 0 0 25 0 1 0 895200713 271818752 63857 4294967295 134512640 134716908 3221224592 3221222512 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66362 63857 1111 63 0 66299 0
vsize: 265448
[startup+740.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1441816 0 0 0 70526 3481 0 0 25 0 1 0 895200713 272027648 63908 4294967295 134512640 134716908 3221224592 3221222608 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66413 63908 1111 63 0 66350 0
vsize: 265652
[startup+750.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1441865 0 0 0 71526 3482 0 0 25 0 1 0 895200713 272228352 63957 4294967295 134512640 134716908 3221224592 3221222544 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66462 63957 1111 63 0 66399 0
vsize: 265848
[startup+760.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1441909 0 0 0 72526 3482 0 0 25 0 1 0 895200713 272408576 64001 4294967295 134512640 134716908 3221224592 3221222544 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66506 64001 1111 63 0 66443 0
vsize: 266024
[startup+770.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1441948 0 0 0 73525 3483 0 0 25 0 1 0 895200713 272556032 64040 4294967295 134512640 134716908 3221224592 3221222384 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66542 64040 1111 63 0 66479 0
vsize: 266168
[startup+780.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1441988 0 0 0 74525 3483 0 0 25 0 1 0 895200713 272719872 64080 4294967295 134512640 134716908 3221224592 3221222352 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66582 64080 1111 63 0 66519 0
vsize: 266328
[startup+790.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442030 0 0 0 75525 3483 0 0 25 0 1 0 895200713 272891904 64122 4294967295 134512640 134716908 3221224592 3221222560 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66624 64122 1111 63 0 66561 0
vsize: 266496
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442068 0 0 0 76525 3483 0 0 25 0 1 0 895200713 273047552 64160 4294967295 134512640 134716908 3221224592 3221222544 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66662 64160 1111 63 0 66599 0
vsize: 266648
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442105 0 0 0 77525 3484 0 0 25 0 1 0 895200713 273199104 64197 4294967295 134512640 134716908 3221224592 3221222592 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66699 64197 1111 63 0 66636 0
vsize: 266796
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442144 0 0 0 78525 3484 0 0 25 0 1 0 895200713 273358848 64236 4294967295 134512640 134716908 3221224592 3221222544 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66738 64236 1111 63 0 66675 0
vsize: 266952
[startup+830.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442229 0 0 0 79524 3485 0 0 25 0 1 0 895200713 273686528 64321 4294967295 134512640 134716908 3221224592 3221222592 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66818 64321 1111 63 0 66755 0
vsize: 267272
[startup+840.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442262 0 0 0 80524 3485 0 0 25 0 1 0 895200713 273821696 64354 4294967295 134512640 134716908 3221224592 3221222544 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66851 64354 1111 63 0 66788 0
vsize: 267404
[startup+850.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442291 0 0 0 81524 3485 0 0 25 0 1 0 895200713 273940480 64383 4294967295 134512640 134716908 3221224592 3221222592 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66880 64383 1111 63 0 66817 0
vsize: 267520
[startup+860.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442322 0 0 0 82524 3486 0 0 25 0 1 0 895200713 274067456 64414 4294967295 134512640 134716908 3221224592 3221222544 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66911 64414 1111 63 0 66848 0
vsize: 267644
[startup+870.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442355 0 0 0 83523 3486 0 0 25 0 1 0 895200713 274202624 64447 4294967295 134512640 134716908 3221224592 3221222560 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66944 64447 1111 63 0 66881 0
vsize: 267776
[startup+880.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442387 0 0 0 84523 3487 0 0 25 0 1 0 895200713 274333696 64479 4294967295 134512640 134716908 3221224592 3221222592 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66976 64479 1111 63 0 66913 0
vsize: 267904
[startup+890.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442414 0 0 0 85523 3488 0 0 25 0 1 0 895200713 274444288 64506 4294967295 134512640 134716908 3221224592 3221222592 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67003 64506 1111 63 0 66940 0
vsize: 268012
[startup+900.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442442 0 0 0 86522 3488 0 0 25 0 1 0 895200713 274558976 64534 4294967295 134512640 134716908 3221224592 3221222352 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67031 64534 1111 63 0 66968 0
vsize: 268124
[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442534 0 0 0 87522 3488 0 0 25 0 1 0 895200713 274915328 64626 4294967295 134512640 134716908 3221224592 3221222560 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67118 64626 1111 63 0 67055 0
vsize: 268472
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442561 0 0 0 88522 3489 0 0 25 0 1 0 895200713 275025920 64653 4294967295 134512640 134716908 3221224592 3221222544 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67145 64653 1111 63 0 67082 0
vsize: 268580
[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442588 0 0 0 89522 3489 0 0 25 0 1 0 895200713 275136512 64680 4294967295 134512640 134716908 3221224592 3221222544 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67172 64680 1111 63 0 67109 0
vsize: 268688
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442616 0 0 0 90522 3489 0 0 25 0 1 0 895200713 275251200 64708 4294967295 134512640 134716908 3221224592 3221222560 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67200 64708 1111 63 0 67137 0
vsize: 268800
[startup+950.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442643 0 0 0 91522 3489 0 0 25 0 1 0 895200713 275361792 64735 4294967295 134512640 134716908 3221224592 3221222592 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67227 64735 1111 63 0 67164 0
vsize: 268908
[startup+960.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442669 0 0 0 92522 3489 0 0 25 0 1 0 895200713 275468288 64761 4294967295 134512640 134716908 3221224592 3221222640 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67253 64761 1111 63 0 67190 0
vsize: 269012
[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442690 0 0 0 93522 3490 0 0 25 0 1 0 895200713 275554304 64782 4294967295 134512640 134716908 3221224592 3221222640 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67274 64782 1111 63 0 67211 0
vsize: 269096
[startup+980.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442715 0 0 0 94522 3490 0 0 25 0 1 0 895200713 275656704 64807 4294967295 134512640 134716908 3221224592 3221222592 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67299 64807 1111 63 0 67236 0
vsize: 269196
[startup+990.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442741 0 0 0 95522 3490 0 0 25 0 1 0 895200713 275763200 64833 4294967295 134512640 134716908 3221224592 3221222608 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67325 64833 1111 63 0 67262 0
vsize: 269300
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442765 0 0 0 96522 3490 0 0 25 0 1 0 895200713 275861504 64857 4294967295 134512640 134716908 3221224592 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67349 64857 1111 63 0 67286 0
vsize: 269396
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442787 0 0 0 97522 3491 0 0 25 0 1 0 895200713 275951616 64879 4294967295 134512640 134716908 3221224592 3221222608 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67371 64879 1111 63 0 67308 0
vsize: 269484
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442811 0 0 0 98522 3491 0 0 25 0 1 0 895200713 276049920 64903 4294967295 134512640 134716908 3221224592 3221222592 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67395 64903 1111 63 0 67332 0
vsize: 269580
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442910 0 0 0 99521 3492 0 0 25 0 1 0 895200713 276414464 64993 4294967295 134512640 134716908 3221224592 3221222400 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67484 64993 1111 63 0 67421 0
vsize: 269936
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442932 0 0 0 100521 3492 0 0 25 0 1 0 895200713 276504576 65015 4294967295 134512640 134716908 3221224592 3221222656 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67506 65015 1111 63 0 67443 0
vsize: 270024
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442953 0 0 0 101521 3492 0 0 25 0 1 0 895200713 276590592 65036 4294967295 134512640 134716908 3221224592 3221222592 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67527 65036 1111 63 0 67464 0
vsize: 270108
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442973 0 0 0 102521 3492 0 0 25 0 1 0 895200713 276672512 65056 4294967295 134512640 134716908 3221224592 3221222544 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67547 65056 1111 63 0 67484 0
vsize: 270188
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1442994 0 0 0 103521 3493 0 0 25 0 1 0 895200713 276758528 65077 4294967295 134512640 134716908 3221224592 3221222608 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67568 65077 1111 63 0 67505 0
vsize: 270272
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1443013 0 0 0 104521 3493 0 0 25 0 1 0 895200713 276836352 65096 4294967295 134512640 134716908 3221224592 3221222544 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67587 65096 1111 63 0 67524 0
vsize: 270348
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1443036 0 0 0 105521 3493 0 0 25 0 1 0 895200713 276930560 65119 4294967295 134512640 134716908 3221224592 3221222512 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67610 65119 1111 63 0 67547 0
vsize: 270440
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1443060 0 0 0 106520 3494 0 0 25 0 1 0 895200713 277028864 65143 4294967295 134512640 134716908 3221224592 3221222544 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67634 65143 1111 63 0 67571 0
vsize: 270536
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1443081 0 0 0 107520 3494 0 0 25 0 1 0 895200713 277114880 65164 4294967295 134512640 134716908 3221224592 3221222544 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67655 65164 1111 63 0 67592 0
vsize: 270620
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1443103 0 0 0 108521 3494 0 0 25 0 1 0 895200713 277204992 65186 4294967295 134512640 134716908 3221224592 3221222304 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67677 65186 1111 63 0 67614 0
vsize: 270708
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1443126 0 0 0 109520 3494 0 0 25 0 1 0 895200713 277299200 65209 4294967295 134512640 134716908 3221224592 3221222608 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67700 65209 1111 63 0 67637 0
vsize: 270800
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1443147 0 0 0 110521 3494 0 0 25 0 1 0 895200713 277385216 65230 4294967295 134512640 134716908 3221224592 3221222544 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67721 65230 1111 63 0 67658 0
vsize: 270884
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1443165 0 0 0 111521 3494 0 0 25 0 1 0 895200713 277458944 65248 4294967295 134512640 134716908 3221224592 3221222448 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67739 65248 1111 63 0 67676 0
vsize: 270956
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1443187 0 0 0 112521 3495 0 0 25 0 1 0 895200713 277549056 65270 4294967295 134512640 134716908 3221224592 3221222608 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67761 65270 1111 63 0 67698 0
vsize: 271044
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1443205 0 0 0 113521 3495 0 0 25 0 1 0 895200713 277622784 65288 4294967295 134512640 134716908 3221224592 3221222640 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67779 65288 1111 63 0 67716 0
vsize: 271116
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1443220 0 0 0 114521 3495 0 0 25 0 1 0 895200713 277684224 65303 4294967295 134512640 134716908 3221224592 3221222656 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67794 65303 1111 63 0 67731 0
vsize: 271176
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1443238 0 0 0 115521 3495 0 0 25 0 1 0 895200713 277757952 65321 4294967295 134512640 134716908 3221224592 3221222416 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67812 65321 1111 63 0 67749 0
vsize: 271248
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) R 18980 21152 21151 0 -1 0 1443320 0 0 0 116521 3495 0 0 25 0 1 0 895200713 278093824 65403 4294967295 134512640 134716908 3221224592 3221222592 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67894 65403 1111 63 0 67831 0
vsize: 271576
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 18981
Raw data (stat): 18981 (bsolo_lpr-v2) Z 18980 21152 21151 0 -1 1036 1443320 0 0 0 116521 3507 0 0 25 0 1 0 895200713 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.16
CPU time (s): 1200.29
CPU user time (s): 1165.22
CPU system time (s): 35.0787
CPU usage (%): 100.011
Max. virtual memory (Kb): 271576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####