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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-24 23:38:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15237 boxname=wulflinc26 idbench=1173 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  e8862b41c9b4f49ec8d11d1df0495e74  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-sp97ic.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-sp97ic.opb
IDLAUNCH: 15237
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 3
cpu MHz		: 451.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        810596 kB
Buffers:         29264 kB
Cached:         171156 kB
SwapCached:        656 kB
Active:          47172 kB
Inactive:       155948 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        810344 kB
SwapTotal:     2097892 kB
SwapFree:      2096880 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6032 kB
Slab:            15356 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:58:32 (client local time) WITH STATUS 0 IN 1200.66 SECONDS
stats: 15237 7 1200.66 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 12497 variables and 1033 constraints.
c After prepocess the problem consists of 12497 variables and 1018 constraints.
c preprocess terminated 515.837 s
c Initial Lower Bound: -2147483648
c Lower Bound Elapsed time: 26.4725
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -1452893474 @ 576.628
c NEW SOLUTION FOUND: -2147483648 @ 576.747
#### 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
Raw data (loadavg): 0.77 0.80 0.84 2/54 26861
Raw data (stat): 26861 (runsolver) R 26860 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834266752 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.80 0.80 0.84 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 24032 0 0 0 950 48 0 0 25 0 1 0 834266752 111345664 23956 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27184 23956 1111 63 0 27121 0
vsize: 108736
[startup+20.0003 s]
Raw data (loadavg): 0.83 0.81 0.84 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 46049 0 0 0 1910 88 0 0 25 0 1 0 834266752 201502720 45973 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49195 45973 1111 63 0 49132 0
vsize: 196780
[startup+30.0182 s]
Raw data (loadavg): 0.86 0.82 0.84 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 68021 0 0 0 2876 124 0 0 25 0 1 0 834266752 291528704 67945 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71174 67945 1111 63 0 71111 0
vsize: 284696
[startup+40.0233 s]
Raw data (loadavg): 0.88 0.82 0.84 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 76990 0 0 0 3859 141 0 0 25 0 1 0 834266752 328282112 76914 4294967295 134512640 134714508 3221224592 3221222868 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80147 76914 1111 63 0 80084 0
vsize: 320588
[startup+50.0324 s]
Raw data (loadavg): 0.90 0.83 0.84 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 77406 0 0 0 4859 142 0 0 25 0 1 0 834266752 330084352 77327 4294967295 134512640 134714508 3221224592 3221222868 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80587 77327 1111 63 0 80524 0
vsize: 322348
[startup+60.0325 s]
Raw data (loadavg): 0.91 0.83 0.84 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 78106 0 0 0 5857 144 0 0 25 0 1 0 834266752 333123584 78026 4294967295 134512640 134714508 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81329 78026 1111 63 0 81266 0
vsize: 325316
[startup+70.0353 s]
Raw data (loadavg): 0.92 0.84 0.85 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 78760 0 0 0 6855 146 0 0 25 0 1 0 834266752 335863808 78679 4294967295 134512640 134714508 3221224592 3221222896 134566799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81998 78679 1111 63 0 81935 0
vsize: 327992
[startup+80.0424 s]
Raw data (loadavg): 0.94 0.84 0.85 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 79511 0 0 0 7854 148 0 0 25 0 1 0 834266752 339021824 79429 4294967295 134512640 134714508 3221224592 3221222236 1076880050 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82769 79429 1111 63 0 82706 0
vsize: 331076
[startup+90.0426 s]
Raw data (loadavg): 0.95 0.85 0.85 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 80322 0 0 0 8853 150 0 0 25 0 1 0 834266752 342450176 80238 4294967295 134512640 134714508 3221224592 3221222868 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83606 80238 1111 63 0 83543 0
vsize: 334424
[startup+100.043 s]
Raw data (loadavg): 0.95 0.85 0.85 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 81063 0 0 0 9851 151 0 0 25 0 1 0 834266752 345616384 80977 4294967295 134512640 134714508 3221224592 3221222868 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84379 80977 1111 63 0 84316 0
vsize: 337516
[startup+110.043 s]
Raw data (loadavg): 0.96 0.86 0.85 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 81743 0 0 0 10850 153 0 0 25 0 1 0 834266752 348516352 81654 4294967295 134512640 134714508 3221224592 3221222868 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85087 81654 1111 63 0 85024 0
vsize: 340348
[startup+120.044 s]
Raw data (loadavg): 0.97 0.86 0.85 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 83335 0 0 0 11846 157 0 0 25 0 1 0 834266752 345366528 83177 4294967295 134512640 134714508 3221224592 3221223084 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84318 83177 1111 63 0 84255 0
vsize: 337272
[startup+130.044 s]
Raw data (loadavg): 0.97 0.86 0.85 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 83428 0 0 0 12844 158 0 0 25 0 1 0 834266752 345772032 83270 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84417 83270 1111 63 0 84354 0
vsize: 337668
[startup+140.044 s]
Raw data (loadavg): 0.97 0.87 0.85 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 83504 0 0 0 13844 158 0 0 25 0 1 0 834266752 346046464 83346 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84484 83346 1111 63 0 84421 0
vsize: 337936
[startup+150.044 s]
Raw data (loadavg): 0.98 0.87 0.85 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 83542 0 0 0 14844 158 0 0 25 0 1 0 834266752 346181632 83384 4294967295 134512640 134714508 3221224592 3221223060 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84517 83384 1111 63 0 84454 0
vsize: 338068
[startup+160.044 s]
Raw data (loadavg): 0.98 0.88 0.85 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 83595 0 0 0 15844 158 0 0 25 0 1 0 834266752 346451968 83437 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84583 83437 1111 63 0 84520 0
vsize: 338332
[startup+170.045 s]
Raw data (loadavg): 0.98 0.88 0.86 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 83681 0 0 0 16844 159 0 0 25 0 1 0 834266752 346722304 83523 4294967295 134512640 134714508 3221224592 3221223036 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84649 83523 1111 63 0 84586 0
vsize: 338596
[startup+180.044 s]
Raw data (loadavg): 0.99 0.88 0.86 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 83753 0 0 0 17844 159 0 0 25 0 1 0 834266752 347127808 83595 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84748 83595 1111 63 0 84685 0
vsize: 338992
[startup+190.044 s]
Raw data (loadavg): 0.99 0.89 0.86 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 83798 0 0 0 18844 159 0 0 25 0 1 0 834266752 347262976 83640 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84781 83640 1111 63 0 84718 0
vsize: 339124
[startup+200.045 s]
Raw data (loadavg): 0.99 0.89 0.86 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 83867 0 0 0 19844 159 0 0 25 0 1 0 834266752 347533312 83709 4294967295 134512640 134714508 3221224592 3221223036 134536820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84847 83709 1111 63 0 84784 0
vsize: 339388
[startup+210.046 s]
Raw data (loadavg): 0.99 0.89 0.86 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 83942 0 0 0 20844 159 0 0 25 0 1 0 834266752 347803648 83784 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84913 83784 1111 63 0 84850 0
vsize: 339652
[startup+220.046 s]
Raw data (loadavg): 0.99 0.90 0.86 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84010 0 0 0 21844 160 0 0 25 0 1 0 834266752 348073984 83852 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84979 83852 1111 63 0 84916 0
vsize: 339916
[startup+230.046 s]
Raw data (loadavg): 0.99 0.90 0.86 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84068 0 0 0 22844 160 0 0 25 0 1 0 834266752 348344320 83910 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85045 83910 1111 63 0 84982 0
vsize: 340180
[startup+240.049 s]
Raw data (loadavg): 0.99 0.90 0.86 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84135 0 0 0 23844 160 0 0 25 0 1 0 834266752 348614656 83977 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85111 83977 1111 63 0 85048 0
vsize: 340444
[startup+250.049 s]
Raw data (loadavg): 0.99 0.90 0.86 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84182 0 0 0 24845 160 0 0 25 0 1 0 834266752 348884992 84024 4294967295 134512640 134714508 3221224592 3221223060 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85177 84024 1111 63 0 85114 0
vsize: 340708
[startup+260.049 s]
Raw data (loadavg): 0.99 0.91 0.86 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84211 0 0 0 25845 160 0 0 25 0 1 0 834266752 348884992 84053 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85177 84053 1111 63 0 85114 0
vsize: 340708
[startup+270.05 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84238 0 0 0 26845 160 0 0 25 0 1 0 834266752 349020160 84080 4294967295 134512640 134714508 3221224592 3221223036 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85210 84080 1111 63 0 85147 0
vsize: 340840
[startup+280.049 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84262 0 0 0 27845 160 0 0 25 0 1 0 834266752 349155328 84104 4294967295 134512640 134714508 3221224592 3221223036 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85243 84104 1111 63 0 85180 0
vsize: 340972
[startup+290.049 s]
Raw data (loadavg): 0.99 0.91 0.87 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84319 0 0 0 28845 161 0 0 25 0 1 0 834266752 349425664 84161 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85309 84161 1111 63 0 85246 0
vsize: 341236
[startup+300.05 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84382 0 0 0 29845 161 0 0 25 0 1 0 834266752 349696000 84224 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85375 84224 1111 63 0 85312 0
vsize: 341500
[startup+310.051 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84423 0 0 0 30845 161 0 0 25 0 1 0 834266752 349831168 84265 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85408 84265 1111 63 0 85345 0
vsize: 341632
[startup+320.051 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84505 0 0 0 31845 161 0 0 25 0 1 0 834266752 350101504 84347 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85474 84347 1111 63 0 85411 0
vsize: 341896
[startup+330.051 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84573 0 0 0 32845 161 0 0 25 0 1 0 834266752 350371840 84415 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85540 84415 1111 63 0 85477 0
vsize: 342160
[startup+340.05 s]
Raw data (loadavg): 0.99 0.92 0.87 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84640 0 0 0 33844 162 0 0 25 0 1 0 834266752 350642176 84482 4294967295 134512640 134714508 3221224592 3221223036 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85606 84482 1111 63 0 85543 0
vsize: 342424
[startup+350.056 s]
Raw data (loadavg): 0.99 0.93 0.87 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84706 0 0 0 34845 162 0 0 25 0 1 0 834266752 350912512 84548 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85672 84548 1111 63 0 85609 0
vsize: 342688
[startup+360.066 s]
Raw data (loadavg): 0.99 0.93 0.87 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84733 0 0 0 35846 162 0 0 25 0 1 0 834266752 351047680 84575 4294967295 134512640 134714508 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85705 84575 1111 63 0 85642 0
vsize: 342820
[startup+370.076 s]
Raw data (loadavg): 0.99 0.93 0.87 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84764 0 0 0 36847 162 0 0 25 0 1 0 834266752 351182848 84606 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85738 84606 1111 63 0 85675 0
vsize: 342952
[startup+380.076 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84850 0 0 0 37847 162 0 0 25 0 1 0 834266752 351588352 84692 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85837 84692 1111 63 0 85774 0
vsize: 343348
[startup+390.076 s]
Raw data (loadavg): 0.99 0.93 0.88 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84880 0 0 0 38847 163 0 0 25 0 1 0 834266752 351723520 84722 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85870 84722 1111 63 0 85807 0
vsize: 343480
[startup+400.082 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 84959 0 0 0 39848 163 0 0 25 0 1 0 834266752 351993856 84801 4294967295 134512640 134714508 3221224592 3221223036 134535952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85936 84801 1111 63 0 85873 0
vsize: 343744
[startup+410.188 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 85002 0 0 0 40858 163 0 0 25 0 1 0 834266752 352129024 84844 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85969 84844 1111 63 0 85906 0
vsize: 343876
[startup+420.189 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 85032 0 0 0 41859 163 0 0 25 0 1 0 834266752 352264192 84874 4294967295 134512640 134714508 3221224592 3221223036 134536802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86002 84874 1111 63 0 85939 0
vsize: 344008
[startup+430.189 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 85079 0 0 0 42859 163 0 0 25 0 1 0 834266752 352399360 84921 4294967295 134512640 134714508 3221224592 3221223060 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86035 84921 1111 63 0 85972 0
vsize: 344140
[startup+440.189 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 85157 0 0 0 43859 163 0 0 25 0 1 0 834266752 352669696 84999 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86101 84999 1111 63 0 86038 0
vsize: 344404
[startup+450.19 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 85229 0 0 0 44859 164 0 0 25 0 1 0 834266752 352940032 85071 4294967295 134512640 134714508 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86167 85071 1111 63 0 86104 0
vsize: 344668
[startup+460.19 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 85307 0 0 0 45858 164 0 0 25 0 1 0 834266752 353349632 85149 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85149 1111 63 0 86204 0
vsize: 345068
[startup+470.19 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 85312 0 0 0 46858 164 0 0 25 0 1 0 834266752 353349632 85154 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85154 1111 63 0 86204 0
vsize: 345068
[startup+480.191 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 85314 0 0 0 47859 164 0 0 25 0 1 0 834266752 353349632 85156 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85156 1111 63 0 86204 0
vsize: 345068
[startup+490.191 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 85320 0 0 0 48859 164 0 0 25 0 1 0 834266752 353349632 85162 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85162 1111 63 0 86204 0
vsize: 345068
[startup+500.191 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 85323 0 0 0 49859 164 0 0 25 0 1 0 834266752 353349632 85165 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85165 1111 63 0 86204 0
vsize: 345068
[startup+510.294 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 85328 0 0 0 50869 164 0 0 25 0 1 0 834266752 353349632 85170 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85170 1111 63 0 86204 0
vsize: 345068
[startup+520.295 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 86624 0 0 0 51866 168 0 0 25 0 1 0 834266752 358703104 86452 4294967295 134512640 134714508 3221224592 3221215744 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87574 86452 1111 63 0 87511 0
vsize: 350296
[startup+530.295 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 86688 0 0 0 52865 169 0 0 25 0 1 0 834266752 358961152 86516 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87637 86516 1111 63 0 87574 0
vsize: 350548
[startup+540.295 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 92038 0 0 0 53855 178 0 0 25 0 1 0 834266752 368709632 88869 4294967295 134512640 134714508 3221224592 3221220976 1075602716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90017 88869 1111 63 0 89954 0
vsize: 360068
[startup+550.296 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 96254 0 0 0 54845 189 0 0 25 0 1 0 834266752 361103360 87154 4294967295 134512640 134714508 3221224592 3221222960 134606456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88160 87154 1111 63 0 88097 0
vsize: 352640
[startup+560.296 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 105323 0 0 0 55824 210 0 0 25 0 1 0 834266752 361598976 87286 4294967295 134512640 134714508 3221224592 3221223080 134558593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88281 87286 1111 63 0 88218 0
vsize: 353124
[startup+570.297 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 105323 0 0 0 56824 210 0 0 25 0 1 0 834266752 361598976 87286 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88281 87286 1111 63 0 88218 0
vsize: 353124
[startup+580.298 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 114950 0 0 0 57804 230 0 0 25 0 1 0 834266752 357748736 86346 4294967295 134512640 134714508 3221224592 3221222944 1074115531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87386 86349 1111 63 0 87323 0
vsize: 349364
[startup+590.297 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 133947 0 0 0 58766 268 0 0 25 0 1 0 834266752 357330944 86276 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87239 86276 1111 63 0 87176 0
vsize: 348956
[startup+600.298 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 148478 0 0 0 59731 303 0 0 25 0 1 0 834266752 357330944 86276 4294967295 134512640 134714508 3221224592 3221222880 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87239 86276 1111 63 0 87176 0
vsize: 348956
[startup+610.299 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 160797 0 0 0 60708 326 0 0 25 0 1 0 834266752 357330944 86276 4294967295 134512640 134714508 3221224592 3221222704 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87239 86276 1111 63 0 87176 0
vsize: 348956
[startup+620.299 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 172290 0 0 0 61685 349 0 0 25 0 1 0 834266752 357330944 86276 4294967295 134512640 134714508 3221224592 3221222944 134650068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87239 86276 1111 63 0 87176 0
vsize: 348956
[startup+630.299 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 182492 0 0 0 62664 371 0 0 25 0 1 0 834266752 357330944 86276 4294967295 134512640 134714508 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87239 86276 1111 63 0 87176 0
vsize: 348956
[startup+640.299 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 189979 0 0 0 63648 387 0 0 25 0 1 0 834266752 357576704 86336 4294967295 134512640 134714508 3221224592 3221222848 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87299 86336 1111 63 0 87236 0
vsize: 349196
[startup+650.301 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 196082 0 0 0 64635 400 0 0 25 0 1 0 834266752 357576704 86336 4294967295 134512640 134714508 3221224592 3221222760 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87299 86336 1111 63 0 87236 0
vsize: 349196
[startup+660.302 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 202339 0 0 0 65621 414 0 0 25 0 1 0 834266752 357576704 86336 4294967295 134512640 134714508 3221224592 3221222944 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87299 86336 1111 63 0 87236 0
vsize: 349196
[startup+670.303 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 208133 0 0 0 66609 427 0 0 25 0 1 0 834266752 357580800 86337 4294967295 134512640 134714508 3221224592 3221222944 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87300 86337 1111 63 0 87237 0
vsize: 349200
[startup+680.304 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 214074 0 0 0 67597 439 0 0 25 0 1 0 834266752 357576704 86336 4294967295 134512640 134714508 3221224592 3221222784 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87299 86336 1111 63 0 87236 0
vsize: 349196
[startup+690.303 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 219441 0 0 0 68584 452 0 0 25 0 1 0 834266752 358412288 86393 4294967295 134512640 134714508 3221224592 3221222320 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87503 86393 1111 63 0 87440 0
vsize: 350012
[startup+700.304 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 224734 0 0 0 69573 463 0 0 25 0 1 0 834266752 357580800 86337 4294967295 134512640 134714508 3221224592 3221222792 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87300 86337 1111 63 0 87237 0
vsize: 349200
[startup+710.304 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 229781 0 0 0 70562 475 0 0 25 0 1 0 834266752 357576704 86336 4294967295 134512640 134714508 3221224592 3221222428 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87299 86336 1111 63 0 87236 0
vsize: 349196
[startup+720.305 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 234481 0 0 0 71551 486 0 0 25 0 1 0 834266752 357580800 86337 4294967295 134512640 134714508 3221224592 3221222848 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87300 86337 1111 63 0 87237 0
vsize: 349200
[startup+730.305 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 239298 0 0 0 72540 497 0 0 25 0 1 0 834266752 357576704 86336 4294967295 134512640 134714508 3221224592 3221222880 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87299 86336 1111 63 0 87236 0
vsize: 349196
[startup+740.305 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 243907 0 0 0 73532 505 0 0 25 0 1 0 834266752 357576704 86336 4294967295 134512640 134714508 3221224592 3221222704 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87299 86336 1111 63 0 87236 0
vsize: 349196
[startup+750.307 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 248457 0 0 0 74522 515 0 0 25 0 1 0 834266752 357941248 86386 4294967295 134512640 134714508 3221224592 3221222336 1075640493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87388 86386 1111 63 0 87325 0
vsize: 349552
[startup+760.307 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 253183 0 0 0 75512 526 0 0 25 0 1 0 834266752 357576704 86336 4294967295 134512640 134714508 3221224592 3221222880 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87299 86336 1111 63 0 87236 0
vsize: 349196
[startup+770.308 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 257983 0 0 0 76502 536 0 0 25 0 1 0 834266752 357576704 86336 4294967295 134512640 134714508 3221224592 3221222616 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87299 86336 1111 63 0 87236 0
vsize: 349196
[startup+780.308 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 262583 0 0 0 77491 547 0 0 25 0 1 0 834266752 357580800 86337 4294967295 134512640 134714508 3221224592 3221222284 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87300 86337 1111 63 0 87237 0
vsize: 349200
[startup+790.308 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 266949 0 0 0 78482 557 0 0 25 0 1 0 834266752 357580800 86337 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87300 86337 1111 63 0 87237 0
vsize: 349200
[startup+800.309 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 271548 0 0 0 79473 566 0 0 25 0 1 0 834266752 357580800 86337 4294967295 134512640 134714508 3221224592 3221222824 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87300 86337 1111 63 0 87237 0
vsize: 349200
[startup+810.309 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 276233 0 0 0 80461 578 0 0 25 0 1 0 834266752 357576704 86336 4294967295 134512640 134714508 3221224592 3221222848 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87299 86336 1111 63 0 87236 0
vsize: 349196
[startup+820.31 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 280527 0 0 0 81451 588 0 0 25 0 1 0 834266752 357580800 86337 4294967295 134512640 134714508 3221224592 3221222880 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87300 86337 1111 63 0 87237 0
vsize: 349200
[startup+830.31 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 284776 0 0 0 82440 599 0 0 25 0 1 0 834266752 357707776 86368 4294967295 134512640 134714508 3221224592 3221222428 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87331 86368 1111 63 0 87268 0
vsize: 349324
[startup+840.309 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 288331 0 0 0 83430 609 0 0 25 0 1 0 834266752 358764544 86495 4294967295 134512640 134714508 3221224592 3221221784 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87589 86495 1111 63 0 87526 0
vsize: 350356
[startup+850.311 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 291837 0 0 0 84422 617 0 0 25 0 1 0 834266752 357703680 86367 4294967295 134512640 134714508 3221224592 3221222736 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87330 86367 1111 63 0 87267 0
vsize: 349320
[startup+860.31 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 295225 0 0 0 85415 625 0 0 25 0 1 0 834266752 358699008 86461 4294967295 134512640 134714508 3221224592 3221220796 1075563003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87573 86461 1111 63 0 87510 0
vsize: 350292
[startup+870.31 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 298378 0 0 0 86408 632 0 0 25 0 1 0 834266752 357707776 86368 4294967295 134512640 134714508 3221224592 3221222848 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87331 86368 1111 63 0 87268 0
vsize: 349324
[startup+880.31 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 301844 0 0 0 87400 640 0 0 25 0 1 0 834266752 357703680 86367 4294967295 134512640 134714508 3221224592 3221222976 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87330 86367 1111 63 0 87267 0
vsize: 349320
[startup+890.31 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 305035 0 0 0 88392 648 0 0 25 0 1 0 834266752 357707776 86368 4294967295 134512640 134714508 3221224592 3221222880 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87331 86368 1111 63 0 87268 0
vsize: 349324
[startup+900.309 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 308241 0 0 0 89385 655 0 0 25 0 1 0 834266752 357707776 86368 4294967295 134512640 134714508 3221224592 3221222880 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87331 86368 1111 63 0 87268 0
vsize: 349324
[startup+910.31 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 311484 0 0 0 90377 663 0 0 25 0 1 0 834266752 357707776 86368 4294967295 134512640 134714508 3221224592 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87331 86368 1111 63 0 87268 0
vsize: 349324
[startup+920.31 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 314804 0 0 0 91370 671 0 0 25 0 1 0 834266752 357707776 86368 4294967295 134512640 134714508 3221224592 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87331 86368 1111 63 0 87268 0
vsize: 349324
[startup+930.309 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 318118 0 0 0 92362 679 0 0 25 0 1 0 834266752 357703680 86367 4294967295 134512640 134714508 3221224592 3221222304 1074052242 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87330 86367 1111 63 0 87267 0
vsize: 349320
[startup+940.309 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 321006 0 0 0 93356 685 0 0 25 0 1 0 834266752 357707776 86368 4294967295 134512640 134714508 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87331 86368 1111 63 0 87268 0
vsize: 349324
[startup+950.31 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 324215 0 0 0 94350 692 0 0 25 0 1 0 834266752 357703680 86367 4294967295 134512640 134714508 3221224592 3221222760 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87330 86367 1111 63 0 87267 0
vsize: 349320
[startup+960.313 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 327128 0 0 0 95342 699 0 0 25 0 1 0 834266752 357707776 86368 4294967295 134512640 134714508 3221224592 3221222616 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87331 86368 1111 63 0 87268 0
vsize: 349324
[startup+970.316 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 330042 0 0 0 96335 707 0 0 25 0 1 0 834266752 357707776 86368 4294967295 134512640 134714508 3221224592 3221222284 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87331 86368 1111 63 0 87268 0
vsize: 349324
[startup+980.316 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 332979 0 0 0 97329 713 0 0 25 0 1 0 834266752 357707776 86368 4294967295 134512640 134714508 3221224592 3221222880 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87331 86368 1111 63 0 87268 0
vsize: 349324
[startup+990.316 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 335953 0 0 0 98323 720 0 0 25 0 1 0 834266752 357707776 86368 4294967295 134512640 134714508 3221224592 3221222680 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87331 86368 1111 63 0 87268 0
vsize: 349324
[startup+1000.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 338924 0 0 0 99317 725 0 0 25 0 1 0 834266752 357707776 86368 4294967295 134512640 134714508 3221224592 3221222848 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87331 86368 1111 63 0 87268 0
vsize: 349324
[startup+1010.31 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 341923 0 0 0 100311 732 0 0 25 0 1 0 834266752 357703680 86367 4294967295 134512640 134714508 3221224592 3221222728 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87330 86367 1111 63 0 87267 0
vsize: 349320
[startup+1020.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 344592 0 0 0 101304 739 0 0 25 0 1 0 834266752 357707776 86368 4294967295 134512640 134714508 3221224592 3221222704 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87331 86368 1111 63 0 87268 0
vsize: 349324
[startup+1030.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 347599 0 0 0 102296 747 0 0 25 0 1 0 834266752 357703680 86367 4294967295 134512640 134714508 3221224592 3221222284 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87330 86367 1111 63 0 87267 0
vsize: 349320
[startup+1040.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 350416 0 0 0 103290 754 0 0 25 0 1 0 834266752 357834752 86399 4294967295 134512640 134714508 3221224592 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87362 86399 1111 63 0 87299 0
vsize: 349448
[startup+1050.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 352926 0 0 0 104284 760 0 0 25 0 1 0 834266752 358219776 86493 4294967295 134512640 134714508 3221224592 3221221936 1074838995 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87456 86493 1111 63 0 87393 0
vsize: 349824
[startup+1060.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 355676 0 0 0 105277 767 0 0 25 0 1 0 834266752 358080512 86459 4294967295 134512640 134714508 3221224592 3221222704 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87422 86459 1111 63 0 87359 0
vsize: 349688
[startup+1070.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 358023 0 0 0 106272 772 0 0 25 0 1 0 834266752 359329792 86592 4294967295 134512640 134714508 3221224592 3221222320 1075828447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87727 86592 1111 63 0 87664 0
vsize: 350908
[startup+1080.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 360825 0 0 0 107266 779 0 0 25 0 1 0 834266752 358084608 86460 4294967295 134512640 134714508 3221224592 3221222856 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87423 86460 1111 63 0 87360 0
vsize: 349692
[startup+1090.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 363551 0 0 0 108259 786 0 0 25 0 1 0 834266752 359366656 86600 4294967295 134512640 134714508 3221224592 3221222512 1075799727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87736 86600 1111 63 0 87673 0
vsize: 350944
[startup+1100.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 366301 0 0 0 109253 792 0 0 25 0 1 0 834266752 359186432 86639 4294967295 134512640 134714508 3221224592 3221221872 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87692 86640 1111 63 0 87629 0
vsize: 350768
[startup+1110.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 369981 0 0 0 110246 800 0 0 25 0 1 0 834266752 358629376 86593 4294967295 134512640 134714508 3221224592 3221217808 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87556 86593 1111 63 0 87493 0
vsize: 350224
[startup+1120.33 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 373695 0 0 0 111238 808 0 0 25 0 1 0 834266752 358715392 86614 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87577 86614 1111 63 0 87514 0
vsize: 350308
[startup+1130.33 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 376307 0 0 0 112232 815 0 0 25 0 1 0 834266752 361803776 87212 4294967295 134512640 134714508 3221224592 3221222240 1075818276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88331 87212 1111 63 0 88268 0
vsize: 353324
[startup+1140.33 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 381077 0 0 0 113220 826 0 0 25 0 1 0 834266752 359276544 86751 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87714 86751 1111 63 0 87651 0
vsize: 350856
[startup+1150.33 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 384073 0 0 0 114213 834 0 0 25 0 1 0 834266752 359428096 86788 4294967295 134512640 134714508 3221224592 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87751 86788 1111 63 0 87688 0
vsize: 351004
[startup+1160.33 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 387352 0 0 0 115205 842 0 0 25 0 1 0 834266752 359555072 86819 4294967295 134512640 134714508 3221224592 3221222704 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87782 86819 1111 63 0 87719 0
vsize: 351128
[startup+1170.33 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 390930 0 0 0 116196 852 0 0 25 0 1 0 834266752 359624704 86836 4294967295 134512640 134714508 3221224592 3221222848 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87799 86836 1111 63 0 87736 0
vsize: 351196
[startup+1180.33 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 394726 0 0 0 117187 861 0 0 25 0 1 0 834266752 359936000 86912 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87875 86912 1111 63 0 87812 0
vsize: 351500
[startup+1190.33 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 399316 0 0 0 118177 871 0 0 25 0 1 0 834266752 359907328 86905 4294967295 134512640 134714508 3221224592 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87868 86905 1111 63 0 87805 0
vsize: 351472
[startup+1200.34 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26861
Raw data (stat): 26861 (bsolo_lpr) R 26860 20687 20686 0 -1 0 401713 0 0 0 119172 876 0 0 25 0 1 0 834266752 364380160 87836 4294967295 134512640 134714508 3221224592 3221220752 1074794562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88960 87836 1111 63 0 88897 0
vsize: 355840
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.5 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 26861
Raw data (stat): 26861 (bsolo_lpr) Z 26860 20687 20686 0 -1 1036 401713 0 0 0 119172 893 0 0 25 0 1 0 834266752 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.5
CPU time (s): 1200.66
CPU user time (s): 1191.73
CPU system time (s): 8.93064
CPU usage (%): 100.013
Max. virtual memory (Kb): 360068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####