PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-sp97ar.opb
MD5SUM	d98db64f69c8547ad0880486d1128dd0
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	183313
Biggest coefficient in the objective function	19194096394240
Number of bits for the biggest coefficient in the objective function	45
Sum of the numbers in the objective function	127830561163966644
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	19194096394240
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	127830561163966644
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.68874
Number of variables	183313
Total number of constraints	1761
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1761
Minimum length of a constraint	13
Maximum length of a constraint	32019
Trace number 25726

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 00:51:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18019 boxname=wulflinc31 idbench=1387 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  d98db64f69c8547ad0880486d1128dd0  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ar.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ar.opb
IDLAUNCH: 18019
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        781184 kB
Buffers:           200 kB
Cached:         232684 kB
SwapCached:        832 kB
Active:         124148 kB
Inactive:       110764 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        780932 kB
SwapTotal:     2097892 kB
SwapFree:      2095948 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            12872 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 01:11:53 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 18019 7 1200.19 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
Raw data (loadavg): 0.94 0.97 0.95 2/55 18186
Raw data (stat): 18186 (runsolver) R 18185 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 808757768 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.95 0.97 0.95 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 1628 0 0 0 985 8 0 0 25 0 1 0 808757768 15364096 1551 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3751 1551 1111 63 0 3688 0
vsize: 15004
[startup+20.0014 s]
Raw data (loadavg): 1.04 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 1685 0 0 0 1985 8 0 0 25 0 1 0 808757768 15507456 1608 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3786 1608 1111 63 0 3723 0
vsize: 15144
[startup+30.0013 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 1741 0 0 0 2985 8 0 0 25 0 1 0 808757768 15798272 1664 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3857 1664 1111 63 0 3794 0
vsize: 15428
[startup+40.0009 s]
Raw data (loadavg): 1.03 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 1800 0 0 0 3985 9 0 0 25 0 1 0 808757768 16097280 1723 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3930 1723 1111 63 0 3867 0
vsize: 15720
[startup+50.0022 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 1863 0 0 0 4985 9 0 0 25 0 1 0 808757768 16240640 1786 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3965 1786 1111 63 0 3902 0
vsize: 15860
[startup+60.0024 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 1920 0 0 0 5985 9 0 0 25 0 1 0 808757768 16531456 1843 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4036 1843 1111 63 0 3973 0
vsize: 16144
[startup+70.0027 s]
Raw data (loadavg): 1.02 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 1977 0 0 0 6984 10 0 0 25 0 1 0 808757768 16822272 1900 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4107 1900 1111 63 0 4044 0
vsize: 16428
[startup+80.004 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 2035 0 0 0 7984 10 0 0 25 0 1 0 808757768 16973824 1958 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4144 1958 1111 63 0 4081 0
vsize: 16576
[startup+90.0039 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 2098 0 0 0 8984 11 0 0 25 0 1 0 808757768 17264640 2021 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2021 1111 63 0 4152 0
vsize: 16860
[startup+100.004 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 2158 0 0 0 9983 12 0 0 25 0 1 0 808757768 17567744 2081 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4289 2081 1111 63 0 4226 0
vsize: 17156
[startup+110.007 s]
Raw data (loadavg): 1.01 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 2215 0 0 0 10982 13 0 0 25 0 1 0 808757768 17715200 2138 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4325 2138 1111 63 0 4262 0
vsize: 17300
[startup+120.008 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 2273 0 0 0 11982 14 0 0 25 0 1 0 808757768 18010112 2196 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4397 2196 1111 63 0 4334 0
vsize: 17588
[startup+130.008 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 2330 0 0 0 12981 14 0 0 25 0 1 0 808757768 18153472 2253 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4432 2253 1111 63 0 4369 0
vsize: 17728
[startup+140.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 2380 0 0 0 13981 15 0 0 25 0 1 0 808757768 18444288 2303 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4503 2303 1111 63 0 4440 0
vsize: 18012
[startup+150.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 2437 0 0 0 14981 15 0 0 25 0 1 0 808757768 18591744 2360 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4539 2360 1111 63 0 4476 0
vsize: 18156
[startup+160.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 2494 0 0 0 15981 15 0 0 25 0 1 0 808757768 18882560 2417 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4610 2417 1111 63 0 4547 0
vsize: 18440
[startup+170.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 2552 0 0 0 16981 15 0 0 25 0 1 0 808757768 19177472 2475 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4682 2475 1111 63 0 4619 0
vsize: 18728
[startup+180.012 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 2609 0 0 0 17981 15 0 0 25 0 1 0 808757768 19324928 2532 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4718 2532 1111 63 0 4655 0
vsize: 18872
[startup+190.011 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 2665 0 0 0 18981 15 0 0 25 0 1 0 808757768 19615744 2588 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4789 2588 1111 63 0 4726 0
vsize: 19156
[startup+200.011 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 2727 0 0 0 19981 16 0 0 25 0 1 0 808757768 19902464 2650 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4859 2650 1111 63 0 4796 0
vsize: 19436
[startup+210.012 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 2786 0 0 0 20981 16 0 0 25 0 1 0 808757768 20054016 2709 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4896 2709 1111 63 0 4833 0
vsize: 19584
[startup+220.013 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 2849 0 0 0 21981 16 0 0 25 0 1 0 808757768 20344832 2772 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4967 2772 1111 63 0 4904 0
vsize: 19868
[startup+230.013 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 2906 0 0 0 22982 16 0 0 25 0 1 0 808757768 20635648 2829 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5038 2829 1111 63 0 4975 0
vsize: 20152
[startup+240.013 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 2963 0 0 0 23981 16 0 0 25 0 1 0 808757768 20779008 2886 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5073 2886 1111 63 0 5010 0
vsize: 20292
[startup+250.014 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 3021 0 0 0 24982 16 0 0 25 0 1 0 808757768 21078016 2944 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5146 2944 1111 63 0 5083 0
vsize: 20584
[startup+260.014 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 3079 0 0 0 25982 16 0 0 25 0 1 0 808757768 21221376 3002 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5181 3002 1111 63 0 5118 0
vsize: 20724
[startup+270.015 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 3136 0 0 0 26982 17 0 0 25 0 1 0 808757768 21512192 3059 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5252 3059 1111 63 0 5189 0
vsize: 21008
[startup+280.014 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 3193 0 0 0 27982 17 0 0 25 0 1 0 808757768 21803008 3116 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5323 3116 1111 63 0 5260 0
vsize: 21292
[startup+290.015 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 3258 0 0 0 28981 17 0 0 25 0 1 0 808757768 21946368 3181 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5358 3181 1111 63 0 5295 0
vsize: 21432
[startup+300.016 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 3314 0 0 0 29982 17 0 0 25 0 1 0 808757768 22245376 3237 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5431 3237 1111 63 0 5368 0
vsize: 21724
[startup+310.016 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 3372 0 0 0 30982 18 0 0 25 0 1 0 808757768 22536192 3295 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5502 3295 1111 63 0 5439 0
vsize: 22008
[startup+320.017 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 3428 0 0 0 31982 18 0 0 25 0 1 0 808757768 22679552 3351 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5537 3351 1111 63 0 5474 0
vsize: 22148
[startup+330.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 3487 0 0 0 32982 18 0 0 25 0 1 0 808757768 22970368 3410 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5608 3410 1111 63 0 5545 0
vsize: 22432
[startup+340.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 3544 0 0 0 33982 18 0 0 25 0 1 0 808757768 23121920 3467 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5645 3467 1111 63 0 5582 0
vsize: 22580
[startup+350.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 3607 0 0 0 34982 18 0 0 25 0 1 0 808757768 23412736 3530 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5716 3530 1111 63 0 5653 0
vsize: 22864
[startup+360.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 3664 0 0 0 35982 18 0 0 25 0 1 0 808757768 23703552 3587 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5787 3587 1111 63 0 5724 0
vsize: 23148
[startup+370.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 3722 0 0 0 36982 18 0 0 25 0 1 0 808757768 23851008 3645 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5823 3645 1111 63 0 5760 0
vsize: 23292
[startup+380.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 3790 0 0 0 37982 18 0 0 25 0 1 0 808757768 24145920 3713 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5895 3713 1111 63 0 5832 0
vsize: 23580
[startup+390.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 3849 0 0 0 38982 18 0 0 25 0 1 0 808757768 24432640 3772 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5965 3772 1111 63 0 5902 0
vsize: 23860
[startup+400.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 3900 0 0 0 39982 19 0 0 25 0 1 0 808757768 24719360 3823 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6035 3823 1111 63 0 5972 0
vsize: 24140
[startup+410.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 3956 0 0 0 40982 19 0 0 25 0 1 0 808757768 24862720 3879 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6070 3879 1111 63 0 6007 0
vsize: 24280
[startup+420.021 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 4021 0 0 0 41982 19 0 0 25 0 1 0 808757768 25161728 3944 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6143 3944 1111 63 0 6080 0
vsize: 24572
[startup+430.021 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 4079 0 0 0 42982 20 0 0 25 0 1 0 808757768 25452544 4002 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6214 4002 1111 63 0 6151 0
vsize: 24856
[startup+440.021 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 4136 0 0 0 43982 20 0 0 25 0 1 0 808757768 25595904 4059 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6249 4059 1111 63 0 6186 0
vsize: 24996
[startup+450.021 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 4193 0 0 0 44982 20 0 0 25 0 1 0 808757768 25886720 4116 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6320 4116 1111 63 0 6257 0
vsize: 25280
[startup+460.022 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 4258 0 0 0 45982 20 0 0 25 0 1 0 808757768 26185728 4181 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6393 4181 1111 63 0 6330 0
vsize: 25572
[startup+470.023 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 4315 0 0 0 46982 20 0 0 25 0 1 0 808757768 26329088 4238 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6428 4238 1111 63 0 6365 0
vsize: 25712
[startup+480.024 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 4373 0 0 0 47982 20 0 0 25 0 1 0 808757768 26619904 4296 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6499 4296 1111 63 0 6436 0
vsize: 25996
[startup+490.023 s]
Raw data (loadavg): 1.00 0.99 0.96 2/55 18186
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 4436 0 0 0 48982 20 0 0 25 0 1 0 808757768 26910720 4359 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6570 4359 1111 63 0 6507 0
vsize: 26280
[startup+500.024 s]
Raw data (loadavg): 1.08 1.00 0.96 2/58 18230
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 4495 0 0 0 49982 20 0 0 25 0 1 0 808757768 27062272 4418 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6607 4418 1111 63 0 6544 0
vsize: 26428
[startup+510.024 s]
Raw data (loadavg): 1.07 1.00 0.96 2/55 18239
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 4552 0 0 0 50982 20 0 0 25 0 1 0 808757768 27353088 4475 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6678 4475 1111 63 0 6615 0
vsize: 26712
[startup+520.025 s]
Raw data (loadavg): 1.06 1.00 0.96 2/55 18239
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 4616 0 0 0 51982 21 0 0 25 0 1 0 808757768 27643904 4539 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6749 4539 1111 63 0 6686 0
vsize: 26996
[startup+530.026 s]
Raw data (loadavg): 1.05 1.00 0.96 2/55 18239
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 4673 0 0 0 52982 21 0 0 25 0 1 0 808757768 27791360 4596 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6785 4596 1111 63 0 6722 0
vsize: 27140
[startup+540.026 s]
Raw data (loadavg): 1.04 1.00 0.96 2/55 18239
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 4732 0 0 0 53982 21 0 0 25 0 1 0 808757768 28086272 4655 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6857 4655 1111 63 0 6794 0
vsize: 27428
[startup+550.027 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 18239
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 4789 0 0 0 54982 21 0 0 25 0 1 0 808757768 28229632 4712 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6892 4712 1111 63 0 6829 0
vsize: 27568
[startup+560.027 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 18239
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 4852 0 0 0 55982 21 0 0 25 0 1 0 808757768 28520448 4775 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6963 4775 1111 63 0 6900 0
vsize: 27852
[startup+570.028 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 4910 0 0 0 56982 21 0 0 25 0 1 0 808757768 28811264 4833 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7034 4833 1111 63 0 6971 0
vsize: 28136
[startup+580.028 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 4969 0 0 0 57982 22 0 0 25 0 1 0 808757768 28958720 4892 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7070 4892 1111 63 0 7007 0
vsize: 28280
[startup+590.029 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 5032 0 0 0 58982 22 0 0 25 0 1 0 808757768 29253632 4955 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7142 4955 1111 63 0 7079 0
vsize: 28568
[startup+600.03 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 5089 0 0 0 59982 22 0 0 25 0 1 0 808757768 29544448 5012 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7213 5012 1111 63 0 7150 0
vsize: 28852
[startup+610.03 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 5146 0 0 0 60982 22 0 0 25 0 1 0 808757768 29691904 5069 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7249 5069 1111 63 0 7186 0
vsize: 28996
[startup+620.031 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 5205 0 0 0 61982 22 0 0 25 0 1 0 808757768 29982720 5128 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7320 5128 1111 63 0 7257 0
vsize: 29280
[startup+630.032 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 5269 0 0 0 62983 22 0 0 25 0 1 0 808757768 30277632 5192 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7392 5192 1111 63 0 7329 0
vsize: 29568
[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 5326 0 0 0 63983 23 0 0 25 0 1 0 808757768 30425088 5249 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7428 5249 1111 63 0 7365 0
vsize: 29712
[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 5389 0 0 0 64983 23 0 0 25 0 1 0 808757768 30715904 5312 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7499 5312 1111 63 0 7436 0
vsize: 29996
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 5448 0 0 0 65983 23 0 0 25 0 1 0 808757768 31006720 5371 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7570 5371 1111 63 0 7507 0
vsize: 30280
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 5512 0 0 0 66983 23 0 0 25 0 1 0 808757768 31301632 5435 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7642 5435 1111 63 0 7579 0
vsize: 30568
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 5569 0 0 0 67983 23 0 0 25 0 1 0 808757768 31449088 5492 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7678 5492 1111 63 0 7615 0
vsize: 30712
[startup+690.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 5626 0 0 0 68983 23 0 0 25 0 1 0 808757768 31739904 5549 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7749 5549 1111 63 0 7686 0
vsize: 30996
[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 5682 0 0 0 69983 23 0 0 25 0 1 0 808757768 31883264 5605 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7784 5605 1111 63 0 7721 0
vsize: 31136
[startup+710.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 5741 0 0 0 70984 23 0 0 25 0 1 0 808757768 32182272 5664 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7857 5664 1111 63 0 7794 0
vsize: 31428
[startup+720.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 5804 0 0 0 71984 23 0 0 25 0 1 0 808757768 32473088 5727 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7928 5727 1111 63 0 7865 0
vsize: 31712
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 5868 0 0 0 72984 23 0 0 25 0 1 0 808757768 32763904 5791 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7999 5791 1111 63 0 7936 0
vsize: 31996
[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 5925 0 0 0 73984 23 0 0 25 0 1 0 808757768 32907264 5848 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8034 5848 1111 63 0 7971 0
vsize: 32136
[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 5984 0 0 0 74984 23 0 0 25 0 1 0 808757768 33206272 5907 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8107 5907 1111 63 0 8044 0
vsize: 32428
[startup+760.041 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 6058 0 0 0 75984 24 0 0 25 0 1 0 808757768 33533952 5981 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8187 5981 1111 63 0 8124 0
vsize: 32748
[startup+770.042 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 6122 0 0 0 76984 24 0 0 25 0 1 0 808757768 33824768 6045 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8258 6045 1111 63 0 8195 0
vsize: 33032
[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 6180 0 0 0 77984 24 0 0 25 0 1 0 808757768 33968128 6103 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8293 6103 1111 63 0 8230 0
vsize: 33172
[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 6245 0 0 0 78984 25 0 0 25 0 1 0 808757768 34267136 6168 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8366 6168 1111 63 0 8303 0
vsize: 33464
[startup+800.043 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 6302 0 0 0 79984 25 0 0 25 0 1 0 808757768 34557952 6225 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8437 6225 1111 63 0 8374 0
vsize: 33748
[startup+810.044 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 6366 0 0 0 80984 25 0 0 25 0 1 0 808757768 34848768 6289 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8508 6289 1111 63 0 8445 0
vsize: 34032
[startup+820.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 6424 0 0 0 81984 25 0 0 25 0 1 0 808757768 34992128 6347 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8543 6347 1111 63 0 8480 0
vsize: 34172
[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 6488 0 0 0 82984 25 0 0 25 0 1 0 808757768 35291136 6411 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8616 6411 1111 63 0 8553 0
vsize: 34464
[startup+840.045 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18241
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 6545 0 0 0 83984 25 0 0 25 0 1 0 808757768 35581952 6468 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8687 6468 1111 63 0 8624 0
vsize: 34748
[startup+850.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 6610 0 0 0 84984 25 0 0 25 0 1 0 808757768 35725312 6533 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8722 6533 1111 63 0 8659 0
vsize: 34888
[startup+860.046 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 6667 0 0 0 85984 25 0 0 25 0 1 0 808757768 36016128 6590 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8793 6590 1111 63 0 8730 0
vsize: 35172
[startup+870.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 6732 0 0 0 86985 25 0 0 25 0 1 0 808757768 36315136 6655 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8866 6655 1111 63 0 8803 0
vsize: 35464
[startup+880.047 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 6789 0 0 0 87985 26 0 0 25 0 1 0 808757768 36458496 6712 4294967295 134512640 134714508 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8901 6712 1111 63 0 8838 0
vsize: 35604
[startup+890.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 6846 0 0 0 88985 26 0 0 25 0 1 0 808757768 36749312 6769 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8972 6769 1111 63 0 8909 0
vsize: 35888
[startup+900.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 6911 0 0 0 89985 26 0 0 25 0 1 0 808757768 37040128 6834 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9043 6834 1111 63 0 8980 0
vsize: 36172
[startup+910.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 6969 0 0 0 90985 26 0 0 25 0 1 0 808757768 37191680 6892 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9080 6892 1111 63 0 9017 0
vsize: 36320
[startup+920.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 7033 0 0 0 91985 26 0 0 25 0 1 0 808757768 37482496 6956 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9151 6956 1111 63 0 9088 0
vsize: 36604
[startup+930.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 7090 0 0 0 92985 26 0 0 25 0 1 0 808757768 37773312 7013 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9222 7013 1111 63 0 9159 0
vsize: 36888
[startup+940.051 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 7148 0 0 0 93986 26 0 0 25 0 1 0 808757768 37916672 7071 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9257 7071 1111 63 0 9194 0
vsize: 37028
[startup+950.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 7205 0 0 0 94986 26 0 0 25 0 1 0 808757768 38215680 7128 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9330 7128 1111 63 0 9267 0
vsize: 37320
[startup+960.052 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 7262 0 0 0 95985 26 0 0 25 0 1 0 808757768 38506496 7185 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9401 7185 1111 63 0 9338 0
vsize: 37604
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 7319 0 0 0 96986 26 0 0 25 0 1 0 808757768 38649856 7242 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9436 7242 1111 63 0 9373 0
vsize: 37744
[startup+980.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 7377 0 0 0 97986 26 0 0 25 0 1 0 808757768 38940672 7300 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9507 7300 1111 63 0 9444 0
vsize: 38028
[startup+990.053 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 7442 0 0 0 98986 26 0 0 25 0 1 0 808757768 39239680 7365 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9580 7365 1111 63 0 9517 0
vsize: 38320
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 7499 0 0 0 99986 27 0 0 25 0 1 0 808757768 39383040 7422 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9615 7422 1111 63 0 9552 0
vsize: 38460
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 7563 0 0 0 100986 27 0 0 25 0 1 0 808757768 39673856 7486 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9686 7486 1111 63 0 9623 0
vsize: 38744
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 7620 0 0 0 101986 27 0 0 25 0 1 0 808757768 39964672 7543 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9757 7543 1111 63 0 9694 0
vsize: 39028
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 7678 0 0 0 102986 27 0 0 25 0 1 0 808757768 40116224 7601 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9794 7601 1111 63 0 9731 0
vsize: 39176
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 7742 0 0 0 103986 27 0 0 25 0 1 0 808757768 40407040 7665 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9865 7665 1111 63 0 9802 0
vsize: 39460
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 7799 0 0 0 104986 27 0 0 25 0 1 0 808757768 40697856 7722 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9936 7722 1111 63 0 9873 0
vsize: 39744
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 7863 0 0 0 105986 28 0 0 25 0 1 0 808757768 40845312 7786 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9972 7786 1111 63 0 9909 0
vsize: 39888
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 7928 0 0 0 106986 28 0 0 25 0 1 0 808757768 41140224 7851 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10044 7851 1111 63 0 9981 0
vsize: 40176
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 7992 0 0 0 107986 28 0 0 25 0 1 0 808757768 41431040 7915 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10115 7915 1111 63 0 10052 0
vsize: 40460
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 8057 0 0 0 108986 28 0 0 25 0 1 0 808757768 41721856 7980 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10186 7980 1111 63 0 10123 0
vsize: 40744
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 8114 0 0 0 109986 28 0 0 25 0 1 0 808757768 41869312 8037 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10222 8037 1111 63 0 10159 0
vsize: 40888
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 8172 0 0 0 110986 28 0 0 25 0 1 0 808757768 42164224 8095 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10294 8095 1111 63 0 10231 0
vsize: 41176
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 8236 0 0 0 111986 28 0 0 25 0 1 0 808757768 42455040 8159 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10365 8159 1111 63 0 10302 0
vsize: 41460
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 8294 0 0 0 112986 28 0 0 25 0 1 0 808757768 42602496 8217 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10401 8217 1111 63 0 10338 0
vsize: 41604
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 8357 0 0 0 113986 29 0 0 25 0 1 0 808757768 42893312 8280 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10472 8280 1111 63 0 10409 0
vsize: 41888
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 8416 0 0 0 114987 29 0 0 25 0 1 0 808757768 43188224 8339 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10544 8339 1111 63 0 10481 0
vsize: 42176
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 8473 0 0 0 115987 29 0 0 25 0 1 0 808757768 43335680 8396 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10580 8396 1111 63 0 10517 0
vsize: 42320
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 8536 0 0 0 116987 29 0 0 25 0 1 0 808757768 43626496 8459 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10651 8459 1111 63 0 10588 0
vsize: 42604
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 8601 0 0 0 117987 29 0 0 25 0 1 0 808757768 43917312 8524 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10722 8524 1111 63 0 10659 0
vsize: 42888
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 8660 0 0 0 118987 29 0 0 25 0 1 0 808757768 44212224 8583 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10794 8583 1111 63 0 10731 0
vsize: 43176
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 18243
Raw data (stat): 18186 (bsolo_lpr) R 18185 7876 7672 0 -1 0 8723 0 0 0 119987 29 0 0 25 0 1 0 808757768 44355584 8646 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10829 8646 1111 63 0 10766 0
vsize: 43316
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 18243
Raw data (stat): 18186 (bsolo_lpr) Z 18185 7876 7672 0 -1 1036 8723 0 0 0 119987 31 0 0 25 0 1 0 808757768 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.08
CPU time (s): 1200.19
CPU user time (s): 1199.88
CPU system time (s): 0.313952
CPU usage (%): 100.009
Max. virtual memory (Kb): 43316
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####