PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb
MD5SUM	4d1c8086316d85cb5ef2a3148b52a8a1
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	85408
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	6807849934732110331904
Number of bits of the sum of numbers in the objective function	73
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	6807849934732110331904
Number of bits of the biggest sum of numbers	73
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.91486
Number of variables	85198
Total number of constraints	37291
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	35639
Number of constraints which are nor clauses,nor cardinality constraints	1652
Minimum length of a constraint	1
Maximum length of a constraint	35129
Trace number 40145

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 03:13:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28205 boxname=wulflinc4 idbench=1161 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  4d1c8086316d85cb5ef2a3148b52a8a1  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-dc1l.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-dc1l.opb
IDLAUNCH: 28205
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        886696 kB
Buffers:          3608 kB
Cached:         122332 kB
SwapCached:        880 kB
Active:          35604 kB
Inactive:        92340 kB
HighTotal:      131008 kB
HighFree:        10640 kB
LowTotal:       903652 kB
LowFree:        876056 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4912 kB
Slab:            14320 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 03:33:09 (client local time) WITH STATUS 0 IN 1200.41 SECONDS
stats: 28205 7 1200.41 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 1/54 25999
Raw data (stat): 25999 (runsolver) R 25998 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898293480 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.86 0.94 0.90 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 1707 0 0 0 991 6 0 0 25 0 1 0 898293480 17915904 1627 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4374 1627 1111 63 0 4311 0
vsize: 17496
[startup+20.0016 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 2436 0 0 0 1990 8 0 0 25 0 1 0 898293480 20905984 2356 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5104 2356 1111 63 0 5041 0
vsize: 20416
[startup+30.0012 s]
Raw data (loadavg): 0.90 0.94 0.90 3/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 3160 0 0 0 2988 9 0 0 25 0 1 0 898293480 23891968 3080 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5833 3080 1111 63 0 5770 0
vsize: 23332
[startup+40.0024 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 3882 0 0 0 3987 11 0 0 25 0 1 0 898293480 26873856 3802 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6561 3802 1111 63 0 6498 0
vsize: 26244
[startup+50.0032 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 4605 0 0 0 4986 12 0 0 25 0 1 0 898293480 29863936 4525 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7291 4525 1111 63 0 7228 0
vsize: 29164
[startup+60.0038 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 5341 0 0 0 5985 13 0 0 25 0 1 0 898293480 32849920 5261 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8020 5261 1111 63 0 7957 0
vsize: 32080
[startup+70.004 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 6064 0 0 0 6984 14 0 0 25 0 1 0 898293480 35840000 5984 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8750 5984 1111 63 0 8687 0
vsize: 35000
[startup+80.0038 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 6792 0 0 0 7983 15 0 0 25 0 1 0 898293480 38821888 6712 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9478 6712 1111 63 0 9415 0
vsize: 37912
[startup+90.0047 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 7518 0 0 0 8981 17 0 0 25 0 1 0 898293480 41795584 7438 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10204 7438 1111 63 0 10141 0
vsize: 40816
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 8248 0 0 0 9980 18 0 0 25 0 1 0 898293480 44785664 8168 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10934 8168 1111 63 0 10871 0
vsize: 43736
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 8982 0 0 0 10980 19 0 0 25 0 1 0 898293480 47767552 8902 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11662 8902 1111 63 0 11599 0
vsize: 46648
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 9711 0 0 0 11979 20 0 0 25 0 1 0 898293480 50753536 9631 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12391 9631 1111 63 0 12328 0
vsize: 49564
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 10447 0 0 0 12978 22 0 0 25 0 1 0 898293480 53743616 10367 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13121 10367 1111 63 0 13058 0
vsize: 52484
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 11176 0 0 0 13976 23 0 0 25 0 1 0 898293480 56729600 11096 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13850 11096 1111 63 0 13787 0
vsize: 55400
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 11910 0 0 0 14975 25 0 0 25 0 1 0 898293480 59711488 11830 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14578 11830 1111 63 0 14515 0
vsize: 58312
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 12652 0 0 0 15974 26 0 0 25 0 1 0 898293480 62849024 12572 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15344 12572 1111 63 0 15281 0
vsize: 61376
[startup+170.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 13404 0 0 0 16974 27 0 0 25 0 1 0 898293480 65957888 13324 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16103 13324 1111 63 0 16040 0
vsize: 64412
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 14139 0 0 0 17973 28 0 0 25 0 1 0 898293480 68939776 14059 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16831 14059 1111 63 0 16768 0
vsize: 67324
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 14875 0 0 0 18972 29 0 0 25 0 1 0 898293480 71929856 14795 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17561 14795 1111 63 0 17498 0
vsize: 70244
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 15617 0 0 0 19971 30 0 0 25 0 1 0 898293480 74915840 15537 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18290 15537 1111 63 0 18227 0
vsize: 73160
[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 16352 0 0 0 20970 31 0 0 25 0 1 0 898293480 77897728 16272 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19018 16272 1111 63 0 18955 0
vsize: 76072
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 17183 0 0 0 21968 33 0 0 25 0 1 0 898293480 81334272 17103 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19857 17103 1111 63 0 19794 0
vsize: 79428
[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 18155 0 0 0 22967 34 0 0 25 0 1 0 898293480 85364736 18075 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20841 18075 1111 63 0 20778 0
vsize: 83364
[startup+240.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 18897 0 0 0 23966 36 0 0 25 0 1 0 898293480 88354816 18817 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21571 18817 1111 63 0 21508 0
vsize: 86284
[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 19645 0 0 0 24965 37 0 0 25 0 1 0 898293480 91492352 19565 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22337 19565 1111 63 0 22274 0
vsize: 89348
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 20385 0 0 0 25964 38 0 0 25 0 1 0 898293480 94474240 20305 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23065 20305 1111 63 0 23002 0
vsize: 92260
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 21430 0 0 0 26962 40 0 0 25 0 1 0 898293480 98803712 21350 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24122 21350 1111 63 0 24059 0
vsize: 96488
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 22189 0 0 0 27960 42 0 0 25 0 1 0 898293480 101937152 22109 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24887 22109 1111 63 0 24824 0
vsize: 99548
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 22937 0 0 0 28960 43 0 0 25 0 1 0 898293480 104927232 22857 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25617 22857 1111 63 0 25554 0
vsize: 102468
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 23685 0 0 0 29958 45 0 0 25 0 1 0 898293480 108064768 23605 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26383 23605 1111 63 0 26320 0
vsize: 105532
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 24906 0 0 0 30956 47 0 0 25 0 1 0 898293480 112988160 24826 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27585 24826 1111 63 0 27522 0
vsize: 110340
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 25671 0 0 0 31955 48 0 0 25 0 1 0 898293480 116092928 25591 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28343 25591 1111 63 0 28280 0
vsize: 113372
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 26424 0 0 0 32954 50 0 0 25 0 1 0 898293480 119230464 26344 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29109 26344 1111 63 0 29046 0
vsize: 116436
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 27178 0 0 0 33953 51 0 0 25 0 1 0 898293480 122368000 27098 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29875 27098 1111 63 0 29812 0
vsize: 119500
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 28144 0 0 0 34952 52 0 0 25 0 1 0 898293480 126251008 28064 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30823 28064 1111 63 0 30760 0
vsize: 123292
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 28905 0 0 0 35951 54 0 0 25 0 1 0 898293480 129388544 28825 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31589 28825 1111 63 0 31526 0
vsize: 126356
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 29663 0 0 0 36949 56 0 0 25 0 1 0 898293480 132517888 29583 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32353 29583 1111 63 0 32290 0
vsize: 129412
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 30423 0 0 0 37947 57 0 0 25 0 1 0 898293480 135655424 30343 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33119 30343 1111 63 0 33056 0
vsize: 132476
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 31183 0 0 0 38947 58 0 0 25 0 1 0 898293480 138792960 31103 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33885 31103 1111 63 0 33822 0
vsize: 135540
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 32150 0 0 0 39945 60 0 0 25 0 1 0 898293480 142675968 32070 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34833 32070 1111 63 0 34770 0
vsize: 139332
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 33177 0 0 0 40943 62 0 0 25 0 1 0 898293480 146853888 33097 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35853 33097 1111 63 0 35790 0
vsize: 143412
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 33941 0 0 0 41942 63 0 0 25 0 1 0 898293480 149987328 33861 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36618 33861 1111 63 0 36555 0
vsize: 146472
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 34708 0 0 0 42941 65 0 0 25 0 1 0 898293480 153124864 34628 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37384 34628 1111 63 0 37321 0
vsize: 149536
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 35480 0 0 0 43940 66 0 0 25 0 1 0 898293480 156262400 35400 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38150 35400 1111 63 0 38087 0
vsize: 152600
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 36246 0 0 0 44939 67 0 0 25 0 1 0 898293480 159395840 36166 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38915 36166 1111 63 0 38852 0
vsize: 155660
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 37115 0 0 0 45938 69 0 0 25 0 1 0 898293480 162979840 37035 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39790 37035 1111 63 0 39727 0
vsize: 159160
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 37886 0 0 0 46937 70 0 0 25 0 1 0 898293480 166113280 37806 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40555 37806 1111 63 0 40492 0
vsize: 162220
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 38658 0 0 0 47936 71 0 0 25 0 1 0 898293480 169398272 38578 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41357 38578 1111 63 0 41294 0
vsize: 165428
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 39436 0 0 0 48935 72 0 0 25 0 1 0 898293480 172535808 39356 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42123 39356 1111 63 0 42060 0
vsize: 168492
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 40323 0 0 0 49933 74 0 0 25 0 1 0 898293480 176119808 40243 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42998 40243 1111 63 0 42935 0
vsize: 171992
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 41448 0 0 0 50932 76 0 0 25 0 1 0 898293480 180748288 41368 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44128 41368 1111 63 0 44065 0
vsize: 176512
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 42225 0 0 0 51931 77 0 0 25 0 1 0 898293480 183877632 42145 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44892 42145 1111 63 0 44829 0
vsize: 179568
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 43003 0 0 0 52930 78 0 0 25 0 1 0 898293480 187166720 42923 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45695 42923 1111 63 0 45632 0
vsize: 182780
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 43787 0 0 0 53928 80 0 0 25 0 1 0 898293480 190300160 43707 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46460 43707 1111 63 0 46397 0
vsize: 185840
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 44886 0 0 0 54927 81 0 0 25 0 1 0 898293480 194781184 44806 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47554 44806 1111 63 0 47491 0
vsize: 190216
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 45810 0 0 0 55927 82 0 0 25 0 1 0 898293480 198664192 45730 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48502 45730 1111 63 0 48439 0
vsize: 194008
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 46600 0 0 0 56926 83 0 0 25 0 1 0 898293480 201801728 46520 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49268 46520 1111 63 0 49205 0
vsize: 197072
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 47383 0 0 0 57925 84 0 0 25 0 1 0 898293480 205078528 47303 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50068 47303 1111 63 0 50005 0
vsize: 200272
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 48173 0 0 0 58923 85 0 0 25 0 1 0 898293480 208367616 48093 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50871 48093 1111 63 0 50808 0
vsize: 203484
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 48963 0 0 0 59922 87 0 0 25 0 1 0 898293480 211501056 48883 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51636 48883 1111 63 0 51573 0
vsize: 206544
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 49763 0 0 0 60921 89 0 0 25 0 1 0 898293480 214933504 49683 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52474 49683 1111 63 0 52411 0
vsize: 209896
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 50552 0 0 0 61919 90 0 0 25 0 1 0 898293480 218066944 50472 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53239 50472 1111 63 0 53176 0
vsize: 212956
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 51349 0 0 0 62918 92 0 0 25 0 1 0 898293480 221351936 51269 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54041 51269 1111 63 0 53978 0
vsize: 216164
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 52145 0 0 0 63917 93 0 0 25 0 1 0 898293480 224636928 52065 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54843 52065 1111 63 0 54780 0
vsize: 219372
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 52936 0 0 0 64915 95 0 0 25 0 1 0 898293480 227921920 52856 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55645 52856 1111 63 0 55582 0
vsize: 222580
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 53738 0 0 0 65914 96 0 0 25 0 1 0 898293480 231211008 53658 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56448 53658 1111 63 0 56385 0
vsize: 225792
[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 54611 0 0 0 66912 98 0 0 25 0 1 0 898293480 234786816 54531 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57321 54531 1111 63 0 57258 0
vsize: 229284
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 55468 0 0 0 67911 100 0 0 25 0 1 0 898293480 238223360 55388 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58160 55388 1111 63 0 58097 0
vsize: 232640
[startup+690.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 56271 0 0 0 68910 101 0 0 25 0 1 0 898293480 241508352 56191 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58962 56191 1111 63 0 58899 0
vsize: 235848
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 57075 0 0 0 69908 103 0 0 25 0 1 0 898293480 244797440 56995 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59765 56995 1111 63 0 59702 0
vsize: 239060
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 58017 0 0 0 70907 104 0 0 25 0 1 0 898293480 248676352 57937 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60712 57937 1111 63 0 60649 0
vsize: 242848
[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 58817 0 0 0 71906 105 0 0 25 0 1 0 898293480 251957248 58737 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61513 58737 1111 63 0 61450 0
vsize: 246052
[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 59632 0 0 0 72905 107 0 0 25 0 1 0 898293480 255242240 59552 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62315 59552 1111 63 0 62252 0
vsize: 249260
[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 60440 0 0 0 73903 108 0 0 25 0 1 0 898293480 258531328 60360 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63118 60360 1111 63 0 63055 0
vsize: 252472
[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 61279 0 0 0 74903 110 0 0 25 0 1 0 898293480 261963776 61199 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63956 61199 1111 63 0 63893 0
vsize: 255824
[startup+760.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 62094 0 0 0 75901 111 0 0 25 0 1 0 898293480 265400320 62014 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64795 62014 1111 63 0 64732 0
vsize: 259180
[startup+770.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 63042 0 0 0 76899 113 0 0 25 0 1 0 898293480 269283328 62962 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65743 62962 1111 63 0 65680 0
vsize: 262972
[startup+780.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 63929 0 0 0 77898 115 0 0 25 0 1 0 898293480 272859136 63849 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66616 63849 1111 63 0 66553 0
vsize: 266464
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 64749 0 0 0 78897 116 0 0 25 0 1 0 898293480 276295680 64669 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67455 64669 1111 63 0 67392 0
vsize: 269820
[startup+800.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 65570 0 0 0 79895 118 0 0 25 0 1 0 898293480 279580672 65490 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68257 65490 1111 63 0 68194 0
vsize: 273028
[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 66481 0 0 0 80894 120 0 0 25 0 1 0 898293480 283316224 66401 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69169 66401 1111 63 0 69106 0
vsize: 276676
[startup+820.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 67308 0 0 0 81892 121 0 0 25 0 1 0 898293480 286748672 67228 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70007 67228 1111 63 0 69944 0
vsize: 280028
[startup+830.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 68188 0 0 0 82891 123 0 0 25 0 1 0 898293480 290328576 68108 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70881 68108 1111 63 0 70818 0
vsize: 283524
[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 69027 0 0 0 83890 125 0 0 25 0 1 0 898293480 293765120 68947 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71720 68947 1111 63 0 71657 0
vsize: 286880
[startup+850.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 69854 0 0 0 84888 126 0 0 25 0 1 0 898293480 297197568 69774 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72558 69774 1111 63 0 72495 0
vsize: 290232
[startup+860.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 70681 0 0 0 85887 128 0 0 25 0 1 0 898293480 300486656 70601 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73361 70601 1111 63 0 73298 0
vsize: 293444
[startup+870.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 71514 0 0 0 86885 130 0 0 25 0 1 0 898293480 303919104 71434 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74199 71434 1111 63 0 74136 0
vsize: 296796
[startup+880.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 72376 0 0 0 87884 131 0 0 25 0 1 0 898293480 307503104 72296 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75074 72296 1111 63 0 75011 0
vsize: 300296
[startup+890.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 73214 0 0 0 88882 133 0 0 25 0 1 0 898293480 310935552 73134 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75912 73134 1111 63 0 75849 0
vsize: 303648
[startup+900.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 74096 0 0 0 89882 134 0 0 25 0 1 0 898293480 314519552 74016 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76787 74016 1111 63 0 76724 0
vsize: 307148
[startup+910.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 74934 0 0 0 90880 135 0 0 25 0 1 0 898293480 317952000 74854 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77625 74854 1111 63 0 77562 0
vsize: 310500
[startup+920.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 75829 0 0 0 91879 137 0 0 25 0 1 0 898293480 321536000 75749 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78500 75749 1111 63 0 78437 0
vsize: 314000
[startup+930.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 76673 0 0 0 92877 139 0 0 25 0 1 0 898293480 325120000 76593 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79375 76593 1111 63 0 79312 0
vsize: 317500
[startup+940.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 77511 0 0 0 93876 140 0 0 25 0 1 0 898293480 328552448 77431 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80213 77431 1111 63 0 80150 0
vsize: 320852
[startup+950.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 78355 0 0 0 94874 142 0 0 25 0 1 0 898293480 331984896 78275 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81051 78275 1111 63 0 80988 0
vsize: 324204
[startup+960.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 79200 0 0 0 95873 144 0 0 25 0 1 0 898293480 335421440 79120 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81890 79120 1111 63 0 81827 0
vsize: 327560
[startup+970.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 80052 0 0 0 96872 145 0 0 25 0 1 0 898293480 338857984 79972 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82729 79972 1111 63 0 82666 0
vsize: 330916
[startup+980.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 80897 0 0 0 97870 147 0 0 25 0 1 0 898293480 342290432 80817 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83567 80817 1111 63 0 83504 0
vsize: 334268
[startup+990.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 81796 0 0 0 98869 148 0 0 25 0 1 0 898293480 346025984 81716 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84479 81716 1111 63 0 84416 0
vsize: 337916
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 82646 0 0 0 99868 150 0 0 25 0 1 0 898293480 349454336 82566 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85316 82566 1111 63 0 85253 0
vsize: 341264
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 83649 0 0 0 100866 152 0 0 25 0 1 0 898293480 353636352 83569 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86337 83569 1111 63 0 86274 0
vsize: 345348
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 84506 0 0 0 101864 154 0 0 25 0 1 0 898293480 357068800 84426 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87175 84426 1111 63 0 87112 0
vsize: 348700
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 85508 0 0 0 102862 156 0 0 25 0 1 0 898293480 361250816 85428 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88196 85428 1111 63 0 88133 0
vsize: 352784
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 86372 0 0 0 103861 158 0 0 25 0 1 0 898293480 364834816 86292 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89071 86292 1111 63 0 89008 0
vsize: 356284
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 87265 0 0 0 104859 159 0 0 25 0 1 0 898293480 368418816 87185 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89946 87185 1111 63 0 89883 0
vsize: 359784
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 88128 0 0 0 105858 160 0 0 25 0 1 0 898293480 372002816 88048 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90821 88048 1111 63 0 90758 0
vsize: 363284
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 89071 0 0 0 106857 162 0 0 25 0 1 0 898293480 375885824 88991 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91769 88991 1111 63 0 91706 0
vsize: 367076
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 90025 0 0 0 107856 163 0 0 25 0 1 0 898293480 379768832 89945 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92717 89945 1111 63 0 92654 0
vsize: 370868
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 91070 0 0 0 108854 165 0 0 25 0 1 0 898293480 383946752 90990 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93737 90990 1111 63 0 93674 0
vsize: 374948
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 92022 0 0 0 109852 167 0 0 25 0 1 0 898293480 387973120 91942 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94720 91942 1111 63 0 94657 0
vsize: 378880
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 92909 0 0 0 110851 169 0 0 25 0 1 0 898293480 391557120 92829 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95595 92829 1111 63 0 95532 0
vsize: 382380
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 94027 0 0 0 111848 172 0 0 25 0 1 0 898293480 396185600 93947 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96725 93947 1111 63 0 96662 0
vsize: 386900
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 94902 0 0 0 112847 173 0 0 25 0 1 0 898293480 399769600 94822 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97600 94822 1111 63 0 97537 0
vsize: 390400
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 95795 0 0 0 113846 174 0 0 25 0 1 0 898293480 403353600 95715 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98475 95715 1111 63 0 98412 0
vsize: 393900
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 96695 0 0 0 114844 176 0 0 25 0 1 0 898293480 407089152 96615 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99387 96615 1111 63 0 99324 0
vsize: 397548
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 97600 0 0 0 115843 177 0 0 25 0 1 0 898293480 410820608 97520 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100298 97520 1111 63 0 100235 0
vsize: 401192
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 98596 0 0 0 116842 179 0 0 25 0 1 0 898293480 414920704 98516 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101299 98516 1111 63 0 101236 0
vsize: 405196
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 99526 0 0 0 117840 181 0 0 25 0 1 0 898293480 418803712 99446 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102247 99446 1111 63 0 102184 0
vsize: 408988
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 100413 0 0 0 118839 183 0 0 25 0 1 0 898293480 422387712 100333 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103122 100333 1111 63 0 103059 0
vsize: 412488
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) R 25998 21152 21151 0 -1 0 101305 0 0 0 119836 185 0 0 25 0 1 0 898293480 426115072 101225 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104032 101225 1111 63 0 103969 0
vsize: 416128
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.25 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 25999
Raw data (stat): 25999 (bsolo_lpr-v2) Z 25998 21152 21151 0 -1 1036 101305 0 0 0 119837 204 0 0 25 0 1 0 898293480 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.25
CPU time (s): 1200.41
CPU user time (s): 1198.37
CPU system time (s): 2.04069
CPU usage (%): 100.014
Max. virtual memory (Kb): 416128
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####