PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370a.opb
MD5SUM	c6fa043dbbb5b108d149e4ec9ce5fa2c
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29637219205243
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29637219205243
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.44978
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 40071

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        683320 kB
Buffers:         26360 kB
Cached:         302692 kB
SwapCached:       1020 kB
Active:          38584 kB
Inactive:       292644 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        683068 kB
SwapTotal:     2097136 kB
SwapFree:      2095172 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            14332 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 02:18:22 (client local time) WITH STATUS 0 IN 1200.39 SECONDS
stats: 28132 7 1200.39 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.85 0.94 0.90 2/54 22926
Raw data (stat): 22926 (runsolver) R 22925 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897853296 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.0015 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 22926
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 1298 0 0 0 993 3 0 0 25 0 1 0 897853296 15511552 1218 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1218 1111 63 0 3724 0
vsize: 15148
[startup+20.0033 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 22926
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 1408 0 0 0 1993 4 0 0 25 0 1 0 897853296 15941632 1328 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 1328 1111 63 0 3829 0
vsize: 15568
[startup+30.0027 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 22926
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 1510 0 0 0 2993 4 0 0 25 0 1 0 897853296 16379904 1430 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3999 1430 1111 63 0 3936 0
vsize: 15996
[startup+40.0029 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 22926
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 1621 0 0 0 3992 5 0 0 25 0 1 0 897853296 16834560 1541 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 1541 1111 63 0 4047 0
vsize: 16440
[startup+50.0027 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 22926
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 1732 0 0 0 4992 6 0 0 25 0 1 0 897853296 17264640 1652 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 1652 1111 63 0 4152 0
vsize: 16860
[startup+60.0022 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 22926
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 1842 0 0 0 5992 7 0 0 25 0 1 0 897853296 17715200 1762 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4325 1762 1111 63 0 4262 0
vsize: 17300
[startup+70.0024 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 22926
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 1951 0 0 0 6992 7 0 0 25 0 1 0 897853296 18161664 1871 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1871 1111 63 0 4371 0
vsize: 17736
[startup+80.0021 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 22926
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 2055 0 0 0 7992 7 0 0 25 0 1 0 897853296 18616320 1975 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4545 1975 1111 63 0 4482 0
vsize: 18180
[startup+90.0017 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 22926
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 2164 0 0 0 8992 8 0 0 25 0 1 0 897853296 19058688 2084 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 2084 1111 63 0 4590 0
vsize: 18612
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 22926
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 2279 0 0 0 9992 8 0 0 25 0 1 0 897853296 19501056 2199 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4761 2199 1111 63 0 4698 0
vsize: 19044
[startup+110.002 s]
Raw data (loadavg): 1.13 0.98 0.92 2/54 22979
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 2389 0 0 0 10991 8 0 0 25 0 1 0 897853296 19955712 2309 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4872 2309 1111 63 0 4809 0
vsize: 19488
[startup+120.002 s]
Raw data (loadavg): 1.11 0.98 0.92 2/54 22979
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 2500 0 0 0 11991 9 0 0 25 0 1 0 897853296 20402176 2420 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4981 2420 1111 63 0 4918 0
vsize: 19924
[startup+130.002 s]
Raw data (loadavg): 1.10 0.98 0.92 2/54 22979
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 2602 0 0 0 12991 9 0 0 25 0 1 0 897853296 20856832 2522 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5092 2522 1111 63 0 5029 0
vsize: 20368
[startup+140.002 s]
Raw data (loadavg): 1.08 0.98 0.92 2/54 22979
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 2713 0 0 0 13991 9 0 0 25 0 1 0 897853296 21299200 2633 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5200 2633 1111 63 0 5137 0
vsize: 20800
[startup+150.003 s]
Raw data (loadavg): 1.07 0.98 0.92 2/54 22979
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 2822 0 0 0 14991 9 0 0 25 0 1 0 897853296 21725184 2742 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5304 2742 1111 63 0 5241 0
vsize: 21216
[startup+160.002 s]
Raw data (loadavg): 1.06 0.98 0.92 2/54 22979
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 2932 0 0 0 15991 10 0 0 25 0 1 0 897853296 22171648 2852 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2852 1111 63 0 5350 0
vsize: 21652
[startup+170.001 s]
Raw data (loadavg): 1.05 0.98 0.92 2/54 22979
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 3041 0 0 0 16991 10 0 0 25 0 1 0 897853296 22622208 2961 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5523 2961 1111 63 0 5460 0
vsize: 22092
[startup+180.001 s]
Raw data (loadavg): 1.04 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 3151 0 0 0 17991 10 0 0 25 0 1 0 897853296 23072768 3071 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5633 3071 1111 63 0 5570 0
vsize: 22532
[startup+190.001 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 3267 0 0 0 18991 10 0 0 25 0 1 0 897853296 23662592 3187 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3187 1111 63 0 5714 0
vsize: 23108
[startup+200.001 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 3371 0 0 0 19992 10 0 0 25 0 1 0 897853296 24113152 3291 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3291 1111 63 0 5824 0
vsize: 23548
[startup+210 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 3487 0 0 0 20992 10 0 0 25 0 1 0 897853296 24559616 3407 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3407 1111 63 0 5933 0
vsize: 23984
[startup+220 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 3592 0 0 0 21992 11 0 0 25 0 1 0 897853296 25010176 3512 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 3512 1111 63 0 6043 0
vsize: 24424
[startup+229.999 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 3702 0 0 0 22992 11 0 0 25 0 1 0 897853296 25460736 3622 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3622 1111 63 0 6153 0
vsize: 24864
[startup+239.999 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 3812 0 0 0 23992 11 0 0 25 0 1 0 897853296 25911296 3732 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3732 1111 63 0 6263 0
vsize: 25304
[startup+249.999 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 3921 0 0 0 24992 11 0 0 25 0 1 0 897853296 26357760 3841 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3841 1111 63 0 6372 0
vsize: 25740
[startup+259.999 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 4033 0 0 0 25992 12 0 0 25 0 1 0 897853296 26804224 3953 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3953 1111 63 0 6481 0
vsize: 26176
[startup+269.998 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 4143 0 0 0 26992 12 0 0 25 0 1 0 897853296 27258880 4063 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6655 4063 1111 63 0 6592 0
vsize: 26620
[startup+279.998 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 4253 0 0 0 27992 12 0 0 25 0 1 0 897853296 27705344 4173 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6764 4173 1111 63 0 6701 0
vsize: 27056
[startup+289.998 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 4362 0 0 0 28992 13 0 0 25 0 1 0 897853296 28160000 4282 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6875 4282 1111 63 0 6812 0
vsize: 27500
[startup+299.998 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 4473 0 0 0 29992 13 0 0 25 0 1 0 897853296 28602368 4393 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 4393 1111 63 0 6920 0
vsize: 27932
[startup+309.998 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 4583 0 0 0 30992 13 0 0 25 0 1 0 897853296 29028352 4503 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7087 4503 1111 63 0 7024 0
vsize: 28348
[startup+319.998 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 4694 0 0 0 31992 13 0 0 25 0 1 0 897853296 29474816 4614 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4614 1111 63 0 7133 0
vsize: 28784
[startup+329.998 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 4809 0 0 0 32992 14 0 0 25 0 1 0 897853296 29925376 4729 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 4729 1111 63 0 7243 0
vsize: 29224
[startup+339.998 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 4913 0 0 0 33993 14 0 0 25 0 1 0 897853296 30375936 4833 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4833 1111 63 0 7353 0
vsize: 29664
[startup+349.997 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 5029 0 0 0 34993 14 0 0 25 0 1 0 897853296 30826496 4949 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 4949 1111 63 0 7463 0
vsize: 30104
[startup+359.998 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 5145 0 0 0 35993 14 0 0 25 0 1 0 897853296 31309824 5065 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7644 5065 1111 63 0 7581 0
vsize: 30576
[startup+369.998 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 5260 0 0 0 36993 14 0 0 25 0 1 0 897853296 31760384 5180 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7754 5180 1111 63 0 7691 0
vsize: 31016
[startup+379.998 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 5372 0 0 0 37993 14 0 0 25 0 1 0 897853296 32210944 5292 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7864 5292 1111 63 0 7801 0
vsize: 31456
[startup+389.997 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 5481 0 0 0 38993 14 0 0 25 0 1 0 897853296 32661504 5401 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7974 5401 1111 63 0 7911 0
vsize: 31896
[startup+399.997 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 5591 0 0 0 39994 15 0 0 25 0 1 0 897853296 33107968 5511 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8083 5511 1111 63 0 8020 0
vsize: 32332
[startup+409.996 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 5702 0 0 0 40994 15 0 0 25 0 1 0 897853296 33558528 5622 4294967295 134512640 134716908 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8193 5622 1111 63 0 8130 0
vsize: 32772
[startup+419.996 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 5818 0 0 0 41994 15 0 0 25 0 1 0 897853296 34160640 5738 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8340 5738 1111 63 0 8277 0
vsize: 33360
[startup+429.996 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22981
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 5929 0 0 0 42994 15 0 0 25 0 1 0 897853296 34611200 5849 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8450 5849 1111 63 0 8387 0
vsize: 33800
[startup+439.996 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 6040 0 0 0 43994 15 0 0 25 0 1 0 897853296 35061760 5960 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8560 5960 1111 63 0 8497 0
vsize: 34240
[startup+449.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 6150 0 0 0 44994 16 0 0 25 0 1 0 897853296 35508224 6070 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8669 6070 1111 63 0 8606 0
vsize: 34676
[startup+459.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 6261 0 0 0 45994 16 0 0 25 0 1 0 897853296 35958784 6181 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8779 6181 1111 63 0 8716 0
vsize: 35116
[startup+469.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 6377 0 0 0 46994 16 0 0 25 0 1 0 897853296 36409344 6297 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 6297 1111 63 0 8826 0
vsize: 35556
[startup+479.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 6488 0 0 0 47995 16 0 0 25 0 1 0 897853296 36859904 6408 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8999 6408 1111 63 0 8936 0
vsize: 35996
[startup+489.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 6598 0 0 0 48995 16 0 0 25 0 1 0 897853296 37306368 6518 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9108 6518 1111 63 0 9045 0
vsize: 36432
[startup+499.994 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 6715 0 0 0 49995 16 0 0 25 0 1 0 897853296 37761024 6635 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6635 1111 63 0 9156 0
vsize: 36876
[startup+509.994 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 6819 0 0 0 50995 17 0 0 25 0 1 0 897853296 38207488 6739 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9328 6739 1111 63 0 9265 0
vsize: 37312
[startup+519.994 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 6937 0 0 0 51995 17 0 0 25 0 1 0 897853296 38658048 6857 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9438 6857 1111 63 0 9375 0
vsize: 37752
[startup+529.993 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 7046 0 0 0 52995 17 0 0 25 0 1 0 897853296 39108608 6966 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9548 6966 1111 63 0 9485 0
vsize: 38192
[startup+539.993 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 7158 0 0 0 53995 17 0 0 25 0 1 0 897853296 39559168 7078 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9658 7078 1111 63 0 9595 0
vsize: 38632
[startup+549.994 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 7273 0 0 0 54996 17 0 0 25 0 1 0 897853296 40005632 7193 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9767 7193 1111 63 0 9704 0
vsize: 39068
[startup+559.993 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 7385 0 0 0 55996 17 0 0 25 0 1 0 897853296 40456192 7305 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9877 7305 1111 63 0 9814 0
vsize: 39508
[startup+569.994 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 7495 0 0 0 56996 17 0 0 25 0 1 0 897853296 40906752 7415 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9987 7415 1111 63 0 9924 0
vsize: 39948
[startup+579.994 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 7613 0 0 0 57996 18 0 0 25 0 1 0 897853296 41357312 7533 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10097 7533 1111 63 0 10034 0
vsize: 40388
[startup+589.994 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 7728 0 0 0 58996 18 0 0 25 0 1 0 897853296 41951232 7648 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 7648 1111 63 0 10179 0
vsize: 40968
[startup+599.993 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 7840 0 0 0 59996 18 0 0 25 0 1 0 897853296 42405888 7760 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10353 7760 1111 63 0 10290 0
vsize: 41412
[startup+609.994 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 7950 0 0 0 60997 18 0 0 25 0 1 0 897853296 42852352 7870 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 7870 1111 63 0 10399 0
vsize: 41848
[startup+619.993 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 8067 0 0 0 61996 19 0 0 25 0 1 0 897853296 43307008 7987 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10573 7987 1111 63 0 10510 0
vsize: 42292
[startup+629.993 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 8177 0 0 0 62996 19 0 0 25 0 1 0 897853296 43753472 8097 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10682 8097 1111 63 0 10619 0
vsize: 42728
[startup+639.993 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 8288 0 0 0 63996 19 0 0 25 0 1 0 897853296 44183552 8208 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10787 8208 1111 63 0 10724 0
vsize: 43148
[startup+649.993 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 8405 0 0 0 64996 20 0 0 25 0 1 0 897853296 44621824 8325 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10894 8325 1111 63 0 10831 0
vsize: 43576
[startup+659.992 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 8522 0 0 0 65996 20 0 0 25 0 1 0 897853296 45072384 8442 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11004 8442 1111 63 0 10941 0
vsize: 44016
[startup+669.993 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 8631 0 0 0 66996 20 0 0 25 0 1 0 897853296 45522944 8551 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11114 8551 1111 63 0 11051 0
vsize: 44456
[startup+679.993 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 8743 0 0 0 67997 21 0 0 25 0 1 0 897853296 45973504 8663 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11224 8663 1111 63 0 11161 0
vsize: 44896
[startup+689.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 8858 0 0 0 68997 21 0 0 25 0 1 0 897853296 46567424 8778 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 8778 1111 63 0 11306 0
vsize: 45476
[startup+699.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 8976 0 0 0 69997 21 0 0 25 0 1 0 897853296 47022080 8896 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11480 8896 1111 63 0 11417 0
vsize: 45920
[startup+709.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 9105 0 0 0 70997 22 0 0 25 0 1 0 897853296 47579136 9025 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 9025 1111 63 0 11553 0
vsize: 46464
[startup+719.994 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 9222 0 0 0 71996 22 0 0 25 0 1 0 897853296 48144384 9142 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 9142 1111 63 0 11691 0
vsize: 47016
[startup+729.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 9332 0 0 0 72997 22 0 0 25 0 1 0 897853296 48590848 9252 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11863 9252 1111 63 0 11800 0
vsize: 47452
[startup+739.994 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 9449 0 0 0 73997 22 0 0 25 0 1 0 897853296 49041408 9369 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11973 9369 1111 63 0 11910 0
vsize: 47892
[startup+749.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 9566 0 0 0 74997 23 0 0 25 0 1 0 897853296 49491968 9486 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12083 9486 1111 63 0 12020 0
vsize: 48332
[startup+759.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 9679 0 0 0 75997 23 0 0 25 0 1 0 897853296 49942528 9599 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12193 9599 1111 63 0 12130 0
vsize: 48772
[startup+769.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 9794 0 0 0 76997 23 0 0 25 0 1 0 897853296 50388992 9714 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 9714 1111 63 0 12239 0
vsize: 49208
[startup+779.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 9906 0 0 0 77998 23 0 0 25 0 1 0 897853296 50958336 9826 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12441 9826 1111 63 0 12378 0
vsize: 49764
[startup+789.996 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 10022 0 0 0 78998 23 0 0 25 0 1 0 897853296 51408896 9942 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12551 9942 1111 63 0 12488 0
vsize: 50204
[startup+799.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 10141 0 0 0 79998 23 0 0 25 0 1 0 897853296 51859456 10061 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 10061 1111 63 0 12598 0
vsize: 50644
[startup+809.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 10258 0 0 0 80998 24 0 0 25 0 1 0 897853296 52310016 10178 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 10178 1111 63 0 12708 0
vsize: 51084
[startup+819.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 10368 0 0 0 81998 24 0 0 25 0 1 0 897853296 52760576 10288 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10288 1111 63 0 12818 0
vsize: 51524
[startup+829.994 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 10486 0 0 0 82998 24 0 0 25 0 1 0 897853296 53207040 10406 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10406 1111 63 0 12927 0
vsize: 51960
[startup+839.994 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 10597 0 0 0 83999 24 0 0 25 0 1 0 897853296 53657600 10517 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13100 10517 1111 63 0 13037 0
vsize: 52400
[startup+849.994 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 10715 0 0 0 84999 24 0 0 25 0 1 0 897853296 54259712 10635 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13247 10635 1111 63 0 13184 0
vsize: 52988
[startup+859.994 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 10831 0 0 0 85999 25 0 0 25 0 1 0 897853296 54710272 10751 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13357 10751 1111 63 0 13294 0
vsize: 53428
[startup+869.993 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 10949 0 0 0 86999 25 0 0 25 0 1 0 897853296 55160832 10869 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10869 1111 63 0 13404 0
vsize: 53868
[startup+879.993 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 11066 0 0 0 87999 25 0 0 25 0 1 0 897853296 55607296 10986 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13576 10986 1111 63 0 13513 0
vsize: 54304
[startup+889.993 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 11184 0 0 0 88999 25 0 0 25 0 1 0 897853296 56057856 11104 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13686 11104 1111 63 0 13623 0
vsize: 54744
[startup+899.994 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 11294 0 0 0 89999 25 0 0 25 0 1 0 897853296 56508416 11214 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13796 11214 1111 63 0 13733 0
vsize: 55184
[startup+909.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 11412 0 0 0 91000 25 0 0 25 0 1 0 897853296 57110528 11332 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13943 11332 1111 63 0 13880 0
vsize: 55772
[startup+919.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 11529 0 0 0 92000 25 0 0 25 0 1 0 897853296 57552896 11449 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 11449 1111 63 0 13988 0
vsize: 56204
[startup+929.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 11648 0 0 0 93000 26 0 0 25 0 1 0 897853296 58007552 11568 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14162 11568 1111 63 0 14099 0
vsize: 56648
[startup+939.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 11758 0 0 0 94000 26 0 0 25 0 1 0 897853296 58454016 11678 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14271 11678 1111 63 0 14208 0
vsize: 57084
[startup+949.995 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 11876 0 0 0 95000 26 0 0 25 0 1 0 897853296 58908672 11796 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 11796 1111 63 0 14319 0
vsize: 57528
[startup+959.996 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 11992 0 0 0 96001 26 0 0 25 0 1 0 897853296 59351040 11912 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14490 11912 1111 63 0 14427 0
vsize: 57960
[startup+969.996 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 12112 0 0 0 97001 26 0 0 25 0 1 0 897853296 59953152 12032 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14637 12032 1111 63 0 14574 0
vsize: 58548
[startup+979.997 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 12228 0 0 0 98001 27 0 0 25 0 1 0 897853296 60403712 12148 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14747 12148 1111 63 0 14684 0
vsize: 58988
[startup+989.997 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 12346 0 0 0 99001 27 0 0 25 0 1 0 897853296 60854272 12266 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14857 12266 1111 63 0 14794 0
vsize: 59428
[startup+999.997 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 12463 0 0 0 100001 27 0 0 25 0 1 0 897853296 61300736 12383 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14966 12383 1111 63 0 14903 0
vsize: 59864
[startup+1010 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 12580 0 0 0 101001 27 0 0 25 0 1 0 897853296 61755392 12500 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15077 12500 1111 63 0 15014 0
vsize: 60308
[startup+1020 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 12698 0 0 0 102001 28 0 0 25 0 1 0 897853296 62353408 12618 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15223 12618 1111 63 0 15160 0
vsize: 60892
[startup+1030 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 12815 0 0 0 103001 28 0 0 25 0 1 0 897853296 62803968 12735 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 12735 1111 63 0 15270 0
vsize: 61332
[startup+1040 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 12933 0 0 0 104001 28 0 0 25 0 1 0 897853296 63254528 12853 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15443 12853 1111 63 0 15380 0
vsize: 61772
[startup+1050 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 13050 0 0 0 105001 29 0 0 25 0 1 0 897853296 63700992 12970 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15552 12970 1111 63 0 15489 0
vsize: 62208
[startup+1060 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 13169 0 0 0 106001 29 0 0 25 0 1 0 897853296 64155648 13089 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15663 13089 1111 63 0 15600 0
vsize: 62652
[startup+1070 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 13285 0 0 0 107002 29 0 0 25 0 1 0 897853296 64749568 13205 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15808 13205 1111 63 0 15745 0
vsize: 63232
[startup+1080 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 13403 0 0 0 108002 29 0 0 25 0 1 0 897853296 65204224 13323 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15919 13323 1111 63 0 15856 0
vsize: 63676
[startup+1090 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 13520 0 0 0 109002 29 0 0 25 0 1 0 897853296 65650688 13440 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16028 13440 1111 63 0 15965 0
vsize: 64112
[startup+1100 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 13639 0 0 0 110002 30 0 0 25 0 1 0 897853296 66105344 13559 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16139 13559 1111 63 0 16076 0
vsize: 64556
[startup+1110 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 13756 0 0 0 111002 30 0 0 25 0 1 0 897853296 66547712 13676 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16247 13676 1111 63 0 16184 0
vsize: 64988
[startup+1120 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 13874 0 0 0 112002 30 0 0 25 0 1 0 897853296 67149824 13794 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16394 13794 1111 63 0 16331 0
vsize: 65576
[startup+1130 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 13997 0 0 0 113002 31 0 0 25 0 1 0 897853296 67600384 13917 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16504 13917 1111 63 0 16441 0
vsize: 66016
[startup+1140 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 14116 0 0 0 114002 31 0 0 25 0 1 0 897853296 68050944 14036 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16614 14036 1111 63 0 16551 0
vsize: 66456
[startup+1150 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 14234 0 0 0 115003 31 0 0 25 0 1 0 897853296 68497408 14154 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16723 14154 1111 63 0 16660 0
vsize: 66892
[startup+1160 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 14357 0 0 0 116003 31 0 0 25 0 1 0 897853296 69099520 14277 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16870 14277 1111 63 0 16807 0
vsize: 67480
[startup+1170 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 14476 0 0 0 117003 31 0 0 25 0 1 0 897853296 69550080 14396 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16980 14396 1111 63 0 16917 0
vsize: 67920
[startup+1180 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 14593 0 0 0 118003 32 0 0 25 0 1 0 897853296 70000640 14513 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17090 14513 1111 63 0 17027 0
vsize: 68360
[startup+1190 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 14712 0 0 0 119003 32 0 0 25 0 1 0 897853296 70451200 14632 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17200 14632 1111 63 0 17137 0
vsize: 68800
[startup+1200 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) R 22925 25568 25567 0 -1 0 14828 0 0 0 120003 32 0 0 25 0 1 0 897853296 71045120 14748 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17345 14748 1111 63 0 17282 0
vsize: 69380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 22983
Raw data (stat): 22926 (bsolo_lpr-v2) Z 22925 25568 25567 0 -1 1036 14828 0 0 0 120003 35 0 0 25 0 1 0 897853296 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.03
CPU time (s): 1200.39
CPU user time (s): 1200.04
CPU system time (s): 0.356945
CPU usage (%): 100.03
Max. virtual memory (Kb): 69380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####