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/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb
MD5SUM	501db04e3c45fac1238dfa119cd7abd9
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	282020
Biggest coefficient in the objective function	2456844338462720
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	-2082450254578026316
Number of bits of the sum of numbers in the objective function	64
Biggest number in a constraint	2456844338462720
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	-2082450254578026316
Number of bits of the biggest sum of numbers	64
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.6406
Number of variables	282020
Total number of constraints	1761
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	1761
Minimum length of a constraint	20
Maximum length of a constraint	49260
Trace number 39987

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 23:56:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28047 boxname=wulflinc6 idbench=1003 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  501db04e3c45fac1238dfa119cd7abd9  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-sp97ar.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-sp97ar.opb
IDLAUNCH: 28047
/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:        627296 kB
Buffers:         19908 kB
Cached:         365244 kB
SwapCached:       1020 kB
Active:         133748 kB
Inactive:       253576 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        627044 kB
SwapTotal:     2097136 kB
SwapFree:      2095172 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            14300 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 00:17:02 (client local time) WITH STATUS 0 IN 1200.43 SECONDS
stats: 28047 7 1200.43 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): 1.03 0.95 0.91 1/54 21977
Raw data (stat): 21977 (runsolver) R 21976 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897125273 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.0011 s]
Raw data (loadavg): 1.03 0.95 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2286 0 0 0 989 9 0 0 25 0 1 0 897125273 15216640 2206 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3715 2206 1111 63 0 3652 0
vsize: 14860
[startup+20.0022 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2310 0 0 0 1989 9 0 0 25 0 1 0 897125273 15372288 2230 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3753 2230 1111 63 0 3690 0
vsize: 15012
[startup+30.002 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2333 0 0 0 2989 9 0 0 25 0 1 0 897125273 15372288 2253 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3753 2253 1111 63 0 3690 0
vsize: 15012
[startup+40.0021 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2356 0 0 0 3989 10 0 0 25 0 1 0 897125273 15507456 2276 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3786 2276 1111 63 0 3723 0
vsize: 15144
[startup+50.0027 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2379 0 0 0 4989 10 0 0 25 0 1 0 897125273 15659008 2299 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3823 2299 1111 63 0 3760 0
vsize: 15292
[startup+60.0028 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2404 0 0 0 5989 10 0 0 25 0 1 0 897125273 15659008 2324 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3823 2324 1111 63 0 3760 0
vsize: 15292
[startup+70.0025 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2427 0 0 0 6989 10 0 0 25 0 1 0 897125273 15794176 2347 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3856 2347 1111 63 0 3793 0
vsize: 15424
[startup+80.0029 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2450 0 0 0 7989 10 0 0 25 0 1 0 897125273 15945728 2370 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 2370 1111 63 0 3830 0
vsize: 15572
[startup+90.0028 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2474 0 0 0 8989 11 0 0 25 0 1 0 897125273 15945728 2394 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 2394 1111 63 0 3830 0
vsize: 15572
[startup+100.003 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2497 0 0 0 9989 11 0 0 25 0 1 0 897125273 16080896 2417 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3926 2417 1111 63 0 3863 0
vsize: 15704
[startup+110.005 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2527 0 0 0 10990 11 0 0 25 0 1 0 897125273 16232448 2447 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3963 2447 1111 63 0 3900 0
vsize: 15852
[startup+120.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2550 0 0 0 11990 11 0 0 25 0 1 0 897125273 16232448 2470 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3963 2470 1111 63 0 3900 0
vsize: 15852
[startup+130.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2574 0 0 0 12990 11 0 0 25 0 1 0 897125273 16388096 2494 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4001 2494 1111 63 0 3938 0
vsize: 16004
[startup+140.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2598 0 0 0 13990 11 0 0 25 0 1 0 897125273 16523264 2518 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4034 2518 1111 63 0 3971 0
vsize: 16136
[startup+150.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2622 0 0 0 14991 12 0 0 25 0 1 0 897125273 16523264 2542 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4034 2542 1111 63 0 3971 0
vsize: 16136
[startup+160.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2649 0 0 0 15991 12 0 0 25 0 1 0 897125273 16678912 2569 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4072 2569 1111 63 0 4009 0
vsize: 16288
[startup+170.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2677 0 0 0 16991 12 0 0 25 0 1 0 897125273 16818176 2597 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2597 1111 63 0 4043 0
vsize: 16424
[startup+180.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21977
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2701 0 0 0 17992 12 0 0 25 0 1 0 897125273 16973824 2621 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4144 2621 1111 63 0 4081 0
vsize: 16576
[startup+190.008 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 22030
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2724 0 0 0 18992 12 0 0 25 0 1 0 897125273 16973824 2644 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4144 2644 1111 63 0 4081 0
vsize: 16576
[startup+200.009 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 22030
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2748 0 0 0 19992 12 0 0 25 0 1 0 897125273 17108992 2668 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4177 2668 1111 63 0 4114 0
vsize: 16708
[startup+210.009 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 22030
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2772 0 0 0 20993 12 0 0 25 0 1 0 897125273 17264640 2692 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2692 1111 63 0 4152 0
vsize: 16860
[startup+220.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 22030
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2802 0 0 0 21993 12 0 0 25 0 1 0 897125273 17264640 2722 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 2722 1111 63 0 4152 0
vsize: 16860
[startup+230.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 22030
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2825 0 0 0 22993 12 0 0 25 0 1 0 897125273 17399808 2745 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4248 2745 1111 63 0 4185 0
vsize: 16992
[startup+240.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 22030
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2849 0 0 0 23993 12 0 0 25 0 1 0 897125273 17547264 2769 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4284 2769 1111 63 0 4221 0
vsize: 17136
[startup+250.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22030
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2872 0 0 0 24994 12 0 0 25 0 1 0 897125273 17547264 2792 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4284 2792 1111 63 0 4221 0
vsize: 17136
[startup+260.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2895 0 0 0 25994 12 0 0 25 0 1 0 897125273 17682432 2815 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4317 2815 1111 63 0 4254 0
vsize: 17268
[startup+270.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2919 0 0 0 26994 12 0 0 25 0 1 0 897125273 17833984 2839 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4354 2839 1111 63 0 4291 0
vsize: 17416
[startup+280.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2944 0 0 0 27994 12 0 0 25 0 1 0 897125273 17973248 2864 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4388 2864 1111 63 0 4325 0
vsize: 17552
[startup+290.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2973 0 0 0 28995 12 0 0 25 0 1 0 897125273 17973248 2893 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4388 2893 1111 63 0 4325 0
vsize: 17552
[startup+300.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 2996 0 0 0 29995 12 0 0 25 0 1 0 897125273 18120704 2916 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4424 2916 1111 63 0 4361 0
vsize: 17696
[startup+310.01 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3020 0 0 0 30995 12 0 0 25 0 1 0 897125273 18255872 2940 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4457 2940 1111 63 0 4394 0
vsize: 17828
[startup+320.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3049 0 0 0 31996 13 0 0 25 0 1 0 897125273 18407424 2969 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4494 2969 1111 63 0 4431 0
vsize: 17976
[startup+330.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3071 0 0 0 32996 13 0 0 25 0 1 0 897125273 18407424 2991 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4494 2991 1111 63 0 4431 0
vsize: 17976
[startup+340.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3094 0 0 0 33996 13 0 0 25 0 1 0 897125273 18554880 3014 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4530 3014 1111 63 0 4467 0
vsize: 18120
[startup+350.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3118 0 0 0 34997 13 0 0 25 0 1 0 897125273 18690048 3038 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4563 3038 1111 63 0 4500 0
vsize: 18252
[startup+360.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3142 0 0 0 35997 13 0 0 25 0 1 0 897125273 18690048 3062 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4563 3062 1111 63 0 4500 0
vsize: 18252
[startup+370.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3166 0 0 0 36997 13 0 0 25 0 1 0 897125273 18845696 3086 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4601 3086 1111 63 0 4538 0
vsize: 18404
[startup+380.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3195 0 0 0 37997 13 0 0 25 0 1 0 897125273 18980864 3115 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4634 3115 1111 63 0 4571 0
vsize: 18536
[startup+390.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3218 0 0 0 38998 13 0 0 25 0 1 0 897125273 18980864 3138 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4634 3138 1111 63 0 4571 0
vsize: 18536
[startup+400.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3241 0 0 0 39998 13 0 0 25 0 1 0 897125273 19128320 3161 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4670 3161 1111 63 0 4607 0
vsize: 18680
[startup+410.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3265 0 0 0 40998 13 0 0 25 0 1 0 897125273 19263488 3185 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4703 3185 1111 63 0 4640 0
vsize: 18812
[startup+420.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3289 0 0 0 41999 13 0 0 25 0 1 0 897125273 19263488 3209 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4703 3209 1111 63 0 4640 0
vsize: 18812
[startup+430.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3312 0 0 0 42999 13 0 0 25 0 1 0 897125273 19415040 3232 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 3232 1111 63 0 4677 0
vsize: 18960
[startup+440.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3336 0 0 0 43999 13 0 0 25 0 1 0 897125273 19550208 3256 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3256 1111 63 0 4710 0
vsize: 19092
[startup+450.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3360 0 0 0 45000 13 0 0 25 0 1 0 897125273 19550208 3280 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 3280 1111 63 0 4710 0
vsize: 19092
[startup+460.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3383 0 0 0 46000 13 0 0 25 0 1 0 897125273 19705856 3303 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4811 3303 1111 63 0 4748 0
vsize: 19244
[startup+470.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3406 0 0 0 47000 13 0 0 25 0 1 0 897125273 19861504 3326 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4849 3326 1111 63 0 4786 0
vsize: 19396
[startup+480.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3429 0 0 0 48001 13 0 0 25 0 1 0 897125273 19861504 3349 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4849 3349 1111 63 0 4786 0
vsize: 19396
[startup+490.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3452 0 0 0 49001 13 0 0 25 0 1 0 897125273 19996672 3372 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4882 3372 1111 63 0 4819 0
vsize: 19528
[startup+500.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3476 0 0 0 50001 14 0 0 25 0 1 0 897125273 20144128 3396 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4918 3396 1111 63 0 4855 0
vsize: 19672
[startup+510.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22032
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3501 0 0 0 51002 14 0 0 25 0 1 0 897125273 20144128 3421 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4918 3421 1111 63 0 4855 0
vsize: 19672
[startup+520.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3530 0 0 0 52002 14 0 0 25 0 1 0 897125273 20279296 3450 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4951 3450 1111 63 0 4888 0
vsize: 19804
[startup+530.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3554 0 0 0 53002 14 0 0 25 0 1 0 897125273 20434944 3474 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4989 3474 1111 63 0 4926 0
vsize: 19956
[startup+540.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3577 0 0 0 54003 14 0 0 25 0 1 0 897125273 20434944 3497 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4989 3497 1111 63 0 4926 0
vsize: 19956
[startup+550.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3600 0 0 0 55003 14 0 0 25 0 1 0 897125273 20570112 3520 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5022 3520 1111 63 0 4959 0
vsize: 20088
[startup+560.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3623 0 0 0 56003 14 0 0 25 0 1 0 897125273 20717568 3543 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5058 3543 1111 63 0 4995 0
vsize: 20232
[startup+570.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3647 0 0 0 57004 14 0 0 25 0 1 0 897125273 20852736 3567 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5091 3567 1111 63 0 5028 0
vsize: 20364
[startup+580.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3678 0 0 0 58004 14 0 0 25 0 1 0 897125273 20852736 3598 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5091 3598 1111 63 0 5028 0
vsize: 20364
[startup+590.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3702 0 0 0 59004 14 0 0 25 0 1 0 897125273 21008384 3622 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5129 3622 1111 63 0 5066 0
vsize: 20516
[startup+600.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3725 0 0 0 60004 14 0 0 25 0 1 0 897125273 21143552 3645 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5162 3645 1111 63 0 5099 0
vsize: 20648
[startup+610.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3748 0 0 0 61005 14 0 0 25 0 1 0 897125273 21143552 3668 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5162 3668 1111 63 0 5099 0
vsize: 20648
[startup+620.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3771 0 0 0 62005 14 0 0 25 0 1 0 897125273 21295104 3691 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5199 3691 1111 63 0 5136 0
vsize: 20796
[startup+630.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3794 0 0 0 63006 14 0 0 25 0 1 0 897125273 21450752 3714 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5237 3714 1111 63 0 5174 0
vsize: 20948
[startup+640.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3818 0 0 0 64006 14 0 0 25 0 1 0 897125273 21450752 3738 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5237 3738 1111 63 0 5174 0
vsize: 20948
[startup+650.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3854 0 0 0 65006 14 0 0 25 0 1 0 897125273 21721088 3774 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5303 3774 1111 63 0 5240 0
vsize: 21212
[startup+660.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3879 0 0 0 66006 14 0 0 25 0 1 0 897125273 21721088 3799 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5303 3799 1111 63 0 5240 0
vsize: 21212
[startup+670.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3902 0 0 0 67007 14 0 0 25 0 1 0 897125273 21856256 3822 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5336 3822 1111 63 0 5273 0
vsize: 21344
[startup+680.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3925 0 0 0 68007 14 0 0 25 0 1 0 897125273 22007808 3845 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5373 3845 1111 63 0 5310 0
vsize: 21492
[startup+690.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3949 0 0 0 69007 15 0 0 25 0 1 0 897125273 22007808 3869 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5373 3869 1111 63 0 5310 0
vsize: 21492
[startup+700.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3972 0 0 0 70007 15 0 0 25 0 1 0 897125273 22142976 3892 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 3892 1111 63 0 5343 0
vsize: 21624
[startup+710.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 3995 0 0 0 71007 15 0 0 25 0 1 0 897125273 22294528 3915 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5443 3915 1111 63 0 5380 0
vsize: 21772
[startup+720.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4018 0 0 0 72008 15 0 0 25 0 1 0 897125273 22294528 3938 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5443 3938 1111 63 0 5380 0
vsize: 21772
[startup+730.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4050 0 0 0 73008 15 0 0 25 0 1 0 897125273 22450176 3970 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5481 3970 1111 63 0 5418 0
vsize: 21924
[startup+740.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4073 0 0 0 74008 15 0 0 25 0 1 0 897125273 22585344 3993 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5514 3993 1111 63 0 5451 0
vsize: 22056
[startup+750.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4096 0 0 0 75008 16 0 0 25 0 1 0 897125273 22585344 4016 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5514 4016 1111 63 0 5451 0
vsize: 22056
[startup+760.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4120 0 0 0 76009 16 0 0 25 0 1 0 897125273 22740992 4040 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5552 4040 1111 63 0 5489 0
vsize: 22208
[startup+770.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4143 0 0 0 77009 16 0 0 25 0 1 0 897125273 22876160 4063 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5585 4063 1111 63 0 5522 0
vsize: 22340
[startup+780.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4167 0 0 0 78009 16 0 0 25 0 1 0 897125273 22876160 4087 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5585 4087 1111 63 0 5522 0
vsize: 22340
[startup+790.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4197 0 0 0 79009 16 0 0 25 0 1 0 897125273 23023616 4117 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5621 4117 1111 63 0 5558 0
vsize: 22484
[startup+800.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4221 0 0 0 80010 16 0 0 25 0 1 0 897125273 23158784 4141 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5654 4141 1111 63 0 5591 0
vsize: 22616
[startup+810.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4246 0 0 0 81010 16 0 0 25 0 1 0 897125273 23314432 4166 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5692 4166 1111 63 0 5629 0
vsize: 22768
[startup+820.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4269 0 0 0 82010 16 0 0 25 0 1 0 897125273 23314432 4189 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5692 4189 1111 63 0 5629 0
vsize: 22768
[startup+830.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4292 0 0 0 83010 16 0 0 25 0 1 0 897125273 23449600 4212 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5725 4212 1111 63 0 5662 0
vsize: 22900
[startup+840.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4316 0 0 0 84011 17 0 0 25 0 1 0 897125273 23597056 4236 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5761 4236 1111 63 0 5698 0
vsize: 23044
[startup+850.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4346 0 0 0 85011 17 0 0 25 0 1 0 897125273 23597056 4266 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5761 4266 1111 63 0 5698 0
vsize: 23044
[startup+860.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4362 0 0 0 86011 17 0 0 25 0 1 0 897125273 23732224 4282 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5794 4282 1111 63 0 5731 0
vsize: 23176
[startup+870.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4392 0 0 0 87011 17 0 0 25 0 1 0 897125273 23883776 4312 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5831 4312 1111 63 0 5768 0
vsize: 23324
[startup+880.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4416 0 0 0 88012 17 0 0 25 0 1 0 897125273 23883776 4336 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5831 4336 1111 63 0 5768 0
vsize: 23324
[startup+890.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4440 0 0 0 89012 17 0 0 25 0 1 0 897125273 24018944 4360 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5864 4360 1111 63 0 5801 0
vsize: 23456
[startup+900.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4463 0 0 0 90012 17 0 0 25 0 1 0 897125273 24174592 4383 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5902 4383 1111 63 0 5839 0
vsize: 23608
[startup+910.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4486 0 0 0 91013 17 0 0 25 0 1 0 897125273 24174592 4406 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5902 4406 1111 63 0 5839 0
vsize: 23608
[startup+920.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4510 0 0 0 92013 17 0 0 25 0 1 0 897125273 24330240 4430 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5940 4430 1111 63 0 5877 0
vsize: 23760
[startup+930.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4533 0 0 0 93013 17 0 0 25 0 1 0 897125273 24465408 4453 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5973 4453 1111 63 0 5910 0
vsize: 23892
[startup+940.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4563 0 0 0 94014 17 0 0 25 0 1 0 897125273 24612864 4483 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6009 4483 1111 63 0 5946 0
vsize: 24036
[startup+950.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4589 0 0 0 95014 17 0 0 25 0 1 0 897125273 24612864 4509 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6009 4509 1111 63 0 5946 0
vsize: 24036
[startup+960.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4613 0 0 0 96014 17 0 0 25 0 1 0 897125273 24748032 4533 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6042 4533 1111 63 0 5979 0
vsize: 24168
[startup+970.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4636 0 0 0 97015 17 0 0 25 0 1 0 897125273 24903680 4556 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6080 4556 1111 63 0 6017 0
vsize: 24320
[startup+980.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4660 0 0 0 98015 17 0 0 25 0 1 0 897125273 24903680 4580 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6080 4580 1111 63 0 6017 0
vsize: 24320
[startup+990.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4689 0 0 0 99015 18 0 0 25 0 1 0 897125273 25038848 4609 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6113 4609 1111 63 0 6050 0
vsize: 24452
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4713 0 0 0 100016 18 0 0 25 0 1 0 897125273 25186304 4633 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6149 4633 1111 63 0 6086 0
vsize: 24596
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4736 0 0 0 101016 18 0 0 25 0 1 0 897125273 25186304 4656 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6149 4656 1111 63 0 6086 0
vsize: 24596
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4759 0 0 0 102016 18 0 0 25 0 1 0 897125273 25321472 4679 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6182 4679 1111 63 0 6119 0
vsize: 24728
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4784 0 0 0 103017 18 0 0 25 0 1 0 897125273 25477120 4704 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6220 4704 1111 63 0 6157 0
vsize: 24880
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4807 0 0 0 104017 18 0 0 25 0 1 0 897125273 25477120 4727 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6220 4727 1111 63 0 6157 0
vsize: 24880
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4830 0 0 0 105017 18 0 0 25 0 1 0 897125273 25612288 4750 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6253 4750 1111 63 0 6190 0
vsize: 25012
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4853 0 0 0 106017 18 0 0 25 0 1 0 897125273 25759744 4773 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6289 4773 1111 63 0 6226 0
vsize: 25156
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4877 0 0 0 107018 18 0 0 25 0 1 0 897125273 25894912 4797 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6322 4797 1111 63 0 6259 0
vsize: 25288
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4906 0 0 0 108018 18 0 0 25 0 1 0 897125273 25894912 4826 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6322 4826 1111 63 0 6259 0
vsize: 25288
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4930 0 0 0 109019 18 0 0 25 0 1 0 897125273 26046464 4850 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6359 4850 1111 63 0 6296 0
vsize: 25436
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4956 0 0 0 110019 18 0 0 25 0 1 0 897125273 26185728 4876 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6393 4876 1111 63 0 6330 0
vsize: 25572
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 4979 0 0 0 111019 18 0 0 25 0 1 0 897125273 26185728 4899 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6393 4899 1111 63 0 6330 0
vsize: 25572
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 5009 0 0 0 112019 18 0 0 25 0 1 0 897125273 26337280 4929 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6430 4929 1111 63 0 6367 0
vsize: 25720
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 5032 0 0 0 113020 18 0 0 25 0 1 0 897125273 26492928 4952 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6468 4952 1111 63 0 6405 0
vsize: 25872
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 5056 0 0 0 114020 18 0 0 25 0 1 0 897125273 26492928 4976 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6468 4976 1111 63 0 6405 0
vsize: 25872
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 5079 0 0 0 115020 18 0 0 25 0 1 0 897125273 26628096 4999 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6501 4999 1111 63 0 6438 0
vsize: 26004
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 5102 0 0 0 116021 19 0 0 25 0 1 0 897125273 26775552 5022 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 5022 1111 63 0 6474 0
vsize: 26148
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 5134 0 0 0 117021 19 0 0 25 0 1 0 897125273 26910720 5054 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6570 5054 1111 63 0 6507 0
vsize: 26280
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 5157 0 0 0 118021 19 0 0 25 0 1 0 897125273 26910720 5077 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6570 5077 1111 63 0 6507 0
vsize: 26280
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 5181 0 0 0 119022 19 0 0 25 0 1 0 897125273 27066368 5101 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6608 5101 1111 63 0 6545 0
vsize: 26432
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) R 21976 25568 25567 0 -1 0 5204 0 0 0 120022 19 0 0 25 0 1 0 897125273 27201536 5124 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6641 5124 1111 63 0 6578 0
vsize: 26564
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 22034
Raw data (stat): 21977 (bsolo_lpr-v2) Z 21976 25568 25567 0 -1 1036 5204 0 0 0 120022 20 0 0 25 0 1 0 897125273 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.05
CPU time (s): 1200.43
CPU user time (s): 1200.23
CPU system time (s): 0.200969
CPU usage (%): 100.031
Max. virtual memory (Kb): 26564
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####