PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B1C1S1.opb
MD5SUM	ab580cd45d19f5d6d605ce2c4dabd375
Bench Category	optimization, medium integers (OPTMEDINT)
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	25888
Biggest coefficient in the objective function	340787200
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	293013913600
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	340787200
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	293013913600
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.6499
Number of variables	71968
Total number of constraints	4192
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	288
Number of constraints which are nor clauses,nor cardinality constraints	3904
Minimum length of a constraint	1
Maximum length of a constraint	960
Trace number 25225

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 20:02:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19891 boxname=wulflinc31 idbench=1531 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  ab580cd45d19f5d6d605ce2c4dabd375  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-B1C1S1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-B1C1S1.opb
IDLAUNCH: 19891
/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:        839276 kB
Buffers:         29452 kB
Cached:         140840 kB
SwapCached:       2836 kB
Active:          80520 kB
Inactive:        94916 kB
HighTotal:      131008 kB
HighFree:         1512 kB
LowTotal:       903652 kB
LowFree:        837764 kB
SwapTotal:     2097892 kB
SwapFree:      2094220 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14068 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 20:22:39 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 19891 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 71968 variables and 5184 constraints.
c After prepocess the problem consists of 52268 variables and 5860 constraints.
c preprocess terminated 282.59 s
#### 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.86 0.97 0.99 1/55 29535
Raw data (stat): 29535 (runsolver) D 29534 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 18 0 1 0 772458268 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.88 0.97 0.99 2/55 29535
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1771 0 0 0 988 7 0 0 25 0 1 0 772458268 19890176 1694 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4856 1694 1111 63 0 4793 0
vsize: 19424
[startup+20.0019 s]
Raw data (loadavg): 0.90 0.97 0.99 2/55 29535
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 3052 0 0 0 1986 9 0 0 25 0 1 0 772458268 25108480 2975 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6130 2975 1111 63 0 6067 0
vsize: 24520
[startup+30.0028 s]
Raw data (loadavg): 0.91 0.97 0.99 2/55 29535
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 4377 0 0 0 2984 11 0 0 25 0 1 0 772458268 30629888 4300 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7478 4300 1111 63 0 7415 0
vsize: 29912
[startup+40.0037 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 29535
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 5766 0 0 0 3980 15 0 0 25 0 1 0 772458268 36282368 5689 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8858 5689 1111 63 0 8795 0
vsize: 35432
[startup+50.0048 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 29535
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 7270 0 0 0 4977 18 0 0 25 0 1 0 772458268 42504192 7193 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10377 7193 1111 63 0 10314 0
vsize: 41508
[startup+60.0045 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 29535
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 8762 0 0 0 5973 22 0 0 25 0 1 0 772458268 48574464 8685 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11859 8685 1111 63 0 11796 0
vsize: 47436
[startup+70.0054 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 29535
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 10367 0 0 0 6970 26 0 0 25 0 1 0 772458268 55074816 10290 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13446 10290 1111 63 0 13383 0
vsize: 53784
[startup+80.0064 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 29535
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 12042 0 0 0 7965 30 0 0 25 0 1 0 772458268 62066688 11965 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15153 11965 1111 63 0 15090 0
vsize: 60612
[startup+90.0072 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 29535
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 13853 0 0 0 8962 34 0 0 25 0 1 0 772458268 69410816 13776 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16946 13776 1111 63 0 16883 0
vsize: 67784
[startup+100.008 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 29535
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 15658 0 0 0 9958 38 0 0 25 0 1 0 772458268 76898304 15581 4294967295 134512640 134714508 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18774 15581 1111 63 0 18711 0
vsize: 75096
[startup+110.009 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 29535
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 17684 0 0 0 10954 42 0 0 25 0 1 0 772458268 85082112 17607 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20772 17607 1111 63 0 20709 0
vsize: 83088
[startup+120.011 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 29535
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 39131 0 0 0 11908 88 0 0 25 0 1 0 772458268 172937216 39054 4294967295 134512640 134714508 3221221776 3221220228 1076648088 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42221 39054 1111 63 0 42158 0
vsize: 168884
[startup+130.011 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 29535
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 45557 0 0 0 12892 104 0 0 25 0 1 0 772458268 198426624 45269 4294967295 134512640 134714508 3221221776 3221220080 134567410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48444 45269 1111 63 0 48381 0
vsize: 193776
[startup+140.012 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 29535
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 64353 0 0 0 13852 144 0 0 25 0 1 0 772458268 267206656 63799 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65236 63799 1111 63 0 65173 0
vsize: 260944
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29535
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 64411 0 0 0 14852 145 0 0 25 0 1 0 772458268 267476992 63857 4294967295 134512640 134714508 3221221776 3221220504 134672897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65302 63857 1111 63 0 65239 0
vsize: 261208
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29535
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 72937 0 0 0 15832 165 0 0 25 0 1 0 772458268 273612800 65354 4294967295 134512640 134714508 3221221776 3221220504 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66800 65354 1111 63 0 66737 0
vsize: 267200
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 73017 0 0 0 16832 165 0 0 25 0 1 0 772458268 273883136 65434 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66866 65434 1111 63 0 66803 0
vsize: 267464
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 73057 0 0 0 17831 166 0 0 25 0 1 0 772458268 274018304 65474 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66899 65474 1111 63 0 66836 0
vsize: 267596
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 121592 0 0 0 18722 275 0 0 25 0 1 0 772458268 275025920 65659 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67145 65659 1111 63 0 67082 0
vsize: 268580
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 268487 0 0 0 19388 609 0 0 25 0 1 0 772458268 276901888 66009 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67603 66009 1111 63 0 67540 0
vsize: 270412
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 408831 0 0 0 20051 946 0 0 25 0 1 0 772458268 274419712 65560 4294967295 134512640 134714508 3221221776 3221220576 134617624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66997 65560 1111 63 0 66934 0
vsize: 267988
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 489181 0 0 0 20875 1122 0 0 25 0 1 0 772458268 274554880 65609 4294967295 134512640 134714508 3221221776 3221220576 134617624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67030 65609 1111 63 0 66967 0
vsize: 268120
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 509560 0 0 0 21828 1169 0 0 25 0 1 0 772458268 275120128 65753 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+240.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 509560 0 0 0 22828 1169 0 0 25 0 1 0 772458268 275120128 65753 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+250.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 509560 0 0 0 23828 1170 0 0 25 0 1 0 772458268 275120128 65753 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+260.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 509560 0 0 0 24828 1170 0 0 25 0 1 0 772458268 275120128 65753 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 509560 0 0 0 25827 1170 0 0 25 0 1 0 772458268 275120128 65753 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+280.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 509560 0 0 0 26827 1170 0 0 25 0 1 0 772458268 275120128 65753 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67168 65753 1111 63 0 67105 0
vsize: 268672
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 612723 0 0 0 27597 1400 0 0 25 0 1 0 772458268 290537472 69308 4294967295 134512640 134714508 3221221776 3221220080 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70932 69308 1111 63 0 70869 0
vsize: 283728
[startup+300.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 737991 0 0 0 28308 1689 0 0 25 0 1 0 772458268 290582528 69335 4294967295 134512640 134714508 3221221776 3221219880 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70943 69335 1111 63 0 70880 0
vsize: 283772
[startup+310.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 855652 0 0 0 29039 1958 0 0 25 0 1 0 772458268 290992128 69422 4294967295 134512640 134714508 3221221776 3221219856 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71043 69422 1111 63 0 70980 0
vsize: 284172
[startup+320.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 962926 0 0 0 29787 2211 0 0 25 0 1 0 772458268 291180544 69487 4294967295 134512640 134714508 3221221776 3221219840 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71089 69487 1111 63 0 71026 0
vsize: 284356
[startup+330.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1057177 0 0 0 30566 2432 0 0 25 0 1 0 772458268 291651584 69576 4294967295 134512640 134714508 3221221776 3221219432 1074138158 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71204 69576 1111 63 0 71141 0
vsize: 284816
[startup+340.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1137842 0 0 0 31373 2626 0 0 25 0 1 0 772458268 291831808 69657 4294967295 134512640 134714508 3221221776 3221219312 1074153753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71248 69657 1111 63 0 71185 0
vsize: 284992
[startup+350.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1207099 0 0 0 32207 2791 0 0 25 0 1 0 772458268 292249600 69760 4294967295 134512640 134714508 3221221776 3221219264 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71350 69760 1111 63 0 71287 0
vsize: 285400
[startup+360.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1267970 0 0 0 33054 2944 0 0 25 0 1 0 772458268 292642816 69856 4294967295 134512640 134714508 3221221776 3221219328 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71446 69856 1111 63 0 71383 0
vsize: 285784
[startup+370.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1323427 0 0 0 33914 3085 0 0 25 0 1 0 772458268 292958208 69933 4294967295 134512640 134714508 3221221776 3221219360 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71523 69933 1111 63 0 71460 0
vsize: 286092
[startup+380.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1357774 0 0 0 34829 3169 0 0 25 0 1 0 772458268 309530624 73323 4294967295 134512640 134714508 3221221776 3221217692 1074860998 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75569 73323 1111 63 0 75506 0
vsize: 302276
[startup+390.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1357811 0 0 0 35829 3170 0 0 25 0 1 0 772458268 309530624 73360 4294967295 134512640 134714508 3221221776 3221217968 1074960865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75569 73360 1111 63 0 75506 0
vsize: 302276
[startup+400.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1357819 0 0 0 36829 3170 0 0 25 0 1 0 772458268 309530624 73368 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75569 73368 1111 63 0 75506 0
vsize: 302276
[startup+410.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1357827 0 0 0 37828 3170 0 0 25 0 1 0 772458268 309530624 73376 4294967295 134512640 134714508 3221221776 3221217660 1074860566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75569 73376 1111 63 0 75506 0
vsize: 302276
[startup+420.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1357827 0 0 0 38828 3170 0 0 25 0 1 0 772458268 309530624 73376 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75569 73376 1111 63 0 75506 0
vsize: 302276
[startup+430.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1357843 0 0 0 39828 3171 0 0 25 0 1 0 772458268 310272000 73392 4294967295 134512640 134714508 3221221776 3221217564 1074787520 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75750 73392 1111 63 0 75687 0
vsize: 303000
[startup+440.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1357843 0 0 0 40828 3171 0 0 25 0 1 0 772458268 310272000 73392 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75750 73392 1111 63 0 75687 0
vsize: 303000
[startup+450.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1357843 0 0 0 41828 3172 0 0 25 0 1 0 772458268 310272000 73392 4294967295 134512640 134714508 3221221776 3221217660 1074860566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75750 73392 1111 63 0 75687 0
vsize: 303000
[startup+460.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1357843 0 0 0 42827 3172 0 0 25 0 1 0 772458268 310272000 73392 4294967295 134512640 134714508 3221221776 3221217660 1074860566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75750 73392 1111 63 0 75687 0
vsize: 303000
[startup+470.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1357843 0 0 0 43827 3172 0 0 25 0 1 0 772458268 310272000 73392 4294967295 134512640 134714508 3221221776 3221217692 1074860948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75750 73392 1111 63 0 75687 0
vsize: 303000
[startup+480.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1357843 0 0 0 44827 3173 0 0 25 0 1 0 772458268 310272000 73392 4294967295 134512640 134714508 3221221776 3221218616 1075964745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75750 73392 1111 63 0 75687 0
vsize: 303000
[startup+490.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1357843 0 0 0 45826 3173 0 0 25 0 1 0 772458268 310272000 73392 4294967295 134512640 134714508 3221221776 3221218640 1074620392 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75750 73392 1111 63 0 75687 0
vsize: 303000
[startup+500.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1357843 0 0 0 46826 3174 0 0 25 0 1 0 772458268 310272000 73392 4294967295 134512640 134714508 3221221776 3221217692 1074860987 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75750 73392 1111 63 0 75687 0
vsize: 303000
[startup+510.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1372002 0 0 0 47792 3208 0 0 25 0 1 0 772458268 297197568 70865 4294967295 134512640 134714508 3221221776 3221220016 1074039443 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72558 70865 1111 63 0 72495 0
vsize: 290232
[startup+520.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1430524 0 0 0 48652 3348 0 0 25 0 1 0 772458268 302432256 72284 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73836 72284 1111 63 0 73773 0
vsize: 295344
[startup+530.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1485577 0 0 0 49520 3480 0 0 25 0 1 0 772458268 316465152 75796 4294967295 134512640 134714508 3221221776 3221219696 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77262 75796 1111 63 0 77199 0
vsize: 309048
[startup+540.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1488441 0 0 0 50514 3486 0 0 25 0 1 0 772458268 323858432 76925 4294967295 134512640 134714508 3221221776 3221217660 1074860632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79067 76925 1111 63 0 79004 0
vsize: 316268
[startup+550.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1488444 0 0 0 51514 3487 0 0 25 0 1 0 772458268 323858432 76928 4294967295 134512640 134714508 3221221776 3221217660 1074860571 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79067 76928 1111 63 0 79004 0
vsize: 316268
[startup+560.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1488444 0 0 0 52514 3487 0 0 25 0 1 0 772458268 323858432 76928 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79067 76928 1111 63 0 79004 0
vsize: 316268
[startup+570.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1488446 0 0 0 53513 3487 0 0 25 0 1 0 772458268 323858432 76930 4294967295 134512640 134714508 3221221776 3221218736 1075859942 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79067 76930 1111 63 0 79004 0
vsize: 316268
[startup+580.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1488446 0 0 0 54513 3487 0 0 25 0 1 0 772458268 323858432 76930 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79067 76930 1111 63 0 79004 0
vsize: 316268
[startup+590.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1488459 0 0 0 55513 3488 0 0 25 0 1 0 772458268 324599808 76943 4294967295 134512640 134714508 3221221776 3221218028 1076111473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79248 76943 1111 63 0 79185 0
vsize: 316992
[startup+600.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1488459 0 0 0 56513 3488 0 0 25 0 1 0 772458268 324599808 76943 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79248 76943 1111 63 0 79185 0
vsize: 316992
[startup+610.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1488459 0 0 0 57513 3488 0 0 25 0 1 0 772458268 324599808 76943 4294967295 134512640 134714508 3221221776 3221217692 1074860993 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79248 76943 1111 63 0 79185 0
vsize: 316992
[startup+620.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1488459 0 0 0 58512 3489 0 0 25 0 1 0 772458268 324599808 76943 4294967295 134512640 134714508 3221221776 3221218144 1075132509 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79248 76943 1111 63 0 79185 0
vsize: 316992
[startup+630.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1488459 0 0 0 59512 3489 0 0 25 0 1 0 772458268 324599808 76943 4294967295 134512640 134714508 3221221776 3221217692 1074860974 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79248 76943 1111 63 0 79185 0
vsize: 316992
[startup+640.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1490356 0 0 0 60507 3494 0 0 25 0 1 0 772458268 312627200 74619 4294967295 134512640 134714508 3221221776 3221219440 1075640370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76325 74619 1111 63 0 76262 0
vsize: 305300
[startup+650.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1544404 0 0 0 61379 3622 0 0 25 0 1 0 772458268 312049664 74721 4294967295 134512640 134714508 3221221776 3221219848 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76184 74721 1111 63 0 76121 0
vsize: 304736
[startup+660.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1601499 0 0 0 62244 3758 0 0 25 0 1 0 772458268 315244544 75251 4294967295 134512640 134714508 3221221776 3221220144 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76964 75251 1111 63 0 76901 0
vsize: 307856
[startup+670.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1618730 0 0 0 63205 3796 0 0 25 0 1 0 772458268 331251712 78715 4294967295 134512640 134714508 3221221776 3221217916 1075116489 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80872 78715 1111 63 0 80809 0
vsize: 323488
[startup+680.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1618743 0 0 0 64205 3797 0 0 25 0 1 0 772458268 331251712 78728 4294967295 134512640 134714508 3221221776 3221217660 1074860598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80872 78728 1111 63 0 80809 0
vsize: 323488
[startup+690.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1618743 0 0 0 65205 3797 0 0 25 0 1 0 772458268 331251712 78728 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80872 78728 1111 63 0 80809 0
vsize: 323488
[startup+700.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1618743 0 0 0 66205 3797 0 0 25 0 1 0 772458268 331251712 78728 4294967295 134512640 134714508 3221221776 3221217660 1074860632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80872 78728 1111 63 0 80809 0
vsize: 323488
[startup+710.053 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1618743 0 0 0 67204 3798 0 0 25 0 1 0 772458268 331251712 78728 4294967295 134512640 134714508 3221221776 3221217916 1075116556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80872 78728 1111 63 0 80809 0
vsize: 323488
[startup+720.054 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1618743 0 0 0 68204 3798 0 0 25 0 1 0 772458268 331251712 78728 4294967295 134512640 134714508 3221221776 3221218640 1074620304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80872 78728 1111 63 0 80809 0
vsize: 323488
[startup+730.055 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1618744 0 0 0 69204 3798 0 0 25 0 1 0 772458268 331251712 78729 4294967295 134512640 134714508 3221221776 3221217660 1074860620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80872 78729 1111 63 0 80809 0
vsize: 323488
[startup+740.056 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1618757 0 0 0 70204 3798 0 0 25 0 1 0 772458268 331993088 78742 4294967295 134512640 134714508 3221221776 3221217856 1074794542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81053 78742 1111 63 0 80990 0
vsize: 324212
[startup+750.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1618758 0 0 0 71204 3799 0 0 25 0 1 0 772458268 331993088 78743 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81053 78743 1111 63 0 80990 0
vsize: 324212
[startup+760.057 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1656556 0 0 0 72111 3891 0 0 25 0 1 0 772458268 320233472 76580 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78182 76580 1111 63 0 78119 0
vsize: 312728
[startup+770.058 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1713395 0 0 0 72969 4033 0 0 25 0 1 0 772458268 325468160 77997 4294967295 134512640 134714508 3221221776 3221219848 1074950074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79460 77997 1111 63 0 79397 0
vsize: 317840
[startup+780.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1751124 0 0 0 73881 4122 0 0 25 0 1 0 772458268 345669632 82220 4294967295 134512640 134714508 3221221776 3221218616 1074950108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84392 82220 1111 63 0 84329 0
vsize: 337568
[startup+790.059 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1751139 0 0 0 74881 4122 0 0 25 0 1 0 772458268 345669632 82235 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84392 82235 1111 63 0 84329 0
vsize: 337568
[startup+800.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1751143 0 0 0 75880 4122 0 0 25 0 1 0 772458268 345669632 82239 4294967295 134512640 134714508 3221221776 3221217644 1074788915 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84392 82239 1111 63 0 84329 0
vsize: 337568
[startup+810.061 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1751148 0 0 0 76880 4123 0 0 25 0 1 0 772458268 345669632 82244 4294967295 134512640 134714508 3221221776 3221218736 1075859966 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84392 82244 1111 63 0 84329 0
vsize: 337568
[startup+820.061 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1751148 0 0 0 77880 4123 0 0 25 0 1 0 772458268 345669632 82244 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84392 82244 1111 63 0 84329 0
vsize: 337568
[startup+830.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1751161 0 0 0 78880 4124 0 0 25 0 1 0 772458268 346411008 82257 4294967295 134512640 134714508 3221221776 3221218352 1075967910 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84573 82257 1111 63 0 84510 0
vsize: 338292
[startup+840.062 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1751161 0 0 0 79879 4124 0 0 25 0 1 0 772458268 346411008 82257 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84573 82257 1111 63 0 84510 0
vsize: 338292
[startup+850.063 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1799650 0 0 0 80767 4237 0 0 25 0 1 0 772458268 335458304 80437 4294967295 134512640 134714508 3221221776 3221219848 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81899 80437 1111 63 0 81836 0
vsize: 327596
[startup+860.064 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1855889 0 0 0 81634 4369 0 0 25 0 1 0 772458268 339820544 81502 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82964 81502 1111 63 0 82901 0
vsize: 331856
[startup+870.065 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1888651 0 0 0 82556 4448 0 0 25 0 1 0 772458268 361828352 86177 4294967295 134512640 134714508 3221221776 3221217660 1074787594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88337 86177 1111 63 0 88274 0
vsize: 353348
[startup+880.066 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1888667 0 0 0 83556 4448 0 0 25 0 1 0 772458268 361828352 86193 4294967295 134512640 134714508 3221221776 3221218728 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88337 86193 1111 63 0 88274 0
vsize: 353348
[startup+890.066 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1888670 0 0 0 84555 4449 0 0 25 0 1 0 772458268 361828352 86196 4294967295 134512640 134714508 3221221776 3221217900 1075563849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88337 86196 1111 63 0 88274 0
vsize: 353348
[startup+900.067 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1888672 0 0 0 85555 4449 0 0 25 0 1 0 772458268 361828352 86198 4294967295 134512640 134714508 3221221776 3221218028 1076111483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88337 86198 1111 63 0 88274 0
vsize: 353348
[startup+910.067 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1888672 0 0 0 86554 4450 0 0 25 0 1 0 772458268 361828352 86198 4294967295 134512640 134714508 3221221776 3221218816 1074837194 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88337 86198 1111 63 0 88274 0
vsize: 353348
[startup+920.068 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1888672 0 0 0 87554 4450 0 0 25 0 1 0 772458268 361828352 86198 4294967295 134512640 134714508 3221221776 3221217916 1075116781 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88337 86198 1111 63 0 88274 0
vsize: 353348
[startup+930.069 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1888672 0 0 0 88554 4451 0 0 25 0 1 0 772458268 361828352 86198 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88337 86198 1111 63 0 88274 0
vsize: 353348
[startup+940.069 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1888672 0 0 0 89553 4451 0 0 25 0 1 0 772458268 361828352 86198 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88337 86198 1111 63 0 88274 0
vsize: 353348
[startup+950.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1888685 0 0 0 90553 4451 0 0 25 0 1 0 772458268 362569728 86211 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88518 86211 1111 63 0 88455 0
vsize: 354072
[startup+960.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1888685 0 0 0 91553 4452 0 0 25 0 1 0 772458268 362569728 86211 4294967295 134512640 134714508 3221221776 3221218616 1074950102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88518 86211 1111 63 0 88455 0
vsize: 354072
[startup+970.071 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1929802 0 0 0 92458 4546 0 0 25 0 1 0 772458268 355028992 85215 4294967295 134512640 134714508 3221221776 3221220176 1074031989 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86677 85215 1111 63 0 86614 0
vsize: 346708
[startup+980.072 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1939883 0 0 0 93435 4569 0 0 25 0 1 0 772458268 362786816 86210 4294967295 134512640 134714508 3221221776 3221217900 1075563849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88571 86210 1111 63 0 88508 0
vsize: 354284
[startup+990.072 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 1987409 0 0 0 94321 4684 0 0 25 0 1 0 772458268 349102080 83630 4294967295 134512640 134714508 3221221776 3221220000 1074039267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85230 83630 1111 63 0 85167 0
vsize: 340920
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2043200 0 0 0 95192 4813 0 0 25 0 1 0 772458268 351719424 84408 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85869 84408 1111 63 0 85806 0
vsize: 343476
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2069580 0 0 0 96132 4873 0 0 25 0 1 0 772458268 369545216 88065 4294967295 134512640 134714508 3221221776 3221217752 1074789596 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90221 88065 1111 63 0 90158 0
vsize: 360884
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2069591 0 0 0 97132 4874 0 0 25 0 1 0 772458268 369545216 88076 4294967295 134512640 134714508 3221221776 3221218272 1076047903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90221 88076 1111 63 0 90158 0
vsize: 360884
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2069594 0 0 0 98132 4874 0 0 25 0 1 0 772458268 369545216 88079 4294967295 134512640 134714508 3221221776 3221217916 1075116704 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90221 88079 1111 63 0 90158 0
vsize: 360884
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2069594 0 0 0 99132 4874 0 0 25 0 1 0 772458268 369545216 88079 4294967295 134512640 134714508 3221221776 3221217564 1074787708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90221 88079 1111 63 0 90158 0
vsize: 360884
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2069594 0 0 0 100132 4874 0 0 25 0 1 0 772458268 369545216 88079 4294967295 134512640 134714508 3221221776 3221217900 1075563861 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90221 88079 1111 63 0 90158 0
vsize: 360884
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2069594 0 0 0 101132 4874 0 0 25 0 1 0 772458268 369545216 88079 4294967295 134512640 134714508 3221221776 3221217916 1075116719 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90221 88079 1111 63 0 90158 0
vsize: 360884
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2069594 0 0 0 102132 4874 0 0 25 0 1 0 772458268 369545216 88079 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90221 88079 1111 63 0 90158 0
vsize: 360884
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2069608 0 0 0 103133 4874 0 0 25 0 1 0 772458268 369545216 88093 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90221 88093 1111 63 0 90158 0
vsize: 360884
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2069646 0 0 0 104133 4874 0 0 25 0 1 0 772458268 370286592 88131 4294967295 134512640 134714508 3221221776 3221217692 1074860948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90402 88131 1111 63 0 90339 0
vsize: 361608
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2116108 0 0 0 105022 4985 0 0 25 0 1 0 772458268 358264832 86006 4294967295 134512640 134714508 3221221776 3221219848 1074950077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87467 86006 1111 63 0 87404 0
vsize: 349868
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2172247 0 0 0 105887 5120 0 0 25 0 1 0 772458268 361754624 86719 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88319 86719 1111 63 0 88256 0
vsize: 353276
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2210944 0 0 0 106799 5209 0 0 25 0 1 0 772458268 382328832 91174 4294967295 134512640 134714508 3221221776 3221217768 1074950198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93342 91174 1111 63 0 93279 0
vsize: 373368
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2210966 0 0 0 107799 5209 0 0 25 0 1 0 772458268 382328832 91196 4294967295 134512640 134714508 3221221776 3221217660 1074860595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93342 91196 1111 63 0 93279 0
vsize: 373368
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2210971 0 0 0 108799 5209 0 0 25 0 1 0 772458268 382328832 91201 4294967295 134512640 134714508 3221221776 3221217968 1074961196 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93342 91201 1111 63 0 93279 0
vsize: 373368
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2210971 0 0 0 109800 5209 0 0 25 0 1 0 772458268 382328832 91201 4294967295 134512640 134714508 3221221776 3221218288 1074885721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93342 91201 1111 63 0 93279 0
vsize: 373368
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2210971 0 0 0 110800 5209 0 0 25 0 1 0 772458268 382328832 91201 4294967295 134512640 134714508 3221221776 3221218720 1074810486 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93342 91201 1111 63 0 93279 0
vsize: 373368
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2210985 0 0 0 111800 5209 0 0 25 0 1 0 772458268 383070208 91215 4294967295 134512640 134714508 3221221776 3221217768 1074950210 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93523 91215 1111 63 0 93460 0
vsize: 374092
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2210985 0 0 0 112800 5209 0 0 25 0 1 0 772458268 383070208 91215 4294967295 134512640 134714508 3221221776 3221217916 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93523 91215 1111 63 0 93460 0
vsize: 374092
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2210998 0 0 0 113800 5209 0 0 25 0 1 0 772458268 383070208 91228 4294967295 134512640 134714508 3221221776 3221217900 1075563864 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93523 91228 1111 63 0 93460 0
vsize: 374092
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29537
Raw data (stat): 29535 (bsolo_lpr) R 29534 7876 7672 0 -1 0 2255220 0 0 0 114696 5313 0 0 25 0 1 0 772458268 370094080 88755 4294967295 134512640 134714508 3221221776 3221220016 1074039475 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90355 88755 1111 63 0 90292 0
vsize: 361420
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.25 s]
Raw data (loadavg): 0.99 0.97 0.99 1/55 29537
Raw data (stat): 29535 (bsolo_lpr) Z 29534 7876 7672 0 -1 1036 2255222 0 0 0 114696 5330 0 0 25 0 1 0 772458268 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.25
CPU time (s): 1200.27
CPU user time (s): 1146.96
CPU system time (s): 53.3009
CPU usage (%): 100.001
Max. virtual memory (Kb): 374092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####