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/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
MD5SUM	6c328ef6f9d8d5a179eec9bf3550b7fd
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.027995
Number of variables	1000
Total number of constraints	90
Number of constraints which are clauses	50
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	25
Trace number 23182

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 04:22:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=73 boxname=wulflinc31 idbench=9 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  6c328ef6f9d8d5a179eec9bf3550b7fd  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_25_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_25_pb.cnf.cr.opb
IDLAUNCH: 73
/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:        931476 kB
Buffers:         35612 kB
Cached:          44988 kB
SwapCached:        864 kB
Active:          70588 kB
Inactive:        12976 kB
HighTotal:      131008 kB
HighFree:        84392 kB
LowTotal:       903652 kB
LowFree:        847084 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             100 kB
Writeback:           0 kB
Mapped:           7196 kB
Slab:            13912 kB
Committed_AS:    67544 kB
PageTables:        360 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 04:42:05 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 73 7 1175.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 1000 variables and 90 constraints.
c After prepocess the problem consists of 1000 variables and 90 constraints.
c preprocess terminated 0.27 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.92 0.95 0.75 2/57 8122
Raw data (stat): 8122 (runsolver) R 8121 7876 7672 34817 7672 64 5 0 0 0 0 0 0 0 19 0 1 0 628560993 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 1.01 0.97 0.76 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 3743 0 0 0 982 13 0 0 25 0 1 0 628560993 18464768 3664 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4508 3664 1111 63 0 4445 0
vsize: 18032
[startup+20.0015 s]
Raw data (loadavg): 1.00 0.97 0.76 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 4987 0 0 0 1977 19 0 0 25 0 1 0 628560993 23609344 4908 4294967295 134512640 134714508 3221221776 3221220528 134592441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5764 4908 1111 63 0 5701 0
vsize: 23056
[startup+30.0014 s]
Raw data (loadavg): 1.00 0.97 0.76 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 5944 0 0 0 2972 24 0 0 25 0 1 0 628560993 27410432 5865 4294967295 134512640 134714508 3221221776 3221220284 1077374432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6692 5865 1111 63 0 6629 0
vsize: 26768
[startup+40.0011 s]
Raw data (loadavg): 1.00 0.97 0.77 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 6592 0 0 0 3969 28 0 0 25 0 1 0 628560993 30113792 6513 4294967295 134512640 134714508 3221221776 3221220364 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7352 6513 1111 63 0 7289 0
vsize: 29408
[startup+50.0026 s]
Raw data (loadavg): 1.00 0.97 0.77 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 7107 0 0 0 4966 30 0 0 25 0 1 0 628560993 32288768 7028 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7883 7028 1111 63 0 7820 0
vsize: 31532
[startup+60.0032 s]
Raw data (loadavg): 1.00 0.97 0.77 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 7878 0 0 0 5963 34 0 0 25 0 1 0 628560993 35397632 7799 4294967295 134512640 134714508 3221221776 3221220336 134549730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8642 7799 1111 63 0 8579 0
vsize: 34568
[startup+70.0039 s]
Raw data (loadavg): 1.00 0.97 0.77 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 8301 0 0 0 6961 36 0 0 25 0 1 0 628560993 37163008 8222 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9073 8222 1111 63 0 9010 0
vsize: 36292
[startup+80.0354 s]
Raw data (loadavg): 1.00 0.97 0.77 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 8596 0 0 0 7963 37 0 0 25 0 1 0 628560993 38383616 8517 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9371 8517 1111 63 0 9308 0
vsize: 37484
[startup+90.035 s]
Raw data (loadavg): 1.00 0.97 0.77 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 8793 0 0 0 8961 39 0 0 25 0 1 0 628560993 39194624 8714 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9569 8714 1111 63 0 9506 0
vsize: 38276
[startup+100.036 s]
Raw data (loadavg): 1.00 0.97 0.78 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 8984 0 0 0 9960 40 0 0 25 0 1 0 628560993 40034304 8905 4294967295 134512640 134714508 3221221776 3221220364 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9774 8905 1111 63 0 9711 0
vsize: 39096
[startup+110.037 s]
Raw data (loadavg): 1.00 0.97 0.78 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 9056 0 0 0 10960 41 0 0 25 0 1 0 628560993 40439808 8977 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9873 8977 1111 63 0 9810 0
vsize: 39492
[startup+120.038 s]
Raw data (loadavg): 1.00 0.97 0.78 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 10441 0 0 0 11954 47 0 0 25 0 1 0 628560993 46112768 10362 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11258 10363 1111 63 0 11195 0
vsize: 45032
[startup+130.038 s]
Raw data (loadavg): 1.00 0.97 0.78 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 11864 0 0 0 12947 54 0 0 25 0 1 0 628560993 51920896 11785 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12676 11785 1111 63 0 12613 0
vsize: 50704
[startup+140.038 s]
Raw data (loadavg): 1.00 0.97 0.78 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 12238 0 0 0 13946 55 0 0 25 0 1 0 628560993 53436416 12158 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13046 12158 1111 63 0 12983 0
vsize: 52184
[startup+150.039 s]
Raw data (loadavg): 1.00 0.97 0.79 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 12858 0 0 0 14944 58 0 0 25 0 1 0 628560993 56000512 12778 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13672 12778 1111 63 0 13609 0
vsize: 54688
[startup+160.039 s]
Raw data (loadavg): 1.00 0.97 0.79 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 13135 0 0 0 15943 58 0 0 25 0 1 0 628560993 57098240 13055 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13940 13055 1111 63 0 13877 0
vsize: 55760
[startup+170.04 s]
Raw data (loadavg): 1.00 0.97 0.79 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 13390 0 0 0 16943 59 0 0 25 0 1 0 628560993 58179584 13310 4294967295 134512640 134714508 3221221776 3221220560 134529103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14204 13310 1111 63 0 14141 0
vsize: 56816
[startup+180.04 s]
Raw data (loadavg): 1.00 0.97 0.79 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 13804 0 0 0 17941 61 0 0 25 0 1 0 628560993 59936768 13723 4294967295 134512640 134714508 3221221776 3221220428 134536825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14633 13723 1111 63 0 14570 0
vsize: 58532
[startup+190.04 s]
Raw data (loadavg): 1.00 0.97 0.79 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 14866 0 0 0 18937 66 0 0 25 0 1 0 628560993 64274432 14785 4294967295 134512640 134714508 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15692 14785 1111 63 0 15629 0
vsize: 62768
[startup+200.041 s]
Raw data (loadavg): 1.00 0.97 0.80 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 15443 0 0 0 19935 68 0 0 25 0 1 0 628560993 66572288 15362 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16253 15362 1111 63 0 16190 0
vsize: 65012
[startup+210.041 s]
Raw data (loadavg): 1.00 0.97 0.80 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 15923 0 0 0 20933 70 0 0 25 0 1 0 628560993 68599808 15842 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16748 15842 1111 63 0 16685 0
vsize: 66992
[startup+220.042 s]
Raw data (loadavg): 1.00 0.97 0.80 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 16489 0 0 0 21931 72 0 0 25 0 1 0 628560993 70897664 16407 4294967295 134512640 134714508 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17309 16407 1111 63 0 17246 0
vsize: 69236
[startup+230.042 s]
Raw data (loadavg): 1.00 0.97 0.80 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 16843 0 0 0 22929 74 0 0 25 0 1 0 628560993 72413184 16761 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17679 16761 1111 63 0 17616 0
vsize: 70716
[startup+240.042 s]
Raw data (loadavg): 1.00 0.97 0.80 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 17182 0 0 0 23928 75 0 0 25 0 1 0 628560993 73764864 17100 4294967295 134512640 134714508 3221221776 3221220528 134592373 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18009 17100 1111 63 0 17946 0
vsize: 72036
[startup+250.042 s]
Raw data (loadavg): 1.00 0.97 0.81 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 17416 0 0 0 24927 76 0 0 25 0 1 0 628560993 74711040 17334 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18240 17334 1111 63 0 18177 0
vsize: 72960
[startup+260.043 s]
Raw data (loadavg): 1.00 0.97 0.81 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 17619 0 0 0 25926 78 0 0 25 0 1 0 628560993 75522048 17537 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18438 17537 1111 63 0 18375 0
vsize: 73752
[startup+270.043 s]
Raw data (loadavg): 1.00 0.97 0.81 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 17715 0 0 0 26926 78 0 0 25 0 1 0 628560993 75931648 17633 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18538 17633 1111 63 0 18475 0
vsize: 74152
[startup+280.044 s]
Raw data (loadavg): 1.00 0.97 0.81 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 18128 0 0 0 27924 80 0 0 25 0 1 0 628560993 77717504 18045 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18974 18045 1111 63 0 18911 0
vsize: 75896
[startup+290.044 s]
Raw data (loadavg): 1.00 0.97 0.81 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 18624 0 0 0 28922 82 0 0 25 0 1 0 628560993 79745024 18541 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19469 18541 1111 63 0 19406 0
vsize: 77876
[startup+300.044 s]
Raw data (loadavg): 1.00 0.97 0.82 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 18972 0 0 0 29920 84 0 0 25 0 1 0 628560993 81096704 18889 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19799 18889 1111 63 0 19736 0
vsize: 79196
[startup+310.044 s]
Raw data (loadavg): 1.00 0.97 0.82 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 19434 0 0 0 30918 87 0 0 25 0 1 0 628560993 82997248 19351 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20263 19351 1111 63 0 20200 0
vsize: 81052
[startup+320.045 s]
Raw data (loadavg): 1.00 0.97 0.82 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 19736 0 0 0 31917 88 0 0 25 0 1 0 628560993 84250624 19653 4294967295 134512640 134714508 3221221776 3221220480 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20569 19653 1111 63 0 20506 0
vsize: 82276
[startup+330.045 s]
Raw data (loadavg): 1.00 0.97 0.82 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 19975 0 0 0 32916 89 0 0 25 0 1 0 628560993 85331968 19892 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20833 19892 1111 63 0 20770 0
vsize: 83332
[startup+340.045 s]
Raw data (loadavg): 1.00 0.97 0.82 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 20172 0 0 0 33915 90 0 0 25 0 1 0 628560993 86142976 20089 4294967295 134512640 134714508 3221221776 3221220388 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21031 20089 1111 63 0 20968 0
vsize: 84124
[startup+350.046 s]
Raw data (loadavg): 1.00 0.97 0.82 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 20271 0 0 0 34914 91 0 0 25 0 1 0 628560993 86548480 20188 4294967295 134512640 134714508 3221221776 3221220500 134652880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21130 20188 1111 63 0 21067 0
vsize: 84520
[startup+360.047 s]
Raw data (loadavg): 1.00 0.97 0.82 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 20366 0 0 0 35913 92 0 0 25 0 1 0 628560993 86953984 20283 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21229 20283 1111 63 0 21166 0
vsize: 84916
[startup+370.048 s]
Raw data (loadavg): 1.00 0.97 0.82 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 20581 0 0 0 36912 93 0 0 25 0 1 0 628560993 87805952 20498 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21437 20498 1111 63 0 21374 0
vsize: 85748
[startup+380.048 s]
Raw data (loadavg): 1.00 0.97 0.83 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 20887 0 0 0 37911 95 0 0 25 0 1 0 628560993 89026560 20803 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21735 20803 1111 63 0 21672 0
vsize: 86940
[startup+390.048 s]
Raw data (loadavg): 1.00 0.97 0.83 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 21235 0 0 0 38910 96 0 0 25 0 1 0 628560993 90529792 21150 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22102 21150 1111 63 0 22039 0
vsize: 88408
[startup+400.048 s]
Raw data (loadavg): 1.00 0.97 0.83 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 21489 0 0 0 39909 98 0 0 25 0 1 0 628560993 91611136 21404 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22366 21404 1111 63 0 22303 0
vsize: 89464
[startup+410.048 s]
Raw data (loadavg): 1.00 0.97 0.83 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 21788 0 0 0 40907 99 0 0 25 0 1 0 628560993 92827648 21702 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22663 21702 1111 63 0 22600 0
vsize: 90652
[startup+420.049 s]
Raw data (loadavg): 1.00 0.97 0.83 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 21972 0 0 0 41907 100 0 0 25 0 1 0 628560993 93503488 21886 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22828 21886 1111 63 0 22765 0
vsize: 91312
[startup+430.05 s]
Raw data (loadavg): 1.00 0.97 0.83 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 22122 0 0 0 42906 101 0 0 25 0 1 0 628560993 94216192 22036 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23002 22036 1111 63 0 22939 0
vsize: 92008
[startup+440.049 s]
Raw data (loadavg): 1.00 0.97 0.83 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 22178 0 0 0 43906 101 0 0 25 0 1 0 628560993 94523392 22092 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23077 22092 1111 63 0 23014 0
vsize: 92308
[startup+450.05 s]
Raw data (loadavg): 1.00 0.97 0.83 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 22476 0 0 0 44905 102 0 0 25 0 1 0 628560993 95739904 22388 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23374 22388 1111 63 0 23311 0
vsize: 93496
[startup+460.05 s]
Raw data (loadavg): 1.00 0.97 0.83 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 22717 0 0 0 45904 103 0 0 25 0 1 0 628560993 96718848 22629 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23613 22629 1111 63 0 23550 0
vsize: 94452
[startup+470.051 s]
Raw data (loadavg): 1.00 0.97 0.83 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 22896 0 0 0 46903 104 0 0 25 0 1 0 628560993 97415168 22808 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23783 22808 1111 63 0 23720 0
vsize: 95132
[startup+480.052 s]
Raw data (loadavg): 1.00 0.97 0.83 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 23100 0 0 0 47903 105 0 0 25 0 1 0 628560993 98246656 23012 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23986 23012 1111 63 0 23923 0
vsize: 95944
[startup+490.052 s]
Raw data (loadavg): 1.00 0.97 0.84 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 23249 0 0 0 48902 106 0 0 25 0 1 0 628560993 98787328 23161 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24118 23161 1111 63 0 24055 0
vsize: 96472
[startup+500.053 s]
Raw data (loadavg): 1.00 0.97 0.84 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 23842 0 0 0 49900 109 0 0 25 0 1 0 628560993 101363712 23753 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24747 23753 1111 63 0 24684 0
vsize: 98988
[startup+510.053 s]
Raw data (loadavg): 1.00 0.97 0.84 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 24226 0 0 0 50897 111 0 0 25 0 1 0 628560993 102850560 24137 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25110 24137 1111 63 0 25047 0
vsize: 100440
[startup+520.054 s]
Raw data (loadavg): 1.00 0.97 0.84 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 24500 0 0 0 51896 112 0 0 25 0 1 0 628560993 104058880 24411 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25405 24411 1111 63 0 25342 0
vsize: 101620
[startup+530.054 s]
Raw data (loadavg): 1.00 0.97 0.84 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 24764 0 0 0 52895 114 0 0 25 0 1 0 628560993 105005056 24675 4294967295 134512640 134714508 3221221776 3221220544 134529115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25636 24675 1111 63 0 25573 0
vsize: 102544
[startup+540.054 s]
Raw data (loadavg): 1.00 0.97 0.84 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 25076 0 0 0 53893 116 0 0 25 0 1 0 628560993 106356736 24987 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25966 24987 1111 63 0 25903 0
vsize: 103864
[startup+550.055 s]
Raw data (loadavg): 1.00 0.97 0.84 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 25303 0 0 0 54892 117 0 0 25 0 1 0 628560993 107302912 25214 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26197 25214 1111 63 0 26134 0
vsize: 104788
[startup+560.056 s]
Raw data (loadavg): 1.00 0.97 0.84 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 25402 0 0 0 55892 117 0 0 25 0 1 0 628560993 107692032 25313 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26292 25313 1111 63 0 26229 0
vsize: 105168
[startup+570.057 s]
Raw data (loadavg): 1.00 0.97 0.84 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 25658 0 0 0 56891 119 0 0 25 0 1 0 628560993 108654592 25569 4294967295 134512640 134714508 3221221776 3221220396 134549859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26527 25569 1111 63 0 26464 0
vsize: 106108
[startup+580.057 s]
Raw data (loadavg): 1.07 0.99 0.85 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 26059 0 0 0 57889 121 0 0 25 0 1 0 628560993 110276608 25970 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26923 25970 1111 63 0 26860 0
vsize: 107692
[startup+590.058 s]
Raw data (loadavg): 1.06 0.99 0.85 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 26219 0 0 0 58888 122 0 0 25 0 1 0 628560993 110952448 26130 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27088 26130 1111 63 0 27025 0
vsize: 108352
[startup+600.058 s]
Raw data (loadavg): 1.05 0.99 0.85 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 26341 0 0 0 59887 123 0 0 25 0 1 0 628560993 111493120 26252 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27220 26252 1111 63 0 27157 0
vsize: 108880
[startup+610.058 s]
Raw data (loadavg): 1.04 0.99 0.85 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 26416 0 0 0 60887 124 0 0 25 0 1 0 628560993 111788032 26327 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27292 26327 1111 63 0 27229 0
vsize: 109168
[startup+620.059 s]
Raw data (loadavg): 1.04 0.99 0.85 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 26470 0 0 0 61887 124 0 0 25 0 1 0 628560993 112054272 26381 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27357 26381 1111 63 0 27294 0
vsize: 109428
[startup+630.06 s]
Raw data (loadavg): 1.03 0.99 0.85 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 26593 0 0 0 62886 125 0 0 25 0 1 0 628560993 112459776 26504 4294967295 134512640 134714508 3221221776 3221220384 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27456 26504 1111 63 0 27393 0
vsize: 109824
[startup+640.06 s]
Raw data (loadavg): 1.02 0.99 0.86 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 26767 0 0 0 63885 126 0 0 25 0 1 0 628560993 113266688 26678 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27653 26678 1111 63 0 27590 0
vsize: 110612
[startup+650.061 s]
Raw data (loadavg): 1.02 0.99 0.86 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 26912 0 0 0 64885 126 0 0 25 0 1 0 628560993 113807360 26823 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27785 26823 1111 63 0 27722 0
vsize: 111140
[startup+660.062 s]
Raw data (loadavg): 1.02 0.99 0.86 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 26984 0 0 0 65885 127 0 0 25 0 1 0 628560993 114077696 26895 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27851 26895 1111 63 0 27788 0
vsize: 111404
[startup+670.063 s]
Raw data (loadavg): 1.01 0.99 0.86 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 27184 0 0 0 66883 128 0 0 25 0 1 0 628560993 115032064 27095 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28084 27095 1111 63 0 28021 0
vsize: 112336
[startup+680.064 s]
Raw data (loadavg): 1.01 0.99 0.86 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 27353 0 0 0 67883 129 0 0 25 0 1 0 628560993 115707904 27264 4294967295 134512640 134714508 3221221776 3221220432 134536635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28249 27264 1111 63 0 28186 0
vsize: 112996
[startup+690.064 s]
Raw data (loadavg): 1.01 0.99 0.86 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 27548 0 0 0 68882 130 0 0 25 0 1 0 628560993 116383744 27459 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28414 27459 1111 63 0 28351 0
vsize: 113656
[startup+700.065 s]
Raw data (loadavg): 1.01 0.99 0.86 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 27740 0 0 0 69881 131 0 0 25 0 1 0 628560993 117194752 27651 4294967295 134512640 134714508 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28612 27651 1111 63 0 28549 0
vsize: 114448
[startup+710.065 s]
Raw data (loadavg): 1.01 0.99 0.86 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 27870 0 0 0 70880 132 0 0 25 0 1 0 628560993 117735424 27781 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28744 27781 1111 63 0 28681 0
vsize: 114976
[startup+720.066 s]
Raw data (loadavg): 1.00 0.99 0.86 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 28122 0 0 0 71879 134 0 0 25 0 1 0 628560993 118845440 28033 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29015 28033 1111 63 0 28952 0
vsize: 116060
[startup+730.066 s]
Raw data (loadavg): 1.00 0.99 0.86 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 28433 0 0 0 72877 136 0 0 25 0 1 0 628560993 120061952 28344 4294967295 134512640 134714508 3221221776 3221220352 134549825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29312 28344 1111 63 0 29249 0
vsize: 117248
[startup+740.066 s]
Raw data (loadavg): 1.00 0.99 0.87 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 28716 0 0 0 73876 137 0 0 25 0 1 0 628560993 121278464 28627 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29609 28627 1111 63 0 29546 0
vsize: 118436
[startup+750.067 s]
Raw data (loadavg): 1.00 0.99 0.87 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 28977 0 0 0 74874 139 0 0 25 0 1 0 628560993 122359808 28888 4294967295 134512640 134714508 3221221776 3221220512 134591824 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29873 28888 1111 63 0 29810 0
vsize: 119492
[startup+760.067 s]
Raw data (loadavg): 1.00 0.99 0.87 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 29132 0 0 0 75873 140 0 0 25 0 1 0 628560993 122900480 29043 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30005 29043 1111 63 0 29942 0
vsize: 120020
[startup+770.068 s]
Raw data (loadavg): 1.00 0.99 0.87 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 29301 0 0 0 76872 142 0 0 25 0 1 0 628560993 123576320 29212 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30170 29212 1111 63 0 30107 0
vsize: 120680
[startup+780.069 s]
Raw data (loadavg): 1.00 0.99 0.87 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 29504 0 0 0 77871 143 0 0 25 0 1 0 628560993 124387328 29414 4294967295 134512640 134714508 3221221776 3221220368 134549742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30368 29414 1111 63 0 30305 0
vsize: 121472
[startup+790.069 s]
Raw data (loadavg): 1.00 0.99 0.87 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 29639 0 0 0 78870 144 0 0 25 0 1 0 628560993 124928000 29549 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30500 29549 1111 63 0 30437 0
vsize: 122000
[startup+800.07 s]
Raw data (loadavg): 1.00 0.99 0.87 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 29701 0 0 0 79870 145 0 0 25 0 1 0 628560993 125198336 29611 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30566 29611 1111 63 0 30503 0
vsize: 122264
[startup+810.07 s]
Raw data (loadavg): 1.00 0.99 0.87 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 29794 0 0 0 80869 145 0 0 25 0 1 0 628560993 125677568 29704 4294967295 134512640 134714508 3221221776 3221220368 134549670 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30683 29704 1111 63 0 30620 0
vsize: 122732
[startup+820.071 s]
Raw data (loadavg): 1.00 0.99 0.87 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 29955 0 0 0 81868 147 0 0 25 0 1 0 628560993 126353408 29865 4294967295 134512640 134714508 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30848 29865 1111 63 0 30785 0
vsize: 123392
[startup+830.072 s]
Raw data (loadavg): 1.00 0.99 0.87 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 30084 0 0 0 82867 148 0 0 25 0 1 0 628560993 126894080 29994 4294967295 134512640 134714508 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30980 29994 1111 63 0 30917 0
vsize: 123920
[startup+840.072 s]
Raw data (loadavg): 1.00 0.99 0.88 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 30212 0 0 0 83867 148 0 0 25 0 1 0 628560993 127434752 30122 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31112 30122 1111 63 0 31049 0
vsize: 124448
[startup+850.073 s]
Raw data (loadavg): 1.00 0.99 0.88 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 30455 0 0 0 84866 150 0 0 25 0 1 0 628560993 128372736 30365 4294967295 134512640 134714508 3221221776 3221220560 134528943 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31341 30365 1111 63 0 31278 0
vsize: 125364
[startup+860.073 s]
Raw data (loadavg): 1.00 0.99 0.88 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 30631 0 0 0 85865 150 0 0 25 0 1 0 628560993 129048576 30541 4294967295 134512640 134714508 3221221776 3221220512 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31506 30541 1111 63 0 31443 0
vsize: 126024
[startup+870.074 s]
Raw data (loadavg): 1.00 0.99 0.88 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 30744 0 0 0 86865 151 0 0 25 0 1 0 628560993 129589248 30654 4294967295 134512640 134714508 3221221776 3221220464 134551950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31638 30654 1111 63 0 31575 0
vsize: 126552
[startup+880.074 s]
Raw data (loadavg): 1.00 0.99 0.88 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 30889 0 0 0 87865 152 0 0 25 0 1 0 628560993 130162688 30799 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31778 30799 1111 63 0 31715 0
vsize: 127112
[startup+890.075 s]
Raw data (loadavg): 1.00 0.99 0.88 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 31156 0 0 0 88863 153 0 0 25 0 1 0 628560993 131223552 31066 4294967295 134512640 134714508 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32037 31066 1111 63 0 31974 0
vsize: 128148
[startup+900.075 s]
Raw data (loadavg): 1.00 0.99 0.88 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 31330 0 0 0 89863 154 0 0 25 0 1 0 628560993 131899392 31240 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32202 31240 1111 63 0 32139 0
vsize: 128808
[startup+910.075 s]
Raw data (loadavg): 1.00 0.99 0.88 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 31429 0 0 0 90862 154 0 0 25 0 1 0 628560993 132304896 31339 4294967295 134512640 134714508 3221221776 3221220332 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32301 31339 1111 63 0 32238 0
vsize: 129204
[startup+920.076 s]
Raw data (loadavg): 1.00 0.99 0.88 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 31498 0 0 0 91862 155 0 0 25 0 1 0 628560993 132575232 31408 4294967295 134512640 134714508 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32367 31408 1111 63 0 32304 0
vsize: 129468
[startup+930.077 s]
Raw data (loadavg): 1.00 0.99 0.88 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 31773 0 0 0 92861 156 0 0 25 0 1 0 628560993 133689344 31683 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32639 31684 1111 63 0 32576 0
vsize: 130556
[startup+940.077 s]
Raw data (loadavg): 1.00 0.99 0.89 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 31952 0 0 0 93860 157 0 0 25 0 1 0 628560993 134500352 31862 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32837 31862 1111 63 0 32774 0
vsize: 131348
[startup+950.078 s]
Raw data (loadavg): 1.00 0.99 0.89 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 32087 0 0 0 94860 158 0 0 25 0 1 0 628560993 135045120 31997 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32970 31997 1111 63 0 32907 0
vsize: 131880
[startup+960.079 s]
Raw data (loadavg): 1.00 0.99 0.89 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 32220 0 0 0 95860 158 0 0 25 0 1 0 628560993 135626752 32130 4294967295 134512640 134714508 3221221776 3221220364 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33112 32130 1111 63 0 33049 0
vsize: 132448
[startup+970.08 s]
Raw data (loadavg): 1.00 0.99 0.89 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 32368 0 0 0 96859 159 0 0 25 0 1 0 628560993 136306688 32277 4294967295 134512640 134714508 3221221776 3221220364 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33278 32277 1111 63 0 33215 0
vsize: 133112
[startup+980.081 s]
Raw data (loadavg): 1.00 0.99 0.89 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 32512 0 0 0 97858 160 0 0 25 0 1 0 628560993 136847360 32421 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33410 32421 1111 63 0 33347 0
vsize: 133640
[startup+990.082 s]
Raw data (loadavg): 1.00 0.99 0.89 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 32670 0 0 0 98858 161 0 0 25 0 1 0 628560993 137515008 32579 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33573 32579 1111 63 0 33510 0
vsize: 134292
[startup+1000.08 s]
Raw data (loadavg): 1.00 0.99 0.89 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 32751 0 0 0 99858 161 0 0 25 0 1 0 628560993 137785344 32660 4294967295 134512640 134714508 3221221776 3221220528 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33639 32660 1111 63 0 33576 0
vsize: 134556
[startup+1010.08 s]
Raw data (loadavg): 1.00 0.99 0.89 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 32839 0 0 0 100857 162 0 0 25 0 1 0 628560993 138178560 32748 4294967295 134512640 134714508 3221221776 3221220368 134549676 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33735 32748 1111 63 0 33672 0
vsize: 134940
[startup+1020.08 s]
Raw data (loadavg): 1.00 0.99 0.89 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 32957 0 0 0 101856 163 0 0 25 0 1 0 628560993 138719232 32866 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33867 32866 1111 63 0 33804 0
vsize: 135468
[startup+1030.09 s]
Raw data (loadavg): 1.00 0.99 0.89 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 33037 0 0 0 102856 164 0 0 25 0 1 0 628560993 138985472 32946 4294967295 134512640 134714508 3221221776 3221220300 1077374048 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33932 32946 1111 63 0 33869 0
vsize: 135728
[startup+1040.09 s]
Raw data (loadavg): 1.00 0.99 0.89 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 33234 0 0 0 103854 165 0 0 25 0 1 0 628560993 139833344 33143 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34139 33143 1111 63 0 34076 0
vsize: 136556
[startup+1050.09 s]
Raw data (loadavg): 1.00 0.99 0.90 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 33321 0 0 0 104854 166 0 0 25 0 1 0 628560993 140238848 33230 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34238 33230 1111 63 0 34175 0
vsize: 136952
[startup+1060.09 s]
Raw data (loadavg): 1.00 0.99 0.90 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 33421 0 0 0 105854 166 0 0 25 0 1 0 628560993 140644352 33330 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34337 33330 1111 63 0 34274 0
vsize: 137348
[startup+1070.09 s]
Raw data (loadavg): 1.00 0.99 0.90 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 33488 0 0 0 106853 167 0 0 25 0 1 0 628560993 140902400 33397 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34400 33397 1111 63 0 34337 0
vsize: 137600
[startup+1080.09 s]
Raw data (loadavg): 1.00 0.99 0.90 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 33543 0 0 0 107853 167 0 0 25 0 1 0 628560993 141033472 33452 4294967295 134512640 134714508 3221221776 3221220512 134523886 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34432 33452 1111 63 0 34369 0
vsize: 137728
[startup+1090.09 s]
Raw data (loadavg): 1.00 0.99 0.90 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 33623 0 0 0 108853 168 0 0 25 0 1 0 628560993 141438976 33532 4294967295 134512640 134714508 3221221776 3221220560 134584866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34531 33532 1111 63 0 34468 0
vsize: 138124
[startup+1100.09 s]
Raw data (loadavg): 1.00 0.99 0.90 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 33706 0 0 0 109852 169 0 0 25 0 1 0 628560993 141709312 33615 4294967295 134512640 134714508 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34597 33615 1111 63 0 34534 0
vsize: 138388
[startup+1110.09 s]
Raw data (loadavg): 1.00 0.99 0.90 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 33741 0 0 0 110853 169 0 0 25 0 1 0 628560993 141844480 33650 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34630 33650 1111 63 0 34567 0
vsize: 138520
[startup+1120.09 s]
Raw data (loadavg): 1.00 0.99 0.90 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 33787 0 0 0 111852 169 0 0 25 0 1 0 628560993 142131200 33696 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34700 33696 1111 63 0 34637 0
vsize: 138800
[startup+1130.09 s]
Raw data (loadavg): 1.00 0.99 0.90 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 33807 0 0 0 112852 170 0 0 25 0 1 0 628560993 142295040 33716 4294967295 134512640 134714508 3221221776 3221220264 134552633 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34740 33716 1111 63 0 34677 0
vsize: 138960
[startup+1140.09 s]
Raw data (loadavg): 1.00 0.99 0.90 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 33945 0 0 0 113852 170 0 0 25 0 1 0 628560993 142835712 33854 4294967295 134512640 134714508 3221221776 3221220272 134535391 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34872 33854 1111 63 0 34809 0
vsize: 139488
[startup+1150.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 34020 0 0 0 114851 171 0 0 25 0 1 0 628560993 143106048 33929 4294967295 134512640 134714508 3221221776 3221220472 134528705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34938 33929 1111 63 0 34875 0
vsize: 139752
[startup+1160.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 34065 0 0 0 115851 172 0 0 25 0 1 0 628560993 143237120 33974 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34970 33974 1111 63 0 34907 0
vsize: 139880
[startup+1170.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 34182 0 0 0 116850 173 0 0 25 0 1 0 628560993 143777792 34091 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35102 34091 1111 63 0 35039 0
vsize: 140408
[startup+1174.96 s]
Raw data (loadavg): 1.00 0.99 0.91 1/56 8122
Raw data (stat): 8122 (bsolo_lpr) R 8121 7876 7672 34817 7672 0 34182 0 0 0 116850 173 0 0 25 0 1 0 628560993 143777792 34091 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35102 34091 1111 63 0 35039 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.1
CPU user time (s): 1173.3
CPU system time (s): 1.79673
CPU usage (%): 100.012
Max. virtual memory (Kb): 140408
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####