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-par32-4-c.opb
MD5SUM	3d2c3109962e8068c6ff1a393a02942b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2666
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	2666
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	2666
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2666
Total number of constraints	6659
Number of constraints which are clauses	6659
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 24182

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 22:06:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1873 boxname=wulflinc31 idbench=209 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  3d2c3109962e8068c6ff1a393a02942b  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-4-c.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-par32-4-c.opb
IDLAUNCH: 1873
/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:        137080 kB
Buffers:         42440 kB
Cached:         820856 kB
SwapCached:        644 kB
Active:         494524 kB
Inactive:       371116 kB
HighTotal:      131008 kB
HighFree:          756 kB
LowTotal:       903652 kB
LowFree:        136324 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             808 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26464 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 22:26:16 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 1873 7 1175.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2666 variables and 6659 constraints.
c After prepocess the problem consists of 2601 variables and 8508 constraints.
c preprocess terminated 58.377 s
c Initial Lower Bound: 818
c Lower Bound Elapsed time: 17.7693
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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.93 0.97 0.99 2/54 17918
Raw data (stat): 17918 (runsolver) R 17917 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 695433811 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0014 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 6276 0 0 0 979 17 0 0 25 0 1 0 695433811 18235392 3609 4294967295 134512640 134714508 3221221792 3221220444 134558618 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4452 3609 1111 63 0 4389 0
vsize: 17808
[startup+20.0019 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 6276 0 0 0 1979 17 0 0 25 0 1 0 695433811 18235392 3609 4294967295 134512640 134714508 3221221792 3221220444 134558618 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4452 3609 1111 63 0 4389 0
vsize: 17808
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 6279 0 0 0 2979 17 0 0 25 0 1 0 695433811 18370560 3612 4294967295 134512640 134714508 3221221792 3221220440 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4485 3612 1111 63 0 4422 0
vsize: 17940
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 6432 0 0 0 3979 18 0 0 25 0 1 0 695433811 18911232 3765 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4617 3765 1111 63 0 4554 0
vsize: 18468
[startup+50.003 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 6554 0 0 0 4978 18 0 0 25 0 1 0 695433811 19451904 3887 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4749 3887 1111 63 0 4686 0
vsize: 18996
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 7695 0 0 0 5975 22 0 0 25 0 1 0 695433811 24068096 5028 4294967295 134512640 134714508 3221221792 3221220096 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5876 5028 1111 63 0 5813 0
vsize: 23504
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 9168 0 0 0 6971 26 0 0 25 0 1 0 695433811 30789632 6191 4294967295 134512640 134714508 3221221792 3221217872 1075091586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7517 6191 1111 63 0 7454 0
vsize: 30068
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 9215 0 0 0 7971 26 0 0 25 0 1 0 695433811 30789632 6238 4294967295 134512640 134714508 3221221792 3221217920 1074815372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7517 6238 1111 63 0 7454 0
vsize: 30068
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 9226 0 0 0 8971 26 0 0 25 0 1 0 695433811 30789632 6249 4294967295 134512640 134714508 3221221792 3221217872 1074883665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7517 6249 1111 63 0 7454 0
vsize: 30068
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 9231 0 0 0 9971 26 0 0 25 0 1 0 695433811 30789632 6254 4294967295 134512640 134714508 3221221792 3221218480 1076083558 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7517 6254 1111 63 0 7454 0
vsize: 30068
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 9443 0 0 0 10971 26 0 0 25 0 1 0 695433811 29687808 6195 4294967295 134512640 134714508 3221221792 3221217648 1075965308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7248 6195 1111 63 0 7185 0
vsize: 28992
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 9479 0 0 0 11971 26 0 0 25 0 1 0 695433811 29917184 6231 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7304 6231 1111 63 0 7241 0
vsize: 29216
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 9634 0 0 0 12971 27 0 0 25 0 1 0 695433811 31133696 6386 4294967295 134512640 134714508 3221221792 3221217700 1074790695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7601 6386 1111 63 0 7538 0
vsize: 30404
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 12434 0 0 0 13965 32 0 0 25 0 1 0 695433811 31428608 6223 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7673 6223 1111 63 0 7610 0
vsize: 30692
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 18545 0 0 0 14952 46 0 0 25 0 1 0 695433811 30728192 6410 4294967295 134512640 134714508 3221221792 3221217872 1075094860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7502 6410 1111 63 0 7439 0
vsize: 30008
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 21413 0 0 0 15945 53 0 0 25 0 1 0 695433811 32141312 6414 4294967295 134512640 134714508 3221221792 3221217872 1074794536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7847 6414 1111 63 0 7784 0
vsize: 31388
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 21806 0 0 0 16944 55 0 0 25 0 1 0 695433811 31260672 6501 4294967295 134512640 134714508 3221221792 3221217680 1075965243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7632 6501 1111 63 0 7569 0
vsize: 30528
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 25157 0 0 0 17936 63 0 0 25 0 1 0 695433811 31322112 6556 4294967295 134512640 134714508 3221221792 3221217596 1074788937 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7647 6556 1111 63 0 7584 0
vsize: 30588
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 25220 0 0 0 18936 63 0 0 25 0 1 0 695433811 31465472 6619 4294967295 134512640 134714508 3221221792 3221218496 1074793534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7682 6619 1111 63 0 7619 0
vsize: 30728
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 30279 0 0 0 19924 75 0 0 25 0 1 0 695433811 27709440 6018 4294967295 134512640 134714508 3221221792 3221219864 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6765 6018 1111 63 0 6702 0
vsize: 27060
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 31959 0 0 0 20920 79 0 0 25 0 1 0 695433811 31633408 6648 4294967295 134512640 134714508 3221221792 3221217984 1074960909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7723 6648 1111 63 0 7660 0
vsize: 30892
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 33909 0 0 0 21916 84 0 0 25 0 1 0 695433811 27926528 6072 4294967295 134512640 134714508 3221221792 3221219864 1074950077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6072 1111 63 0 6755 0
vsize: 27272
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 35560 0 0 0 22911 88 0 0 25 0 1 0 695433811 31907840 6713 4294967295 134512640 134714508 3221221792 3221217916 1075564165 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7790 6713 1111 63 0 7727 0
vsize: 31160
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 39924 0 0 0 23902 97 0 0 25 0 1 0 695433811 26558464 5772 4294967295 134512640 134714508 3221221792 3221220480 134543698 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6484 5772 1111 63 0 6421 0
vsize: 25936
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 39924 0 0 0 24902 98 0 0 25 0 1 0 695433811 26558464 5772 4294967295 134512640 134714508 3221221792 3221220592 134597733 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6484 5772 1111 63 0 6421 0
vsize: 25936
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 40108 0 0 0 25901 99 0 0 25 0 1 0 695433811 27369472 5956 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6682 5956 1111 63 0 6619 0
vsize: 26728
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 40271 0 0 0 26900 99 0 0 25 0 1 0 695433811 28045312 6119 4294967295 134512640 134714508 3221221792 3221220400 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6847 6119 1111 63 0 6784 0
vsize: 27388
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 40452 0 0 0 27899 101 0 0 25 0 1 0 695433811 28721152 6300 4294967295 134512640 134714508 3221221792 3221220580 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7012 6300 1111 63 0 6949 0
vsize: 28048
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 40606 0 0 0 28898 102 0 0 25 0 1 0 695433811 29396992 6454 4294967295 134512640 134714508 3221221792 3221220288 134697098 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7177 6454 1111 63 0 7114 0
vsize: 28708
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 40782 0 0 0 29897 104 0 0 25 0 1 0 695433811 30081024 6630 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7344 6630 1111 63 0 7281 0
vsize: 29376
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 40937 0 0 0 30896 105 0 0 25 0 1 0 695433811 30756864 6785 4294967295 134512640 134714508 3221221792 3221220592 134597692 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7509 6785 1111 63 0 7446 0
vsize: 30036
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 41134 0 0 0 31894 106 0 0 25 0 1 0 695433811 31571968 6982 4294967295 134512640 134714508 3221221792 3221220464 134652825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7708 6982 1111 63 0 7645 0
vsize: 30832
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 41297 0 0 0 32893 107 0 0 25 0 1 0 695433811 32247808 7145 4294967295 134512640 134714508 3221221792 3221220464 134543681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7873 7145 1111 63 0 7810 0
vsize: 31492
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 41399 0 0 0 33892 109 0 0 25 0 1 0 695433811 32653312 7247 4294967295 134512640 134714508 3221221792 3221220468 134542962 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7972 7247 1111 63 0 7909 0
vsize: 31888
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 41523 0 0 0 34891 110 0 0 25 0 1 0 695433811 33193984 7371 4294967295 134512640 134714508 3221221792 3221220412 134613956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8104 7371 1111 63 0 8041 0
vsize: 32416
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 41656 0 0 0 35890 111 0 0 25 0 1 0 695433811 33734656 7504 4294967295 134512640 134714508 3221221792 3221220336 134696418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8236 7504 1111 63 0 8173 0
vsize: 32944
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 41773 0 0 0 36889 112 0 0 25 0 1 0 695433811 34140160 7621 4294967295 134512640 134714508 3221221792 3221220580 134597574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8335 7621 1111 63 0 8272 0
vsize: 33340
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 41897 0 0 0 37888 113 0 0 25 0 1 0 695433811 34680832 7745 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8467 7745 1111 63 0 8404 0
vsize: 33868
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 42029 0 0 0 38887 114 0 0 25 0 1 0 695433811 35221504 7877 4294967295 134512640 134714508 3221221792 3221220592 134597735 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8599 7877 1111 63 0 8536 0
vsize: 34396
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 42153 0 0 0 39886 116 0 0 25 0 1 0 695433811 35762176 8001 4294967295 134512640 134714508 3221221792 3221220572 134600365 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8731 8001 1111 63 0 8668 0
vsize: 34924
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 42294 0 0 0 40885 117 0 0 25 0 1 0 695433811 36306944 8142 4294967295 134512640 134714508 3221221792 3221220568 134600364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8864 8142 1111 63 0 8801 0
vsize: 35456
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 42427 0 0 0 41884 118 0 0 25 0 1 0 695433811 36847616 8275 4294967295 134512640 134714508 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8996 8275 1111 63 0 8933 0
vsize: 35984
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 42551 0 0 0 42884 119 0 0 25 0 1 0 695433811 37388288 8399 4294967295 134512640 134714508 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9128 8399 1111 63 0 9065 0
vsize: 36512
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 42695 0 0 0 43883 119 0 0 25 0 1 0 695433811 37928960 8543 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9260 8543 1111 63 0 9197 0
vsize: 37040
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 42827 0 0 0 44882 120 0 0 25 0 1 0 695433811 38469632 8675 4294967295 134512640 134714508 3221221792 3221220356 134542700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9392 8675 1111 63 0 9329 0
vsize: 37568
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 42964 0 0 0 45882 121 0 0 25 0 1 0 695433811 39141376 8812 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9556 8812 1111 63 0 9493 0
vsize: 38224
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 43124 0 0 0 46881 122 0 0 25 0 1 0 695433811 39677952 8972 4294967295 134512640 134714508 3221221792 3221220352 134542368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9687 8972 1111 63 0 9624 0
vsize: 38748
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 43268 0 0 0 47880 123 0 0 25 0 1 0 695433811 40349696 9116 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9851 9116 1111 63 0 9788 0
vsize: 39404
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 43398 0 0 0 48879 124 0 0 25 0 1 0 695433811 40890368 9246 4294967295 134512640 134714508 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9983 9246 1111 63 0 9920 0
vsize: 39932
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 43540 0 0 0 49879 125 0 0 25 0 1 0 695433811 41431040 9388 4294967295 134512640 134714508 3221221792 3221220348 134539208 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10115 9388 1111 63 0 10052 0
vsize: 40460
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 43700 0 0 0 50879 125 0 0 25 0 1 0 695433811 42106880 9548 4294967295 134512640 134714508 3221221792 3221220440 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10280 9548 1111 63 0 10217 0
vsize: 41120
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 43834 0 0 0 51878 126 0 0 25 0 1 0 695433811 42647552 9682 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10412 9682 1111 63 0 10349 0
vsize: 41648
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 43973 0 0 0 52878 126 0 0 25 0 1 0 695433811 43188224 9821 4294967295 134512640 134714508 3221221792 3221220560 134584892 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10544 9821 1111 63 0 10481 0
vsize: 42176
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 44119 0 0 0 53877 127 0 0 25 0 1 0 695433811 43864064 9967 4294967295 134512640 134714508 3221221792 3221220552 134652884 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10709 9967 1111 63 0 10646 0
vsize: 42836
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 44250 0 0 0 54876 128 0 0 25 0 1 0 695433811 44400640 10098 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10840 10098 1111 63 0 10777 0
vsize: 43360
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 44371 0 0 0 55876 129 0 0 25 0 1 0 695433811 44806144 10219 4294967295 134512640 134714508 3221221792 3221220480 134523350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10939 10219 1111 63 0 10876 0
vsize: 43756
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 44523 0 0 0 56875 130 0 0 25 0 1 0 695433811 45477888 10371 4294967295 134512640 134714508 3221221792 3221220344 134539340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11103 10371 1111 63 0 11040 0
vsize: 44412
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 44649 0 0 0 57875 130 0 0 25 0 1 0 695433811 46018560 10497 4294967295 134512640 134714508 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11235 10497 1111 63 0 11172 0
vsize: 44940
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 44754 0 0 0 58875 130 0 0 25 0 1 0 695433811 46419968 10602 4294967295 134512640 134714508 3221221792 3221220432 134696116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11333 10602 1111 63 0 11270 0
vsize: 45332
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 44852 0 0 0 59874 131 0 0 25 0 1 0 695433811 46821376 10700 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11431 10700 1111 63 0 11368 0
vsize: 45724
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 44959 0 0 0 60874 131 0 0 25 0 1 0 695433811 47226880 10807 4294967295 134512640 134714508 3221221792 3221220416 134539570 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11530 10807 1111 63 0 11467 0
vsize: 46120
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 45066 0 0 0 61873 132 0 0 25 0 1 0 695433811 47767552 10914 4294967295 134512640 134714508 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11662 10914 1111 63 0 11599 0
vsize: 46648
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 45156 0 0 0 62873 133 0 0 25 0 1 0 695433811 48037888 11004 4294967295 134512640 134714508 3221221792 3221220596 134557831 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11728 11004 1111 63 0 11665 0
vsize: 46912
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 45271 0 0 0 63872 133 0 0 25 0 1 0 695433811 48578560 11119 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11860 11119 1111 63 0 11797 0
vsize: 47440
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 45383 0 0 0 64872 134 0 0 25 0 1 0 695433811 48984064 11231 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11959 11231 1111 63 0 11896 0
vsize: 47836
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 45511 0 0 0 65871 135 0 0 25 0 1 0 695433811 49524736 11359 4294967295 134512640 134714508 3221221792 3221220448 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12091 11359 1111 63 0 12028 0
vsize: 48364
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 45630 0 0 0 66871 136 0 0 25 0 1 0 695433811 50065408 11478 4294967295 134512640 134714508 3221221792 3221220128 134697496 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12223 11478 1111 63 0 12160 0
vsize: 48892
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 45732 0 0 0 67870 136 0 0 25 0 1 0 695433811 50479104 11580 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12324 11580 1111 63 0 12261 0
vsize: 49296
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 45877 0 0 0 68869 138 0 0 25 0 1 0 695433811 51019776 11725 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12456 11725 1111 63 0 12393 0
vsize: 49824
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46003 0 0 0 69868 138 0 0 25 0 1 0 695433811 51560448 11851 4294967295 134512640 134714508 3221221792 3221220496 134528735 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12588 11851 1111 63 0 12525 0
vsize: 50352
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46110 0 0 0 70868 139 0 0 25 0 1 0 695433811 51965952 11958 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12687 11958 1111 63 0 12624 0
vsize: 50748
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46215 0 0 0 71867 140 0 0 25 0 1 0 695433811 52383744 12063 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12789 12063 1111 63 0 12726 0
vsize: 51156
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46311 0 0 0 72867 140 0 0 25 0 1 0 695433811 52789248 12159 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12888 12159 1111 63 0 12825 0
vsize: 51552
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46413 0 0 0 73867 141 0 0 25 0 1 0 695433811 53194752 12261 4294967295 134512640 134714508 3221221792 3221220528 134535740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12987 12261 1111 63 0 12924 0
vsize: 51948
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46526 0 0 0 74866 141 0 0 25 0 1 0 695433811 53735424 12374 4294967295 134512640 134714508 3221221792 3221220352 134696515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13119 12374 1111 63 0 13056 0
vsize: 52476
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46650 0 0 0 75866 142 0 0 25 0 1 0 695433811 54140928 12498 4294967295 134512640 134714508 3221221792 3221220300 134535928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13218 12498 1111 63 0 13155 0
vsize: 52872
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46767 0 0 0 76866 142 0 0 25 0 1 0 695433811 54681600 12615 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13350 12615 1111 63 0 13287 0
vsize: 53400
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46874 0 0 0 77866 143 0 0 25 0 1 0 695433811 55087104 12722 4294967295 134512640 134714508 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13449 12722 1111 63 0 13386 0
vsize: 53796
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 46993 0 0 0 78865 143 0 0 25 0 1 0 695433811 55627776 12841 4294967295 134512640 134714508 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13581 12841 1111 63 0 13518 0
vsize: 54324
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 47106 0 0 0 79865 144 0 0 25 0 1 0 695433811 56033280 12954 4294967295 134512640 134714508 3221221792 3221220528 134588000 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13680 12954 1111 63 0 13617 0
vsize: 54720
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 47214 0 0 0 80864 145 0 0 25 0 1 0 695433811 56573952 13062 4294967295 134512640 134714508 3221221792 3221220352 134542342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13812 13062 1111 63 0 13749 0
vsize: 55248
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 47325 0 0 0 81864 145 0 0 25 0 1 0 695433811 56979456 13173 4294967295 134512640 134714508 3221221792 3221220416 134542359 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13911 13173 1111 63 0 13848 0
vsize: 55644
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 47425 0 0 0 82864 146 0 0 25 0 1 0 695433811 57384960 13273 4294967295 134512640 134714508 3221221792 3221220384 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14010 13273 1111 63 0 13947 0
vsize: 56040
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 47523 0 0 0 83863 146 0 0 25 0 1 0 695433811 57790464 13371 4294967295 134512640 134714508 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14109 13371 1111 63 0 14046 0
vsize: 56436
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 47659 0 0 0 84863 147 0 0 25 0 1 0 695433811 58339328 13507 4294967295 134512640 134714508 3221221792 3221220376 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14243 13507 1111 63 0 14180 0
vsize: 56972
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 47775 0 0 0 85862 148 0 0 25 0 1 0 695433811 58880000 13623 4294967295 134512640 134714508 3221221792 3221220436 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14375 13623 1111 63 0 14312 0
vsize: 57500
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 47877 0 0 0 86862 148 0 0 25 0 1 0 695433811 59285504 13725 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14474 13725 1111 63 0 14411 0
vsize: 57896
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48003 0 0 0 87861 149 0 0 25 0 1 0 695433811 59826176 13851 4294967295 134512640 134714508 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14606 13851 1111 63 0 14543 0
vsize: 58424
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48120 0 0 0 88860 150 0 0 25 0 1 0 695433811 60231680 13968 4294967295 134512640 134714508 3221221792 3221220432 134542368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14705 13968 1111 63 0 14642 0
vsize: 58820
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48225 0 0 0 89860 150 0 0 25 0 1 0 695433811 60641280 14072 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14805 14072 1111 63 0 14742 0
vsize: 59220
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48327 0 0 0 90860 151 0 0 25 0 1 0 695433811 61046784 14174 4294967295 134512640 134714508 3221221792 3221220396 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14904 14174 1111 63 0 14841 0
vsize: 59616
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48438 0 0 0 91860 151 0 0 25 0 1 0 695433811 61587456 14285 4294967295 134512640 134714508 3221221792 3221220496 134528702 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15036 14285 1111 63 0 14973 0
vsize: 60144
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48547 0 0 0 92860 151 0 0 25 0 1 0 695433811 61992960 14394 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15135 14394 1111 63 0 15072 0
vsize: 60540
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48640 0 0 0 93860 152 0 0 25 0 1 0 695433811 62394368 14487 4294967295 134512640 134714508 3221221792 3221220376 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15233 14487 1111 63 0 15170 0
vsize: 60932
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48751 0 0 0 94859 152 0 0 25 0 1 0 695433811 62799872 14598 4294967295 134512640 134714508 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15332 14598 1111 63 0 15269 0
vsize: 61328
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48873 0 0 0 95859 153 0 0 25 0 1 0 695433811 63340544 14720 4294967295 134512640 134714508 3221221792 3221220464 134543686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15464 14720 1111 63 0 15401 0
vsize: 61856
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 48961 0 0 0 96858 154 0 0 25 0 1 0 695433811 63746048 14808 4294967295 134512640 134714508 3221221792 3221220384 134549548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15563 14808 1111 63 0 15500 0
vsize: 62252
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49076 0 0 0 97858 154 0 0 25 0 1 0 695433811 64151552 14923 4294967295 134512640 134714508 3221221792 3221220332 134539243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15662 14923 1111 63 0 15599 0
vsize: 62648
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49180 0 0 0 98858 155 0 0 25 0 1 0 695433811 64557056 15027 4294967295 134512640 134714508 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15761 15027 1111 63 0 15698 0
vsize: 63044
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49283 0 0 0 99857 155 0 0 25 0 1 0 695433811 64962560 15130 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15860 15130 1111 63 0 15797 0
vsize: 63440
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49391 0 0 0 100857 156 0 0 25 0 1 0 695433811 65499136 15238 4294967295 134512640 134714508 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15991 15238 1111 63 0 15928 0
vsize: 63964
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49480 0 0 0 101856 157 0 0 25 0 1 0 695433811 65769472 15327 4294967295 134512640 134714508 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16057 15327 1111 63 0 15994 0
vsize: 64228
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49582 0 0 0 102856 157 0 0 25 0 1 0 695433811 66174976 15429 4294967295 134512640 134714508 3221221792 3221220592 134597769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16156 15429 1111 63 0 16093 0
vsize: 64624
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49678 0 0 0 103856 157 0 0 25 0 1 0 695433811 66580480 15525 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16255 15525 1111 63 0 16192 0
vsize: 65020
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49791 0 0 0 104855 158 0 0 25 0 1 0 695433811 67133440 15638 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16390 15638 1111 63 0 16327 0
vsize: 65560
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49884 0 0 0 105855 159 0 0 25 0 1 0 695433811 67538944 15731 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16489 15731 1111 63 0 16426 0
vsize: 65956
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 49979 0 0 0 106854 159 0 0 25 0 1 0 695433811 67944448 15826 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16588 15826 1111 63 0 16525 0
vsize: 66352
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50072 0 0 0 107854 160 0 0 25 0 1 0 695433811 68214784 15919 4294967295 134512640 134714508 3221221792 3221220328 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16654 15919 1111 63 0 16591 0
vsize: 66616
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50172 0 0 0 108854 160 0 0 25 0 1 0 695433811 68620288 16019 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16753 16019 1111 63 0 16690 0
vsize: 67012
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50261 0 0 0 109854 161 0 0 25 0 1 0 695433811 69025792 16108 4294967295 134512640 134714508 3221221792 3221220328 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16852 16108 1111 63 0 16789 0
vsize: 67408
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50337 0 0 0 110854 161 0 0 25 0 1 0 695433811 69447680 16184 4294967295 134512640 134714508 3221221792 3221220432 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16955 16184 1111 63 0 16892 0
vsize: 67820
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50434 0 0 0 111853 161 0 0 25 0 1 0 695433811 69853184 16281 4294967295 134512640 134714508 3221221792 3221220332 134539243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17054 16281 1111 63 0 16991 0
vsize: 68216
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50519 0 0 0 112853 162 0 0 25 0 1 0 695433811 70123520 16366 4294967295 134512640 134714508 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17120 16366 1111 63 0 17057 0
vsize: 68480
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50605 0 0 0 113853 162 0 0 25 0 1 0 695433811 70529024 16452 4294967295 134512640 134714508 3221221792 3221220436 134543119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17219 16452 1111 63 0 17156 0
vsize: 68876
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50682 0 0 0 114852 163 0 0 25 0 1 0 695433811 70799360 16529 4294967295 134512640 134714508 3221221792 3221220232 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17285 16529 1111 63 0 17222 0
vsize: 69140
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50768 0 0 0 115852 163 0 0 25 0 1 0 695433811 71213056 16615 4294967295 134512640 134714508 3221221792 3221220536 134672906 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17386 16615 1111 63 0 17323 0
vsize: 69544
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50855 0 0 0 116852 164 0 0 25 0 1 0 695433811 71483392 16702 4294967295 134512640 134714508 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17452 16702 1111 63 0 17389 0
vsize: 69808
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.97 0.99 1/53 17918
Raw data (stat): 17918 (bsolo_lpr) R 17917 7876 7672 0 -1 0 50855 0 0 0 116852 164 0 0 25 0 1 0 695433811 71483392 16702 4294967295 134512640 134714508 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17452 16702 1111 63 0 17389 0
vsize: 0

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