PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb
MD5SUM	47daf5749c77d7eb7d5d94fe2374f355
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1448
Optimality of the best value was proved	NO
Number of terms in the objective function	3002
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	3002
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	3002
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05184
Number of variables	3002
Total number of constraints	5076
Number of constraints which are clauses	5076
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	6
Trace number 24272

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 07:11:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2035 boxname=wulflinc31 idbench=227 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  47daf5749c77d7eb7d5d94fe2374f355  /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-038.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-038.opb
IDLAUNCH: 2035
/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:        131832 kB
Buffers:         43868 kB
Cached:         824120 kB
SwapCached:        644 kB
Active:         498320 kB
Inactive:       372012 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        131580 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26720 kB
Committed_AS:    63632 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 07:31:51 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 2035 7 1200.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3002 variables and 5076 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.85 0.93 0.99 2/54 26491
Raw data (stat): 26491 (runsolver) R 26490 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 698705001 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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+10.0007 s]
Raw data (loadavg): 0.87 0.93 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 11837 0 0 0 967 29 0 0 25 0 1 0 698705001 29941760 6433 4294967295 134512640 134714508 3221221792 3221220368 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7310 6433 1111 63 0 7247 0
vsize: 29240
[startup+20.0019 s]
Raw data (loadavg): 0.89 0.93 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 20782 0 0 0 1948 48 0 0 25 0 1 0 698705001 39636992 8832 4294967295 134512640 134714508 3221221792 3221220544 134630802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9677 8832 1111 63 0 9614 0
vsize: 38708
[startup+30.0025 s]
Raw data (loadavg): 0.91 0.93 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 24486 0 0 0 2939 57 0 0 25 0 1 0 698705001 43438080 9757 4294967295 134512640 134714508 3221221792 3221220300 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10605 9757 1111 63 0 10542 0
vsize: 42420
[startup+40.0024 s]
Raw data (loadavg): 0.92 0.94 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 27339 0 0 0 3933 63 0 0 25 0 1 0 698705001 48140288 10876 4294967295 134512640 134714508 3221221792 3221220272 134543108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11753 10876 1111 63 0 11690 0
vsize: 47012
[startup+50.003 s]
Raw data (loadavg): 0.93 0.94 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 29295 0 0 0 4928 68 0 0 25 0 1 0 698705001 52105216 11876 4294967295 134512640 134714508 3221221792 3221220200 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12721 11876 1111 63 0 12658 0
vsize: 50884
[startup+60.0034 s]
Raw data (loadavg): 0.94 0.94 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 30534 0 0 0 5926 70 0 0 25 0 1 0 698705001 55115776 12602 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13456 12602 1111 63 0 13393 0
vsize: 53824
[startup+70.0033 s]
Raw data (loadavg): 0.95 0.94 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 31913 0 0 0 6923 74 0 0 25 0 1 0 698705001 57860096 13268 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14126 13268 1111 63 0 14063 0
vsize: 56504
[startup+80.0046 s]
Raw data (loadavg): 0.96 0.94 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 33047 0 0 0 7921 76 0 0 25 0 1 0 698705001 60592128 13936 4294967295 134512640 134714508 3221221792 3221220292 134543731 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14793 13936 1111 63 0 14730 0
vsize: 59172
[startup+90.0042 s]
Raw data (loadavg): 0.96 0.94 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 34054 0 0 0 8919 78 0 0 25 0 1 0 698705001 63291392 14587 4294967295 134512640 134714508 3221221792 3221220528 134630813 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15452 14587 1111 63 0 15389 0
vsize: 61808
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 34937 0 0 0 9917 80 0 0 25 0 1 0 698705001 65609728 15141 4294967295 134512640 134714508 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16018 15141 1111 63 0 15955 0
vsize: 64072
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 38663 0 0 0 10908 89 0 0 25 0 1 0 698705001 69943296 16231 4294967295 134512640 134714508 3221221792 3221220204 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17076 16231 1111 63 0 17013 0
vsize: 68304
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 38663 0 0 0 11909 89 0 0 25 0 1 0 698705001 69943296 16231 4294967295 134512640 134714508 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17076 16231 1111 63 0 17013 0
vsize: 68304
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 38727 0 0 0 12909 89 0 0 25 0 1 0 698705001 70217728 16295 4294967295 134512640 134714508 3221221792 3221220304 134542977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17143 16295 1111 63 0 17080 0
vsize: 68572
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 39776 0 0 0 13906 91 0 0 25 0 1 0 698705001 72114176 16736 4294967295 134512640 134714508 3221221792 3221220176 134542362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17606 16736 1111 63 0 17543 0
vsize: 70424
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 40544 0 0 0 14905 93 0 0 25 0 1 0 698705001 73940992 17151 4294967295 134512640 134714508 3221221792 3221220416 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18052 17151 1111 63 0 17989 0
vsize: 72208
[startup+160.007 s]
Raw data (loadavg): 0.99 0.95 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 41263 0 0 0 15904 94 0 0 25 0 1 0 698705001 75726848 17601 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18488 17601 1111 63 0 18425 0
vsize: 73952
[startup+170.008 s]
Raw data (loadavg): 0.99 0.95 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 42036 0 0 0 16902 96 0 0 25 0 1 0 698705001 77029376 17938 4294967295 134512640 134714508 3221221792 3221220160 134543004 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18806 17938 1111 63 0 18743 0
vsize: 75224
[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 42610 0 0 0 17902 97 0 0 25 0 1 0 698705001 78774272 18333 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19232 18333 1111 63 0 19169 0
vsize: 76928
[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 43374 0 0 0 18901 98 0 0 25 0 1 0 698705001 80236544 18691 4294967295 134512640 134714508 3221221792 3221220404 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19589 18691 1111 63 0 19526 0
vsize: 78356
[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 43926 0 0 0 19899 100 0 0 25 0 1 0 698705001 81571840 19035 4294967295 134512640 134714508 3221221792 3221220320 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19915 19035 1111 63 0 19852 0
vsize: 79660
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 44533 0 0 0 20898 101 0 0 25 0 1 0 698705001 82804736 19350 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20216 19350 1111 63 0 20153 0
vsize: 80864
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 45139 0 0 0 21897 102 0 0 25 0 1 0 698705001 84426752 19724 4294967295 134512640 134714508 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20612 19724 1111 63 0 20549 0
vsize: 82448
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 45863 0 0 0 22895 104 0 0 25 0 1 0 698705001 85536768 19989 4294967295 134512640 134714508 3221221792 3221220368 134524259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20883 19989 1111 63 0 20820 0
vsize: 83532
[startup+240.012 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 46372 0 0 0 23895 105 0 0 25 0 1 0 698705001 86589440 20247 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21140 20247 1111 63 0 21077 0
vsize: 84560
[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 47251 0 0 0 24892 108 0 0 25 0 1 0 698705001 87699456 20515 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21411 20515 1111 63 0 21348 0
vsize: 85644
[startup+260.013 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 47782 0 0 0 25891 109 0 0 25 0 1 0 698705001 89010176 20838 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21731 20838 1111 63 0 21668 0
vsize: 86924
[startup+270.012 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 48184 0 0 0 26891 110 0 0 25 0 1 0 698705001 89509888 20990 4294967295 134512640 134714508 3221221792 3221220272 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21853 20990 1111 63 0 21790 0
vsize: 87412
[startup+280.013 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 48664 0 0 0 27890 110 0 0 25 0 1 0 698705001 90271744 21177 4294967295 134512640 134714508 3221221792 3221220320 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22039 21177 1111 63 0 21976 0
vsize: 88156
[startup+290.015 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 48965 0 0 0 28890 111 0 0 25 0 1 0 698705001 91258880 21389 4294967295 134512640 134714508 3221221792 3221220284 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22280 21389 1111 63 0 22217 0
vsize: 89120
[startup+300.014 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 49386 0 0 0 29889 112 0 0 25 0 1 0 698705001 92110848 21626 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22488 21626 1111 63 0 22425 0
vsize: 89952
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 49962 0 0 0 30888 113 0 0 25 0 1 0 698705001 93257728 21875 4294967295 134512640 134714508 3221221792 3221220520 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22768 21875 1111 63 0 22705 0
vsize: 91072
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 50546 0 0 0 31887 115 0 0 25 0 1 0 698705001 94220288 22112 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23003 22112 1111 63 0 22940 0
vsize: 92012
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 51154 0 0 0 32885 116 0 0 25 0 1 0 698705001 95858688 22542 4294967295 134512640 134714508 3221221792 3221220300 134542372 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23403 22542 1111 63 0 23340 0
vsize: 93612
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 51763 0 0 0 33884 118 0 0 25 0 1 0 698705001 96817152 22775 4294967295 134512640 134714508 3221221792 3221220252 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23637 22775 1111 63 0 23574 0
vsize: 94548
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 52109 0 0 0 34883 119 0 0 25 0 1 0 698705001 97865728 23001 4294967295 134512640 134714508 3221221792 3221220408 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23893 23001 1111 63 0 23830 0
vsize: 95572
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 52453 0 0 0 35882 120 0 0 25 0 1 0 698705001 98656256 23226 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24086 23226 1111 63 0 24023 0
vsize: 96344
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 52854 0 0 0 36882 120 0 0 25 0 1 0 698705001 99569664 23449 4294967295 134512640 134714508 3221221792 3221220272 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24309 23449 1111 63 0 24246 0
vsize: 97236
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 53255 0 0 0 37881 121 0 0 25 0 1 0 698705001 100601856 23670 4294967295 134512640 134714508 3221221792 3221220528 134630787 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24561 23670 1111 63 0 24498 0
vsize: 98244
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 53616 0 0 0 38880 123 0 0 25 0 1 0 698705001 101224448 23854 4294967295 134512640 134714508 3221221792 3221220252 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24713 23854 1111 63 0 24650 0
vsize: 98852
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 54012 0 0 0 39879 124 0 0 25 0 1 0 698705001 102240256 24100 4294967295 134512640 134714508 3221221792 3221220368 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24961 24100 1111 63 0 24898 0
vsize: 99844
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 57660 0 0 0 40870 133 0 0 25 0 1 0 698705001 105160704 24816 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25674 24816 1111 63 0 25611 0
vsize: 102696
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 59776 0 0 0 41865 138 0 0 25 0 1 0 698705001 110018560 25979 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26860 25979 1111 63 0 26797 0
vsize: 107440
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 59776 0 0 0 42865 139 0 0 25 0 1 0 698705001 110018560 25979 4294967295 134512640 134714508 3221221792 3221220272 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26860 25979 1111 63 0 26797 0
vsize: 107440
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 59776 0 0 0 43865 139 0 0 25 0 1 0 698705001 110018560 25979 4294967295 134512640 134714508 3221221792 3221220272 134536683 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26860 25979 1111 63 0 26797 0
vsize: 107440
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 59777 0 0 0 44865 139 0 0 25 0 1 0 698705001 110018560 25980 4294967295 134512640 134714508 3221221792 3221220400 134529113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26860 25980 1111 63 0 26797 0
vsize: 107440
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 59777 0 0 0 45865 139 0 0 25 0 1 0 698705001 110018560 25980 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26860 25980 1111 63 0 26797 0
vsize: 107440
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 59777 0 0 0 46865 139 0 0 25 0 1 0 698705001 110018560 25980 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26860 25980 1111 63 0 26797 0
vsize: 107440
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 59783 0 0 0 47866 139 0 0 25 0 1 0 698705001 110018560 25986 4294967295 134512640 134714508 3221221792 3221220172 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26860 25986 1111 63 0 26797 0
vsize: 107440
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 60126 0 0 0 48865 139 0 0 25 0 1 0 698705001 110346240 26075 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26940 26075 1111 63 0 26877 0
vsize: 107760
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 61732 0 0 0 49863 142 0 0 25 0 1 0 698705001 111104000 26270 4294967295 134512640 134714508 3221221792 3221220240 134536678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27125 26270 1111 63 0 27062 0
vsize: 108500
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 62261 0 0 0 50861 143 0 0 25 0 1 0 698705001 111792128 26429 4294967295 134512640 134714508 3221221792 3221220124 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27293 26429 1111 63 0 27230 0
vsize: 109172
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 62796 0 0 0 51860 145 0 0 25 0 1 0 698705001 112431104 26594 4294967295 134512640 134714508 3221221792 3221220208 134543681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27449 26594 1111 63 0 27386 0
vsize: 109796
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 65500 0 0 0 52855 151 0 0 25 0 1 0 698705001 113287168 26803 4294967295 134512640 134714508 3221221792 3221220124 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27658 26803 1111 63 0 27595 0
vsize: 110632
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 66002 0 0 0 53854 152 0 0 25 0 1 0 698705001 114139136 27009 4294967295 134512640 134714508 3221221792 3221220404 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27866 27009 1111 63 0 27803 0
vsize: 111464
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 67075 0 0 0 54852 154 0 0 25 0 1 0 698705001 114798592 27149 4294967295 134512640 134714508 3221221792 3221220332 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28027 27149 1111 63 0 27964 0
vsize: 112108
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 67628 0 0 0 55850 155 0 0 25 0 1 0 698705001 115474432 27333 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28192 27333 1111 63 0 28129 0
vsize: 112768
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 82671 0 0 0 56818 188 0 0 25 0 1 0 698705001 119894016 28417 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29271 28417 1111 63 0 29208 0
vsize: 117084
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 82671 0 0 0 57818 188 0 0 25 0 1 0 698705001 119894016 28417 4294967295 134512640 134714508 3221221792 3221220124 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29271 28417 1111 63 0 29208 0
vsize: 117084
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 82671 0 0 0 58819 188 0 0 25 0 1 0 698705001 119894016 28417 4294967295 134512640 134714508 3221221792 3221220408 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29271 28417 1111 63 0 29208 0
vsize: 117084
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 82671 0 0 0 59819 188 0 0 25 0 1 0 698705001 119894016 28417 4294967295 134512640 134714508 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29271 28417 1111 63 0 29208 0
vsize: 117084
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 82671 0 0 0 60819 188 0 0 25 0 1 0 698705001 119894016 28417 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29271 28417 1111 63 0 29208 0
vsize: 117084
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 82672 0 0 0 61819 188 0 0 25 0 1 0 698705001 119894016 28418 4294967295 134512640 134714508 3221221792 3221220272 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29271 28418 1111 63 0 29208 0
vsize: 117084
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 83728 0 0 0 62817 190 0 0 25 0 1 0 698705001 122593280 29077 4294967295 134512640 134714508 3221221792 3221220272 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29930 29077 1111 63 0 29867 0
vsize: 119720
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 83728 0 0 0 63817 190 0 0 25 0 1 0 698705001 122593280 29077 4294967295 134512640 134714508 3221221792 3221220356 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29930 29077 1111 63 0 29867 0
vsize: 119720
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 83728 0 0 0 64817 190 0 0 25 0 1 0 698705001 122593280 29077 4294967295 134512640 134714508 3221221792 3221220172 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29930 29077 1111 63 0 29867 0
vsize: 119720
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 83728 0 0 0 65817 190 0 0 25 0 1 0 698705001 122593280 29077 4294967295 134512640 134714508 3221221792 3221220272 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29930 29077 1111 63 0 29867 0
vsize: 119720
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 83729 0 0 0 66817 190 0 0 25 0 1 0 698705001 122593280 29078 4294967295 134512640 134714508 3221221792 3221220144 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29930 29078 1111 63 0 29867 0
vsize: 119720
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 83964 0 0 0 67817 191 0 0 25 0 1 0 698705001 123154432 29189 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30067 29189 1111 63 0 30004 0
vsize: 120268
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 84407 0 0 0 68816 192 0 0 25 0 1 0 698705001 123166720 29218 4294967295 134512640 134714508 3221221792 3221220272 134536707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30070 29218 1111 63 0 30007 0
vsize: 120280
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 84729 0 0 0 69816 192 0 0 25 0 1 0 698705001 124071936 29416 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30291 29416 1111 63 0 30228 0
vsize: 121164
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 85689 0 0 0 70814 194 0 0 25 0 1 0 698705001 124497920 29527 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30395 29527 1111 63 0 30332 0
vsize: 121580
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 86946 0 0 0 71812 196 0 0 25 0 1 0 698705001 124784640 29614 4294967295 134512640 134714508 3221221792 3221220156 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30465 29614 1111 63 0 30402 0
vsize: 121860
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 87558 0 0 0 72812 197 0 0 25 0 1 0 698705001 125489152 29786 4294967295 134512640 134714508 3221221792 3221220208 134542737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30637 29786 1111 63 0 30574 0
vsize: 122548
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 87906 0 0 0 73811 198 0 0 25 0 1 0 698705001 126050304 29918 4294967295 134512640 134714508 3221221792 3221220408 134543785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30774 29918 1111 63 0 30711 0
vsize: 123096
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 88638 0 0 0 74809 200 0 0 25 0 1 0 698705001 126529536 30023 4294967295 134512640 134714508 3221221792 3221220280 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30891 30023 1111 63 0 30828 0
vsize: 123564
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 88992 0 0 0 75808 201 0 0 25 0 1 0 698705001 126545920 30045 4294967295 134512640 134714508 3221221792 3221220172 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30895 30045 1111 63 0 30832 0
vsize: 123580
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 89514 0 0 0 76808 202 0 0 25 0 1 0 698705001 127385600 30235 4294967295 134512640 134714508 3221221792 3221220544 134630798 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31100 30235 1111 63 0 31037 0
vsize: 124400
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 90506 0 0 0 77806 204 0 0 25 0 1 0 698705001 127856640 30348 4294967295 134512640 134714508 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31215 30348 1111 63 0 31152 0
vsize: 124860
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 92766 0 0 0 78802 208 0 0 25 0 1 0 698705001 128417792 30479 4294967295 134512640 134714508 3221221792 3221220368 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31352 30479 1111 63 0 31289 0
vsize: 125408
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 93221 0 0 0 79800 209 0 0 25 0 1 0 698705001 128630784 30534 4294967295 134512640 134714508 3221221792 3221220368 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31404 30534 1111 63 0 31341 0
vsize: 125616
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 94316 0 0 0 80798 212 0 0 25 0 1 0 698705001 129323008 30724 4294967295 134512640 134714508 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31573 30724 1111 63 0 31510 0
vsize: 126292
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 94316 0 0 0 81798 212 0 0 25 0 1 0 698705001 129323008 30724 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31573 30724 1111 63 0 31510 0
vsize: 126292
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 95106 0 0 0 82797 214 0 0 25 0 1 0 698705001 129458176 30734 4294967295 134512640 134714508 3221221792 3221220200 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31606 30734 1111 63 0 31543 0
vsize: 126424
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 95757 0 0 0 83795 215 0 0 25 0 1 0 698705001 130142208 30907 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31773 30907 1111 63 0 31710 0
vsize: 127092
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 97103 0 0 0 84792 219 0 0 25 0 1 0 698705001 130605056 31020 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31886 31020 1111 63 0 31823 0
vsize: 127544
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 111337 0 0 0 85756 255 0 0 25 0 1 0 698705001 133283840 31659 4294967295 134512640 134714508 3221221792 3221220520 134672911 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32540 31659 1111 63 0 32477 0
vsize: 130160
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 114962 0 0 0 86748 264 0 0 25 0 1 0 698705001 132685824 31545 4294967295 134512640 134714508 3221221792 3221220528 134630815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32394 31545 1111 63 0 32331 0
vsize: 129576
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 114962 0 0 0 87748 264 0 0 25 0 1 0 698705001 132685824 31545 4294967295 134512640 134714508 3221221792 3221220520 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32394 31545 1111 63 0 32331 0
vsize: 129576
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 114962 0 0 0 88748 264 0 0 25 0 1 0 698705001 132685824 31545 4294967295 134512640 134714508 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32394 31545 1111 63 0 32331 0
vsize: 129576
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 114963 0 0 0 89748 264 0 0 25 0 1 0 698705001 132685824 31546 4294967295 134512640 134714508 3221221792 3221220408 134543785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32394 31546 1111 63 0 32331 0
vsize: 129576
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 115201 0 0 0 90748 264 0 0 25 0 1 0 698705001 133107712 31629 4294967295 134512640 134714508 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32497 31629 1111 63 0 32434 0
vsize: 129988
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 115651 0 0 0 91747 265 0 0 25 0 1 0 698705001 133431296 31720 4294967295 134512640 134714508 3221221792 3221220392 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32576 31720 1111 63 0 32513 0
vsize: 130304
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 116106 0 0 0 92747 265 0 0 25 0 1 0 698705001 133787648 31809 4294967295 134512640 134714508 3221221792 3221220520 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32663 31809 1111 63 0 32600 0
vsize: 130652
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 116561 0 0 0 93746 266 0 0 25 0 1 0 698705001 134160384 31898 4294967295 134512640 134714508 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32754 31898 1111 63 0 32691 0
vsize: 131016
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 117013 0 0 0 94746 267 0 0 25 0 1 0 698705001 134520832 31985 4294967295 134512640 134714508 3221221792 3221220544 134630822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32842 31985 1111 63 0 32779 0
vsize: 131368
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 117365 0 0 0 95745 268 0 0 25 0 1 0 698705001 134455296 31979 4294967295 134512640 134714508 3221221792 3221220300 134524382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32826 31979 1111 63 0 32763 0
vsize: 131304
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 117817 0 0 0 96744 269 0 0 25 0 1 0 698705001 134807552 32065 4294967295 134512640 134714508 3221221792 3221220308 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32912 32065 1111 63 0 32849 0
vsize: 131648
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 118268 0 0 0 97743 270 0 0 25 0 1 0 698705001 135155712 32150 4294967295 134512640 134714508 3221221792 3221220320 134528665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32997 32150 1111 63 0 32934 0
vsize: 131988
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 118718 0 0 0 98742 272 0 0 25 0 1 0 698705001 135499776 32234 4294967295 134512640 134714508 3221221792 3221220124 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33081 32234 1111 63 0 33018 0
vsize: 132324
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 119167 0 0 0 99741 273 0 0 25 0 1 0 698705001 136249344 32409 4294967295 134512640 134714508 3221221792 3221220272 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33264 32409 1111 63 0 33201 0
vsize: 133056
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 120281 0 0 0 100738 276 0 0 25 0 1 0 698705001 136581120 32493 4294967295 134512640 134714508 3221221792 3221220404 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33345 32493 1111 63 0 33282 0
vsize: 133380
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 120720 0 0 0 101738 277 0 0 25 0 1 0 698705001 136962048 32574 4294967295 134512640 134714508 3221221792 3221220408 134543830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33438 32574 1111 63 0 33375 0
vsize: 133752
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 121167 0 0 0 102737 278 0 0 25 0 1 0 698705001 137244672 32655 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33507 32655 1111 63 0 33444 0
vsize: 134028
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 121413 0 0 0 103736 278 0 0 25 0 1 0 698705001 137297920 32674 4294967295 134512640 134714508 3221221792 3221220192 134542817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33520 32674 1111 63 0 33457 0
vsize: 134080
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 121732 0 0 0 104735 280 0 0 25 0 1 0 698705001 137342976 32685 4294967295 134512640 134714508 3221221792 3221220256 134536655 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33531 32685 1111 63 0 33468 0
vsize: 134124
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 122176 0 0 0 105734 281 0 0 25 0 1 0 698705001 138072064 32855 4294967295 134512640 134714508 3221221792 3221220300 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33709 32855 1111 63 0 33646 0
vsize: 134836
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 122821 0 0 0 106733 282 0 0 25 0 1 0 698705001 139227136 33134 4294967295 134512640 134714508 3221221792 3221220304 134542936 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33991 33134 1111 63 0 33928 0
vsize: 135964
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 123251 0 0 0 107732 284 0 0 25 0 1 0 698705001 139464704 33197 4294967295 134512640 134714508 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34049 33197 1111 63 0 33986 0
vsize: 136196
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 123596 0 0 0 108731 285 0 0 25 0 1 0 698705001 139350016 33175 4294967295 134512640 134714508 3221221792 3221220272 134524135 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34021 33175 1111 63 0 33958 0
vsize: 136084
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 123930 0 0 0 109730 286 0 0 25 0 1 0 698705001 140173312 33327 4294967295 134512640 134714508 3221221792 3221220204 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34222 33327 1111 63 0 34159 0
vsize: 136888
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 124137 0 0 0 110730 286 0 0 25 0 1 0 698705001 140595200 33413 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34325 33413 1111 63 0 34262 0
vsize: 137300
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 124561 0 0 0 111729 287 0 0 25 0 1 0 698705001 140861440 33480 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34390 33480 1111 63 0 34327 0
vsize: 137560
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 124872 0 0 0 112729 288 0 0 25 0 1 0 698705001 140574720 33425 4294967295 134512640 134714508 3221221792 3221220320 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34320 33425 1111 63 0 34257 0
vsize: 137280
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 125293 0 0 0 113728 288 0 0 25 0 1 0 698705001 141266944 33586 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34489 33586 1111 63 0 34426 0
vsize: 137956
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 125636 0 0 0 114728 289 0 0 25 0 1 0 698705001 141553664 33654 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34559 33654 1111 63 0 34496 0
vsize: 138236
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 125817 0 0 0 115727 290 0 0 25 0 1 0 698705001 141557760 33665 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34560 33665 1111 63 0 34497 0
vsize: 138240
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 126164 0 0 0 116727 290 0 0 25 0 1 0 698705001 141664256 33691 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34586 33691 1111 63 0 34523 0
vsize: 138344
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 126595 0 0 0 117726 291 0 0 25 0 1 0 698705001 142372864 33847 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34759 33847 1111 63 0 34696 0
vsize: 139036
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 126905 0 0 0 118726 292 0 0 25 0 1 0 698705001 142065664 33790 4294967295 134512640 134714508 3221221792 3221220156 134539309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34684 33790 1111 63 0 34621 0
vsize: 138736
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 26491
Raw data (stat): 26491 (bsolo_lpr) R 26490 7876 7672 0 -1 0 127333 0 0 0 119725 293 0 0 25 0 1 0 698705001 142733312 33945 4294967295 134512640 134714508 3221221792 3221220272 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34847 33945 1111 63 0 34784 0
vsize: 139388
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.99 1/54 26491
Raw data (stat): 26491 (bsolo_lpr) Z 26490 7876 7672 0 -1 1036 127333 0 0 0 119725 299 0 0 25 0 1 0 698705001 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.11
CPU time (s): 1200.25
CPU user time (s): 1197.26
CPU system time (s): 2.99554
CPU usage (%): 100.012
Max. virtual memory (Kb): 139388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####