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-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370c.opb
MD5SUM	b99a0e1987692fd9762e75d45288f75a
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39256355821
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39256355821
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.97785
Number of variables	105000
Total number of constraints	5150
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	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 40452

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 11:02:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28518 boxname=wulflinc6 idbench=1474 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  b99a0e1987692fd9762e75d45288f75a  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-n370c.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-n370c.opb
IDLAUNCH: 28518
/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:        858448 kB
Buffers:         23188 kB
Cached:         131172 kB
SwapCached:        952 kB
Active:          35884 kB
Inactive:       120604 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        858196 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13936 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 11:22:50 (client local time) WITH STATUS 0 IN 1200.46 SECONDS
stats: 28518 7 1200.46 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.86 0.95 0.90 2/54 29814
Raw data (stat): 29814 (runsolver) R 29813 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901120556 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+10.0002 s]
Raw data (loadavg): 0.88 0.96 0.91 2/54 29814
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 1160 0 0 0 994 4 0 0 25 0 1 0 901120556 16052224 1080 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3919 1080 1111 63 0 3856 0
vsize: 15676
[startup+20.0001 s]
Raw data (loadavg): 0.90 0.96 0.91 2/54 29814
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 1407 0 0 0 1994 4 0 0 25 0 1 0 901120556 17178624 1327 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4194 1327 1111 63 0 4131 0
vsize: 16776
[startup+30.0003 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 29814
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 1657 0 0 0 2994 5 0 0 25 0 1 0 901120556 18178048 1577 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 1577 1111 63 0 4375 0
vsize: 17752
[startup+40.0004 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 29814
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 1905 0 0 0 3994 5 0 0 25 0 1 0 901120556 19165184 1825 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1825 1111 63 0 4616 0
vsize: 18716
[startup+50.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 29814
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 2153 0 0 0 4993 6 0 0 25 0 1 0 901120556 20152320 2073 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2073 1111 63 0 4857 0
vsize: 19680
[startup+60.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29814
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 2412 0 0 0 5993 6 0 0 25 0 1 0 901120556 21274624 2332 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 2332 1111 63 0 5131 0
vsize: 20776
[startup+70.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 29814
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 2660 0 0 0 6993 7 0 0 25 0 1 0 901120556 22261760 2580 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5435 2580 1111 63 0 5372 0
vsize: 21740
[startup+80.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 29814
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 2914 0 0 0 7993 7 0 0 25 0 1 0 901120556 23240704 2834 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2834 1111 63 0 5611 0
vsize: 22696
[startup+90.0012 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29814
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 3162 0 0 0 8993 8 0 0 25 0 1 0 901120556 24367104 3082 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5949 3082 1111 63 0 5886 0
vsize: 23796
[startup+100.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 29814
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 3410 0 0 0 9993 8 0 0 25 0 1 0 901120556 25354240 3330 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6190 3330 1111 63 0 6127 0
vsize: 24760
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29814
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 3664 0 0 0 10993 9 0 0 25 0 1 0 901120556 26341376 3584 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 3584 1111 63 0 6368 0
vsize: 25724
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29814
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 3926 0 0 0 11993 9 0 0 25 0 1 0 901120556 27488256 3846 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6711 3846 1111 63 0 6648 0
vsize: 26844
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29814
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 4174 0 0 0 12993 9 0 0 25 0 1 0 901120556 28475392 4094 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 4094 1111 63 0 6889 0
vsize: 27808
[startup+140.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29814
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 4430 0 0 0 13992 10 0 0 25 0 1 0 901120556 29462528 4350 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7193 4350 1111 63 0 7130 0
vsize: 28772
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29814
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 4685 0 0 0 14992 11 0 0 25 0 1 0 901120556 30584832 4605 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7467 4605 1111 63 0 7404 0
vsize: 29868
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 4938 0 0 0 15991 11 0 0 25 0 1 0 901120556 31567872 4858 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 4858 1111 63 0 7644 0
vsize: 30828
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 5194 0 0 0 16991 12 0 0 25 0 1 0 901120556 32694272 5114 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7982 5114 1111 63 0 7919 0
vsize: 31928
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 5449 0 0 0 17991 13 0 0 25 0 1 0 901120556 33681408 5369 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8223 5369 1111 63 0 8160 0
vsize: 32892
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 5704 0 0 0 18991 13 0 0 25 0 1 0 901120556 34668544 5624 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8464 5624 1111 63 0 8401 0
vsize: 33856
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 5959 0 0 0 19991 13 0 0 25 0 1 0 901120556 35794944 5879 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8739 5879 1111 63 0 8676 0
vsize: 34956
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 6214 0 0 0 20991 13 0 0 25 0 1 0 901120556 36782080 6134 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8980 6134 1111 63 0 8917 0
vsize: 35920
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 6485 0 0 0 21991 14 0 0 25 0 1 0 901120556 37920768 6405 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9258 6405 1111 63 0 9195 0
vsize: 37032
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 6739 0 0 0 22991 14 0 0 25 0 1 0 901120556 39043072 6659 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9532 6659 1111 63 0 9469 0
vsize: 38128
[startup+240 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 7000 0 0 0 23991 14 0 0 25 0 1 0 901120556 40030208 6920 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9773 6920 1111 63 0 9710 0
vsize: 39092
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 7257 0 0 0 24991 15 0 0 25 0 1 0 901120556 41156608 7177 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10048 7177 1111 63 0 9985 0
vsize: 40192
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 7518 0 0 0 25991 15 0 0 25 0 1 0 901120556 42143744 7438 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10289 7438 1111 63 0 10226 0
vsize: 41156
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 7780 0 0 0 26991 16 0 0 25 0 1 0 901120556 43270144 7700 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10564 7700 1111 63 0 10501 0
vsize: 42256
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 8037 0 0 0 27991 16 0 0 25 0 1 0 901120556 44257280 7957 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10805 7957 1111 63 0 10742 0
vsize: 43220
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 8298 0 0 0 28991 16 0 0 25 0 1 0 901120556 45383680 8218 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11080 8218 1111 63 0 11017 0
vsize: 44320
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 8560 0 0 0 29991 17 0 0 25 0 1 0 901120556 46510080 8480 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11355 8480 1111 63 0 11292 0
vsize: 45420
[startup+310.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 8823 0 0 0 30991 17 0 0 25 0 1 0 901120556 47489024 8743 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11594 8743 1111 63 0 11531 0
vsize: 46376
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 9083 0 0 0 31991 17 0 0 25 0 1 0 901120556 48615424 9003 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11869 9003 1111 63 0 11806 0
vsize: 47476
[startup+330.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 9345 0 0 0 32990 18 0 0 25 0 1 0 901120556 49602560 9265 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12110 9265 1111 63 0 12047 0
vsize: 48440
[startup+340.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 9608 0 0 0 33990 19 0 0 25 0 1 0 901120556 50733056 9528 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12386 9528 1111 63 0 12323 0
vsize: 49544
[startup+350.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 9869 0 0 0 34990 19 0 0 25 0 1 0 901120556 51859456 9789 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 9789 1111 63 0 12598 0
vsize: 50644
[startup+360.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 10139 0 0 0 35989 20 0 0 25 0 1 0 901120556 52842496 10059 4294967295 134512640 134716908 3221224576 3221221100 1077196364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12901 10059 1111 63 0 12838 0
vsize: 51604
[startup+370.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 10401 0 0 0 36989 21 0 0 25 0 1 0 901120556 53968896 10321 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13176 10321 1111 63 0 13113 0
vsize: 52704
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 10663 0 0 0 37989 21 0 0 25 0 1 0 901120556 55095296 10583 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13451 10583 1111 63 0 13388 0
vsize: 53804
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 10932 0 0 0 38989 22 0 0 25 0 1 0 901120556 56086528 10852 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13693 10852 1111 63 0 13630 0
vsize: 54772
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 11200 0 0 0 39989 22 0 0 25 0 1 0 901120556 57212928 11120 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13968 11120 1111 63 0 13905 0
vsize: 55872
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 11462 0 0 0 40988 23 0 0 25 0 1 0 901120556 58331136 11382 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14241 11382 1111 63 0 14178 0
vsize: 56964
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 11729 0 0 0 41988 23 0 0 25 0 1 0 901120556 59457536 11649 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14516 11649 1111 63 0 14453 0
vsize: 58064
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 12015 0 0 0 42988 24 0 0 25 0 1 0 901120556 60674048 11935 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14813 11935 1111 63 0 14750 0
vsize: 59252
[startup+440.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 12283 0 0 0 43988 25 0 0 25 0 1 0 901120556 61792256 12203 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15086 12203 1111 63 0 15023 0
vsize: 60344
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 12552 0 0 0 44988 25 0 0 25 0 1 0 901120556 62918656 12472 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15361 12472 1111 63 0 15298 0
vsize: 61444
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 12822 0 0 0 45988 25 0 0 25 0 1 0 901120556 64045056 12742 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15636 12742 1111 63 0 15573 0
vsize: 62544
[startup+470.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 13091 0 0 0 46987 26 0 0 25 0 1 0 901120556 65032192 13011 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15877 13011 1111 63 0 15814 0
vsize: 63508
[startup+480.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 13367 0 0 0 47987 26 0 0 25 0 1 0 901120556 66158592 13287 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16152 13287 1111 63 0 16089 0
vsize: 64608
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 13635 0 0 0 48987 26 0 0 25 0 1 0 901120556 67284992 13555 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16427 13555 1111 63 0 16364 0
vsize: 65708
[startup+500.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 13905 0 0 0 49987 27 0 0 25 0 1 0 901120556 68411392 13825 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16702 13825 1111 63 0 16639 0
vsize: 66808
[startup+510.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 14180 0 0 0 50987 27 0 0 25 0 1 0 901120556 69537792 14100 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16977 14100 1111 63 0 16914 0
vsize: 67908
[startup+520.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 14450 0 0 0 51987 28 0 0 25 0 1 0 901120556 70664192 14370 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17252 14370 1111 63 0 17189 0
vsize: 69008
[startup+530.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 14725 0 0 0 52987 29 0 0 25 0 1 0 901120556 71794688 14645 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17528 14645 1111 63 0 17465 0
vsize: 70112
[startup+540.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 14993 0 0 0 53986 29 0 0 25 0 1 0 901120556 72912896 14913 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17801 14913 1111 63 0 17738 0
vsize: 71204
[startup+550.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 15269 0 0 0 54986 30 0 0 25 0 1 0 901120556 74039296 15189 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18076 15189 1111 63 0 18013 0
vsize: 72304
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 15545 0 0 0 55986 30 0 0 25 0 1 0 901120556 75165696 15465 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18351 15465 1111 63 0 18288 0
vsize: 73404
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 15820 0 0 0 56986 31 0 0 25 0 1 0 901120556 76292096 15740 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18626 15740 1111 63 0 18563 0
vsize: 74504
[startup+580.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 16096 0 0 0 57986 31 0 0 25 0 1 0 901120556 77418496 16016 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18901 16016 1111 63 0 18838 0
vsize: 75604
[startup+590.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 16373 0 0 0 58986 31 0 0 25 0 1 0 901120556 78548992 16293 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19177 16293 1111 63 0 19114 0
vsize: 76708
[startup+600.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 16655 0 0 0 59986 32 0 0 25 0 1 0 901120556 79675392 16575 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19452 16575 1111 63 0 19389 0
vsize: 77808
[startup+610.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 16931 0 0 0 60985 33 0 0 25 0 1 0 901120556 80801792 16851 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19727 16851 1111 63 0 19664 0
vsize: 78908
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 17213 0 0 0 61985 33 0 0 25 0 1 0 901120556 81928192 17133 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 17133 1111 63 0 19939 0
vsize: 80008
[startup+630.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 17489 0 0 0 62985 34 0 0 25 0 1 0 901120556 83054592 17409 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20277 17409 1111 63 0 20214 0
vsize: 81108
[startup+640.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 17772 0 0 0 63984 35 0 0 25 0 1 0 901120556 84180992 17692 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20552 17692 1111 63 0 20489 0
vsize: 82208
[startup+650.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 18055 0 0 0 64984 35 0 0 25 0 1 0 901120556 85307392 17975 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20827 17975 1111 63 0 20764 0
vsize: 83308
[startup+660.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 18332 0 0 0 65984 35 0 0 25 0 1 0 901120556 86433792 18252 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21102 18252 1111 63 0 21039 0
vsize: 84408
[startup+670.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 18619 0 0 0 66984 36 0 0 25 0 1 0 901120556 87703552 18539 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21412 18539 1111 63 0 21349 0
vsize: 85648
[startup+680.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 18897 0 0 0 67984 37 0 0 25 0 1 0 901120556 88829952 18817 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21687 18817 1111 63 0 21624 0
vsize: 86748
[startup+690.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 19185 0 0 0 68984 37 0 0 25 0 1 0 901120556 89956352 19105 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21962 19105 1111 63 0 21899 0
vsize: 87848
[startup+700.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 19468 0 0 0 69984 38 0 0 25 0 1 0 901120556 91082752 19388 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22237 19388 1111 63 0 22174 0
vsize: 88948
[startup+710.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 19752 0 0 0 70984 38 0 0 25 0 1 0 901120556 92348416 19672 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22546 19672 1111 63 0 22483 0
vsize: 90184
[startup+720.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 20040 0 0 0 71984 38 0 0 25 0 1 0 901120556 93474816 19960 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22821 19960 1111 63 0 22758 0
vsize: 91284
[startup+730.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 20324 0 0 0 72984 39 0 0 25 0 1 0 901120556 94601216 20244 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23096 20244 1111 63 0 23033 0
vsize: 92384
[startup+740.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 20607 0 0 0 73983 39 0 0 25 0 1 0 901120556 95723520 20527 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23370 20527 1111 63 0 23307 0
vsize: 93480
[startup+750.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 20896 0 0 0 74983 40 0 0 25 0 1 0 901120556 96997376 20816 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23681 20816 1111 63 0 23618 0
vsize: 94724
[startup+760.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 21186 0 0 0 75983 41 0 0 25 0 1 0 901120556 98119680 21106 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23955 21106 1111 63 0 23892 0
vsize: 95820
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 21475 0 0 0 76982 41 0 0 25 0 1 0 901120556 99385344 21395 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24264 21395 1111 63 0 24201 0
vsize: 97056
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 21764 0 0 0 77982 42 0 0 25 0 1 0 901120556 100511744 21684 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24539 21684 1111 63 0 24476 0
vsize: 98156
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 22053 0 0 0 78982 43 0 0 25 0 1 0 901120556 101638144 21973 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24814 21973 1111 63 0 24751 0
vsize: 99256
[startup+800.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 22343 0 0 0 79982 43 0 0 25 0 1 0 901120556 102903808 22263 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25123 22263 1111 63 0 25060 0
vsize: 100492
[startup+810.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 22632 0 0 0 80981 43 0 0 25 0 1 0 901120556 104030208 22552 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25398 22552 1111 63 0 25335 0
vsize: 101592
[startup+820.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 22921 0 0 0 81981 44 0 0 25 0 1 0 901120556 105295872 22841 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25707 22841 1111 63 0 25644 0
vsize: 102828
[startup+830.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 23249 0 0 0 82980 45 0 0 25 0 1 0 901120556 106786816 23169 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26071 23169 1111 63 0 26008 0
vsize: 104284
[startup+840.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 23545 0 0 0 83980 46 0 0 25 0 1 0 901120556 108052480 23465 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26380 23465 1111 63 0 26317 0
vsize: 105520
[startup+850.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 23836 0 0 0 84980 46 0 0 25 0 1 0 901120556 109178880 23756 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26655 23756 1111 63 0 26592 0
vsize: 106620
[startup+860.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 24131 0 0 0 85980 47 0 0 25 0 1 0 901120556 110444544 24051 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26964 24051 1111 63 0 26901 0
vsize: 107856
[startup+870.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 24429 0 0 0 86980 47 0 0 25 0 1 0 901120556 111710208 24349 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27273 24349 1111 63 0 27210 0
vsize: 109092
[startup+880.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 24718 0 0 0 87980 47 0 0 25 0 1 0 901120556 112840704 24638 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27549 24638 1111 63 0 27486 0
vsize: 110196
[startup+890.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 25021 0 0 0 88980 48 0 0 25 0 1 0 901120556 114106368 24941 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27858 24941 1111 63 0 27795 0
vsize: 111432
[startup+900.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 25318 0 0 0 89980 48 0 0 25 0 1 0 901120556 115232768 25238 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28133 25238 1111 63 0 28070 0
vsize: 112532
[startup+910.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 25614 0 0 0 90980 49 0 0 25 0 1 0 901120556 116498432 25534 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28442 25534 1111 63 0 28379 0
vsize: 113768
[startup+920.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 25918 0 0 0 91980 49 0 0 25 0 1 0 901120556 117768192 25838 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28752 25838 1111 63 0 28689 0
vsize: 115008
[startup+930.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 26215 0 0 0 92979 50 0 0 25 0 1 0 901120556 118894592 26135 4294967295 134512640 134716908 3221224576 3221222804 1077414397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29027 26135 1111 63 0 28964 0
vsize: 116108
[startup+940.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 26513 0 0 0 93979 50 0 0 25 0 1 0 901120556 120160256 26433 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29336 26433 1111 63 0 29273 0
vsize: 117344
[startup+950.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 26815 0 0 0 94979 51 0 0 25 0 1 0 901120556 121434112 26735 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29647 26735 1111 63 0 29584 0
vsize: 118588
[startup+960.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 27119 0 0 0 95979 51 0 0 25 0 1 0 901120556 122699776 27039 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29956 27039 1111 63 0 29893 0
vsize: 119824
[startup+970.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 27422 0 0 0 96979 52 0 0 25 0 1 0 901120556 123826176 27342 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30231 27342 1111 63 0 30168 0
vsize: 120924
[startup+980.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 27725 0 0 0 97979 52 0 0 25 0 1 0 901120556 125095936 27645 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30541 27645 1111 63 0 30478 0
vsize: 122164
[startup+990.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 28036 0 0 0 98978 53 0 0 25 0 1 0 901120556 126361600 27956 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30850 27956 1111 63 0 30787 0
vsize: 123400
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 28338 0 0 0 99979 53 0 0 25 0 1 0 901120556 127627264 28258 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31159 28258 1111 63 0 31096 0
vsize: 124636
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 28649 0 0 0 100978 53 0 0 25 0 1 0 901120556 128892928 28569 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31468 28569 1111 63 0 31405 0
vsize: 125872
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 28952 0 0 0 101978 54 0 0 25 0 1 0 901120556 130162688 28872 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31778 28872 1111 63 0 31715 0
vsize: 127112
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 29264 0 0 0 102978 55 0 0 25 0 1 0 901120556 131428352 29184 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32087 29184 1111 63 0 32024 0
vsize: 128348
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 29573 0 0 0 103978 55 0 0 25 0 1 0 901120556 132694016 29493 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32396 29493 1111 63 0 32333 0
vsize: 129584
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 29882 0 0 0 104978 55 0 0 25 0 1 0 901120556 133959680 29802 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32705 29802 1111 63 0 32642 0
vsize: 130820
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 30192 0 0 0 105978 56 0 0 25 0 1 0 901120556 135229440 30112 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33015 30112 1111 63 0 32952 0
vsize: 132060
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 30508 0 0 0 106978 56 0 0 25 0 1 0 901120556 136495104 30428 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33324 30428 1111 63 0 33261 0
vsize: 133296
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 30813 0 0 0 107977 57 0 0 25 0 1 0 901120556 137764864 30733 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33634 30733 1111 63 0 33571 0
vsize: 134536
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 31129 0 0 0 108977 58 0 0 25 0 1 0 901120556 139030528 31049 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33943 31049 1111 63 0 33880 0
vsize: 135772
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 31440 0 0 0 109977 58 0 0 25 0 1 0 901120556 140296192 31360 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34252 31360 1111 63 0 34189 0
vsize: 137008
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 31750 0 0 0 110977 59 0 0 25 0 1 0 901120556 141561856 31670 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34561 31670 1111 63 0 34498 0
vsize: 138244
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 32068 0 0 0 111977 59 0 0 25 0 1 0 901120556 142831616 31988 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34871 31988 1111 63 0 34808 0
vsize: 139484
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 32384 0 0 0 112976 60 0 0 25 0 1 0 901120556 144097280 32304 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35180 32304 1111 63 0 35117 0
vsize: 140720
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 32702 0 0 0 113976 60 0 0 25 0 1 0 901120556 145510400 32622 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35525 32622 1111 63 0 35462 0
vsize: 142100
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 33019 0 0 0 114976 61 0 0 25 0 1 0 901120556 146776064 32939 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35834 32939 1111 63 0 35771 0
vsize: 143336
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 33335 0 0 0 115976 62 0 0 25 0 1 0 901120556 148041728 33255 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36143 33255 1111 63 0 36080 0
vsize: 144572
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 33654 0 0 0 116976 62 0 0 25 0 1 0 901120556 149311488 33574 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36453 33574 1111 63 0 36390 0
vsize: 145812
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 33970 0 0 0 117975 62 0 0 25 0 1 0 901120556 150577152 33890 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36762 33890 1111 63 0 36699 0
vsize: 147048
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 34295 0 0 0 118976 62 0 0 25 0 1 0 901120556 151986176 34215 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37106 34215 1111 63 0 37043 0
vsize: 148424
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) R 29813 25568 25567 0 -1 0 34617 0 0 0 119975 63 0 0 25 0 1 0 901120556 153251840 34537 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37415 34537 1111 63 0 37352 0
vsize: 149660
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 29816
Raw data (stat): 29814 (bsolo_lpr-v2) Z 29813 25568 25567 0 -1 1036 34617 0 0 0 119975 70 0 0 25 0 1 0 901120556 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.08
CPU time (s): 1200.46
CPU user time (s): 1199.76
CPU system time (s): 0.701893
CPU usage (%): 100.032
Max. virtual memory (Kb): 149660
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####