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-dc1l.opb
MD5SUM	5b92932a8bc350218da666e6f064f13f
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	68818
Biggest coefficient in the objective function	524288000000000000
Number of bits for the biggest coefficient in the objective function	59
Sum of the numbers in the objective function	6652856940207324781
Number of bits of the sum of numbers in the objective function	63
Biggest number in a constraint	524288000000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	6652856940207324781
Number of bits of the biggest sum of numbers	63
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.758884
Number of variables	68678
Total number of constraints	37291
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	35639
Number of constraints which are nor clauses,nor cardinality constraints	1652
Minimum length of a constraint	1
Maximum length of a constraint	35119
Trace number 40529

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 13:29:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28590 boxname=wulflinc2 idbench=1546 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  5b92932a8bc350218da666e6f064f13f  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-dc1l.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-dc1l.opb
IDLAUNCH: 28590
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        772984 kB
Buffers:         23944 kB
Cached:         214820 kB
SwapCached:       1344 kB
Active:          38848 kB
Inactive:       201912 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        772732 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            15172 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 13:49:38 (client local time) WITH STATUS 0 IN 1200.54 SECONDS
stats: 28590 7 1200.54 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.92 0.95 0.90 2/54 10282
Raw data (stat): 10282 (runsolver) R 10281 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902006078 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.0005 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 2045 0 0 0 993 5 0 0 25 0 1 0 902006078 19861504 1965 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4849 1965 1111 63 0 4786 0
vsize: 19396
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 3230 0 0 0 1990 7 0 0 25 0 1 0 902006078 24788992 3150 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6052 3150 1111 63 0 5989 0
vsize: 24208
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 4414 0 0 0 2988 10 0 0 25 0 1 0 902006078 29564928 4334 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7218 4334 1111 63 0 7155 0
vsize: 28872
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 5599 0 0 0 3986 12 0 0 25 0 1 0 902006078 34492416 5519 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8421 5519 1111 63 0 8358 0
vsize: 33684
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 6795 0 0 0 4984 14 0 0 25 0 1 0 902006078 39415808 6715 4294967295 134512640 134716908 3221224576 3221222620 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9623 6721 1111 63 0 9560 0
vsize: 38492
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 8008 0 0 0 5983 16 0 0 25 0 1 0 902006078 44335104 7928 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10824 7928 1111 63 0 10761 0
vsize: 43296
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 9229 0 0 0 6981 18 0 0 25 0 1 0 902006078 49262592 9149 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12027 9149 1111 63 0 11964 0
vsize: 48108
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 10450 0 0 0 7979 20 0 0 25 0 1 0 902006078 54337536 10370 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13266 10370 1111 63 0 13203 0
vsize: 53064
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 11677 0 0 0 8977 22 0 0 25 0 1 0 902006078 59265024 11597 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14469 11597 1111 63 0 14406 0
vsize: 57876
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 12904 0 0 0 9975 24 0 0 25 0 1 0 902006078 64339968 12824 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15708 12824 1111 63 0 15645 0
vsize: 62832
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 14150 0 0 0 10973 26 0 0 25 0 1 0 902006078 69390336 14070 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16941 14070 1111 63 0 16878 0
vsize: 67764
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 15383 0 0 0 11972 28 0 0 25 0 1 0 902006078 74469376 15303 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18181 15303 1111 63 0 18118 0
vsize: 72724
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 16629 0 0 0 12971 29 0 0 25 0 1 0 902006078 79544320 16549 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19420 16549 1111 63 0 19357 0
vsize: 77680
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 18062 0 0 0 13968 32 0 0 25 0 1 0 902006078 85516288 17982 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20878 17982 1111 63 0 20815 0
vsize: 83512
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 19307 0 0 0 14966 34 0 0 25 0 1 0 902006078 90591232 19227 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22117 19227 1111 63 0 22054 0
vsize: 88468
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 20572 0 0 0 15964 36 0 0 25 0 1 0 902006078 95821824 20492 4294967295 134512640 134716908 3221224576 3221222804 1077414397 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23394 20492 1111 63 0 23331 0
vsize: 93576
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 21999 0 0 0 16962 39 0 0 25 0 1 0 902006078 101642240 21919 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24815 21919 1111 63 0 24752 0
vsize: 99260
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 23262 0 0 0 17960 41 0 0 25 0 1 0 902006078 106717184 23182 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26054 23182 1111 63 0 25991 0
vsize: 104216
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 24794 0 0 0 18956 45 0 0 25 0 1 0 902006078 112988160 24714 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27585 24714 1111 63 0 27522 0
vsize: 110340
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 26052 0 0 0 19954 47 0 0 25 0 1 0 902006078 118185984 25972 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28854 25972 1111 63 0 28791 0
vsize: 115416
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 27309 0 0 0 20952 49 0 0 25 0 1 0 902006078 123412480 27229 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30130 27229 1111 63 0 30067 0
vsize: 120520
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 28690 0 0 0 21949 52 0 0 25 0 1 0 902006078 129089536 28610 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31516 28610 1111 63 0 31453 0
vsize: 126064
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 29959 0 0 0 22947 55 0 0 25 0 1 0 902006078 134164480 29879 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32755 29879 1111 63 0 32692 0
vsize: 131020
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 31229 0 0 0 23944 57 0 0 25 0 1 0 902006078 139386880 31149 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34030 31149 1111 63 0 33967 0
vsize: 136120
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 32772 0 0 0 24942 60 0 0 25 0 1 0 902006078 145805312 32692 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35597 32692 1111 63 0 35534 0
vsize: 142388
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 34049 0 0 0 25940 62 0 0 25 0 1 0 902006078 151035904 33969 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36874 33969 1111 63 0 36811 0
vsize: 147496
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 35332 0 0 0 26938 64 0 0 25 0 1 0 902006078 156262400 35252 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38150 35252 1111 63 0 38087 0
vsize: 152600
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 36680 0 0 0 27935 68 0 0 25 0 1 0 902006078 161783808 36600 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39498 36600 1111 63 0 39435 0
vsize: 157992
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 37975 0 0 0 28932 70 0 0 25 0 1 0 902006078 167006208 37895 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40773 37895 1111 63 0 40710 0
vsize: 163092
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 39270 0 0 0 29930 73 0 0 25 0 1 0 902006078 172388352 39190 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42087 39190 1111 63 0 42024 0
vsize: 168348
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 40752 0 0 0 30927 76 0 0 25 0 1 0 902006078 178356224 40672 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43544 40672 1111 63 0 43481 0
vsize: 174176
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 42137 0 0 0 31925 78 0 0 25 0 1 0 902006078 184029184 42057 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44929 42057 1111 63 0 44866 0
vsize: 179716
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 43450 0 0 0 32923 80 0 0 25 0 1 0 902006078 189407232 43370 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46242 43370 1111 63 0 46179 0
vsize: 184968
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 44987 0 0 0 33921 82 0 0 25 0 1 0 902006078 195825664 44907 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47809 44907 1111 63 0 47746 0
vsize: 191236
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 46336 0 0 0 34918 85 0 0 25 0 1 0 902006078 201351168 46256 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49158 46256 1111 63 0 49095 0
vsize: 196632
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 47666 0 0 0 35916 87 0 0 25 0 1 0 902006078 206725120 47586 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50470 47586 1111 63 0 50407 0
vsize: 201880
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 48996 0 0 0 36914 90 0 0 25 0 1 0 902006078 212246528 48916 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51818 48916 1111 63 0 51755 0
vsize: 207272
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 50337 0 0 0 37912 92 0 0 25 0 1 0 902006078 217767936 50257 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53166 50257 1111 63 0 53103 0
vsize: 212664
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 51682 0 0 0 38909 95 0 0 25 0 1 0 902006078 223297536 51602 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54516 51602 1111 63 0 54453 0
vsize: 218064
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 53024 0 0 0 39908 97 0 0 25 0 1 0 902006078 228667392 52944 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55827 52944 1111 63 0 55764 0
vsize: 223308
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 54396 0 0 0 40904 100 0 0 25 0 1 0 902006078 234340352 54316 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57212 54316 1111 63 0 57149 0
vsize: 228848
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 55802 0 0 0 41901 103 0 0 25 0 1 0 902006078 240168960 55722 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58635 55722 1111 63 0 58572 0
vsize: 234540
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 57163 0 0 0 42898 106 0 0 25 0 1 0 902006078 245690368 57083 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59983 57083 1111 63 0 59920 0
vsize: 239932
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 58602 0 0 0 43896 108 0 0 25 0 1 0 902006078 251510784 58522 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61404 58522 1111 63 0 61341 0
vsize: 245616
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 59976 0 0 0 44892 113 0 0 25 0 1 0 902006078 257187840 59896 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62790 59896 1111 63 0 62727 0
vsize: 251160
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 61367 0 0 0 45890 115 0 0 25 0 1 0 902006078 262860800 61287 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64175 61287 1111 63 0 64112 0
vsize: 256700
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 62801 0 0 0 46888 117 0 0 25 0 1 0 902006078 268828672 62721 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65632 62721 1111 63 0 65569 0
vsize: 262528
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 64255 0 0 0 47885 121 0 0 25 0 1 0 902006078 274657280 64175 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67055 64175 1111 63 0 66992 0
vsize: 268220
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 65700 0 0 0 48881 124 0 0 25 0 1 0 902006078 280625152 65620 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68512 65620 1111 63 0 68449 0
vsize: 274048
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 67111 0 0 0 49879 126 0 0 25 0 1 0 902006078 286453760 67031 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69935 67031 1111 63 0 69872 0
vsize: 279740
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 68551 0 0 0 50877 129 0 0 25 0 1 0 902006078 292274176 68471 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71356 68471 1111 63 0 71293 0
vsize: 285424
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 69973 0 0 0 51873 132 0 0 25 0 1 0 902006078 298094592 69893 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72777 69893 1111 63 0 72714 0
vsize: 291108
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 71402 0 0 0 52870 136 0 0 25 0 1 0 902006078 303919104 71322 4294967295 134512640 134716908 3221224576 3221222444 1077245762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74199 71322 1111 63 0 74136 0
vsize: 296796
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 72847 0 0 0 53867 139 0 0 25 0 1 0 902006078 309891072 72767 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75657 72767 1111 63 0 75594 0
vsize: 302628
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 74307 0 0 0 54863 142 0 0 25 0 1 0 902006078 315858944 74227 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77114 74227 1111 63 0 77051 0
vsize: 308456
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 75778 0 0 0 55861 145 0 0 25 0 1 0 902006078 321835008 75698 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78573 75698 1111 63 0 78510 0
vsize: 314292
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 77223 0 0 0 56858 147 0 0 25 0 1 0 902006078 327806976 77143 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80031 77143 1111 63 0 79968 0
vsize: 320124
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 78676 0 0 0 57855 151 0 0 25 0 1 0 902006078 333783040 78596 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81490 78596 1111 63 0 81427 0
vsize: 325960
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 80134 0 0 0 58852 154 0 0 25 0 1 0 902006078 339750912 80054 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82947 80054 1111 63 0 82884 0
vsize: 331788
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 81623 0 0 0 59850 157 0 0 25 0 1 0 902006078 345874432 81543 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84442 81543 1111 63 0 84379 0
vsize: 337768
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 83118 0 0 0 60847 159 0 0 25 0 1 0 902006078 351993856 83038 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85936 83038 1111 63 0 85873 0
vsize: 343744
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 84642 0 0 0 61844 162 0 0 25 0 1 0 902006078 358260736 84562 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87466 84562 1111 63 0 87403 0
vsize: 349864
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 86199 0 0 0 62841 166 0 0 25 0 1 0 902006078 364535808 86119 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88998 86119 1111 63 0 88935 0
vsize: 355992
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 87705 0 0 0 63839 168 0 0 25 0 1 0 902006078 370802688 87625 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90528 87625 1111 63 0 90465 0
vsize: 362112
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 89299 0 0 0 64836 171 0 0 25 0 1 0 902006078 377225216 89219 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92096 89219 1111 63 0 92033 0
vsize: 368384
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 90909 0 0 0 65834 173 0 0 25 0 1 0 902006078 383795200 90829 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93700 90829 1111 63 0 93637 0
vsize: 374800
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 92482 0 0 0 66832 175 0 0 25 0 1 0 902006078 390365184 92402 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95304 92402 1111 63 0 95241 0
vsize: 381216
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 94141 0 0 0 67830 178 0 0 25 0 1 0 902006078 397086720 94061 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96945 94061 1111 63 0 96882 0
vsize: 387780
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 95690 0 0 0 68828 180 0 0 25 0 1 0 902006078 403505152 95610 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98512 95610 1111 63 0 98449 0
vsize: 394048
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 97270 0 0 0 69825 183 0 0 25 0 1 0 902006078 409927680 97190 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100080 97190 1111 63 0 100017 0
vsize: 400320
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 98897 0 0 0 70823 186 0 0 25 0 1 0 902006078 416710656 98817 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101736 98817 1111 63 0 101673 0
vsize: 406944
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 100483 0 0 0 71821 188 0 0 25 0 1 0 902006078 423133184 100403 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103304 100403 1111 63 0 103241 0
vsize: 413216
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 102075 0 0 0 72818 191 0 0 25 0 1 0 902006078 429699072 101995 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104907 101995 1111 63 0 104844 0
vsize: 419628
[startup+740.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 103716 0 0 0 73816 194 0 0 25 0 1 0 902006078 436420608 103636 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106548 103636 1111 63 0 106485 0
vsize: 426192
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 105357 0 0 0 74813 197 0 0 25 0 1 0 902006078 443133952 105277 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108187 105277 1111 63 0 108124 0
vsize: 432748
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 107076 0 0 0 75810 200 0 0 25 0 1 0 902006078 450154496 106996 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109901 106996 1111 63 0 109838 0
vsize: 439604
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 108846 0 0 0 76806 203 0 0 25 0 1 0 902006078 457474048 108766 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111688 108766 1111 63 0 111625 0
vsize: 446752
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 110486 0 0 0 77804 206 0 0 25 0 1 0 902006078 464187392 110406 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113327 110406 1111 63 0 113264 0
vsize: 453308
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 112121 0 0 0 78802 208 0 0 25 0 1 0 902006078 470908928 112041 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114968 112041 1111 63 0 114905 0
vsize: 459872
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 113792 0 0 0 79800 211 0 0 25 0 1 0 902006078 477630464 113712 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116609 113712 1111 63 0 116546 0
vsize: 466436
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 115445 0 0 0 80798 213 0 0 25 0 1 0 902006078 484495360 115365 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118285 115365 1111 63 0 118222 0
vsize: 473140
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 117117 0 0 0 81795 216 0 0 25 0 1 0 902006078 491364352 117037 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119962 117037 1111 63 0 119899 0
vsize: 479848
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 118811 0 0 0 82792 219 0 0 25 0 1 0 902006078 498229248 118731 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121638 118731 1111 63 0 121575 0
vsize: 486552
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 120586 0 0 0 83789 223 0 0 25 0 1 0 902006078 505544704 120506 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123424 120506 1111 63 0 123361 0
vsize: 493696
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 122318 0 0 0 84786 225 0 0 25 0 1 0 902006078 512565248 122238 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125138 122238 1111 63 0 125075 0
vsize: 500552
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 124056 0 0 0 85783 229 0 0 25 0 1 0 902006078 519729152 123976 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126887 123976 1111 63 0 126824 0
vsize: 507548
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 125776 0 0 0 86781 231 0 0 25 0 1 0 902006078 526745600 125696 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128600 125696 1111 63 0 128537 0
vsize: 514400
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 127527 0 0 0 87778 234 0 0 25 0 1 0 902006078 533917696 127447 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130351 127447 1111 63 0 130288 0
vsize: 521404
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 129345 0 0 0 88774 238 0 0 25 0 1 0 902006078 541380608 129265 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132173 129265 1111 63 0 132110 0
vsize: 528692
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 131160 0 0 0 89772 240 0 0 25 0 1 0 902006078 548843520 131080 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133995 131080 1111 63 0 133932 0
vsize: 535980
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 132947 0 0 0 90768 244 0 0 25 0 1 0 902006078 556158976 132867 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135781 132867 1111 63 0 135718 0
vsize: 543124
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 134759 0 0 0 91765 248 0 0 25 0 1 0 902006078 563478528 134679 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137568 134679 1111 63 0 137505 0
vsize: 550272
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 136552 0 0 0 92761 252 0 0 25 0 1 0 902006078 570937344 136472 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139389 136472 1111 63 0 139326 0
vsize: 557556
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 138367 0 0 0 93758 255 0 0 25 0 1 0 902006078 578256896 138287 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141176 138287 1111 63 0 141113 0
vsize: 564704
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 140179 0 0 0 94755 258 0 0 25 0 1 0 902006078 585723904 140099 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142999 140099 1111 63 0 142936 0
vsize: 571996
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 142009 0 0 0 95753 261 0 0 25 0 1 0 902006078 593190912 141929 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144822 141929 1111 63 0 144759 0
vsize: 579288
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 143844 0 0 0 96751 263 0 0 25 0 1 0 902006078 600805376 143764 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 146681 143764 1111 63 0 146618 0
vsize: 586724
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 145691 0 0 0 97747 267 0 0 25 0 1 0 902006078 608268288 145611 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 148503 145611 1111 63 0 148440 0
vsize: 594012
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 147551 0 0 0 98744 270 0 0 25 0 1 0 902006078 615882752 147471 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150362 147471 1111 63 0 150299 0
vsize: 601448
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 149483 0 0 0 99741 273 0 0 25 0 1 0 902006078 623796224 149403 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 152294 149403 1111 63 0 152231 0
vsize: 609176
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 151373 0 0 0 100738 276 0 0 25 0 1 0 902006078 631562240 151293 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 154190 151293 1111 63 0 154127 0
vsize: 616760
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 153295 0 0 0 101735 279 0 0 25 0 1 0 902006078 639475712 153215 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 156122 153215 1111 63 0 156059 0
vsize: 624488
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 155201 0 0 0 102732 282 0 0 25 0 1 0 902006078 647233536 155121 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 158016 155121 1111 63 0 157953 0
vsize: 632064
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 157109 0 0 0 103730 285 0 0 25 0 1 0 902006078 654999552 157029 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159912 157029 1111 63 0 159849 0
vsize: 639648
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 159043 0 0 0 104728 287 0 0 25 0 1 0 902006078 662913024 158963 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161844 158963 1111 63 0 161781 0
vsize: 647376
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 160981 0 0 0 105725 291 0 0 25 0 1 0 902006078 670973952 160901 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 163812 160901 1111 63 0 163749 0
vsize: 655248
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 162938 0 0 0 106722 293 0 0 25 0 1 0 902006078 678891520 162858 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 165745 162858 1111 63 0 165682 0
vsize: 662980
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 164919 0 0 0 107719 297 0 0 25 0 1 0 902006078 687099904 164839 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167749 164839 1111 63 0 167686 0
vsize: 670996
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 166907 0 0 0 108715 301 0 0 25 0 1 0 902006078 695164928 166827 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 169718 166827 1111 63 0 169655 0
vsize: 678872
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 168912 0 0 0 109711 305 0 0 25 0 1 0 902006078 703377408 168832 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 171723 168832 1111 63 0 171660 0
vsize: 686892
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 170942 0 0 0 110708 308 0 0 25 0 1 0 902006078 711737344 170862 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 173764 170862 1111 63 0 173701 0
vsize: 695056
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 172979 0 0 0 111706 311 0 0 25 0 1 0 902006078 720101376 172899 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175806 172899 1111 63 0 175743 0
vsize: 703224
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 175038 0 0 0 112703 314 0 0 25 0 1 0 902006078 728461312 174958 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 177847 174958 1111 63 0 177784 0
vsize: 711388
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 177135 0 0 0 113698 318 0 0 25 0 1 0 902006078 737120256 177055 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179961 177055 1111 63 0 179898 0
vsize: 719844
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 179226 0 0 0 114694 323 0 0 25 0 1 0 902006078 745631744 179146 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 182039 179146 1111 63 0 181976 0
vsize: 728156
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 181340 0 0 0 115691 326 0 0 25 0 1 0 902006078 754290688 181260 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 184153 181260 1111 63 0 184090 0
vsize: 736612
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 183492 0 0 0 116688 330 0 0 25 0 1 0 902006078 763097088 183412 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 186303 183412 1111 63 0 186240 0
vsize: 745212
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 185667 0 0 0 117685 333 0 0 25 0 1 0 902006078 772055040 185587 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 188490 185587 1111 63 0 188427 0
vsize: 753960
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 187842 0 0 0 118680 338 0 0 25 0 1 0 902006078 780865536 187762 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 190641 187762 1111 63 0 190578 0
vsize: 762564
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) R 10281 31399 31398 0 -1 0 190042 0 0 0 119675 343 0 0 25 0 1 0 902006078 789970944 189962 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 192864 189962 1111 63 0 192801 0
vsize: 771456
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.39 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 10282
Raw data (stat): 10282 (bsolo_lpr-v2) Z 10281 31399 31398 0 -1 1036 190042 0 0 0 119675 378 0 0 25 0 1 0 902006078 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.39
CPU time (s): 1200.54
CPU user time (s): 1196.76
CPU system time (s): 3.78043
CPU usage (%): 100.013
Max. virtual memory (Kb): 771456
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####