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/unibo/normalized-mps-v2-20-10-siena1.opb
MD5SUM	575f632072d90cb1b2032661c3842261
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	70755
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	28224865138562973040640
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	28224967538562973040640
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.701893
Number of variables	70755
Total number of constraints	13995
Number of constraints which are clauses	310
Number of constraints which are cardinality constraints (but not clauses)	11776
Number of constraints which are nor clauses,nor cardinality constraints	1909
Minimum length of a constraint	1
Maximum length of a constraint	70755
Trace number 40150

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 03:20:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28215 boxname=wulflinc2 idbench=1171 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  575f632072d90cb1b2032661c3842261  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-siena1.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-siena1.opb
IDLAUNCH: 28215
/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:        544980 kB
Buffers:         25880 kB
Cached:         440768 kB
SwapCached:       1396 kB
Active:          35156 kB
Inactive:       433568 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        544728 kB
SwapTotal:     2097136 kB
SwapFree:      2094692 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            15316 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 03:40:28 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 28215 7 1200.33 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.82 0.95 0.90 2/54 4224
Raw data (stat): 4224 (runsolver) R 4223 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898350533 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.0003 s]
Raw data (loadavg): 0.85 0.95 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 2025 0 0 0 991 6 0 0 25 0 1 0 898350533 19714048 1945 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4813 1945 1111 63 0 4750 0
vsize: 19252
[startup+20.0006 s]
Raw data (loadavg): 0.87 0.95 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 3179 0 0 0 1989 9 0 0 25 0 1 0 898350533 24489984 3099 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5979 3099 1111 63 0 5916 0
vsize: 23916
[startup+30.0007 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 4339 0 0 0 2987 11 0 0 25 0 1 0 898350533 29265920 4259 4294967295 134512640 134716908 3221224576 3221222436 1076880017 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7145 4259 1111 63 0 7082 0
vsize: 28580
[startup+40.0015 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 5500 0 0 0 3984 14 0 0 25 0 1 0 898350533 34045952 5420 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8312 5420 1111 63 0 8249 0
vsize: 33248
[startup+50.0021 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 6666 0 0 0 4981 17 0 0 25 0 1 0 898350533 38821888 6586 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9478 6586 1111 63 0 9415 0
vsize: 37912
[startup+60.0018 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 7835 0 0 0 5979 19 0 0 25 0 1 0 898350533 43585536 7755 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10641 7755 1111 63 0 10578 0
vsize: 42564
[startup+70.0025 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 9009 0 0 0 6977 22 0 0 25 0 1 0 898350533 48369664 8929 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11809 8929 1111 63 0 11746 0
vsize: 47236
[startup+80.0028 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 10181 0 0 0 7974 25 0 0 25 0 1 0 898350533 53145600 10101 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12975 10101 1111 63 0 12912 0
vsize: 51900
[startup+90.004 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 11360 0 0 0 8973 26 0 0 25 0 1 0 898350533 57921536 11280 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14141 11280 1111 63 0 14078 0
vsize: 56564
[startup+100.005 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 12538 0 0 0 9971 28 0 0 25 0 1 0 898350533 62849024 12458 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15344 12458 1111 63 0 15281 0
vsize: 61376
[startup+110.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 13727 0 0 0 10968 31 0 0 25 0 1 0 898350533 67747840 13647 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16540 13647 1111 63 0 16477 0
vsize: 66160
[startup+120.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 14919 0 0 0 11966 33 0 0 25 0 1 0 898350533 72523776 14839 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17706 14839 1111 63 0 17643 0
vsize: 70824
[startup+130.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 16109 0 0 0 12964 35 0 0 25 0 1 0 898350533 77451264 16029 4294967295 134512640 134716908 3221224576 3221222804 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18909 16029 1111 63 0 18846 0
vsize: 75636
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 17307 0 0 0 13962 38 0 0 25 0 1 0 898350533 82382848 17227 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20113 17227 1111 63 0 20050 0
vsize: 80452
[startup+150.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 18504 0 0 0 14960 40 0 0 25 0 1 0 898350533 87310336 18424 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21316 18424 1111 63 0 21253 0
vsize: 85264
[startup+160.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 19707 0 0 0 15959 41 0 0 25 0 1 0 898350533 92237824 19627 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22519 19627 1111 63 0 22456 0
vsize: 90076
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 20909 0 0 0 16957 43 0 0 25 0 1 0 898350533 97161216 20829 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23721 20829 1111 63 0 23658 0
vsize: 94884
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 22124 0 0 0 17954 46 0 0 25 0 1 0 898350533 102088704 22044 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24924 22044 1111 63 0 24861 0
vsize: 99696
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 23333 0 0 0 18952 48 0 0 25 0 1 0 898350533 107012096 23253 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26126 23253 1111 63 0 26063 0
vsize: 104504
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 24555 0 0 0 19950 51 0 0 25 0 1 0 898350533 112095232 24475 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27367 24475 1111 63 0 27304 0
vsize: 109468
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 25783 0 0 0 20948 52 0 0 25 0 1 0 898350533 117145600 25703 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28600 25703 1111 63 0 28537 0
vsize: 114400
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 27003 0 0 0 21947 54 0 0 25 0 1 0 898350533 122068992 26923 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29802 26923 1111 63 0 29739 0
vsize: 119208
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 28230 0 0 0 22945 56 0 0 25 0 1 0 898350533 127143936 28150 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31041 28150 1111 63 0 30978 0
vsize: 124164
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 29464 0 0 0 23943 59 0 0 25 0 1 0 898350533 132218880 29384 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32280 29384 1111 63 0 32217 0
vsize: 129120
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 30703 0 0 0 24941 61 0 0 25 0 1 0 898350533 137293824 30623 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33519 30623 1111 63 0 33456 0
vsize: 134076
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 31945 0 0 0 25939 63 0 0 25 0 1 0 898350533 142376960 31865 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34760 31865 1111 63 0 34697 0
vsize: 139040
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 33190 0 0 0 26937 65 0 0 25 0 1 0 898350533 147451904 33110 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35999 33110 1111 63 0 35936 0
vsize: 143996
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 34435 0 0 0 27934 67 0 0 25 0 1 0 898350533 152526848 34355 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37238 34355 1111 63 0 37175 0
vsize: 148952
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 35687 0 0 0 28931 71 0 0 25 0 1 0 898350533 157601792 35607 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38477 35607 1111 63 0 38414 0
vsize: 153908
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 36945 0 0 0 29930 72 0 0 25 0 1 0 898350533 162828288 36865 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39753 36865 1111 63 0 39690 0
vsize: 159012
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 38204 0 0 0 30928 74 0 0 25 0 1 0 898350533 167907328 38124 4294967295 134512640 134716908 3221224576 3221222908 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40993 38124 1111 63 0 40930 0
vsize: 163972
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 39474 0 0 0 31926 76 0 0 25 0 1 0 898350533 173133824 39394 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42269 39394 1111 63 0 42206 0
vsize: 169076
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 40738 0 0 0 32923 79 0 0 25 0 1 0 898350533 178356224 40658 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43544 40658 1111 63 0 43481 0
vsize: 174176
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 42014 0 0 0 33920 82 0 0 25 0 1 0 898350533 183578624 41934 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44819 41934 1111 63 0 44756 0
vsize: 179276
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 43290 0 0 0 34918 85 0 0 25 0 1 0 898350533 188809216 43210 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46096 43210 1111 63 0 46033 0
vsize: 184384
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 44572 0 0 0 35916 87 0 0 25 0 1 0 898350533 194035712 44492 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47372 44492 1111 63 0 47309 0
vsize: 189488
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 45860 0 0 0 36914 89 0 0 25 0 1 0 898350533 199258112 45780 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48647 45780 1111 63 0 48584 0
vsize: 194588
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 47147 0 0 0 37912 91 0 0 25 0 1 0 898350533 204632064 47067 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49959 47067 1111 63 0 49896 0
vsize: 199836
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 48448 0 0 0 38909 94 0 0 25 0 1 0 898350533 209862656 48368 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51236 48368 1111 63 0 51173 0
vsize: 204944
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 49759 0 0 0 39907 97 0 0 25 0 1 0 898350533 215384064 49679 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52584 49679 1111 63 0 52521 0
vsize: 210336
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 51059 0 0 0 40905 99 0 0 25 0 1 0 898350533 220606464 50979 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53859 50979 1111 63 0 53796 0
vsize: 215436
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 52371 0 0 0 41903 101 0 0 25 0 1 0 898350533 225980416 52291 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55171 52291 1111 63 0 55108 0
vsize: 220684
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 53684 0 0 0 42900 104 0 0 25 0 1 0 898350533 231358464 53604 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56484 53604 1111 63 0 56421 0
vsize: 225936
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 55002 0 0 0 43898 106 0 0 25 0 1 0 898350533 236732416 54922 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57796 54922 1111 63 0 57733 0
vsize: 231184
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 56327 0 0 0 44896 108 0 0 25 0 1 0 898350533 242253824 56247 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59144 56247 1111 63 0 59081 0
vsize: 236576
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 57658 0 0 0 45893 111 0 0 25 0 1 0 898350533 247627776 57578 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60456 57578 1111 63 0 60393 0
vsize: 241824
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 58990 0 0 0 46891 113 0 0 25 0 1 0 898350533 253157376 58910 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61806 58910 1111 63 0 61743 0
vsize: 247224
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 60332 0 0 0 47889 116 0 0 25 0 1 0 898350533 258678784 60252 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63154 60252 1111 63 0 63091 0
vsize: 252616
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 61682 0 0 0 48886 119 0 0 25 0 1 0 898350533 264204288 61602 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64503 61602 1111 63 0 64440 0
vsize: 258012
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 63032 0 0 0 49883 121 0 0 25 0 1 0 898350533 269733888 62952 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65853 62952 1111 63 0 65790 0
vsize: 263412
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 64394 0 0 0 50881 123 0 0 25 0 1 0 898350533 275259392 64314 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67202 64314 1111 63 0 67139 0
vsize: 268808
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 65755 0 0 0 51879 126 0 0 25 0 1 0 898350533 280780800 65675 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68550 65675 1111 63 0 68487 0
vsize: 274200
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 67129 0 0 0 52877 128 0 0 25 0 1 0 898350533 286461952 67049 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69937 67049 1111 63 0 69874 0
vsize: 279748
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 68503 0 0 0 53874 131 0 0 25 0 1 0 898350533 292134912 68423 4294967295 134512640 134716908 3221224576 3221222804 1077414418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71322 68423 1111 63 0 71259 0
vsize: 285288
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 69883 0 0 0 54872 133 0 0 25 0 1 0 898350533 297660416 69803 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72671 69803 1111 63 0 72608 0
vsize: 290684
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 71270 0 0 0 55870 135 0 0 25 0 1 0 898350533 303337472 71190 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74057 71190 1111 63 0 73994 0
vsize: 296228
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 72494 0 0 0 56867 138 0 0 25 0 1 0 898350533 308420608 72414 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75298 72414 1111 63 0 75235 0
vsize: 301192
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 72627 0 0 0 57867 139 0 0 25 0 1 0 898350533 309014528 72547 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75443 72547 1111 63 0 75380 0
vsize: 301772
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 72761 0 0 0 58867 139 0 0 25 0 1 0 898350533 309469184 72681 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75554 72681 1111 63 0 75491 0
vsize: 302216
[startup+600.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 72906 0 0 0 59866 140 0 0 25 0 1 0 898350533 310071296 72826 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75701 72826 1111 63 0 75638 0
vsize: 302804
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 73031 0 0 0 60866 140 0 0 25 0 1 0 898350533 310665216 72951 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75846 72951 1111 63 0 75783 0
vsize: 303384
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 73171 0 0 0 61866 141 0 0 25 0 1 0 898350533 311115776 73091 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75956 73091 1111 63 0 75893 0
vsize: 303824
[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 73303 0 0 0 62866 141 0 0 25 0 1 0 898350533 311713792 73223 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76102 73223 1111 63 0 76039 0
vsize: 304408
[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 73436 0 0 0 63865 142 0 0 25 0 1 0 898350533 312315904 73356 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76249 73356 1111 63 0 76186 0
vsize: 304996
[startup+650.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 73576 0 0 0 64864 143 0 0 25 0 1 0 898350533 312889344 73496 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76389 73496 1111 63 0 76326 0
vsize: 305556
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 73700 0 0 0 65864 143 0 0 25 0 1 0 898350533 313331712 73620 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76497 73620 1111 63 0 76434 0
vsize: 305988
[startup+670.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 73834 0 0 0 66863 144 0 0 25 0 1 0 898350533 313933824 73754 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76644 73754 1111 63 0 76581 0
vsize: 306576
[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 73979 0 0 0 67863 145 0 0 25 0 1 0 898350533 314535936 73899 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76791 73899 1111 63 0 76728 0
vsize: 307164
[startup+690.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 74111 0 0 0 68863 145 0 0 25 0 1 0 898350533 314986496 74031 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76901 74031 1111 63 0 76838 0
vsize: 307604
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 74244 0 0 0 69862 146 0 0 25 0 1 0 898350533 315584512 74164 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77047 74164 1111 63 0 76984 0
vsize: 308188
[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 74388 0 0 0 70862 146 0 0 25 0 1 0 898350533 316182528 74308 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77193 74308 1111 63 0 77130 0
vsize: 308772
[startup+720.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 74522 0 0 0 71862 146 0 0 25 0 1 0 898350533 316633088 74442 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77303 74442 1111 63 0 77240 0
vsize: 309212
[startup+730.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 74688 0 0 0 72861 147 0 0 25 0 1 0 898350533 317546496 74608 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77526 74608 1111 63 0 77463 0
vsize: 310104
[startup+740.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 74826 0 0 0 73861 147 0 0 25 0 1 0 898350533 317992960 74746 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77635 74746 1111 63 0 77572 0
vsize: 310540
[startup+750.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 74966 0 0 0 74861 148 0 0 25 0 1 0 898350533 318595072 74886 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77782 74886 1111 63 0 77719 0
vsize: 311128
[startup+760.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 75099 0 0 0 75860 148 0 0 25 0 1 0 898350533 319193088 75019 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77928 75019 1111 63 0 77865 0
vsize: 311712
[startup+770.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 75231 0 0 0 76859 149 0 0 25 0 1 0 898350533 319643648 75151 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78038 75151 1111 63 0 77975 0
vsize: 312152
[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 75384 0 0 0 77859 149 0 0 25 0 1 0 898350533 320393216 75304 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78221 75304 1111 63 0 78158 0
vsize: 312884
[startup+790.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 75530 0 0 0 78859 150 0 0 25 0 1 0 898350533 320991232 75450 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78367 75450 1111 63 0 78304 0
vsize: 313468
[startup+800.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 75686 0 0 0 79859 150 0 0 25 0 1 0 898350533 321593344 75606 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78514 75606 1111 63 0 78451 0
vsize: 314056
[startup+810.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 75833 0 0 0 80859 150 0 0 25 0 1 0 898350533 322191360 75753 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78660 75753 1111 63 0 78597 0
vsize: 314640
[startup+820.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 75981 0 0 0 81858 151 0 0 25 0 1 0 898350533 322789376 75901 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78806 75901 1111 63 0 78743 0
vsize: 315224
[startup+830.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 76141 0 0 0 82858 151 0 0 25 0 1 0 898350533 323391488 76061 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78953 76061 1111 63 0 78890 0
vsize: 315812
[startup+840.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 76289 0 0 0 83858 152 0 0 25 0 1 0 898350533 323993600 76209 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79100 76209 1111 63 0 79037 0
vsize: 316400
[startup+850.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 76436 0 0 0 84858 152 0 0 25 0 1 0 898350533 324587520 76356 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79245 76356 1111 63 0 79182 0
vsize: 316980
[startup+860.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 76582 0 0 0 85858 152 0 0 25 0 1 0 898350533 325189632 76502 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79392 76502 1111 63 0 79329 0
vsize: 317568
[startup+870.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 76730 0 0 0 86858 152 0 0 25 0 1 0 898350533 325791744 76650 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79539 76650 1111 63 0 79476 0
vsize: 318156
[startup+880.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 76877 0 0 0 87858 153 0 0 25 0 1 0 898350533 326385664 76797 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79684 76797 1111 63 0 79621 0
vsize: 318736
[startup+890.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 77023 0 0 0 88858 153 0 0 25 0 1 0 898350533 326987776 76943 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79831 76943 1111 63 0 79768 0
vsize: 319324
[startup+900.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 77171 0 0 0 89858 153 0 0 25 0 1 0 898350533 327589888 77091 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79978 77091 1111 63 0 79915 0
vsize: 319912
[startup+910.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 77325 0 0 0 90858 153 0 0 25 0 1 0 898350533 328183808 77245 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80123 77245 1111 63 0 80060 0
vsize: 320492
[startup+920.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 77477 0 0 0 91857 154 0 0 25 0 1 0 898350533 328933376 77397 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80306 77397 1111 63 0 80243 0
vsize: 321224
[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 77640 0 0 0 92857 154 0 0 25 0 1 0 898350533 329535488 77560 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80453 77560 1111 63 0 80390 0
vsize: 321812
[startup+940.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 77801 0 0 0 93858 154 0 0 25 0 1 0 898350533 330137600 77721 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80600 77721 1111 63 0 80537 0
vsize: 322400
[startup+950.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 77961 0 0 0 94858 154 0 0 25 0 1 0 898350533 330883072 77881 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80782 77881 1111 63 0 80719 0
vsize: 323128
[startup+960.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 78124 0 0 0 95858 154 0 0 25 0 1 0 898350533 331485184 78044 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80929 78044 1111 63 0 80866 0
vsize: 323716
[startup+970.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 78287 0 0 0 96858 154 0 0 25 0 1 0 898350533 332234752 78207 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81112 78207 1111 63 0 81049 0
vsize: 324448
[startup+980.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 78462 0 0 0 97858 154 0 0 25 0 1 0 898350533 332836864 78382 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81259 78382 1111 63 0 81196 0
vsize: 325036
[startup+990.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 78624 0 0 0 98858 155 0 0 25 0 1 0 898350533 333582336 78544 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81441 78544 1111 63 0 81378 0
vsize: 325764
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 78787 0 0 0 99858 155 0 0 25 0 1 0 898350533 334184448 78707 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81588 78707 1111 63 0 81525 0
vsize: 326352
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 78947 0 0 0 100858 155 0 0 25 0 1 0 898350533 334934016 78867 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81771 78867 1111 63 0 81708 0
vsize: 327084
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 79103 0 0 0 101858 156 0 0 25 0 1 0 898350533 335536128 79023 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81918 79023 1111 63 0 81855 0
vsize: 327672
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 79264 0 0 0 102858 156 0 0 25 0 1 0 898350533 336130048 79184 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82063 79184 1111 63 0 82000 0
vsize: 328252
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 79425 0 0 0 103857 157 0 0 25 0 1 0 898350533 336883712 79345 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82247 79345 1111 63 0 82184 0
vsize: 328988
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 79581 0 0 0 104857 157 0 0 25 0 1 0 898350533 337481728 79501 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82393 79501 1111 63 0 82330 0
vsize: 329572
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 79743 0 0 0 105857 157 0 0 25 0 1 0 898350533 338079744 79663 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82539 79663 1111 63 0 82476 0
vsize: 330156
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 79903 0 0 0 106856 158 0 0 25 0 1 0 898350533 338829312 79823 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82722 79823 1111 63 0 82659 0
vsize: 330888
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 80072 0 0 0 107856 159 0 0 25 0 1 0 898350533 339431424 79992 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82869 79992 1111 63 0 82806 0
vsize: 331476
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 80228 0 0 0 108856 159 0 0 25 0 1 0 898350533 340029440 80148 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83015 80148 1111 63 0 82952 0
vsize: 332060
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 80387 0 0 0 109856 159 0 0 25 0 1 0 898350533 340779008 80307 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83198 80307 1111 63 0 83135 0
vsize: 332792
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 80550 0 0 0 110856 159 0 0 25 0 1 0 898350533 341381120 80470 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83345 80470 1111 63 0 83282 0
vsize: 333380
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 80712 0 0 0 111856 160 0 0 25 0 1 0 898350533 342126592 80632 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83527 80632 1111 63 0 83464 0
vsize: 334108
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 80874 0 0 0 112855 160 0 0 25 0 1 0 898350533 342728704 80794 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83674 80794 1111 63 0 83611 0
vsize: 334696
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 81035 0 0 0 113855 161 0 0 25 0 1 0 898350533 343326720 80955 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83820 80955 1111 63 0 83757 0
vsize: 335280
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 81212 0 0 0 114855 161 0 0 25 0 1 0 898350533 344076288 81132 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84003 81132 1111 63 0 83940 0
vsize: 336012
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 81380 0 0 0 115855 161 0 0 25 0 1 0 898350533 344825856 81300 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84186 81300 1111 63 0 84123 0
vsize: 336744
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 81551 0 0 0 116855 162 0 0 25 0 1 0 898350533 345427968 81471 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84333 81471 1111 63 0 84270 0
vsize: 337332
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 81741 0 0 0 117855 162 0 0 25 0 1 0 898350533 346329088 81661 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84553 81661 1111 63 0 84490 0
vsize: 338212
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 81923 0 0 0 118855 162 0 0 25 0 1 0 898350533 347074560 81843 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84735 81843 1111 63 0 84672 0
vsize: 338940
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) R 4223 31399 31398 0 -1 0 82107 0 0 0 119855 162 0 0 25 0 1 0 898350533 347824128 82027 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84918 82027 1111 63 0 84855 0
vsize: 339672
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.21 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 4224
Raw data (stat): 4224 (bsolo_lpr-v2) Z 4223 31399 31398 0 -1 1036 82107 0 0 0 119855 178 0 0 25 0 1 0 898350533 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.21
CPU time (s): 1200.33
CPU user time (s): 1198.55
CPU system time (s): 1.78073
CPU usage (%): 100.01
Max. virtual memory (Kb): 339672
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####