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-n3702.opb
MD5SUM	1d23f02bf686681d1b293e114d3bb612
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	39177236543
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	39177236543
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	1.03484
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 40442

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 10:27:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28508 boxname=wulflinc1 idbench=1464 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  1d23f02bf686681d1b293e114d3bb612  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-n3702.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-n3702.opb
IDLAUNCH: 28508
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        878168 kB
Buffers:         21644 kB
Cached:         109588 kB
SwapCached:       1164 kB
Active:          32588 kB
Inactive:       100880 kB
HighTotal:      131008 kB
HighFree:        44884 kB
LowTotal:       903652 kB
LowFree:        833284 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            17212 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 10:47:57 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 28508 7 1200.26 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.92 0.95 0.90 2/55 22073
Raw data (stat): 22073 (runsolver) R 22072 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 844055218 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.0001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 1160 0 0 0 994 4 0 0 25 0 1 0 844055218 16052224 1080 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1080 1111 63 0 3856 0
vsize: 15676
[startup+19.9998 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 1407 0 0 0 1993 4 0 0 25 0 1 0 844055218 17178624 1327 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4194 1327 1111 63 0 4131 0
vsize: 16776
[startup+29.9996 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 1657 0 0 0 2993 5 0 0 25 0 1 0 844055218 18178048 1577 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4438 1577 1111 63 0 4375 0
vsize: 17752
[startup+39.9994 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 1905 0 0 0 3992 6 0 0 25 0 1 0 844055218 19165184 1825 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 1825 1111 63 0 4616 0
vsize: 18716
[startup+50.0002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 2153 0 0 0 4992 6 0 0 25 0 1 0 844055218 20152320 2073 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4920 2073 1111 63 0 4857 0
vsize: 19680
[startup+60 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 2406 0 0 0 5991 7 0 0 25 0 1 0 844055218 21274624 2326 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5194 2326 1111 63 0 5131 0
vsize: 20776
[startup+69.9998 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 2660 0 0 0 6990 8 0 0 25 0 1 0 844055218 22261760 2580 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5435 2580 1111 63 0 5372 0
vsize: 21740
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 2907 0 0 0 7989 9 0 0 25 0 1 0 844055218 23240704 2827 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 2827 1111 63 0 5611 0
vsize: 22696
[startup+90.0023 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 3161 0 0 0 8989 10 0 0 25 0 1 0 844055218 24367104 3081 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5949 3081 1111 63 0 5886 0
vsize: 23796
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 3409 0 0 0 9987 12 0 0 25 0 1 0 844055218 25354240 3329 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6190 3329 1111 63 0 6127 0
vsize: 24760
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 3658 0 0 0 10987 12 0 0 25 0 1 0 844055218 26341376 3578 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 3578 1111 63 0 6368 0
vsize: 25724
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 3920 0 0 0 11986 13 0 0 25 0 1 0 844055218 27488256 3840 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6711 3840 1111 63 0 6648 0
vsize: 26844
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 4174 0 0 0 12986 14 0 0 25 0 1 0 844055218 28475392 4094 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6952 4094 1111 63 0 6889 0
vsize: 27808
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 4423 0 0 0 13985 15 0 0 25 0 1 0 844055218 29462528 4343 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7193 4343 1111 63 0 7130 0
vsize: 28772
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 4677 0 0 0 14984 16 0 0 25 0 1 0 844055218 30584832 4597 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7467 4597 1111 63 0 7404 0
vsize: 29868
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 4931 0 0 0 15984 16 0 0 25 0 1 0 844055218 31567872 4851 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7707 4851 1111 63 0 7644 0
vsize: 30828
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 5187 0 0 0 16984 16 0 0 25 0 1 0 844055218 32555008 5107 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7948 5107 1111 63 0 7885 0
vsize: 31792
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 5442 0 0 0 17983 17 0 0 25 0 1 0 844055218 33681408 5362 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8223 5362 1111 63 0 8160 0
vsize: 32892
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 5697 0 0 0 18983 18 0 0 25 0 1 0 844055218 34668544 5617 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8464 5617 1111 63 0 8401 0
vsize: 33856
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 5952 0 0 0 19982 18 0 0 25 0 1 0 844055218 35794944 5872 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8739 5872 1111 63 0 8676 0
vsize: 34956
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 6206 0 0 0 20982 19 0 0 25 0 1 0 844055218 36782080 6126 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8980 6126 1111 63 0 8917 0
vsize: 35920
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 6472 0 0 0 21982 19 0 0 25 0 1 0 844055218 37920768 6392 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 6392 1111 63 0 9195 0
vsize: 37032
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 6732 0 0 0 22981 20 0 0 25 0 1 0 844055218 39043072 6652 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9532 6652 1111 63 0 9469 0
vsize: 38128
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 6987 0 0 0 23981 20 0 0 25 0 1 0 844055218 40030208 6907 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9773 6907 1111 63 0 9710 0
vsize: 39092
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 7243 0 0 0 24980 21 0 0 25 0 1 0 844055218 41017344 7163 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10014 7163 1111 63 0 9951 0
vsize: 40056
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 7505 0 0 0 25980 22 0 0 25 0 1 0 844055218 42143744 7425 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10289 7425 1111 63 0 10226 0
vsize: 41156
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 7766 0 0 0 26979 22 0 0 25 0 1 0 844055218 43270144 7686 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10564 7686 1111 63 0 10501 0
vsize: 42256
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 8023 0 0 0 27979 23 0 0 25 0 1 0 844055218 44257280 7943 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10805 7943 1111 63 0 10742 0
vsize: 43220
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 8284 0 0 0 28978 24 0 0 25 0 1 0 844055218 45383680 8204 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11080 8204 1111 63 0 11017 0
vsize: 44320
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 8546 0 0 0 29978 24 0 0 25 0 1 0 844055218 46370816 8466 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11321 8466 1111 63 0 11258 0
vsize: 45284
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 8801 0 0 0 30977 25 0 0 25 0 1 0 844055218 47489024 8721 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11594 8721 1111 63 0 11531 0
vsize: 46376
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 9063 0 0 0 31977 26 0 0 25 0 1 0 844055218 48476160 8983 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11835 8983 1111 63 0 11772 0
vsize: 47340
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 9325 0 0 0 32976 26 0 0 25 0 1 0 844055218 49602560 9245 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12110 9245 1111 63 0 12047 0
vsize: 48440
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 9594 0 0 0 33976 27 0 0 25 0 1 0 844055218 50733056 9514 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12386 9514 1111 63 0 12323 0
vsize: 49544
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 9855 0 0 0 34975 28 0 0 25 0 1 0 844055218 51716096 9775 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12626 9775 1111 63 0 12563 0
vsize: 50504
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 10119 0 0 0 35975 28 0 0 25 0 1 0 844055218 52842496 10039 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12901 10039 1111 63 0 12838 0
vsize: 51604
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 10386 0 0 0 36975 29 0 0 25 0 1 0 844055218 53968896 10306 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13176 10306 1111 63 0 13113 0
vsize: 52704
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 10649 0 0 0 37974 29 0 0 25 0 1 0 844055218 54960128 10569 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13418 10569 1111 63 0 13355 0
vsize: 53672
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 10912 0 0 0 38974 30 0 0 25 0 1 0 844055218 56086528 10832 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13693 10832 1111 63 0 13630 0
vsize: 54772
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 11180 0 0 0 39973 31 0 0 25 0 1 0 844055218 57212928 11100 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13968 11100 1111 63 0 13905 0
vsize: 55872
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 11446 0 0 0 40972 32 0 0 25 0 1 0 844055218 58191872 11366 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14207 11366 1111 63 0 14144 0
vsize: 56828
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 11708 0 0 0 41972 32 0 0 25 0 1 0 844055218 59318272 11628 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14482 11628 1111 63 0 14419 0
vsize: 57928
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 11996 0 0 0 42971 33 0 0 25 0 1 0 844055218 60674048 11916 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14813 11916 1111 63 0 14750 0
vsize: 59252
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 12262 0 0 0 43971 34 0 0 25 0 1 0 844055218 61652992 12182 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15052 12182 1111 63 0 14989 0
vsize: 60208
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 12525 0 0 0 44970 35 0 0 25 0 1 0 844055218 62779392 12445 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15327 12445 1111 63 0 15264 0
vsize: 61308
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 12801 0 0 0 45970 35 0 0 25 0 1 0 844055218 63905792 12721 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15602 12721 1111 63 0 15539 0
vsize: 62408
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 13064 0 0 0 46969 36 0 0 25 0 1 0 844055218 65032192 12984 4294967295 134512640 134716908 3221224576 3221222536 1077377612 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15877 12984 1111 63 0 15814 0
vsize: 63508
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 13338 0 0 0 47968 38 0 0 25 0 1 0 844055218 66158592 13258 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16152 13258 1111 63 0 16089 0
vsize: 64608
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 13601 0 0 0 48967 38 0 0 25 0 1 0 844055218 67145728 13521 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16393 13521 1111 63 0 16330 0
vsize: 65572
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 13877 0 0 0 49967 38 0 0 25 0 1 0 844055218 68272128 13797 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16668 13797 1111 63 0 16605 0
vsize: 66672
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 14140 0 0 0 50967 39 0 0 25 0 1 0 844055218 69398528 14060 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16943 14060 1111 63 0 16880 0
vsize: 67772
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 14413 0 0 0 51967 39 0 0 25 0 1 0 844055218 70520832 14333 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17217 14333 1111 63 0 17154 0
vsize: 68868
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 14676 0 0 0 52967 40 0 0 25 0 1 0 844055218 71507968 14596 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17458 14596 1111 63 0 17395 0
vsize: 69832
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 14951 0 0 0 53966 40 0 0 25 0 1 0 844055218 72634368 14871 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17733 14871 1111 63 0 17670 0
vsize: 70932
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 15221 0 0 0 54966 40 0 0 25 0 1 0 844055218 73760768 15141 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18008 15141 1111 63 0 17945 0
vsize: 72032
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 15490 0 0 0 55966 41 0 0 25 0 1 0 844055218 74887168 15410 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18283 15410 1111 63 0 18220 0
vsize: 73132
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 15765 0 0 0 56966 41 0 0 25 0 1 0 844055218 76013568 15685 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18558 15685 1111 63 0 18495 0
vsize: 74232
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 16041 0 0 0 57966 41 0 0 25 0 1 0 844055218 77139968 15961 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18833 15961 1111 63 0 18770 0
vsize: 75332
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 16311 0 0 0 58966 42 0 0 25 0 1 0 844055218 78266368 16231 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19108 16231 1111 63 0 19045 0
vsize: 76432
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 16587 0 0 0 59965 43 0 0 25 0 1 0 844055218 79392768 16507 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19383 16507 1111 63 0 19320 0
vsize: 77532
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 16863 0 0 0 60965 43 0 0 25 0 1 0 844055218 80519168 16783 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19658 16783 1111 63 0 19595 0
vsize: 78632
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 17138 0 0 0 61964 43 0 0 25 0 1 0 844055218 81645568 17058 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19933 17058 1111 63 0 19870 0
vsize: 79732
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 17414 0 0 0 62964 44 0 0 25 0 1 0 844055218 82776064 17334 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20209 17334 1111 63 0 20146 0
vsize: 80836
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 17690 0 0 0 63964 44 0 0 25 0 1 0 844055218 83902464 17610 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20484 17610 1111 63 0 20421 0
vsize: 81936
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 17966 0 0 0 64964 45 0 0 25 0 1 0 844055218 85028864 17886 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20759 17886 1111 63 0 20696 0
vsize: 83036
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 18249 0 0 0 65963 45 0 0 25 0 1 0 844055218 86147072 18169 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21032 18169 1111 63 0 20969 0
vsize: 84128
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 18523 0 0 0 66963 46 0 0 25 0 1 0 844055218 87273472 18443 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21307 18443 1111 63 0 21244 0
vsize: 85228
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 18799 0 0 0 67963 46 0 0 25 0 1 0 844055218 88403968 18719 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21583 18719 1111 63 0 21520 0
vsize: 86332
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 19082 0 0 0 68962 47 0 0 25 0 1 0 844055218 89530368 19002 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21858 19002 1111 63 0 21795 0
vsize: 87432
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 19363 0 0 0 69962 47 0 0 25 0 1 0 844055218 90656768 19283 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22133 19283 1111 63 0 22070 0
vsize: 88532
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 19641 0 0 0 70961 48 0 0 25 0 1 0 844055218 91783168 19561 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22408 19561 1111 63 0 22345 0
vsize: 89632
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 19923 0 0 0 71960 50 0 0 25 0 1 0 844055218 93048832 19843 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22717 19843 1111 63 0 22654 0
vsize: 90868
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 20206 0 0 0 72960 50 0 0 25 0 1 0 844055218 94175232 20126 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22992 20126 1111 63 0 22929 0
vsize: 91968
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 20488 0 0 0 73960 50 0 0 25 0 1 0 844055218 95305728 20408 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23268 20408 1111 63 0 23205 0
vsize: 93072
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 20770 0 0 0 74960 51 0 0 25 0 1 0 844055218 96432128 20690 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23543 20690 1111 63 0 23480 0
vsize: 94172
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 21055 0 0 0 75959 51 0 0 25 0 1 0 844055218 97558528 20975 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23818 20975 1111 63 0 23755 0
vsize: 95272
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 21337 0 0 0 76959 52 0 0 25 0 1 0 844055218 98824192 21257 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24127 21257 1111 63 0 24064 0
vsize: 96508
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 21626 0 0 0 77959 52 0 0 25 0 1 0 844055218 99950592 21546 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24402 21546 1111 63 0 24339 0
vsize: 97608
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 21909 0 0 0 78959 52 0 0 25 0 1 0 844055218 101076992 21829 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24677 21829 1111 63 0 24614 0
vsize: 98708
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 22198 0 0 0 79958 53 0 0 25 0 1 0 844055218 102346752 22118 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24987 22118 1111 63 0 24924 0
vsize: 99948
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 22481 0 0 0 80958 54 0 0 25 0 1 0 844055218 103473152 22401 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25262 22401 1111 63 0 25199 0
vsize: 101048
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 22770 0 0 0 81957 54 0 0 25 0 1 0 844055218 104599552 22690 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25537 22690 1111 63 0 25474 0
vsize: 102148
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 23093 0 0 0 82957 55 0 0 25 0 1 0 844055218 106233856 23013 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25936 23013 1111 63 0 25873 0
vsize: 103744
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 23381 0 0 0 83957 55 0 0 25 0 1 0 844055218 107352064 23301 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26209 23301 1111 63 0 26146 0
vsize: 104836
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 23670 0 0 0 84957 55 0 0 25 0 1 0 844055218 108617728 23590 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26518 23590 1111 63 0 26455 0
vsize: 106072
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 23960 0 0 0 85957 56 0 0 25 0 1 0 844055218 109744128 23880 4294967295 134512640 134716908 3221224576 3221223232 134527972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26793 23880 1111 63 0 26730 0
vsize: 107172
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 24249 0 0 0 86956 56 0 0 25 0 1 0 844055218 110870528 24169 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27068 24169 1111 63 0 27005 0
vsize: 108272
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 24540 0 0 0 87956 57 0 0 25 0 1 0 844055218 112140288 24460 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27378 24460 1111 63 0 27315 0
vsize: 109512
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 24829 0 0 0 88956 58 0 0 25 0 1 0 844055218 113266688 24749 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27653 24749 1111 63 0 27590 0
vsize: 110612
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 25120 0 0 0 89955 58 0 0 25 0 1 0 844055218 114532352 25040 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27962 25040 1111 63 0 27899 0
vsize: 111848
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 25415 0 0 0 90955 58 0 0 25 0 1 0 844055218 115658752 25335 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28237 25335 1111 63 0 28174 0
vsize: 112948
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 25711 0 0 0 91955 59 0 0 25 0 1 0 844055218 116928512 25631 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28547 25631 1111 63 0 28484 0
vsize: 114188
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 26002 0 0 0 92954 59 0 0 25 0 1 0 844055218 118054912 25922 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28822 25922 1111 63 0 28759 0
vsize: 115288
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 26297 0 0 0 93954 60 0 0 25 0 1 0 844055218 119320576 26217 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29131 26217 1111 63 0 29068 0
vsize: 116524
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 26595 0 0 0 94953 61 0 0 25 0 1 0 844055218 120446976 26515 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29406 26515 1111 63 0 29343 0
vsize: 117624
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 26891 0 0 0 95953 62 0 0 25 0 1 0 844055218 121712640 26811 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29715 26811 1111 63 0 29652 0
vsize: 118860
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 27188 0 0 0 96953 62 0 0 25 0 1 0 844055218 122978304 27108 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30024 27108 1111 63 0 29961 0
vsize: 120096
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 27490 0 0 0 97952 63 0 0 25 0 1 0 844055218 124108800 27410 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30300 27410 1111 63 0 30237 0
vsize: 121200
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 27786 0 0 0 98951 64 0 0 25 0 1 0 844055218 125374464 27706 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30609 27706 1111 63 0 30546 0
vsize: 122436
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 28084 0 0 0 99951 64 0 0 25 0 1 0 844055218 126640128 28004 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30918 28004 1111 63 0 30855 0
vsize: 123672
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 28386 0 0 0 100951 65 0 0 25 0 1 0 844055218 127766528 28306 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31193 28306 1111 63 0 31130 0
vsize: 124772
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 28684 0 0 0 101950 65 0 0 25 0 1 0 844055218 129036288 28604 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31503 28604 1111 63 0 31440 0
vsize: 126012
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 28986 0 0 0 102950 66 0 0 25 0 1 0 844055218 130301952 28906 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31812 28906 1111 63 0 31749 0
vsize: 127248
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 29291 0 0 0 103949 66 0 0 25 0 1 0 844055218 131567616 29211 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32121 29211 1111 63 0 32058 0
vsize: 128484
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 29593 0 0 0 104949 67 0 0 25 0 1 0 844055218 132694016 29513 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32396 29513 1111 63 0 32333 0
vsize: 129584
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 29895 0 0 0 105949 67 0 0 25 0 1 0 844055218 133959680 29815 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32705 29815 1111 63 0 32642 0
vsize: 130820
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 30199 0 0 0 106949 68 0 0 25 0 1 0 844055218 135229440 30119 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33015 30119 1111 63 0 32952 0
vsize: 132060
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 30508 0 0 0 107948 69 0 0 25 0 1 0 844055218 136495104 30428 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33324 30428 1111 63 0 33261 0
vsize: 133296
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 30813 0 0 0 108948 69 0 0 25 0 1 0 844055218 137764864 30733 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33634 30733 1111 63 0 33571 0
vsize: 134536
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 31115 0 0 0 109947 70 0 0 25 0 1 0 844055218 139030528 31035 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33943 31035 1111 63 0 33880 0
vsize: 135772
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 31426 0 0 0 110947 70 0 0 25 0 1 0 844055218 140296192 31346 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34252 31346 1111 63 0 34189 0
vsize: 137008
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 31735 0 0 0 111947 71 0 0 25 0 1 0 844055218 141561856 31655 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34561 31655 1111 63 0 34498 0
vsize: 138244
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 32041 0 0 0 112946 72 0 0 25 0 1 0 844055218 142688256 31961 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34836 31961 1111 63 0 34773 0
vsize: 139344
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 32350 0 0 0 113945 72 0 0 25 0 1 0 844055218 143958016 32270 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35146 32270 1111 63 0 35083 0
vsize: 140584
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 32659 0 0 0 114945 73 0 0 25 0 1 0 844055218 145223680 32579 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35455 32579 1111 63 0 35392 0
vsize: 141820
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 32977 0 0 0 115945 73 0 0 25 0 1 0 844055218 146628608 32897 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35798 32897 1111 63 0 35735 0
vsize: 143192
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 33281 0 0 0 116945 74 0 0 25 0 1 0 844055218 147759104 33201 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36074 33201 1111 63 0 36011 0
vsize: 144296
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 33599 0 0 0 117945 74 0 0 25 0 1 0 844055218 149172224 33519 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36419 33519 1111 63 0 36356 0
vsize: 145676
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 33908 0 0 0 118945 74 0 0 25 0 1 0 844055218 150437888 33828 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36728 33828 1111 63 0 36665 0
vsize: 146912
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) R 22072 8378 8377 0 -1 0 34220 0 0 0 119944 75 0 0 25 0 1 0 844055218 151703552 34140 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37037 34140 1111 63 0 36974 0
vsize: 148148
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 22073
Raw data (stat): 22073 (bsolo_lpr-v2) Z 22072 8378 8377 0 -1 1036 34220 0 0 0 119944 81 0 0 25 0 1 0 844055218 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.09
CPU time (s): 1200.26
CPU user time (s): 1199.45
CPU system time (s): 0.812876
CPU usage (%): 100.014
Max. virtual memory (Kb): 148148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####