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/een/normalized-mitre.opb
MD5SUM	a32373ce42835aed9464b28f5a9ed13c
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8818
Optimality of the best value was proved	NO
Number of terms in the objective function	9324
Biggest coefficient in the objective function	213
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	909647
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	1069
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	909647
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.18
Number of variables	10724
Total number of constraints	2045
Number of constraints which are clauses	523
Number of constraints which are cardinality constraints (but not clauses)	1139
Number of constraints which are nor clauses,nor cardinality constraints	383
Minimum length of a constraint	3
Maximum length of a constraint	98
Trace number 25112

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 20:30:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5123 boxname=wulflinc31 idbench=395 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  a32373ce42835aed9464b28f5a9ed13c  /oldhome/oroussel/tmp/wulflinc31/normalized-mitre.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mitre.opb
IDLAUNCH: 5123
/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:        765884 kB
Buffers:         51628 kB
Cached:         187344 kB
SwapCached:       1952 kB
Active:         202376 kB
Inactive:        45532 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        765632 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            15244 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 20:50:09 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 5123 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10724 variables and 2045 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.95 1.07 1.03 2/55 17331
Raw data (stat): 17331 (runsolver) R 17330 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 763982287 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99967 s]
Raw data (loadavg): 0.96 1.07 1.02 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 6100 0 0 0 978 17 0 0 25 0 1 0 763982287 20975616 4222 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5121 4222 1111 63 0 5058 0
vsize: 20484
[startup+20.0006 s]
Raw data (loadavg): 0.97 1.06 1.02 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 11550 0 0 0 1961 34 0 0 25 0 1 0 763982287 25567232 5344 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6242 5344 1111 63 0 6179 0
vsize: 24968
[startup+30.0005 s]
Raw data (loadavg): 0.97 1.06 1.02 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 14282 0 0 0 2953 42 0 0 25 0 1 0 763982287 28700672 6109 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7007 6109 1111 63 0 6944 0
vsize: 28028
[startup+40.0004 s]
Raw data (loadavg): 0.97 1.06 1.02 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 16876 0 0 0 3945 50 0 0 25 0 1 0 763982287 34578432 7543 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8442 7543 1111 63 0 8379 0
vsize: 33768
[startup+50.0018 s]
Raw data (loadavg): 0.98 1.06 1.02 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 17545 0 0 0 4943 52 0 0 25 0 1 0 763982287 36208640 7942 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8840 7942 1111 63 0 8777 0
vsize: 35360
[startup+60.0013 s]
Raw data (loadavg): 0.98 1.05 1.02 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 18839 0 0 0 5939 56 0 0 25 0 1 0 763982287 37883904 8351 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9249 8351 1111 63 0 9186 0
vsize: 36996
[startup+70.0023 s]
Raw data (loadavg): 0.98 1.05 1.02 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 19788 0 0 0 6936 60 0 0 25 0 1 0 763982287 39297024 8696 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9594 8696 1111 63 0 9531 0
vsize: 38376
[startup+80.0022 s]
Raw data (loadavg): 0.98 1.05 1.02 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 21339 0 0 0 7931 65 0 0 25 0 1 0 763982287 40198144 8916 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9814 8916 1111 63 0 9751 0
vsize: 39256
[startup+90.0021 s]
Raw data (loadavg): 0.99 1.05 1.02 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 22913 0 0 0 8926 70 0 0 25 0 1 0 763982287 41402368 9210 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10108 9210 1111 63 0 10045 0
vsize: 40432
[startup+100.002 s]
Raw data (loadavg): 0.99 1.05 1.02 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 24688 0 0 0 9921 75 0 0 25 0 1 0 763982287 42557440 9492 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10390 9492 1111 63 0 10327 0
vsize: 41560
[startup+110.002 s]
Raw data (loadavg): 0.99 1.04 1.02 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 25988 0 0 0 10917 79 0 0 25 0 1 0 763982287 43159552 9639 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10537 9639 1111 63 0 10474 0
vsize: 42148
[startup+120.003 s]
Raw data (loadavg): 0.99 1.04 1.01 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 26982 0 0 0 11914 82 0 0 25 0 1 0 763982287 44322816 9923 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10821 9923 1111 63 0 10758 0
vsize: 43284
[startup+130.003 s]
Raw data (loadavg): 0.99 1.04 1.01 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 28162 0 0 0 12911 86 0 0 25 0 1 0 763982287 45223936 10143 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11041 10143 1111 63 0 10978 0
vsize: 44164
[startup+140.003 s]
Raw data (loadavg): 0.99 1.04 1.01 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 30031 0 0 0 13906 91 0 0 25 0 1 0 763982287 51490816 11672 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12571 11672 1111 63 0 12508 0
vsize: 50284
[startup+150.004 s]
Raw data (loadavg): 0.99 1.04 1.01 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 30135 0 0 0 14905 92 0 0 25 0 1 0 763982287 51789824 11746 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12644 11746 1111 63 0 12581 0
vsize: 50576
[startup+160.004 s]
Raw data (loadavg): 0.99 1.03 1.01 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 30301 0 0 0 15905 92 0 0 25 0 1 0 763982287 52346880 11882 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12780 11882 1111 63 0 12717 0
vsize: 51120
[startup+170.004 s]
Raw data (loadavg): 0.99 1.03 1.01 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 30301 0 0 0 16905 93 0 0 25 0 1 0 763982287 52346880 11882 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12780 11882 1111 63 0 12717 0
vsize: 51120
[startup+180.003 s]
Raw data (loadavg): 0.99 1.03 1.01 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 31812 0 0 0 17900 97 0 0 25 0 1 0 763982287 53678080 12206 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13105 12206 1111 63 0 13042 0
vsize: 52420
[startup+190.004 s]
Raw data (loadavg): 0.99 1.03 1.01 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 32392 0 0 0 18899 99 0 0 25 0 1 0 763982287 54538240 12416 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13315 12416 1111 63 0 13252 0
vsize: 53260
[startup+200.004 s]
Raw data (loadavg): 0.99 1.03 1.01 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 32581 0 0 0 19898 100 0 0 25 0 1 0 763982287 55308288 12605 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13503 12605 1111 63 0 13440 0
vsize: 54012
[startup+210.004 s]
Raw data (loadavg): 0.99 1.03 1.01 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 32780 0 0 0 20897 101 0 0 25 0 1 0 763982287 56123392 12804 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13702 12804 1111 63 0 13639 0
vsize: 54808
[startup+220.005 s]
Raw data (loadavg): 0.99 1.03 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 34029 0 0 0 21894 104 0 0 25 0 1 0 763982287 56983552 13013 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13912 13013 1111 63 0 13849 0
vsize: 55648
[startup+230.006 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 34943 0 0 0 22891 107 0 0 25 0 1 0 763982287 57368576 13107 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14006 13107 1111 63 0 13943 0
vsize: 56024
[startup+240.006 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 35182 0 0 0 23890 108 0 0 25 0 1 0 763982287 58138624 13296 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14194 13296 1111 63 0 14131 0
vsize: 56776
[startup+250.006 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 36293 0 0 0 24887 111 0 0 25 0 1 0 763982287 58998784 13505 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14404 13505 1111 63 0 14341 0
vsize: 57616
[startup+260.006 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 36887 0 0 0 25886 113 0 0 25 0 1 0 763982287 61100032 14019 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14917 14019 1111 63 0 14854 0
vsize: 59668
[startup+270.006 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 37865 0 0 0 26884 115 0 0 25 0 1 0 763982287 61100032 14019 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14917 14019 1111 63 0 14854 0
vsize: 59668
[startup+280.006 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 38866 0 0 0 27881 118 0 0 25 0 1 0 763982287 61743104 14176 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15074 14176 1111 63 0 15011 0
vsize: 60296
[startup+290.007 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 39705 0 0 0 28879 121 0 0 25 0 1 0 763982287 64405504 14825 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15724 14825 1111 63 0 15661 0
vsize: 62896
[startup+300.007 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 39705 0 0 0 29878 121 0 0 25 0 1 0 763982287 64405504 14825 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15724 14825 1111 63 0 15661 0
vsize: 62896
[startup+310.007 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 39705 0 0 0 30878 122 0 0 25 0 1 0 763982287 64405504 14825 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15724 14825 1111 63 0 15661 0
vsize: 62896
[startup+320.007 s]
Raw data (loadavg): 0.99 1.02 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 40410 0 0 0 31876 124 0 0 25 0 1 0 763982287 65396736 15068 4294967295 134512640 134714508 3221221792 3221220372 1077374508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15966 15068 1111 63 0 15903 0
vsize: 63864
[startup+330.007 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 40553 0 0 0 32875 125 0 0 25 0 1 0 763982287 65699840 15141 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16040 15141 1111 63 0 15977 0
vsize: 64160
[startup+340.007 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 41066 0 0 0 33873 127 0 0 25 0 1 0 763982287 66211840 15267 4294967295 134512640 134714508 3221221792 3221220464 134606809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16165 15267 1111 63 0 16102 0
vsize: 64660
[startup+350.008 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 41770 0 0 0 34871 129 0 0 25 0 1 0 763982287 68358144 15791 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16689 15791 1111 63 0 16626 0
vsize: 66756
[startup+360.008 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 42453 0 0 0 35868 132 0 0 25 0 1 0 763982287 68616192 15854 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16752 15854 1111 63 0 16689 0
vsize: 67008
[startup+370.008 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 43290 0 0 0 36866 135 0 0 25 0 1 0 763982287 69259264 16011 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16909 16011 1111 63 0 16846 0
vsize: 67636
[startup+380.008 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 43489 0 0 0 37865 135 0 0 25 0 1 0 763982287 70074368 16210 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17108 16210 1111 63 0 17045 0
vsize: 68432
[startup+390.008 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 43802 0 0 0 38864 137 0 0 25 0 1 0 763982287 70332416 16273 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17171 16273 1111 63 0 17108 0
vsize: 68684
[startup+400.009 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 44939 0 0 0 39860 140 0 0 25 0 1 0 763982287 70934528 16420 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17318 16420 1111 63 0 17255 0
vsize: 69272
[startup+410.009 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 45382 0 0 0 40859 142 0 0 25 0 1 0 763982287 71233536 16493 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17391 16493 1111 63 0 17328 0
vsize: 69564
[startup+420.01 s]
Raw data (loadavg): 0.99 1.01 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 46738 0 0 0 41855 146 0 0 25 0 1 0 763982287 73420800 17027 4294967295 134512640 134714508 3221221792 3221220448 134606273 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17925 17027 1111 63 0 17862 0
vsize: 71700
[startup+430.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 46926 0 0 0 42854 147 0 0 25 0 1 0 763982287 74194944 17215 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18114 17215 1111 63 0 18051 0
vsize: 72456
[startup+440.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 47400 0 0 0 43853 149 0 0 25 0 1 0 763982287 74452992 17279 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18177 17279 1111 63 0 18114 0
vsize: 72708
[startup+450.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 48306 0 0 0 44850 152 0 0 25 0 1 0 763982287 75051008 17425 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18323 17425 1111 63 0 18260 0
vsize: 73292
[startup+460.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 48710 0 0 0 45848 154 0 0 25 0 1 0 763982287 75354112 17499 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18397 17499 1111 63 0 18334 0
vsize: 73588
[startup+470.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 49813 0 0 0 46845 157 0 0 25 0 1 0 763982287 75997184 17655 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18554 17655 1111 63 0 18491 0
vsize: 74216
[startup+480.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 50148 0 0 0 47844 158 0 0 25 0 1 0 763982287 77328384 17980 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18879 17980 1111 63 0 18816 0
vsize: 75516
[startup+490.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 50354 0 0 0 48843 159 0 0 25 0 1 0 763982287 77885440 18116 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19015 18116 1111 63 0 18952 0
vsize: 76060
[startup+500.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 50869 0 0 0 49841 161 0 0 25 0 1 0 763982287 79171584 18431 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19329 18431 1111 63 0 19266 0
vsize: 77316
[startup+510.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 51675 0 0 0 50838 165 0 0 25 0 1 0 763982287 79773696 18577 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19476 18577 1111 63 0 19413 0
vsize: 77904
[startup+520.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 51811 0 0 0 51837 166 0 0 25 0 1 0 763982287 80330752 18713 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19612 18713 1111 63 0 19549 0
vsize: 78448
[startup+530.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 51925 0 0 0 52837 166 0 0 25 0 1 0 763982287 80588800 18777 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19675 18777 1111 63 0 19612 0
vsize: 78700
[startup+540.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 52921 0 0 0 53834 170 0 0 25 0 1 0 763982287 82989056 19363 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20261 19363 1111 63 0 20198 0
vsize: 81044
[startup+550.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 53077 0 0 0 54833 170 0 0 25 0 1 0 763982287 83505152 19489 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20387 19489 1111 63 0 20324 0
vsize: 81548
[startup+560.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 53857 0 0 0 55830 174 0 0 25 0 1 0 763982287 83505152 19489 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20387 19489 1111 63 0 20324 0
vsize: 81548
[startup+570.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 54223 0 0 0 56829 175 0 0 25 0 1 0 763982287 84107264 19635 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20534 19635 1111 63 0 20471 0
vsize: 82136
[startup+580.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 54652 0 0 0 57828 176 0 0 25 0 1 0 763982287 84922368 19834 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20733 19834 1111 63 0 20670 0
vsize: 82932
[startup+590.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 54885 0 0 0 58828 177 0 0 25 0 1 0 763982287 85225472 19908 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20807 19908 1111 63 0 20744 0
vsize: 83228
[startup+600.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 55553 0 0 0 59825 179 0 0 25 0 1 0 763982287 85225472 19909 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20807 19909 1111 63 0 20744 0
vsize: 83228
[startup+610.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 55892 0 0 0 60824 180 0 0 25 0 1 0 763982287 86126592 20128 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21027 20128 1111 63 0 20964 0
vsize: 84108
[startup+620.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 56037 0 0 0 61824 181 0 0 25 0 1 0 763982287 86126592 20129 4294967295 134512640 134714508 3221221792 3221220464 134607132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21027 20129 1111 63 0 20964 0
vsize: 84108
[startup+630.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 56512 0 0 0 62822 183 0 0 25 0 1 0 763982287 86724608 20275 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21173 20275 1111 63 0 21110 0
vsize: 84692
[startup+640.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 56685 0 0 0 63821 184 0 0 25 0 1 0 763982287 86982656 20338 4294967295 134512640 134714508 3221221792 3221220404 134557788 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21236 20338 1111 63 0 21173 0
vsize: 84944
[startup+650.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 57618 0 0 0 64818 187 0 0 25 0 1 0 763982287 87326720 20421 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21320 20421 1111 63 0 21257 0
vsize: 85280
[startup+660.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 57742 0 0 0 65817 188 0 0 25 0 1 0 763982287 87584768 20485 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21383 20485 1111 63 0 21320 0
vsize: 85532
[startup+670.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 58328 0 0 0 66815 190 0 0 25 0 1 0 763982287 88182784 20631 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21529 20631 1111 63 0 21466 0
vsize: 86116
[startup+680.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 58516 0 0 0 67815 191 0 0 25 0 1 0 763982287 88956928 20819 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21718 20819 1111 63 0 21655 0
vsize: 86872
[startup+690.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 58730 0 0 0 68814 192 0 0 25 0 1 0 763982287 89255936 20893 4294967295 134512640 134714508 3221221792 3221220432 134555029 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21791 20893 1111 63 0 21728 0
vsize: 87164
[startup+700.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 58890 0 0 0 69814 193 0 0 25 0 1 0 763982287 89255936 20893 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21791 20893 1111 63 0 21728 0
vsize: 87164
[startup+710.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 59734 0 0 0 70811 195 0 0 25 0 1 0 763982287 89255936 20893 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21791 20893 1111 63 0 21728 0
vsize: 87164
[startup+720.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 60164 0 0 0 71810 197 0 0 25 0 1 0 763982287 89899008 21050 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21948 21050 1111 63 0 21885 0
vsize: 87792
[startup+730.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 60277 0 0 0 72809 198 0 0 25 0 1 0 763982287 90202112 21123 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22022 21123 1111 63 0 21959 0
vsize: 88088
[startup+740.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 60466 0 0 0 73808 198 0 0 25 0 1 0 763982287 90972160 21312 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22210 21312 1111 63 0 22147 0
vsize: 88840
[startup+750.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 61545 0 0 0 74806 201 0 0 25 0 1 0 763982287 95391744 22391 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23289 22391 1111 63 0 23226 0
vsize: 93156
[startup+760.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 61831 0 0 0 75805 202 0 0 25 0 1 0 763982287 95907840 22517 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23415 22517 1111 63 0 23352 0
vsize: 93660
[startup+770.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 62185 0 0 0 76804 204 0 0 25 0 1 0 763982287 97239040 22841 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23740 22841 1111 63 0 23677 0
vsize: 94960
[startup+780.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 62197 0 0 0 77803 205 0 0 25 0 1 0 763982287 97374208 22853 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23773 22853 1111 63 0 23710 0
vsize: 95092
[startup+790.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 62271 0 0 0 78803 205 0 0 25 0 1 0 763982287 97587200 22927 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23825 22927 1111 63 0 23762 0
vsize: 95300
[startup+800.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 62396 0 0 0 79802 206 0 0 25 0 1 0 763982287 98103296 23052 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23951 23052 1111 63 0 23888 0
vsize: 95804
[startup+810.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 62817 0 0 0 80801 207 0 0 25 0 1 0 763982287 98103296 23053 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23951 23053 1111 63 0 23888 0
vsize: 95804
[startup+820.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 63166 0 0 0 81799 209 0 0 25 0 1 0 763982287 98959360 23262 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24160 23262 1111 63 0 24097 0
vsize: 96640
[startup+830.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 63166 0 0 0 82799 209 0 0 25 0 1 0 763982287 98959360 23262 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24160 23262 1111 63 0 24097 0
vsize: 96640
[startup+840.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 63488 0 0 0 83799 210 0 0 25 0 1 0 763982287 100032512 23524 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24422 23524 1111 63 0 24359 0
vsize: 97688
[startup+850.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 63488 0 0 0 84799 211 0 0 25 0 1 0 763982287 100032512 23524 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24422 23524 1111 63 0 24359 0
vsize: 97688
[startup+860.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 63624 0 0 0 85798 211 0 0 25 0 1 0 763982287 100589568 23660 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24558 23660 1111 63 0 24495 0
vsize: 98232
[startup+870.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 63760 0 0 0 86798 211 0 0 25 0 1 0 763982287 101150720 23796 4294967295 134512640 134714508 3221221792 3221220528 134618275 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24695 23796 1111 63 0 24632 0
vsize: 98780
[startup+880.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 63886 0 0 0 87798 211 0 0 25 0 1 0 763982287 101662720 23922 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24820 23922 1111 63 0 24757 0
vsize: 99280
[startup+890.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 63959 0 0 0 88798 212 0 0 25 0 1 0 763982287 101965824 23995 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24894 23995 1111 63 0 24831 0
vsize: 99576
[startup+900.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 64085 0 0 0 89798 212 0 0 25 0 1 0 763982287 102477824 24121 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25019 24121 1111 63 0 24956 0
vsize: 100076
[startup+910.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 65415 0 0 0 90796 214 0 0 25 0 1 0 763982287 107929600 25451 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26350 25451 1111 63 0 26287 0
vsize: 105400
[startup+920.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 65478 0 0 0 91796 215 0 0 25 0 1 0 763982287 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26413 25514 1111 63 0 26350 0
vsize: 105652
[startup+930.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 65478 0 0 0 92795 215 0 0 25 0 1 0 763982287 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26413 25514 1111 63 0 26350 0
vsize: 105652
[startup+940.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 65478 0 0 0 93795 215 0 0 25 0 1 0 763982287 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26413 25514 1111 63 0 26350 0
vsize: 105652
[startup+950.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 65478 0 0 0 94796 216 0 0 25 0 1 0 763982287 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26413 25514 1111 63 0 26350 0
vsize: 105652
[startup+960.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 65478 0 0 0 95796 216 0 0 25 0 1 0 763982287 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26413 25514 1111 63 0 26350 0
vsize: 105652
[startup+970.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 65478 0 0 0 96796 216 0 0 25 0 1 0 763982287 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26413 25514 1111 63 0 26350 0
vsize: 105652
[startup+980.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 65478 0 0 0 97796 216 0 0 25 0 1 0 763982287 108187648 25514 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26413 25514 1111 63 0 26350 0
vsize: 105652
[startup+990.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 66797 0 0 0 98792 220 0 0 25 0 1 0 763982287 108187648 25515 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26413 25515 1111 63 0 26350 0
vsize: 105652
[startup+1000.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 67351 0 0 0 99791 221 0 0 25 0 1 0 763982287 109215744 25765 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26664 25765 1111 63 0 26601 0
vsize: 106656
[startup+1010.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 67362 0 0 0 100791 221 0 0 25 0 1 0 763982287 109215744 25766 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26664 25766 1111 63 0 26601 0
vsize: 106656
[startup+1020.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 67362 0 0 0 101791 221 0 0 25 0 1 0 763982287 109215744 25766 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26664 25766 1111 63 0 26601 0
vsize: 106656
[startup+1030.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 67545 0 0 0 102791 222 0 0 25 0 1 0 763982287 109559808 25849 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26748 25849 1111 63 0 26685 0
vsize: 106992
[startup+1040.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 67846 0 0 0 103790 223 0 0 25 0 1 0 763982287 109559808 25850 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26748 25850 1111 63 0 26685 0
vsize: 106992
[startup+1050.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 68079 0 0 0 104789 224 0 0 25 0 1 0 763982287 109903872 25933 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26832 25933 1111 63 0 26769 0
vsize: 107328
[startup+1060.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 68215 0 0 0 105789 224 0 0 25 0 1 0 763982287 110460928 26069 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26968 26069 1111 63 0 26905 0
vsize: 107872
[startup+1070.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 68278 0 0 0 106789 224 0 0 25 0 1 0 763982287 110718976 26132 4294967295 134512640 134714508 3221221792 3221220480 134606735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27031 26132 1111 63 0 26968 0
vsize: 108124
[startup+1080.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 68451 0 0 0 107788 225 0 0 25 0 1 0 763982287 110972928 26195 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27093 26195 1111 63 0 27030 0
vsize: 108372
[startup+1090.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 69528 0 0 0 108785 228 0 0 25 0 1 0 763982287 111833088 26382 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27303 26388 1111 63 0 27240 0
vsize: 109212
[startup+1100.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 70100 0 0 0 109784 230 0 0 25 0 1 0 763982287 113164288 26729 4294967295 134512640 134714508 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27628 26729 1111 63 0 27565 0
vsize: 110512
[startup+1110.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 70100 0 0 0 110784 230 0 0 25 0 1 0 763982287 113164288 26729 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27628 26729 1111 63 0 27565 0
vsize: 110512
[startup+1120.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 70291 0 0 0 111784 230 0 0 25 0 1 0 763982287 113164288 26730 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27628 26730 1111 63 0 27565 0
vsize: 110512
[startup+1130.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 71071 0 0 0 112782 232 0 0 25 0 1 0 763982287 113164288 26730 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27628 26730 1111 63 0 27565 0
vsize: 110512
[startup+1140.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 71377 0 0 0 113781 233 0 0 25 0 1 0 763982287 113762304 26876 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27774 26876 1111 63 0 27711 0
vsize: 111096
[startup+1150.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 71656 0 0 0 114781 234 0 0 25 0 1 0 763982287 114536448 27065 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27963 27065 1111 63 0 27900 0
vsize: 111852
[startup+1160.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 72156 0 0 0 115779 235 0 0 25 0 1 0 763982287 114536448 27065 4294967295 134512640 134714508 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27963 27065 1111 63 0 27900 0
vsize: 111852
[startup+1170.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 72805 0 0 0 116778 237 0 0 25 0 1 0 763982287 115392512 27274 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28172 27274 1111 63 0 28109 0
vsize: 112688
[startup+1180.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 72878 0 0 0 117778 237 0 0 25 0 1 0 763982287 115695616 27347 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28246 27347 1111 63 0 28183 0
vsize: 112984
[startup+1190.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 73169 0 0 0 118777 238 0 0 25 0 1 0 763982287 115695616 27348 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28246 27348 1111 63 0 28183 0
vsize: 112984
[startup+1200.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 17331
Raw data (stat): 17331 (bsolo_lpr) R 17330 7876 7672 0 -1 0 74005 0 0 0 119775 240 0 0 25 0 1 0 763982287 116338688 27504 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28403 27504 1111 63 0 28340 0
vsize: 113612
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 1.00 1.00 1/55 17331
Raw data (stat): 17331 (bsolo_lpr) Z 17330 7876 7672 0 -1 1036 74005 0 0 0 119775 245 0 0 25 0 1 0 763982287 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.09
CPU time (s): 1200.22
CPU user time (s): 1197.76
CPU system time (s): 2.45863
CPU usage (%): 100.011
Max. virtual memory (Kb): 113612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####