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/submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb
MD5SUM	9cfcc49797c7ac58bfef2056b3d91b66
Bench Category	optimization, small integers (OPTSMALLINT)
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	7500
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	7500
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	7500
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.065989
Number of variables	7500
Total number of constraints	237715
Number of constraints which are clauses	237715
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	15
Trace number 23797

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 23:25:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1180 boxname=wulflinc31 idbench=132 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  9cfcc49797c7ac58bfef2056b3d91b66  /oldhome/oroussel/tmp/wulflinc31/normalized-g250.15.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-g250.15.opb
IDLAUNCH: 1180
/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:        889808 kB
Buffers:         44852 kB
Cached:          77012 kB
SwapCached:        944 kB
Active:          96408 kB
Inactive:        27928 kB
HighTotal:      131008 kB
HighFree:        53060 kB
LowTotal:       903652 kB
LowFree:        836748 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:            1552 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14964 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 23:45:48 (client local time) WITH STATUS 0 IN 1200.51 SECONDS
stats: 1180 7 1200.51 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 7500 variables and 237715 constraints.
#### 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.93 0.98 0.99 2/54 7095
Raw data (stat): 7095 (runsolver) R 7094 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 661344363 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 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.0004 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 9159 0 0 0 964 30 0 0 25 0 1 0 661344363 50683904 9082 4294967295 134512640 134714508 3221221792 3221218412 1077253653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12374 9082 1111 63 0 12311 0
vsize: 49496
[startup+20.001 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 19599 0 0 0 1936 57 0 0 25 0 1 0 661344363 93409280 19522 4294967295 134512640 134714508 3221221792 3221218556 1077196290 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22805 19522 1111 63 0 22742 0
vsize: 91220
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 106410 0 0 0 2729 264 0 0 25 0 1 0 661344363 439123968 106315 4294967295 134512640 134714508 3221221792 3221220104 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 107208 106321 1111 63 0 107145 0
vsize: 428832
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 191132 0 0 0 3530 463 0 0 25 0 1 0 661344363 785989632 191018 4294967295 134512640 134714508 3221221792 3221220184 1077378304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191892 191018 1111 63 0 191829 0
vsize: 767568
[startup+50.0026 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 191680 0 0 0 4529 465 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220216 1077378064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 236157 0 0 0 5406 588 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220216 1077378064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 287403 0 0 0 6271 723 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220456 134606666 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 338847 0 0 0 7139 855 0 0 25 0 1 0 661344363 855908352 208081 4294967295 134512640 134714508 3221221792 3221220184 1077378310 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 208962 208081 1111 63 0 208899 0
vsize: 835848
[startup+90.0047 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 343020 0 0 0 8127 867 0 0 25 0 1 0 661344363 802643968 195084 4294967295 134512640 134714508 3221221792 3221220184 1077378310 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 195958 195084 1111 63 0 195895 0
vsize: 783832
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 362423 0 0 0 9077 917 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 389783 0 0 0 10005 989 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 431048 0 0 0 10897 1098 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 497511 0 0 0 11721 1274 0 0 25 0 1 0 661344363 804442112 195513 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 196397 195519 1111 63 0 196334 0
vsize: 785588
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 575669 0 0 0 12517 1479 0 0 25 0 1 0 661344363 870461440 211634 4294967295 134512640 134714508 3221221792 3221220184 1077378310 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 212515 211634 1111 63 0 212452 0
vsize: 850060
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 641465 0 0 0 13340 1656 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 708118 0 0 0 14159 1836 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 760665 0 0 0 15020 1976 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 806160 0 0 0 15900 2096 0 0 25 0 1 0 661344363 805646336 195779 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 196691 195785 1111 63 0 196628 0
vsize: 786764
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 852415 0 0 0 16778 2218 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 883302 0 0 0 17696 2300 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 883302 0 0 0 18696 2300 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 883302 0 0 0 19696 2300 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220184 134543609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 883302 0 0 0 20697 2300 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 883302 0 0 0 21697 2300 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220424 134558801 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 885313 0 0 0 22692 2305 0 0 25 0 1 0 661344363 793792512 192922 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 193833 192927 1111 63 0 193770 0
vsize: 775188
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 962281 0 0 0 23489 2509 0 0 25 0 1 0 661344363 799494144 194300 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 195189 194306 1111 63 0 195126 0
vsize: 780756
[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1048917 0 0 0 24262 2736 0 0 25 0 1 0 661344363 843902976 205141 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 206031 205144 1111 63 0 205968 0
vsize: 824124
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1135513 0 0 0 25037 2961 0 0 25 0 1 0 661344363 887414784 215744 4294967295 134512640 134714508 3221221792 3221220188 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 216654 215752 1111 63 0 216591 0
vsize: 866616
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1212356 0 0 0 25828 3170 0 0 25 0 1 0 661344363 889815040 216367 4294967295 134512640 134714508 3221221792 3221220184 1077378310 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 217240 216367 1111 63 0 217177 0
vsize: 868960
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1263334 0 0 0 26691 3307 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220184 1077377495 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1263334 0 0 0 27691 3307 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1269473 0 0 0 28676 3323 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1281919 0 0 0 29647 3351 0 0 25 0 1 0 661344363 794243072 193004 4294967295 134512640 134714508 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 193907 193004 1111 63 0 193844 0
vsize: 775628
[startup+340.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1292514 0 0 0 30620 3379 0 0 25 0 1 0 661344363 794390528 193040 4294967295 134512640 134714508 3221221792 3221220264 1077377771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 193943 193040 1111 63 0 193880 0
vsize: 775772
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 31614 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 32614 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 33614 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 34614 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220372 134587950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 35614 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 36615 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220208 134542680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 37615 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 38615 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 39615 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 40615 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 41615 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+460.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 42616 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 43616 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+480.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 44616 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+490.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 45616 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 46616 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+510.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 47616 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 48617 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 49617 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+540.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 50617 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220520 134672911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+550.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 51617 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+560.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 52617 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+570.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 53617 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+580.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 54618 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+590.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 55618 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220156 134539306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+600.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 56618 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220284 134543616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+610.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 57618 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+620.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 58618 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134542300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+630.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 59619 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220424 134664881 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+640.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 60619 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134539362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+650.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 61619 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+660.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 62619 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+670.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 63619 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220304 134542865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+680.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 64619 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+690.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 65620 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220156 134539223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+700.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 66620 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220156 134539301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+710.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 67620 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+720.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 68620 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+730.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 69620 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 70621 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+750.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 71621 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+760.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 72621 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+770.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 73621 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+780.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 74621 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220156 134539296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+790.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 75622 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+800.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 76622 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220416 134594954 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+810.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 77622 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+820.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 78622 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+830.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 79622 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+840.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 80622 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220416 134529232 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+850.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 81622 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220416 134594954 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+860.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 82623 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+870.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 83622 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220200 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+880.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 84623 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+890.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 85623 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220304 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+900.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 86623 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+910.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 87623 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+920.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 88624 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134543070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+930.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 89624 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+940.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 90624 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220184 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+950.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 91624 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+960.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 92624 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+970.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 93624 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+980.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 94625 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+990.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 95625 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 96625 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 97625 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220156 134539217 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 98626 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 99626 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 100626 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 101626 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 102626 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 103626 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 104627 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 105627 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220408 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 106627 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220336 134538795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 107627 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220156 134539301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 108627 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220156 134539296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 109627 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 110628 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 111628 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 112628 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 113628 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 114628 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 115628 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220184 134543589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7095
Raw data (stat): 7095 (bsolo_lpr) R 7094 7876 7672 0 -1 0 1294804 0 0 0 116629 3386 0 0 25 0 1 0 661344363 785539072 190911 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 191782 190911 1111 63 0 191719 0
vsize: 767128
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.4 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 7095
Raw data (stat): 7095 (bsolo_lpr) Z 7094 7876 7672 0 -1 1036 1294804 0 0 0 116629 3422 0 0 25 0 1 0 661344363 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.4
CPU time (s): 1200.51
CPU user time (s): 1166.29
CPU system time (s): 34.2208
CPU usage (%): 100.01
Max. virtual memory (Kb): 868960
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####