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-ii16b2.opb
MD5SUM	e21ba82f6fe94f7331ec17a5a9607763
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1031
Optimality of the best value was proved	NO
Number of terms in the objective function	2152
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	2152
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	2152
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	20.8518
Number of variables	2152
Total number of constraints	17197
Number of constraints which are clauses	17197
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	16
Trace number 23832

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-05 09:01:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1243 boxname=wulflinc31 idbench=139 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  e21ba82f6fe94f7331ec17a5a9607763  /oldhome/oroussel/tmp/wulflinc31/normalized-ii16b2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ii16b2.opb
IDLAUNCH: 1243
/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:        905344 kB
Buffers:         31812 kB
Cached:          72372 kB
SwapCached:       3596 kB
Active:          67536 kB
Inactive:        41756 kB
HighTotal:      131008 kB
HighFree:        55356 kB
LowTotal:       903652 kB
LowFree:        849988 kB
SwapTotal:     2097892 kB
SwapFree:      2093676 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5544 kB
Slab:            14240 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-05 09:21:04 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 1243 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2152 variables and 17197 constraints.
c After prepocess the problem consists of 2152 variables and 17485 constraints.
c preprocess terminated 113.432 s
c Initial Lower Bound: 648
c Lower Bound Elapsed time: 48.5082
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 1076 @ 356.145
c NEW SOLUTION FOUND: 1075 @ 356.15
c NEW SOLUTION FOUND: 1074 @ 356.182
c NEW SOLUTION FOUND: 1073 @ 356.208
c NEW SOLUTION FOUND: 1072 @ 356.233
c NEW SOLUTION FOUND: 1071 @ 356.259
c NEW SOLUTION FOUND: 1070 @ 356.311
c NEW SOLUTION FOUND: 1069 @ 356.339
c NEW SOLUTION FOUND: 1068 @ 356.367
c NEW SOLUTION FOUND: 1067 @ 356.396
c NEW SOLUTION FOUND: 1066 @ 356.426
c NEW SOLUTION FOUND: 1065 @ 356.484
c NEW SOLUTION FOUND: 1064 @ 356.514
c NEW SOLUTION FOUND: 1063 @ 356.576
c NEW SOLUTION FOUND: 1062 @ 356.609
c NEW SOLUTION FOUND: 1061 @ 356.642
c NEW SOLUTION FOUND: 1060 @ 356.676
c NEW SOLUTION FOUND: 1059 @ 356.709
c NEW SOLUTION FOUND: 1058 @ 356.743
c NEW SOLUTION FOUND: 1057 @ 356.778
c NEW SOLUTION FOUND: 1056 @ 356.813
c NEW SOLUTION FOUND: 1055 @ 356.849
c NEW SOLUTION FOUND: 1054 @ 356.885
c NEW SOLUTION FOUND: 1053 @ 356.922
c NEW SOLUTION FOUND: 1052 @ 356.959
c NEW SOLUTION FOUND: 1051 @ 356.997
c NEW SOLUTION FOUND: 1050 @ 357.035
c NEW SOLUTION FOUND: 1049 @ 357.074
c NEW SOLUTION FOUND: 1048 @ 357.113
c NEW SOLUTION FOUND: 1047 @ 357.152
c NEW SOLUTION FOUND: 1046 @ 357.192
c NEW SOLUTION FOUND: 1045 @ 357.272
c NEW SOLUTION FOUND: 1044 @ 357.314
c NEW SOLUTION FOUND: 1043 @ 357.396
c NEW SOLUTION FOUND: 1042 @ 357.439
c NEW SOLUTION FOUND: 1041 @ 357.483
c NEW SOLUTION FOUND: 1040 @ 357.527
c NEW SOLUTION FOUND: 1039 @ 357.573
c NEW SOLUTION FOUND: 1038 @ 357.619
c NEW SOLUTION FOUND: 1037 @ 357.668
c NEW SOLUTION FOUND: 1036 @ 357.766
c NEW SOLUTION FOUND: 1035 @ 357.815
c NEW SOLUTION FOUND: 1034 @ 357.865
c NEW SOLUTION FOUND: 1033 @ 357.916
c NEW SOLUTION FOUND: 1032 @ 357.969
c NEW SOLUTION FOUND: 1031 @ 358.02
#### 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): 1.60 1.15 1.05 2/54 10993
Raw data (stat): 10993 (runsolver) R 10992 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 664796357 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 1.50 1.15 1.05 2/54 10993
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 3975 0 0 0 983 11 0 0 25 0 1 0 664796357 19464192 3892 4294967295 134512640 134714508 3221221792 3221220368 134535844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4752 3892 1111 63 0 4689 0
vsize: 19008
[startup+20.0013 s]
Raw data (loadavg): 1.43 1.14 1.05 2/54 10993
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 15480 0 0 0 1952 42 0 0 25 0 1 0 664796357 66363392 15362 4294967295 134512640 134714508 3221221792 3221220280 134542295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+30.0016 s]
Raw data (loadavg): 1.36 1.14 1.05 2/54 10993
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 15480 0 0 0 2953 42 0 0 25 0 1 0 664796357 66363392 15362 4294967295 134512640 134714508 3221221792 3221220260 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+40.0023 s]
Raw data (loadavg): 1.30 1.13 1.05 2/54 10993
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 15480 0 0 0 3953 42 0 0 25 0 1 0 664796357 66363392 15362 4294967295 134512640 134714508 3221221792 3221220132 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+50.0033 s]
Raw data (loadavg): 1.26 1.13 1.04 2/54 10993
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 15480 0 0 0 4953 43 0 0 25 0 1 0 664796357 66363392 15362 4294967295 134512640 134714508 3221221792 3221220200 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+60.0036 s]
Raw data (loadavg): 1.22 1.12 1.04 2/54 10993
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 15480 0 0 0 5953 43 0 0 25 0 1 0 664796357 66363392 15362 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+70.0044 s]
Raw data (loadavg): 1.18 1.12 1.04 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 15480 0 0 0 6953 43 0 0 25 0 1 0 664796357 66363392 15362 4294967295 134512640 134714508 3221221792 3221220464 134627170 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+80.0044 s]
Raw data (loadavg): 1.15 1.11 1.04 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 15480 0 0 0 7953 43 0 0 25 0 1 0 664796357 66363392 15362 4294967295 134512640 134714508 3221221792 3221220464 134627184 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+90.0047 s]
Raw data (loadavg): 1.13 1.11 1.04 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 15480 0 0 0 8953 43 0 0 25 0 1 0 664796357 66363392 15362 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+100.004 s]
Raw data (loadavg): 1.11 1.11 1.04 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 15480 0 0 0 9954 43 0 0 25 0 1 0 664796357 66363392 15362 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+110.004 s]
Raw data (loadavg): 1.09 1.10 1.04 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 15480 0 0 0 10954 43 0 0 25 0 1 0 664796357 66363392 15362 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16202 15362 1111 63 0 16139 0
vsize: 64808
[startup+120.006 s]
Raw data (loadavg): 1.08 1.10 1.04 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 15937 0 0 0 11952 44 0 0 25 0 1 0 664796357 68263936 15819 4294967295 134512640 134714508 3221221792 3221220112 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16666 15819 1111 63 0 16603 0
vsize: 66664
[startup+130.005 s]
Raw data (loadavg): 1.07 1.09 1.04 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 16113 0 0 0 12950 46 0 0 25 0 1 0 664796357 68907008 15988 4294967295 134512640 134714508 3221221792 3221220112 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16823 15988 1111 63 0 16760 0
vsize: 67292
[startup+140.007 s]
Raw data (loadavg): 1.06 1.09 1.04 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 18550 0 0 0 13945 52 0 0 25 0 1 0 664796357 80900096 17741 4294967295 134512640 134714508 3221221792 3221217984 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19751 17741 1111 63 0 19688 0
vsize: 79004
[startup+150.008 s]
Raw data (loadavg): 1.05 1.09 1.04 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 18638 0 0 0 14945 52 0 0 25 0 1 0 664796357 81076224 17809 4294967295 134512640 134714508 3221221792 3221217984 1074961361 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19794 17809 1111 63 0 19731 0
vsize: 79176
[startup+160.007 s]
Raw data (loadavg): 1.04 1.08 1.03 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 18658 0 0 0 15945 52 0 0 25 0 1 0 664796357 81076224 17813 4294967295 134512640 134714508 3221221792 3221217920 1074815396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19794 17813 1111 63 0 19731 0
vsize: 79176
[startup+170.007 s]
Raw data (loadavg): 1.03 1.08 1.03 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 18684 0 0 0 16945 52 0 0 25 0 1 0 664796357 81076224 17819 4294967295 134512640 134714508 3221221792 3221217920 1074815265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19794 17819 1111 63 0 19731 0
vsize: 79176
[startup+180.008 s]
Raw data (loadavg): 1.03 1.08 1.03 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 18696 0 0 0 17945 52 0 0 25 0 1 0 664796357 81076224 17819 4294967295 134512640 134714508 3221221792 3221217932 1075116489 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19794 17819 1111 63 0 19731 0
vsize: 79176
[startup+190.008 s]
Raw data (loadavg): 1.02 1.07 1.03 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 19140 0 0 0 18944 53 0 0 25 0 1 0 664796357 78897152 17768 4294967295 134512640 134714508 3221221792 3221217960 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19262 17768 1111 63 0 19199 0
vsize: 77048
[startup+200.009 s]
Raw data (loadavg): 1.02 1.07 1.03 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 19161 0 0 0 19944 53 0 0 25 0 1 0 664796357 78897152 17775 4294967295 134512640 134714508 3221221792 3221217984 1074960898 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19262 17775 1111 63 0 19199 0
vsize: 77048
[startup+210.009 s]
Raw data (loadavg): 1.02 1.07 1.03 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 19181 0 0 0 20944 54 0 0 25 0 1 0 664796357 78897152 17779 4294967295 134512640 134714508 3221221792 3221217712 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19262 17779 1111 63 0 19199 0
vsize: 77048
[startup+220.01 s]
Raw data (loadavg): 1.01 1.07 1.03 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 19196 0 0 0 21944 54 0 0 25 0 1 0 664796357 78897152 17782 4294967295 134512640 134714508 3221221792 3221217984 1074960865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19262 17782 1111 63 0 19199 0
vsize: 77048
[startup+230.01 s]
Raw data (loadavg): 1.01 1.06 1.03 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 19287 0 0 0 22944 55 0 0 25 0 1 0 664796357 79601664 17855 4294967295 134512640 134714508 3221221792 3221218080 1075894554 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19434 17855 1111 63 0 19371 0
vsize: 77736
[startup+240.01 s]
Raw data (loadavg): 1.08 1.08 1.03 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 25276 0 0 0 23928 70 0 0 25 0 1 0 664796357 82046976 18021 4294967295 134512640 134714508 3221221792 3221217932 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20031 18021 1111 63 0 19968 0
vsize: 80124
[startup+250.011 s]
Raw data (loadavg): 1.07 1.07 1.03 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 25290 0 0 0 24929 70 0 0 25 0 1 0 664796357 82046976 18021 4294967295 134512640 134714508 3221221792 3221217932 1075116737 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20031 18021 1111 63 0 19968 0
vsize: 80124
[startup+260.011 s]
Raw data (loadavg): 1.06 1.07 1.03 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 25357 0 0 0 25929 70 0 0 25 0 1 0 664796357 82526208 18068 4294967295 134512640 134714508 3221221792 3221217932 1075116549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20148 18068 1111 63 0 20085 0
vsize: 80592
[startup+270.012 s]
Raw data (loadavg): 1.05 1.07 1.03 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 31936 0 0 0 26914 86 0 0 25 0 1 0 664796357 82534400 18140 4294967295 134512640 134714508 3221221792 3221217932 1075116560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20150 18140 1111 63 0 20087 0
vsize: 80600
[startup+280.012 s]
Raw data (loadavg): 1.04 1.06 1.03 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 31958 0 0 0 27913 86 0 0 25 0 1 0 664796357 82534400 18144 4294967295 134512640 134714508 3221221792 3221217932 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20150 18144 1111 63 0 20087 0
vsize: 80600
[startup+290.013 s]
Raw data (loadavg): 1.03 1.06 1.03 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 31976 0 0 0 28913 86 0 0 25 0 1 0 664796357 82534400 18144 4294967295 134512640 134714508 3221221792 3221218544 1075115385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20150 18144 1111 63 0 20087 0
vsize: 80600
[startup+300.013 s]
Raw data (loadavg): 1.03 1.06 1.03 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 32160 0 0 0 29913 87 0 0 25 0 1 0 664796357 83013632 18310 4294967295 134512640 134714508 3221221792 3221218252 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20267 18310 1111 63 0 20204 0
vsize: 81068
[startup+310.013 s]
Raw data (loadavg): 1.02 1.06 1.02 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 37172 0 0 0 30899 100 0 0 25 0 1 0 664796357 72585216 16983 4294967295 134512640 134714508 3221221792 3221220016 1074039235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17721 16983 1111 63 0 17658 0
vsize: 70884
[startup+320.014 s]
Raw data (loadavg): 1.02 1.05 1.02 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 40334 0 0 0 31892 108 0 0 25 0 1 0 664796357 80248832 18117 4294967295 134512640 134714508 3221221792 3221218256 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19592 18117 1111 63 0 19529 0
vsize: 78368
[startup+330.014 s]
Raw data (loadavg): 1.02 1.05 1.02 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 46892 0 0 0 32876 124 0 0 25 0 1 0 664796357 82718720 18232 4294967295 134512640 134714508 3221221792 3221217932 1075116807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20195 18232 1111 63 0 20132 0
vsize: 80780
[startup+340.015 s]
Raw data (loadavg): 1.01 1.05 1.02 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 47365 0 0 0 33875 125 0 0 25 0 1 0 664796357 80429056 18169 4294967295 134512640 134714508 3221221792 3221217672 1075964740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19636 18169 1111 63 0 19573 0
vsize: 78544
[startup+350.015 s]
Raw data (loadavg): 1.01 1.05 1.02 2/54 10995
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 47412 0 0 0 34875 125 0 0 25 0 1 0 664796357 80658432 18202 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19692 18202 1111 63 0 19629 0
vsize: 78768
[startup+360.015 s]
Raw data (loadavg): 1.01 1.05 1.02 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 50977 0 0 0 35865 136 0 0 25 0 1 0 664796357 69083136 16171 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16866 16171 1111 63 0 16803 0
vsize: 67464
[startup+370.016 s]
Raw data (loadavg): 1.01 1.04 1.02 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 51821 0 0 0 36862 138 0 0 25 0 1 0 664796357 78827520 16863 4294967295 134512640 134714508 3221221792 3221218012 1075116866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19245 16863 1111 63 0 19182 0
vsize: 76980
[startup+380.016 s]
Raw data (loadavg): 1.00 1.04 1.02 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 54942 0 0 0 37855 145 0 0 25 0 1 0 664796357 75145216 17354 4294967295 134512640 134714508 3221221792 3221217756 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18346 17354 1111 63 0 18283 0
vsize: 73384
[startup+390.017 s]
Raw data (loadavg): 1.00 1.04 1.02 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 55479 0 0 0 38854 146 0 0 25 0 1 0 664796357 70569984 16527 4294967295 134512640 134714508 3221221792 3221220192 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17229 16527 1111 63 0 17166 0
vsize: 68916
[startup+400.017 s]
Raw data (loadavg): 1.00 1.04 1.02 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 55646 0 0 0 39852 149 0 0 25 0 1 0 664796357 71245824 16694 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17394 16694 1111 63 0 17331 0
vsize: 69576
[startup+410.017 s]
Raw data (loadavg): 1.00 1.04 1.02 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 57699 0 0 0 40847 153 0 0 25 0 1 0 664796357 79310848 17755 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19363 17755 1111 63 0 19300 0
vsize: 77452
[startup+420.017 s]
Raw data (loadavg): 1.00 1.04 1.01 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 57875 0 0 0 41847 154 0 0 25 0 1 0 664796357 81833984 17931 4294967295 134512640 134714508 3221221792 3221218012 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19979 17931 1111 63 0 19916 0
vsize: 79916
[startup+430.018 s]
Raw data (loadavg): 1.00 1.03 1.01 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 58292 0 0 0 42846 155 0 0 25 0 1 0 664796357 81833984 18348 4294967295 134512640 134714508 3221221792 3221218000 1074815265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19979 18348 1111 63 0 19916 0
vsize: 79916
[startup+440.019 s]
Raw data (loadavg): 1.00 1.03 1.01 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 58300 0 0 0 43846 155 0 0 25 0 1 0 664796357 79310848 17765 4294967295 134512640 134714508 3221221792 3221218032 1075115744 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19363 17765 1111 63 0 19300 0
vsize: 77452
[startup+450.019 s]
Raw data (loadavg): 1.00 1.03 1.01 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 58301 0 0 0 44846 155 0 0 25 0 1 0 664796357 79310848 17766 4294967295 134512640 134714508 3221221792 3221217892 1075964218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19363 17766 1111 63 0 19300 0
vsize: 77452
[startup+460.019 s]
Raw data (loadavg): 1.00 1.03 1.01 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 58303 0 0 0 45847 155 0 0 25 0 1 0 664796357 79310848 17768 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19363 17768 1111 63 0 19300 0
vsize: 77452
[startup+470.019 s]
Raw data (loadavg): 1.00 1.03 1.01 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 58333 0 0 0 46846 155 0 0 25 0 1 0 664796357 79499264 17798 4294967295 134512640 134714508 3221221792 3221217760 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19409 17798 1111 63 0 19346 0
vsize: 77636
[startup+480.019 s]
Raw data (loadavg): 1.00 1.03 1.01 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 59345 0 0 0 47844 158 0 0 25 0 1 0 664796357 70717440 16565 4294967295 134512640 134714508 3221221792 3221220104 1074138163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17265 16565 1111 63 0 17202 0
vsize: 69060
[startup+490.02 s]
Raw data (loadavg): 1.00 1.03 1.01 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 60266 0 0 0 48842 160 0 0 25 0 1 0 664796357 80519168 17299 4294967295 134512640 134714508 3221221792 3221217660 1074787561 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19658 17299 1111 63 0 19595 0
vsize: 78632
[startup+500.021 s]
Raw data (loadavg): 1.00 1.02 1.01 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 61012 0 0 0 49840 162 0 0 25 0 1 0 664796357 77996032 17448 4294967295 134512640 134714508 3221221792 3221217760 1075965308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19042 17448 1111 63 0 18979 0
vsize: 76168
[startup+510.021 s]
Raw data (loadavg): 1.00 1.02 1.01 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 61012 0 0 0 50840 162 0 0 25 0 1 0 664796357 77996032 17448 4294967295 134512640 134714508 3221221792 3221218064 1074961246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19042 17448 1111 63 0 18979 0
vsize: 76168
[startup+520.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 61714 0 0 0 51839 164 0 0 25 0 1 0 664796357 70799360 16585 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17285 16585 1111 63 0 17222 0
vsize: 69140
[startup+530.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 63480 0 0 0 52835 168 0 0 25 0 1 0 664796357 80506880 17559 4294967295 134512640 134714508 3221221792 3221218012 1075116872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19655 17559 1111 63 0 19592 0
vsize: 78620
[startup+540.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 63954 0 0 0 53834 170 0 0 25 0 1 0 664796357 80506880 18033 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19655 18033 1111 63 0 19592 0
vsize: 78620
[startup+550.022 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 63956 0 0 0 54834 170 0 0 25 0 1 0 664796357 77983744 17443 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19039 17443 1111 63 0 18976 0
vsize: 76156
[startup+560.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 63984 0 0 0 55834 170 0 0 25 0 1 0 664796357 78123008 17471 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19073 17471 1111 63 0 19010 0
vsize: 76292
[startup+570.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 64708 0 0 0 56832 172 0 0 25 0 1 0 664796357 70914048 16613 4294967295 134512640 134714508 3221221792 3221220192 1074153749 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17313 16613 1111 63 0 17250 0
vsize: 69252
[startup+580.023 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 66147 0 0 0 57830 174 0 0 25 0 1 0 664796357 81788928 17654 4294967295 134512640 134714508 3221221792 3221218012 1075116508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19968 17654 1111 63 0 19905 0
vsize: 79872
[startup+590.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 66883 0 0 0 58828 176 0 0 25 0 1 0 664796357 79437824 17796 4294967295 134512640 134714508 3221221792 3221218160 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19394 17796 1111 63 0 19331 0
vsize: 77576
[startup+600.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 66884 0 0 0 59828 176 0 0 25 0 1 0 664796357 79437824 17797 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19394 17797 1111 63 0 19331 0
vsize: 77576
[startup+610.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 66897 0 0 0 60828 176 0 0 25 0 1 0 664796357 79437824 17806 4294967295 134512640 134714508 3221221792 3221218020 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19394 17806 1111 63 0 19331 0
vsize: 77576
[startup+620.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 66898 0 0 0 61828 176 0 0 25 0 1 0 664796357 79437824 17807 4294967295 134512640 134714508 3221221792 3221218448 1075967413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19394 17807 1111 63 0 19331 0
vsize: 77576
[startup+630.026 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 66966 0 0 0 62828 177 0 0 25 0 1 0 664796357 79626240 17875 4294967295 134512640 134714508 3221221792 3221218332 1074788977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19440 17875 1111 63 0 19377 0
vsize: 77760
[startup+640.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 68126 0 0 0 63826 180 0 0 25 0 1 0 664796357 71151616 16671 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17371 16671 1111 63 0 17308 0
vsize: 69484
[startup+650.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 70223 0 0 0 64820 186 0 0 25 0 1 0 664796357 79409152 17785 4294967295 134512640 134714508 3221221792 3221217792 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19387 17785 1111 63 0 19324 0
vsize: 77548
[startup+660.027 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 70403 0 0 0 65819 186 0 0 25 0 1 0 664796357 81932288 17965 4294967295 134512640 134714508 3221221792 3221218448 1075969168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20003 17965 1111 63 0 19940 0
vsize: 80012
[startup+670.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 70405 0 0 0 66820 186 0 0 25 0 1 0 664796357 81932288 17967 4294967295 134512640 134714508 3221221792 3221218012 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20003 17967 1111 63 0 19940 0
vsize: 80012
[startup+680.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 70405 0 0 0 67820 186 0 0 25 0 1 0 664796357 81932288 17967 4294967295 134512640 134714508 3221221792 3221218012 1075116856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20003 17967 1111 63 0 19940 0
vsize: 80012
[startup+690.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 70830 0 0 0 68819 187 0 0 25 0 1 0 664796357 79409152 17798 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19387 17798 1111 63 0 19324 0
vsize: 77548
[startup+700.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 70831 0 0 0 69819 187 0 0 25 0 1 0 664796357 79409152 17799 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19387 17799 1111 63 0 19324 0
vsize: 77548
[startup+710.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 71979 0 0 0 70816 191 0 0 25 0 1 0 664796357 70799360 16585 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17285 16585 1111 63 0 17222 0
vsize: 69140
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 73236 0 0 0 71813 194 0 0 25 0 1 0 664796357 81559552 17577 4294967295 134512640 134714508 3221221792 3221218560 1076084143 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19912 17577 1111 63 0 19849 0
vsize: 79648
[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 74024 0 0 0 72811 196 0 0 25 0 1 0 664796357 79036416 17738 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19296 17738 1111 63 0 19233 0
vsize: 77184
[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 74025 0 0 0 73812 196 0 0 25 0 1 0 664796357 79036416 17739 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19296 17739 1111 63 0 19233 0
vsize: 77184
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 74029 0 0 0 74812 196 0 0 25 0 1 0 664796357 79036416 17743 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19296 17743 1111 63 0 19233 0
vsize: 77184
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 74030 0 0 0 75812 196 0 0 25 0 1 0 664796357 79036416 17744 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19296 17744 1111 63 0 19233 0
vsize: 77184
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 74925 0 0 0 76810 198 0 0 25 0 1 0 664796357 80773120 17278 4294967295 134512640 134714508 3221221792 3221218912 1074834476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 17278 1111 63 0 19657 0
vsize: 78880
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 75066 0 0 0 77810 198 0 0 25 0 1 0 664796357 70979584 16629 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17329 16629 1111 63 0 17266 0
vsize: 69316
[startup+790.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 76509 0 0 0 78807 201 0 0 25 0 1 0 664796357 81883136 17670 4294967295 134512640 134714508 3221221792 3221218064 1074961490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19991 17670 1111 63 0 19928 0
vsize: 79964
[startup+800.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 76512 0 0 0 79807 201 0 0 25 0 1 0 664796357 81883136 17673 4294967295 134512640 134714508 3221221792 3221218064 1074806084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19991 17673 1111 63 0 19928 0
vsize: 79964
[startup+810.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 77233 0 0 0 80806 202 0 0 25 0 1 0 664796357 79360000 17776 4294967295 134512640 134714508 3221221792 3221218032 1075115712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19375 17776 1111 63 0 19312 0
vsize: 77500
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 77234 0 0 0 81806 202 0 0 25 0 1 0 664796357 79360000 17777 4294967295 134512640 134714508 3221221792 3221218000 1074815281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19375 17777 1111 63 0 19312 0
vsize: 77500
[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 77239 0 0 0 82806 202 0 0 25 0 1 0 664796357 79360000 17782 4294967295 134512640 134714508 3221221792 3221218020 1075115060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19375 17782 1111 63 0 19312 0
vsize: 77500
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 77239 0 0 0 83807 202 0 0 25 0 1 0 664796357 79360000 17782 4294967295 134512640 134714508 3221221792 3221217728 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19375 17782 1111 63 0 19312 0
vsize: 77500
[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 77239 0 0 0 84807 202 0 0 25 0 1 0 664796357 79360000 17782 4294967295 134512640 134714508 3221221792 3221217904 1075895908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19375 17782 1111 63 0 19312 0
vsize: 77500
[startup+860.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 77239 0 0 0 85807 202 0 0 25 0 1 0 664796357 79360000 17782 4294967295 134512640 134714508 3221221792 3221217728 1075965253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19375 17782 1111 63 0 19312 0
vsize: 77500
[startup+870.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 78408 0 0 0 86804 206 0 0 25 0 1 0 664796357 70914048 16613 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17313 16613 1111 63 0 17250 0
vsize: 69252
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 80092 0 0 0 87800 210 0 0 25 0 1 0 664796357 82493440 17829 4294967295 134512640 134714508 3221221792 3221218012 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20140 17829 1111 63 0 20077 0
vsize: 80560
[startup+890.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 80145 0 0 0 88800 210 0 0 25 0 1 0 664796357 82493440 17882 4294967295 134512640 134714508 3221221792 3221217740 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20140 17882 1111 63 0 20077 0
vsize: 80560
[startup+900.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 81034 0 0 0 89799 212 0 0 25 0 1 0 664796357 82640896 18189 4294967295 134512640 134714508 3221221792 3221217856 1074790896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20176 18189 1111 63 0 20113 0
vsize: 80704
[startup+910.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 81421 0 0 0 90798 213 0 0 25 0 1 0 664796357 80117760 17993 4294967295 134512640 134714508 3221221792 3221217952 1074883536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19560 17993 1111 63 0 19497 0
vsize: 78240
[startup+920.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 81421 0 0 0 91798 213 0 0 25 0 1 0 664796357 80117760 17993 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19560 17993 1111 63 0 19497 0
vsize: 78240
[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 81423 0 0 0 92798 213 0 0 25 0 1 0 664796357 80117760 17995 4294967295 134512640 134714508 3221221792 3221218064 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19560 17995 1111 63 0 19497 0
vsize: 78240
[startup+940.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 81424 0 0 0 93799 213 0 0 25 0 1 0 664796357 80117760 17996 4294967295 134512640 134714508 3221221792 3221217792 1075965234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19560 17996 1111 63 0 19497 0
vsize: 78240
[startup+950.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 82777 0 0 0 94796 216 0 0 25 0 1 0 664796357 70778880 16580 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17280 16580 1111 63 0 17217 0
vsize: 69120
[startup+960.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 84126 0 0 0 95794 218 0 0 25 0 1 0 664796357 81760256 17503 4294967295 134512640 134714508 3221221792 3221218012 1075116876 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19961 17503 1111 63 0 19898 0
vsize: 79844
[startup+970.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 84999 0 0 0 96792 220 0 0 25 0 1 0 664796357 79458304 17792 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19399 17792 1111 63 0 19336 0
vsize: 77596
[startup+980.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 85006 0 0 0 97792 220 0 0 25 0 1 0 664796357 79458304 17799 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19399 17799 1111 63 0 19336 0
vsize: 77596
[startup+990.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 85010 0 0 0 98792 220 0 0 25 0 1 0 664796357 79458304 17803 4294967295 134512640 134714508 3221221792 3221218336 1075088573 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19399 17803 1111 63 0 19336 0
vsize: 77596
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 85016 0 0 0 99792 220 0 0 25 0 1 0 664796357 79458304 17806 4294967295 134512640 134714508 3221221792 3221218064 1074961267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19399 17806 1111 63 0 19336 0
vsize: 77596
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 85085 0 0 0 100792 220 0 0 25 0 1 0 664796357 79654912 17875 4294967295 134512640 134714508 3221221792 3221218340 1075115076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19447 17875 1111 63 0 19384 0
vsize: 77788
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 87107 0 0 0 101788 224 0 0 25 0 1 0 664796357 81100800 17305 4294967295 134512640 134714508 3221221792 3221218824 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19800 17305 1111 63 0 19737 0
vsize: 79200
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 87300 0 0 0 102788 225 0 0 25 0 1 0 664796357 81227776 17498 4294967295 134512640 134714508 3221221792 3221217848 1074860217 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19831 17498 1111 63 0 19768 0
vsize: 79324
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 87303 0 0 0 103788 225 0 0 25 0 1 0 664796357 81227776 17501 4294967295 134512640 134714508 3221221792 3221218064 1074961267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19831 17501 1111 63 0 19768 0
vsize: 79324
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 88029 0 0 0 104787 226 0 0 25 0 1 0 664796357 78704640 17631 4294967295 134512640 134714508 3221221792 3221218304 1075084539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19215 17631 1111 63 0 19152 0
vsize: 76860
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 88029 0 0 0 105787 226 0 0 25 0 1 0 664796357 78704640 17631 4294967295 134512640 134714508 3221221792 3221218304 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19215 17631 1111 63 0 19152 0
vsize: 76860
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 88030 0 0 0 106787 226 0 0 25 0 1 0 664796357 78704640 17632 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19215 17632 1111 63 0 19152 0
vsize: 76860
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 88093 0 0 0 107787 227 0 0 25 0 1 0 664796357 79069184 17695 4294967295 134512640 134714508 3221221792 3221218332 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19304 17695 1111 63 0 19241 0
vsize: 77216
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 88919 0 0 0 108785 229 0 0 25 0 1 0 664796357 71024640 16640 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17340 16640 1111 63 0 17277 0
vsize: 69360
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 90371 0 0 0 109782 233 0 0 25 0 1 0 664796357 81747968 17670 4294967295 134512640 134714508 3221221792 3221218448 1075967910 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19958 17670 1111 63 0 19895 0
vsize: 79832
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 91093 0 0 0 110780 234 0 0 25 0 1 0 664796357 79446016 17801 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19396 17801 1111 63 0 19333 0
vsize: 77584
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 91098 0 0 0 111781 234 0 0 25 0 1 0 664796357 79446016 17806 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19396 17806 1111 63 0 19333 0
vsize: 77584
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 91105 0 0 0 112781 234 0 0 25 0 1 0 664796357 79446016 17810 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19396 17810 1111 63 0 19333 0
vsize: 77584
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 91105 0 0 0 113781 235 0 0 25 0 1 0 664796357 79446016 17810 4294967295 134512640 134714508 3221221792 3221217760 1075965301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19396 17810 1111 63 0 19333 0
vsize: 77584
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 91105 0 0 0 114781 235 0 0 25 0 1 0 664796357 79446016 17810 4294967295 134512640 134714508 3221221792 3221218320 1075397211 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19396 17810 1111 63 0 19333 0
vsize: 77584
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 91105 0 0 0 115781 235 0 0 25 0 1 0 664796357 79446016 17810 4294967295 134512640 134714508 3221221792 3221217892 1075964214 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19396 17810 1111 63 0 19333 0
vsize: 77584
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 91668 0 0 0 116780 236 0 0 25 0 1 0 664796357 80994304 16915 4294967295 134512640 134714508 3221221792 3221218944 1075969864 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19774 16920 1111 63 0 19711 0
vsize: 79096
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 93436 0 0 0 117776 240 0 0 25 0 1 0 664796357 81420288 17520 4294967295 134512640 134714508 3221221792 3221217936 1074970224 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19878 17520 1111 63 0 19815 0
vsize: 79512
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 94359 0 0 0 118774 242 0 0 25 0 1 0 664796357 81420288 17856 4294967295 134512640 134714508 3221221792 3221218012 1075116498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19878 17856 1111 63 0 19815 0
vsize: 79512
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 10997
Raw data (stat): 10993 (bsolo_lpr) R 10992 7876 7672 0 -1 0 94360 0 0 0 119774 242 0 0 25 0 1 0 664796357 81420288 17857 4294967295 134512640 134714508 3221221792 3221218012 1075116823 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19878 17857 1111 63 0 19815 0
vsize: 79512
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 10997
Raw data (stat): 10993 (bsolo_lpr) Z 10992 7876 7672 0 -1 1036 94360 0 0 0 119774 245 0 0 25 0 1 0 664796357 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.09
CPU time (s): 1200.21
CPU user time (s): 1197.75
CPU system time (s): 2.45963
CPU usage (%): 100.01
Max. virtual memory (Kb): 81068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####