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/lptestset/fome/normalized-mps-v2-20-10-fome11.opb
MD5SUM	0bcc00bfe1019c444b568fb7268c455a
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	374066
Biggest coefficient in the objective function	2150851580428025856
Number of bits for the biggest coefficient in the objective function	61
Sum of the numbers in the objective function	1765505311698925125632
Number of bits of the sum of numbers in the objective function	71
Biggest number in a constraint	53687091200000000000
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	4277072243466308681728
Number of bits of the biggest sum of numbers	72
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	6.86596
Number of variables	733406
Total number of constraints	12168
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	12168
Minimum length of a constraint	13
Maximum length of a constraint	6840
Trace number 40104

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 02:19:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28151 boxname=wulflinc6 idbench=1107 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  0bcc00bfe1019c444b568fb7268c455a  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-fome11.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-fome11.opb
IDLAUNCH: 28151
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        583144 kB
Buffers:         26888 kB
Cached:         402328 kB
SwapCached:       1020 kB
Active:          81832 kB
Inactive:       349532 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        582892 kB
SwapTotal:     2097136 kB
SwapFree:      2095172 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            14380 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 02:39:57 (client local time) WITH STATUS 0 IN 1200.39 SECONDS
stats: 28151 7 1200.39 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.80 0.91 0.90 2/54 23447
Raw data (stat): 23447 (runsolver) R 23446 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897982887 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.9999 s]
Raw data (loadavg): 0.83 0.92 0.90 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 2921 0 0 0 986 12 0 0 25 0 1 0 897982887 15212544 2841 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3714 2841 1111 63 0 3651 0
vsize: 14856
[startup+20.0005 s]
Raw data (loadavg): 0.86 0.92 0.90 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 2944 0 0 0 1986 12 0 0 25 0 1 0 897982887 15364096 2864 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2864 1111 63 0 3688 0
vsize: 15004
[startup+30.0002 s]
Raw data (loadavg): 0.88 0.92 0.90 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 2966 0 0 0 2985 13 0 0 25 0 1 0 897982887 15364096 2886 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 2886 1111 63 0 3688 0
vsize: 15004
[startup+40.0003 s]
Raw data (loadavg): 0.90 0.92 0.90 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 2994 0 0 0 3985 13 0 0 25 0 1 0 897982887 15511552 2914 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 2914 1111 63 0 3724 0
vsize: 15148
[startup+50.0009 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3017 0 0 0 4985 13 0 0 25 0 1 0 897982887 15663104 2937 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3824 2937 1111 63 0 3761 0
vsize: 15296
[startup+60.0006 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3039 0 0 0 5985 14 0 0 25 0 1 0 897982887 15663104 2959 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3824 2959 1111 63 0 3761 0
vsize: 15296
[startup+70.0008 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3067 0 0 0 6985 14 0 0 25 0 1 0 897982887 15810560 2987 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3860 2987 1111 63 0 3797 0
vsize: 15440
[startup+80.0014 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3098 0 0 0 7985 15 0 0 25 0 1 0 897982887 15945728 3018 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 3018 1111 63 0 3830 0
vsize: 15572
[startup+90.0011 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3120 0 0 0 8985 15 0 0 25 0 1 0 897982887 16089088 3040 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3928 3040 1111 63 0 3865 0
vsize: 15712
[startup+100.002 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3142 0 0 0 9984 16 0 0 25 0 1 0 897982887 16089088 3062 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3928 3062 1111 63 0 3865 0
vsize: 15712
[startup+110.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3157 0 0 0 10985 16 0 0 25 0 1 0 897982887 16236544 3077 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3964 3077 1111 63 0 3901 0
vsize: 15856
[startup+120.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3186 0 0 0 11985 16 0 0 25 0 1 0 897982887 16236544 3106 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3964 3106 1111 63 0 3901 0
vsize: 15856
[startup+130.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3215 0 0 0 12985 17 0 0 25 0 1 0 897982887 16388096 3135 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4001 3135 1111 63 0 3938 0
vsize: 16004
[startup+140.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3237 0 0 0 13985 17 0 0 25 0 1 0 897982887 16535552 3157 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 3157 1111 63 0 3974 0
vsize: 16148
[startup+150.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3259 0 0 0 14985 17 0 0 25 0 1 0 897982887 16535552 3179 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4037 3179 1111 63 0 3974 0
vsize: 16148
[startup+160.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3288 0 0 0 15985 17 0 0 25 0 1 0 897982887 16687104 3208 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 3208 1111 63 0 4011 0
vsize: 16296
[startup+170.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3318 0 0 0 16985 18 0 0 25 0 1 0 897982887 16838656 3238 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4111 3238 1111 63 0 4048 0
vsize: 16444
[startup+180.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3341 0 0 0 17985 18 0 0 25 0 1 0 897982887 16990208 3261 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4148 3261 1111 63 0 4085 0
vsize: 16592
[startup+190.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3363 0 0 0 18985 18 0 0 25 0 1 0 897982887 16990208 3283 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4148 3283 1111 63 0 4085 0
vsize: 16592
[startup+200.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3384 0 0 0 19984 19 0 0 25 0 1 0 897982887 17137664 3304 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4184 3304 1111 63 0 4121 0
vsize: 16736
[startup+210.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3410 0 0 0 20984 19 0 0 25 0 1 0 897982887 17272832 3330 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4217 3330 1111 63 0 4154 0
vsize: 16868
[startup+220.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3438 0 0 0 21984 20 0 0 25 0 1 0 897982887 17272832 3358 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4217 3358 1111 63 0 4154 0
vsize: 16868
[startup+230.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3461 0 0 0 22984 20 0 0 25 0 1 0 897982887 17420288 3381 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4253 3381 1111 63 0 4190 0
vsize: 17012
[startup+240.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3482 0 0 0 23984 20 0 0 25 0 1 0 897982887 17567744 3402 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4289 3402 1111 63 0 4226 0
vsize: 17156
[startup+250.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3511 0 0 0 24985 20 0 0 25 0 1 0 897982887 17567744 3431 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4289 3431 1111 63 0 4226 0
vsize: 17156
[startup+260.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3541 0 0 0 25984 21 0 0 25 0 1 0 897982887 17702912 3461 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4322 3461 1111 63 0 4259 0
vsize: 17288
[startup+270.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3564 0 0 0 26985 21 0 0 25 0 1 0 897982887 17846272 3484 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4357 3484 1111 63 0 4294 0
vsize: 17428
[startup+280.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3586 0 0 0 27984 21 0 0 25 0 1 0 897982887 17993728 3506 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4393 3506 1111 63 0 4330 0
vsize: 17572
[startup+290.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3615 0 0 0 28985 22 0 0 25 0 1 0 897982887 17993728 3535 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4393 3535 1111 63 0 4330 0
vsize: 17572
[startup+300.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3637 0 0 0 29985 22 0 0 25 0 1 0 897982887 18145280 3557 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4430 3557 1111 63 0 4367 0
vsize: 17720
[startup+310.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3660 0 0 0 30985 22 0 0 25 0 1 0 897982887 18292736 3580 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3580 1111 63 0 4403 0
vsize: 17864
[startup+320.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3688 0 0 0 31985 22 0 0 25 0 1 0 897982887 18292736 3608 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 3608 1111 63 0 4403 0
vsize: 17864
[startup+330.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3710 0 0 0 32985 22 0 0 25 0 1 0 897982887 18444288 3630 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4503 3630 1111 63 0 4440 0
vsize: 18012
[startup+340.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3734 0 0 0 33985 23 0 0 25 0 1 0 897982887 18591744 3654 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4539 3654 1111 63 0 4476 0
vsize: 18156
[startup+350.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3756 0 0 0 34985 23 0 0 25 0 1 0 897982887 18591744 3676 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4539 3676 1111 63 0 4476 0
vsize: 18156
[startup+360.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3778 0 0 0 35985 23 0 0 25 0 1 0 897982887 18747392 3698 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3698 1111 63 0 4514 0
vsize: 18308
[startup+370.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3807 0 0 0 36985 24 0 0 25 0 1 0 897982887 18894848 3727 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4613 3727 1111 63 0 4550 0
vsize: 18452
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3835 0 0 0 37985 24 0 0 25 0 1 0 897982887 18894848 3755 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4613 3755 1111 63 0 4550 0
vsize: 18452
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3857 0 0 0 38985 24 0 0 25 0 1 0 897982887 19046400 3777 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4650 3777 1111 63 0 4587 0
vsize: 18600
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3879 0 0 0 39985 25 0 0 25 0 1 0 897982887 19193856 3799 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4686 3799 1111 63 0 4623 0
vsize: 18744
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3906 0 0 0 40986 25 0 0 25 0 1 0 897982887 19193856 3826 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4686 3826 1111 63 0 4623 0
vsize: 18744
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3929 0 0 0 41986 25 0 0 25 0 1 0 897982887 19341312 3849 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4722 3849 1111 63 0 4659 0
vsize: 18888
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3957 0 0 0 42985 26 0 0 25 0 1 0 897982887 19488768 3877 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4758 3877 1111 63 0 4695 0
vsize: 19032
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 3988 0 0 0 43985 26 0 0 25 0 1 0 897982887 19644416 3908 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4796 3908 1111 63 0 4733 0
vsize: 19184
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4016 0 0 0 44985 27 0 0 25 0 1 0 897982887 19644416 3936 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4796 3936 1111 63 0 4733 0
vsize: 19184
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4039 0 0 0 45985 27 0 0 25 0 1 0 897982887 19795968 3959 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4833 3959 1111 63 0 4770 0
vsize: 19332
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4062 0 0 0 46985 27 0 0 25 0 1 0 897982887 19943424 3982 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4869 3982 1111 63 0 4806 0
vsize: 19476
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4091 0 0 0 47985 28 0 0 25 0 1 0 897982887 19943424 4011 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4869 4011 1111 63 0 4806 0
vsize: 19476
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4120 0 0 0 48985 28 0 0 25 0 1 0 897982887 20094976 4040 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4906 4040 1111 63 0 4843 0
vsize: 19624
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4142 0 0 0 49985 28 0 0 25 0 1 0 897982887 20242432 4062 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4942 4062 1111 63 0 4879 0
vsize: 19768
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4164 0 0 0 50984 29 0 0 25 0 1 0 897982887 20242432 4084 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4942 4084 1111 63 0 4879 0
vsize: 19768
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4194 0 0 0 51984 30 0 0 25 0 1 0 897982887 20393984 4114 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4979 4114 1111 63 0 4916 0
vsize: 19916
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4209 0 0 0 52984 30 0 0 25 0 1 0 897982887 20545536 4129 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5016 4129 1111 63 0 4953 0
vsize: 20064
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4231 0 0 0 53983 30 0 0 25 0 1 0 897982887 20545536 4151 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5016 4151 1111 63 0 4953 0
vsize: 20064
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4254 0 0 0 54983 31 0 0 25 0 1 0 897982887 20697088 4174 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5053 4174 1111 63 0 4990 0
vsize: 20212
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4282 0 0 0 55983 31 0 0 25 0 1 0 897982887 20844544 4202 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5089 4202 1111 63 0 5026 0
vsize: 20356
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4304 0 0 0 56983 31 0 0 25 0 1 0 897982887 20844544 4224 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5089 4224 1111 63 0 5026 0
vsize: 20356
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4326 0 0 0 57983 31 0 0 25 0 1 0 897982887 20996096 4246 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5126 4246 1111 63 0 5063 0
vsize: 20504
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4355 0 0 0 58984 31 0 0 25 0 1 0 897982887 21143552 4275 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5162 4275 1111 63 0 5099 0
vsize: 20648
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4371 0 0 0 59983 32 0 0 25 0 1 0 897982887 21143552 4291 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5162 4291 1111 63 0 5099 0
vsize: 20648
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4399 0 0 0 60984 32 0 0 25 0 1 0 897982887 21295104 4319 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5199 4319 1111 63 0 5136 0
vsize: 20796
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4429 0 0 0 61984 32 0 0 25 0 1 0 897982887 21450752 4349 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5237 4349 1111 63 0 5174 0
vsize: 20948
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4445 0 0 0 62984 33 0 0 25 0 1 0 897982887 21450752 4365 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5237 4365 1111 63 0 5174 0
vsize: 20948
[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4474 0 0 0 63985 33 0 0 25 0 1 0 897982887 21602304 4394 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5274 4394 1111 63 0 5211 0
vsize: 21096
[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4502 0 0 0 64986 33 0 0 25 0 1 0 897982887 21749760 4422 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5310 4422 1111 63 0 5247 0
vsize: 21240
[startup+660.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4525 0 0 0 65985 34 0 0 25 0 1 0 897982887 21749760 4445 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5310 4445 1111 63 0 5247 0
vsize: 21240
[startup+670.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4553 0 0 0 66986 34 0 0 25 0 1 0 897982887 21901312 4473 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5347 4473 1111 63 0 5284 0
vsize: 21388
[startup+680.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4576 0 0 0 67985 35 0 0 25 0 1 0 897982887 22048768 4496 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5383 4496 1111 63 0 5320 0
vsize: 21532
[startup+690.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4605 0 0 0 68985 35 0 0 25 0 1 0 897982887 22048768 4525 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5383 4525 1111 63 0 5320 0
vsize: 21532
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4635 0 0 0 69984 36 0 0 25 0 1 0 897982887 22200320 4555 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5420 4555 1111 63 0 5357 0
vsize: 21680
[startup+710.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4657 0 0 0 70985 36 0 0 25 0 1 0 897982887 22351872 4577 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5457 4577 1111 63 0 5394 0
vsize: 21828
[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4680 0 0 0 71985 36 0 0 25 0 1 0 897982887 22351872 4600 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5457 4600 1111 63 0 5394 0
vsize: 21828
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4708 0 0 0 72985 36 0 0 25 0 1 0 897982887 22503424 4628 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5494 4628 1111 63 0 5431 0
vsize: 21976
[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4731 0 0 0 73985 37 0 0 25 0 1 0 897982887 22650880 4651 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5530 4651 1111 63 0 5467 0
vsize: 22120
[startup+750.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4753 0 0 0 74985 37 0 0 25 0 1 0 897982887 22650880 4673 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5530 4673 1111 63 0 5467 0
vsize: 22120
[startup+760.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4781 0 0 0 75985 37 0 0 25 0 1 0 897982887 22802432 4701 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5567 4701 1111 63 0 5504 0
vsize: 22268
[startup+770.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4804 0 0 0 76984 38 0 0 25 0 1 0 897982887 22949888 4724 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5603 4724 1111 63 0 5540 0
vsize: 22412
[startup+780.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4832 0 0 0 77984 38 0 0 25 0 1 0 897982887 23101440 4752 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5640 4752 1111 63 0 5577 0
vsize: 22560
[startup+790.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4856 0 0 0 78984 39 0 0 25 0 1 0 897982887 23101440 4776 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5640 4776 1111 63 0 5577 0
vsize: 22560
[startup+800.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4892 0 0 0 79984 39 0 0 25 0 1 0 897982887 23265280 4812 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5680 4812 1111 63 0 5617 0
vsize: 22720
[startup+810.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4914 0 0 0 80984 39 0 0 25 0 1 0 897982887 23400448 4834 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5713 4834 1111 63 0 5650 0
vsize: 22852
[startup+820.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4936 0 0 0 81984 40 0 0 25 0 1 0 897982887 23543808 4856 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5748 4856 1111 63 0 5685 0
vsize: 22992
[startup+830.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4965 0 0 0 82984 40 0 0 25 0 1 0 897982887 23543808 4885 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5748 4885 1111 63 0 5685 0
vsize: 22992
[startup+840.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 4993 0 0 0 83984 40 0 0 25 0 1 0 897982887 23695360 4913 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5785 4913 1111 63 0 5722 0
vsize: 23140
[startup+850.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5016 0 0 0 84984 40 0 0 25 0 1 0 897982887 23842816 4936 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5821 4936 1111 63 0 5758 0
vsize: 23284
[startup+860.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5038 0 0 0 85985 40 0 0 25 0 1 0 897982887 23842816 4958 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5821 4958 1111 63 0 5758 0
vsize: 23284
[startup+870.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5067 0 0 0 86984 41 0 0 25 0 1 0 897982887 23994368 4987 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5858 4987 1111 63 0 5795 0
vsize: 23432
[startup+880.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5090 0 0 0 87985 41 0 0 25 0 1 0 897982887 24145920 5010 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5895 5010 1111 63 0 5832 0
vsize: 23580
[startup+890.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5113 0 0 0 88985 41 0 0 25 0 1 0 897982887 24145920 5033 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5895 5033 1111 63 0 5832 0
vsize: 23580
[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5141 0 0 0 89985 41 0 0 25 0 1 0 897982887 24297472 5061 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5932 5061 1111 63 0 5869 0
vsize: 23728
[startup+910.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5157 0 0 0 90985 41 0 0 25 0 1 0 897982887 24444928 5077 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5968 5077 1111 63 0 5905 0
vsize: 23872
[startup+920.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5179 0 0 0 91986 41 0 0 25 0 1 0 897982887 24444928 5099 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5968 5099 1111 63 0 5905 0
vsize: 23872
[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5207 0 0 0 92986 41 0 0 25 0 1 0 897982887 24596480 5127 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6005 5127 1111 63 0 5942 0
vsize: 24020
[startup+940.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5230 0 0 0 93987 41 0 0 25 0 1 0 897982887 24743936 5150 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 5150 1111 63 0 5978 0
vsize: 24164
[startup+950.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5258 0 0 0 94987 41 0 0 25 0 1 0 897982887 24743936 5178 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6041 5178 1111 63 0 5978 0
vsize: 24164
[startup+960.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5282 0 0 0 95987 41 0 0 25 0 1 0 897982887 24895488 5202 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6078 5202 1111 63 0 6015 0
vsize: 24312
[startup+970.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5305 0 0 0 96988 41 0 0 25 0 1 0 897982887 25051136 5225 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6116 5225 1111 63 0 6053 0
vsize: 24464
[startup+980.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5334 0 0 0 97988 41 0 0 25 0 1 0 897982887 25051136 5254 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6116 5254 1111 63 0 6053 0
vsize: 24464
[startup+990.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5356 0 0 0 98988 41 0 0 25 0 1 0 897982887 25202688 5276 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6153 5276 1111 63 0 6090 0
vsize: 24612
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5380 0 0 0 99989 41 0 0 25 0 1 0 897982887 25350144 5300 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6189 5300 1111 63 0 6126 0
vsize: 24756
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5407 0 0 0 100989 41 0 0 25 0 1 0 897982887 25350144 5327 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6189 5327 1111 63 0 6126 0
vsize: 24756
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5423 0 0 0 101989 41 0 0 25 0 1 0 897982887 25501696 5343 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6226 5343 1111 63 0 6163 0
vsize: 24904
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5452 0 0 0 102990 41 0 0 25 0 1 0 897982887 25649152 5372 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6262 5372 1111 63 0 6199 0
vsize: 25048
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5480 0 0 0 103990 41 0 0 25 0 1 0 897982887 25649152 5400 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6262 5400 1111 63 0 6199 0
vsize: 25048
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5496 0 0 0 104990 41 0 0 25 0 1 0 897982887 25800704 5416 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6299 5416 1111 63 0 6236 0
vsize: 25196
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5526 0 0 0 105991 41 0 0 25 0 1 0 897982887 25952256 5446 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6336 5446 1111 63 0 6273 0
vsize: 25344
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5555 0 0 0 106991 42 0 0 25 0 1 0 897982887 25952256 5475 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6336 5475 1111 63 0 6273 0
vsize: 25344
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5577 0 0 0 107991 42 0 0 25 0 1 0 897982887 26103808 5497 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6373 5497 1111 63 0 6310 0
vsize: 25492
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5600 0 0 0 108991 42 0 0 25 0 1 0 897982887 26251264 5520 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6409 5520 1111 63 0 6346 0
vsize: 25636
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5628 0 0 0 109992 42 0 0 25 0 1 0 897982887 26251264 5548 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6409 5548 1111 63 0 6346 0
vsize: 25636
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5650 0 0 0 110992 42 0 0 25 0 1 0 897982887 26402816 5570 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6446 5570 1111 63 0 6383 0
vsize: 25784
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5673 0 0 0 111992 42 0 0 25 0 1 0 897982887 26550272 5593 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6482 5593 1111 63 0 6419 0
vsize: 25928
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5702 0 0 0 112993 42 0 0 25 0 1 0 897982887 26550272 5622 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6482 5622 1111 63 0 6419 0
vsize: 25928
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5730 0 0 0 113993 42 0 0 25 0 1 0 897982887 26701824 5650 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6519 5650 1111 63 0 6456 0
vsize: 26076
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5754 0 0 0 114993 42 0 0 25 0 1 0 897982887 26849280 5674 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6555 5674 1111 63 0 6492 0
vsize: 26220
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5776 0 0 0 115993 42 0 0 25 0 1 0 897982887 26849280 5696 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6555 5696 1111 63 0 6492 0
vsize: 26220
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5806 0 0 0 116994 42 0 0 25 0 1 0 897982887 26984448 5726 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6588 5726 1111 63 0 6525 0
vsize: 26352
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5828 0 0 0 117994 42 0 0 25 0 1 0 897982887 27127808 5748 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6623 5748 1111 63 0 6560 0
vsize: 26492
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5850 0 0 0 118995 42 0 0 25 0 1 0 897982887 27275264 5770 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6659 5770 1111 63 0 6596 0
vsize: 26636
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) R 23446 25568 25567 0 -1 0 5873 0 0 0 119995 42 0 0 25 0 1 0 897982887 27275264 5793 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6659 5793 1111 63 0 6596 0
vsize: 26636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 23447
Raw data (stat): 23447 (bsolo_lpr-v2) Z 23446 25568 25567 0 -1 1036 5873 0 0 0 119995 43 0 0 25 0 1 0 897982887 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.07
CPU time (s): 1200.39
CPU user time (s): 1199.95
CPU system time (s): 0.438933
CPU usage (%): 100.027
Max. virtual memory (Kb): 26636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####