PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ic.opb
MD5SUM	e8862b41c9b4f49ec8d11d1df0495e74
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	12497
Biggest coefficient in the objective function	1010107916
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	3093137085579
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	1010107916
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	3093137085579
Number of bits of the biggest sum of numbers	42
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	11.8052
Number of variables	12497
Total number of constraints	13530
Number of constraints which are clauses	41
Number of constraints which are cardinality constraints (but not clauses)	13312
Number of constraints which are nor clauses,nor cardinality constraints	177
Minimum length of a constraint	1
Maximum length of a constraint	6739
Trace number 40544

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 13:50:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28602 boxname=wulflinc4 idbench=1558 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  e8862b41c9b4f49ec8d11d1df0495e74  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-sp97ic.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-sp97ic.opb
IDLAUNCH: 28602
/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:        881884 kB
Buffers:          7660 kB
Cached:         118988 kB
SwapCached:       5204 kB
Active:          26388 kB
Inactive:       106624 kB
HighTotal:      131008 kB
HighFree:        76496 kB
LowTotal:       903652 kB
LowFree:        805388 kB
SwapTotal:     2097136 kB
SwapFree:      2090904 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            13876 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 14:11:00 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 28602 7 1200.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 12497 variables and 1033 constraints.
c After prepocess the problem consists of 12497 variables and 1018 constraints.
c preprocess terminated 510.8 s
c Initial Lower Bound: -2147483648
c Lower Bound Elapsed time: 10.6417
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -1740099292 @ 550.415
c NEW SOLUTION FOUND: -2147483648 @ 550.537
#### 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.95 0.90 2/54 707
Raw data (stat): 707 (runsolver) R 706 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902121095 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 24296 0 0 0 944 53 0 0 25 0 1 0 902121095 112394240 24216 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27440 24216 1111 63 0 27377 0
vsize: 109760
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 46500 0 0 0 1904 93 0 0 25 0 1 0 902121095 203440128 46420 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49668 46420 1111 63 0 49605 0
vsize: 198672
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 69166 0 0 0 2868 129 0 0 25 0 1 0 902121095 296304640 69086 4294967295 134512640 134716908 3221224576 3221223232 134527928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72340 69086 1111 63 0 72277 0
vsize: 289360
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 76992 0 0 0 3854 143 0 0 25 0 1 0 902121095 328282112 76912 4294967295 134512640 134716908 3221224576 3221222852 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80147 76912 1111 63 0 80084 0
vsize: 320588
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 77481 0 0 0 4852 145 0 0 25 0 1 0 902121095 330489856 77398 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80686 77398 1111 63 0 80623 0
vsize: 322744
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 78108 0 0 0 5849 147 0 0 25 0 1 0 902121095 333123584 78024 4294967295 134512640 134716908 3221224576 3221222852 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81329 78024 1111 63 0 81266 0
vsize: 325316
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 78762 0 0 0 6847 148 0 0 25 0 1 0 902121095 335863808 78677 4294967295 134512640 134716908 3221224576 3221222864 134566785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81998 78677 1111 63 0 81935 0
vsize: 327992
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 79523 0 0 0 7845 151 0 0 25 0 1 0 902121095 339156992 79437 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82802 79437 1111 63 0 82739 0
vsize: 331208
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 80324 0 0 0 8843 152 0 0 25 0 1 0 902121095 342450176 80237 4294967295 134512640 134716908 3221224576 3221222852 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83606 80237 1111 63 0 83543 0
vsize: 334424
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 81065 0 0 0 9841 155 0 0 25 0 1 0 902121095 345616384 80976 4294967295 134512640 134716908 3221224576 3221222852 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84379 80976 1111 63 0 84316 0
vsize: 337516
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 81829 0 0 0 10839 157 0 0 25 0 1 0 902121095 348786688 81737 4294967295 134512640 134716908 3221224576 3221223240 134568955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85153 81737 1111 63 0 85090 0
vsize: 340612
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83354 0 0 0 11836 160 0 0 25 0 1 0 902121095 345366528 83193 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84318 83193 1111 63 0 84255 0
vsize: 337272
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83444 0 0 0 12836 160 0 0 25 0 1 0 902121095 345772032 83283 4294967295 134512640 134716908 3221224576 3221223056 134543008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84417 83283 1111 63 0 84354 0
vsize: 337668
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83514 0 0 0 13836 161 0 0 25 0 1 0 902121095 346046464 83353 4294967295 134512640 134716908 3221224576 3221223056 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84484 83353 1111 63 0 84421 0
vsize: 337936
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83550 0 0 0 14836 161 0 0 25 0 1 0 902121095 346181632 83389 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84517 83389 1111 63 0 84454 0
vsize: 338068
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83602 0 0 0 15836 161 0 0 25 0 1 0 902121095 346451968 83441 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84583 83441 1111 63 0 84520 0
vsize: 338332
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83709 0 0 0 16835 161 0 0 25 0 1 0 902121095 346857472 83548 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84682 83548 1111 63 0 84619 0
vsize: 338728
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83764 0 0 0 17835 161 0 0 25 0 1 0 902121095 347127808 83603 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84748 83603 1111 63 0 84685 0
vsize: 338992
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83813 0 0 0 18836 162 0 0 25 0 1 0 902121095 347262976 83652 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84781 83652 1111 63 0 84718 0
vsize: 339124
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83885 0 0 0 19836 162 0 0 25 0 1 0 902121095 347668480 83724 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84880 83724 1111 63 0 84817 0
vsize: 339520
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 83955 0 0 0 20835 162 0 0 25 0 1 0 902121095 347938816 83794 4294967295 134512640 134716908 3221224576 3221223056 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84946 83794 1111 63 0 84883 0
vsize: 339784
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84018 0 0 0 21835 162 0 0 25 0 1 0 902121095 348209152 83857 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85012 83857 1111 63 0 84949 0
vsize: 340048
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84088 0 0 0 22835 162 0 0 25 0 1 0 902121095 348479488 83927 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85078 83927 1111 63 0 85015 0
vsize: 340312
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84151 0 0 0 23835 163 0 0 25 0 1 0 902121095 348749824 83990 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85144 83990 1111 63 0 85081 0
vsize: 340576
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84193 0 0 0 24835 163 0 0 25 0 1 0 902121095 348884992 84032 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85177 84032 1111 63 0 85114 0
vsize: 340708
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84218 0 0 0 25836 163 0 0 25 0 1 0 902121095 349020160 84057 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85210 84057 1111 63 0 85147 0
vsize: 340840
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84245 0 0 0 26836 163 0 0 25 0 1 0 902121095 349020160 84084 4294967295 134512640 134716908 3221224576 3221223020 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85210 84084 1111 63 0 85147 0
vsize: 340840
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84282 0 0 0 27836 163 0 0 25 0 1 0 902121095 349290496 84121 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85276 84121 1111 63 0 85213 0
vsize: 341104
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84347 0 0 0 28836 163 0 0 25 0 1 0 902121095 349560832 84186 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85342 84186 1111 63 0 85279 0
vsize: 341368
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84394 0 0 0 29836 163 0 0 25 0 1 0 902121095 349696000 84233 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85375 84233 1111 63 0 85312 0
vsize: 341500
[startup+310.007 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84438 0 0 0 30836 163 0 0 25 0 1 0 902121095 349831168 84277 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85408 84277 1111 63 0 85345 0
vsize: 341632
[startup+320.007 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84528 0 0 0 31836 164 0 0 25 0 1 0 902121095 350236672 84367 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85507 84367 1111 63 0 85444 0
vsize: 342028
[startup+330.007 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84595 0 0 0 32835 164 0 0 25 0 1 0 902121095 350507008 84434 4294967295 134512640 134716908 3221224576 3221223024 134535881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85573 84434 1111 63 0 85510 0
vsize: 342292
[startup+340.006 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84668 0 0 0 33835 165 0 0 25 0 1 0 902121095 350777344 84507 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85639 84507 1111 63 0 85576 0
vsize: 342556
[startup+350.007 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84715 0 0 0 34835 165 0 0 25 0 1 0 902121095 351047680 84554 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85705 84554 1111 63 0 85642 0
vsize: 342820
[startup+360.007 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84745 0 0 0 35835 165 0 0 25 0 1 0 902121095 351047680 84584 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85705 84584 1111 63 0 85642 0
vsize: 342820
[startup+370.007 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84816 0 0 0 36835 165 0 0 25 0 1 0 902121095 351318016 84655 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85771 84655 1111 63 0 85708 0
vsize: 343084
[startup+380.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84866 0 0 0 37835 165 0 0 25 0 1 0 902121095 351588352 84705 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85837 84705 1111 63 0 85774 0
vsize: 343348
[startup+390.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84900 0 0 0 38835 165 0 0 25 0 1 0 902121095 351723520 84739 4294967295 134512640 134716908 3221224576 3221223020 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85870 84739 1111 63 0 85807 0
vsize: 343480
[startup+400.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 84980 0 0 0 39835 166 0 0 25 0 1 0 902121095 351993856 84819 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85936 84819 1111 63 0 85873 0
vsize: 343744
[startup+410.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85019 0 0 0 40835 166 0 0 25 0 1 0 902121095 352129024 84858 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85969 84858 1111 63 0 85906 0
vsize: 343876
[startup+420.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85059 0 0 0 41835 166 0 0 25 0 1 0 902121095 352264192 84898 4294967295 134512640 134716908 3221224576 3221223020 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86002 84898 1111 63 0 85939 0
vsize: 344008
[startup+430.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85111 0 0 0 42835 166 0 0 25 0 1 0 902121095 352534528 84950 4294967295 134512640 134716908 3221224576 3221223436 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86068 84950 1111 63 0 86005 0
vsize: 344272
[startup+440.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85192 0 0 0 43835 167 0 0 25 0 1 0 902121095 352804864 85031 4294967295 134512640 134716908 3221224576 3221223020 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86134 85031 1111 63 0 86071 0
vsize: 344536
[startup+450.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85257 0 0 0 44835 167 0 0 25 0 1 0 902121095 353075200 85096 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86200 85096 1111 63 0 86137 0
vsize: 344800
[startup+460.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85311 0 0 0 45835 167 0 0 25 0 1 0 902121095 353349632 85150 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85150 1111 63 0 86204 0
vsize: 345068
[startup+470.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85316 0 0 0 46835 167 0 0 25 0 1 0 902121095 353349632 85155 4294967295 134512640 134716908 3221224576 3221223248 134627233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85155 1111 63 0 86204 0
vsize: 345068
[startup+480.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85320 0 0 0 47835 167 0 0 25 0 1 0 902121095 353349632 85159 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85159 1111 63 0 86204 0
vsize: 345068
[startup+490.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85325 0 0 0 48835 167 0 0 25 0 1 0 902121095 353349632 85164 4294967295 134512640 134716908 3221224576 3221223220 134630899 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85164 1111 63 0 86204 0
vsize: 345068
[startup+500.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85329 0 0 0 49835 167 0 0 25 0 1 0 902121095 353349632 85168 4294967295 134512640 134716908 3221224576 3221223220 134630899 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85168 1111 63 0 86204 0
vsize: 345068
[startup+510.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 85335 0 0 0 50835 168 0 0 25 0 1 0 902121095 353349632 85174 4294967295 134512640 134716908 3221224576 3221223384 134536904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85174 1111 63 0 86204 0
vsize: 345068
[startup+520.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 86676 0 0 0 51830 172 0 0 25 0 1 0 902121095 358903808 86501 4294967295 134512640 134716908 3221224576 3221222592 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87623 86501 1111 63 0 87560 0
vsize: 350492
[startup+530.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 92026 0 0 0 52818 184 0 0 25 0 1 0 902121095 368709632 88854 4294967295 134512640 134716908 3221224576 3221220700 1076111356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90017 88854 1111 63 0 89954 0
vsize: 360068
[startup+540.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 707
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 104785 0 0 0 53792 210 0 0 25 0 1 0 902121095 361504768 87017 4294967295 134512640 134716908 3221224576 3221222264 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88258 87022 1111 63 0 88195 0
vsize: 353032
[startup+550.007 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 760
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 113499 0 0 0 54771 231 0 0 25 0 1 0 902121095 360165376 86959 4294967295 134512640 134716908 3221224576 3221223376 134597692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87931 86959 1111 63 0 87868 0
vsize: 351724
[startup+560.008 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 760
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 142812 0 0 0 55710 292 0 0 25 0 1 0 902121095 356413440 86046 4294967295 134512640 134716908 3221224576 3221222864 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87015 86046 1111 63 0 86952 0
vsize: 348060
[startup+570.008 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 760
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 163570 0 0 0 56668 334 0 0 25 0 1 0 902121095 357601280 86185 4294967295 134512640 134716908 3221224576 3221222400 1075824347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87305 86185 1111 63 0 87242 0
vsize: 349220
[startup+580.008 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 760
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 179285 0 0 0 57637 365 0 0 25 0 1 0 902121095 356536320 86076 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87045 86076 1111 63 0 86982 0
vsize: 348180
[startup+590.009 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 760
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 193084 0 0 0 58608 394 0 0 25 0 1 0 902121095 356782080 86119 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87105 86119 1111 63 0 87042 0
vsize: 348420
[startup+600.009 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 760
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 205623 0 0 0 59582 421 0 0 25 0 1 0 902121095 356536320 86076 4294967295 134512640 134716908 3221224576 3221222688 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87045 86076 1111 63 0 86982 0
vsize: 348180
[startup+610.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 760
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 216150 0 0 0 60559 444 0 0 25 0 1 0 902121095 356782080 86136 4294967295 134512640 134716908 3221224576 3221222688 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87105 86136 1111 63 0 87042 0
vsize: 348420
[startup+620.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 760
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 224269 0 0 0 61543 460 0 0 25 0 1 0 902121095 356782080 86136 4294967295 134512640 134716908 3221224576 3221222632 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87105 86136 1111 63 0 87042 0
vsize: 348420
[startup+630.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 231831 0 0 0 62526 477 0 0 25 0 1 0 902121095 357146624 86212 4294967295 134512640 134716908 3221224576 3221222928 1074115331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87237 86216 1111 63 0 87174 0
vsize: 348776
[startup+640.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 239004 0 0 0 63510 494 0 0 25 0 1 0 902121095 356909056 86167 4294967295 134512640 134716908 3221224576 3221222992 1074117036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87136 86167 1111 63 0 87073 0
vsize: 348544
[startup+650.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 245597 0 0 0 64496 507 0 0 25 0 1 0 902121095 356970496 86182 4294967295 134512640 134716908 3221224576 3221222320 1075646793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87151 86182 1111 63 0 87088 0
vsize: 348604
[startup+660.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 252304 0 0 0 65484 520 0 0 25 0 1 0 902121095 357863424 86286 4294967295 134512640 134716908 3221224576 3221221864 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87369 86286 1111 63 0 87306 0
vsize: 349476
[startup+670.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 258666 0 0 0 66472 532 0 0 25 0 1 0 902121095 357490688 86295 4294967295 134512640 134716908 3221224576 3221222976 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87278 86295 1111 63 0 87215 0
vsize: 349112
[startup+680.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 264176 0 0 0 67460 544 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+690.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 268528 0 0 0 68450 554 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222576 1074913812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+700.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 273019 0 0 0 69441 564 0 0 25 0 1 0 902121095 357158912 86228 4294967295 134512640 134716908 3221224576 3221222320 1075646941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87197 86228 1111 63 0 87134 0
vsize: 348788
[startup+710.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 277202 0 0 0 70431 574 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222736 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+720.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 281563 0 0 0 71423 582 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222864 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+730.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 285835 0 0 0 72413 592 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222736 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+740.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 289786 0 0 0 73404 601 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222736 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+750.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 293609 0 0 0 74396 610 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222268 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+760.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 297318 0 0 0 75388 618 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222832 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+770.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 301299 0 0 0 76380 626 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222744 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+780.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 305336 0 0 0 77372 634 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222688 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+790.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 309067 0 0 0 78365 641 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222688 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+800.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 312857 0 0 0 79357 649 0 0 25 0 1 0 902121095 358141952 86283 4294967295 134512640 134716908 3221224576 3221222304 1075829548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87437 86283 1111 63 0 87374 0
vsize: 349748
[startup+810.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 316728 0 0 0 80349 657 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222680 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+820.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 320591 0 0 0 81340 667 0 0 25 0 1 0 902121095 357224448 86244 4294967295 134512640 134716908 3221224576 3221222320 1075646862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87213 86244 1111 63 0 87150 0
vsize: 348852
[startup+830.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 324526 0 0 0 82331 677 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222688 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+840.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 328463 0 0 0 83322 686 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221223072 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+850.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 331979 0 0 0 84315 693 0 0 25 0 1 0 902121095 357347328 86260 4294967295 134512640 134716908 3221224576 3221222856 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87243 86260 1111 63 0 87180 0
vsize: 348972
[startup+860.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 335540 0 0 0 85308 701 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222560 1074056255 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+870.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 339053 0 0 0 86300 708 0 0 25 0 1 0 902121095 358141952 86302 4294967295 134512640 134716908 3221224576 3221222304 1075829506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87437 86302 1111 63 0 87374 0
vsize: 349748
[startup+880.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 762
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 342529 0 0 0 87293 716 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222776 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+890.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 346005 0 0 0 88285 724 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222776 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+900.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 349548 0 0 0 89276 733 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+910.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 352939 0 0 0 90270 739 0 0 25 0 1 0 902121095 358207488 86301 4294967295 134512640 134716908 3221224576 3221222640 1075961651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87453 86301 1111 63 0 87390 0
vsize: 349812
[startup+920.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 356620 0 0 0 91262 748 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222832 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+930.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 360404 0 0 0 92252 758 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222688 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+940.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 363760 0 0 0 93245 764 0 0 25 0 1 0 902121095 357036032 86198 4294967295 134512640 134716908 3221224576 3221222776 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+950.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 367147 0 0 0 94238 772 0 0 25 0 1 0 902121095 358211584 86301 4294967295 134512640 134716908 3221224576 3221222304 1075829526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87454 86301 1111 63 0 87391 0
vsize: 349816
[startup+960.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 370647 0 0 0 95230 781 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222744 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+970.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 373878 0 0 0 96223 788 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222632 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+980.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 377127 0 0 0 97215 795 0 0 25 0 1 0 902121095 357031936 86197 4294967295 134512640 134716908 3221224576 3221222928 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+990.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 380272 0 0 0 98208 803 0 0 25 0 1 0 902121095 357363712 86275 4294967295 134512640 134716908 3221224576 3221222976 1074118797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87247 86275 1111 63 0 87184 0
vsize: 348988
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 383414 0 0 0 99201 809 0 0 25 0 1 0 902121095 357478400 86274 4294967295 134512640 134716908 3221224576 3221222992 1074116666 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87275 86274 1111 63 0 87212 0
vsize: 349100
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 386913 0 0 0 100194 817 0 0 25 0 1 0 902121095 357163008 86229 4294967295 134512640 134716908 3221224576 3221222832 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87198 86229 1111 63 0 87135 0
vsize: 348792
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 390599 0 0 0 101186 826 0 0 25 0 1 0 902121095 357158912 86228 4294967295 134512640 134716908 3221224576 3221222688 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87197 86228 1111 63 0 87134 0
vsize: 348788
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 393705 0 0 0 102179 832 0 0 25 0 1 0 902121095 357527552 86318 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87287 86318 1111 63 0 87224 0
vsize: 349148
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 396404 0 0 0 103174 838 0 0 25 0 1 0 902121095 357752832 86373 4294967295 134512640 134716908 3221224576 3221222304 1075635959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87342 86373 1111 63 0 87279 0
vsize: 349368
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 398976 0 0 0 104168 844 0 0 25 0 1 0 902121095 357523456 86317 4294967295 134512640 134716908 3221224576 3221222796 1074206256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87286 86317 1111 63 0 87223 0
vsize: 349144
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 401342 0 0 0 105162 850 0 0 25 0 1 0 902121095 357527552 86318 4294967295 134512640 134716908 3221224576 3221222912 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87287 86318 1111 63 0 87224 0
vsize: 349148
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 404609 0 0 0 106155 858 0 0 25 0 1 0 902121095 357859328 86399 4294967295 134512640 134716908 3221224576 3221222744 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87368 86399 1111 63 0 87305 0
vsize: 349472
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 408287 0 0 0 107146 866 0 0 25 0 1 0 902121095 358088704 86455 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87424 86455 1111 63 0 87361 0
vsize: 349696
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 410898 0 0 0 108140 872 0 0 25 0 1 0 902121095 358146048 86469 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87438 86469 1111 63 0 87375 0
vsize: 349752
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 416441 0 0 0 109128 885 0 0 25 0 1 0 902121095 357736448 86369 4294967295 134512640 134716908 3221224576 3221206512 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87341 86370 1111 63 0 87278 0
vsize: 349352
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 420043 0 0 0 110119 894 0 0 25 0 1 0 902121095 358653952 86593 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87562 86593 1111 63 0 87499 0
vsize: 350248
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 423552 0 0 0 111112 902 0 0 25 0 1 0 902121095 358715392 86608 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87577 86608 1111 63 0 87514 0
vsize: 350308
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 427204 0 0 0 112104 910 0 0 25 0 1 0 902121095 358965248 86669 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87638 86669 1111 63 0 87575 0
vsize: 350552
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 431459 0 0 0 113095 919 0 0 25 0 1 0 902121095 359010304 86680 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87649 86680 1111 63 0 87586 0
vsize: 350596
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 433768 0 0 0 114091 923 0 0 25 0 1 0 902121095 363511808 87613 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88748 87613 1111 63 0 88685 0
vsize: 354992
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 435929 0 0 0 115085 929 0 0 25 0 1 0 902121095 359186432 86723 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87692 86723 1111 63 0 87629 0
vsize: 350768
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 440484 0 0 0 116075 940 0 0 25 0 1 0 902121095 359145472 86713 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87682 86713 1111 63 0 87619 0
vsize: 350728
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 445109 0 0 0 117065 950 0 0 25 0 1 0 902121095 359305216 86752 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87721 86752 1111 63 0 87658 0
vsize: 350884
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 447769 0 0 0 118059 956 0 0 25 0 1 0 902121095 364322816 87816 4294967295 134512640 134716908 3221224576 3221220572 1074860959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88946 87816 1111 63 0 88883 0
vsize: 355784
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 764
Raw data (stat): 707 (bsolo_lpr-v2) R 706 21152 21151 0 -1 0 450282 0 0 0 119052 963 0 0 25 0 1 0 902121095 359464960 86791 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87760 86791 1111 63 0 87697 0
vsize: 351040
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 764
Raw data (stat): 707 (bsolo_lpr-v2) Z 706 21152 21151 0 -1 1036 450282 0 0 0 119052 979 0 0 25 0 1 0 902121095 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.2
CPU time (s): 1200.32
CPU user time (s): 1190.53
CPU system time (s): 9.79251
CPU usage (%): 100.01
Max. virtual memory (Kb): 360068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####