PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370e.opb
MD5SUM	aadb0de5eaca616b889c1e61e0fb0b70
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29700464693312
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29700464693312
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.46178
Number of variables	155000
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	31
Maximum length of a constraint	3000
Trace number 28121

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-05-25 00:37:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14184 boxname=wulflinc12 idbench=1092 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  aadb0de5eaca616b889c1e61e0fb0b70  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-n370e.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-n370e.opb
IDLAUNCH: 14184
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        614296 kB
Buffers:         37372 kB
Cached:         361832 kB
SwapCached:        568 kB
Active:         128636 kB
Inactive:       273000 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        614044 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:               0 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            13084 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:57:22 (client local time) WITH STATUS 0 IN 1200.6 SECONDS
stats: 14184 7 1200.6 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
Raw data (loadavg): 0.75 0.94 0.91 2/54 6624
Raw data (stat): 6624 (runsolver) R 6623 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776385224 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0031 s]
Raw data (loadavg): 0.79 0.95 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 1296 0 0 0 994 4 0 0 25 0 1 0 776385224 15511552 1220 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1220 1111 63 0 3724 0
vsize: 15148
[startup+20.008 s]
Raw data (loadavg): 0.82 0.95 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 1406 0 0 0 1995 4 0 0 25 0 1 0 776385224 15941632 1330 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 1330 1111 63 0 3829 0
vsize: 15568
[startup+30.0081 s]
Raw data (loadavg): 0.85 0.95 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 1508 0 0 0 2995 4 0 0 25 0 1 0 776385224 16379904 1432 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3999 1432 1111 63 0 3936 0
vsize: 15996
[startup+40.0076 s]
Raw data (loadavg): 0.87 0.95 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 1619 0 0 0 3995 4 0 0 25 0 1 0 776385224 16834560 1543 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 1543 1111 63 0 4047 0
vsize: 16440
[startup+50.0085 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 1730 0 0 0 4995 4 0 0 25 0 1 0 776385224 17264640 1654 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 1654 1111 63 0 4152 0
vsize: 16860
[startup+60.0084 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 1840 0 0 0 5995 4 0 0 25 0 1 0 776385224 17715200 1764 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4325 1764 1111 63 0 4262 0
vsize: 17300
[startup+70.0092 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 1949 0 0 0 6995 4 0 0 25 0 1 0 776385224 18161664 1873 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1873 1111 63 0 4371 0
vsize: 17736
[startup+80.01 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 2053 0 0 0 7995 5 0 0 25 0 1 0 776385224 18616320 1977 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4545 1977 1111 63 0 4482 0
vsize: 18180
[startup+90.0133 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 2162 0 0 0 8995 5 0 0 25 0 1 0 776385224 19058688 2086 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 2086 1111 63 0 4590 0
vsize: 18612
[startup+100.014 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 2277 0 0 0 9995 5 0 0 25 0 1 0 776385224 19501056 2201 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4761 2201 1111 63 0 4698 0
vsize: 19044
[startup+110.014 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 2381 0 0 0 10995 5 0 0 25 0 1 0 776385224 19955712 2305 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4872 2305 1111 63 0 4809 0
vsize: 19488
[startup+120.015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 2497 0 0 0 11995 5 0 0 25 0 1 0 776385224 20402176 2421 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4981 2421 1111 63 0 4918 0
vsize: 19924
[startup+130.015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 2600 0 0 0 12995 6 0 0 25 0 1 0 776385224 20856832 2524 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5092 2524 1111 63 0 5029 0
vsize: 20368
[startup+140.015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 2710 0 0 0 13995 6 0 0 25 0 1 0 776385224 21299200 2634 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5200 2634 1111 63 0 5137 0
vsize: 20800
[startup+150.021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 2819 0 0 0 14995 7 0 0 25 0 1 0 776385224 21725184 2743 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5304 2743 1111 63 0 5241 0
vsize: 21216
[startup+160.021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 2930 0 0 0 15995 7 0 0 25 0 1 0 776385224 22171648 2854 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2854 1111 63 0 5350 0
vsize: 21652
[startup+170.021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 3039 0 0 0 16995 7 0 0 25 0 1 0 776385224 22622208 2963 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5523 2963 1111 63 0 5460 0
vsize: 22092
[startup+180.021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 3143 0 0 0 17995 7 0 0 25 0 1 0 776385224 23072768 3067 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5633 3067 1111 63 0 5570 0
vsize: 22532
[startup+190.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 3265 0 0 0 18996 7 0 0 25 0 1 0 776385224 23662592 3189 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3189 1111 63 0 5714 0
vsize: 23108
[startup+200.03 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 3369 0 0 0 19996 7 0 0 25 0 1 0 776385224 24113152 3293 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3293 1111 63 0 5824 0
vsize: 23548
[startup+210.152 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 3485 0 0 0 21008 7 0 0 25 0 1 0 776385224 24559616 3409 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3409 1111 63 0 5933 0
vsize: 23984
[startup+220.171 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 3590 0 0 0 22010 7 0 0 25 0 1 0 776385224 25010176 3514 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 3514 1111 63 0 6043 0
vsize: 24424
[startup+230.171 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 3700 0 0 0 23010 8 0 0 25 0 1 0 776385224 25460736 3624 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3624 1111 63 0 6153 0
vsize: 24864
[startup+240.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 3810 0 0 0 24010 8 0 0 25 0 1 0 776385224 25911296 3734 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3734 1111 63 0 6263 0
vsize: 25304
[startup+250.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 3919 0 0 0 25010 8 0 0 25 0 1 0 776385224 26357760 3843 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3843 1111 63 0 6372 0
vsize: 25740
[startup+260.178 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 4031 0 0 0 26010 9 0 0 25 0 1 0 776385224 26804224 3955 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3955 1111 63 0 6481 0
vsize: 26176
[startup+270.178 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 4141 0 0 0 27010 9 0 0 25 0 1 0 776385224 27258880 4065 4294967295 134512640 134714508 3221224592 3221222820 1077414422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6655 4065 1111 63 0 6592 0
vsize: 26620
[startup+280.178 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 4251 0 0 0 28010 9 0 0 25 0 1 0 776385224 27705344 4175 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6764 4175 1111 63 0 6701 0
vsize: 27056
[startup+290.179 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 4360 0 0 0 29010 9 0 0 25 0 1 0 776385224 28160000 4284 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6875 4284 1111 63 0 6812 0
vsize: 27500
[startup+300.179 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 4471 0 0 0 30011 9 0 0 25 0 1 0 776385224 28602368 4395 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 4395 1111 63 0 6920 0
vsize: 27932
[startup+310.179 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 4581 0 0 0 31011 9 0 0 25 0 1 0 776385224 29028352 4505 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7087 4505 1111 63 0 7024 0
vsize: 28348
[startup+320.178 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 4692 0 0 0 32010 10 0 0 25 0 1 0 776385224 29474816 4616 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4616 1111 63 0 7133 0
vsize: 28784
[startup+330.283 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 4807 0 0 0 33021 10 0 0 25 0 1 0 776385224 29925376 4731 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 4731 1111 63 0 7243 0
vsize: 29224
[startup+340.283 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 4912 0 0 0 34021 10 0 0 25 0 1 0 776385224 30375936 4836 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4836 1111 63 0 7353 0
vsize: 29664
[startup+350.283 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 5027 0 0 0 35021 10 0 0 25 0 1 0 776385224 30826496 4951 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 4951 1111 63 0 7463 0
vsize: 30104
[startup+360.291 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 5149 0 0 0 36021 11 0 0 25 0 1 0 776385224 31309824 5073 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7644 5073 1111 63 0 7581 0
vsize: 30576
[startup+370.3 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 5258 0 0 0 37022 11 0 0 25 0 1 0 776385224 31760384 5182 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7754 5182 1111 63 0 7691 0
vsize: 31016
[startup+380.299 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 5370 0 0 0 38022 11 0 0 25 0 1 0 776385224 32210944 5294 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7864 5294 1111 63 0 7801 0
vsize: 31456
[startup+390.3 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 5479 0 0 0 39022 11 0 0 25 0 1 0 776385224 32661504 5403 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7974 5403 1111 63 0 7911 0
vsize: 31896
[startup+400.306 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 5596 0 0 0 40023 12 0 0 25 0 1 0 776385224 33263616 5520 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 5520 1111 63 0 8058 0
vsize: 32484
[startup+410.306 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 5700 0 0 0 41023 12 0 0 25 0 1 0 776385224 33558528 5624 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8193 5624 1111 63 0 8130 0
vsize: 32772
[startup+420.306 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 5817 0 0 0 42022 12 0 0 25 0 1 0 776385224 34160640 5741 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8340 5741 1111 63 0 8277 0
vsize: 33360
[startup+430.315 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 5927 0 0 0 43023 13 0 0 25 0 1 0 776385224 34611200 5851 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8450 5851 1111 63 0 8387 0
vsize: 33800
[startup+440.314 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 6038 0 0 0 44023 13 0 0 25 0 1 0 776385224 35061760 5962 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8560 5962 1111 63 0 8497 0
vsize: 34240
[startup+450.317 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 6148 0 0 0 45023 13 0 0 25 0 1 0 776385224 35508224 6072 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8669 6072 1111 63 0 8606 0
vsize: 34676
[startup+460.323 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 6259 0 0 0 46023 13 0 0 25 0 1 0 776385224 35958784 6183 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8779 6183 1111 63 0 8716 0
vsize: 35116
[startup+470.323 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 6375 0 0 0 47023 14 0 0 25 0 1 0 776385224 36409344 6299 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 6299 1111 63 0 8826 0
vsize: 35556
[startup+480.323 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 6486 0 0 0 48023 14 0 0 25 0 1 0 776385224 36859904 6410 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8999 6410 1111 63 0 8936 0
vsize: 35996
[startup+490.324 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 6596 0 0 0 49023 14 0 0 25 0 1 0 776385224 37306368 6520 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9108 6520 1111 63 0 9045 0
vsize: 36432
[startup+500.327 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 6713 0 0 0 50023 14 0 0 25 0 1 0 776385224 37761024 6637 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6637 1111 63 0 9156 0
vsize: 36876
[startup+510.329 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 6823 0 0 0 51024 15 0 0 25 0 1 0 776385224 38207488 6747 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9328 6747 1111 63 0 9265 0
vsize: 37312
[startup+520.328 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 6935 0 0 0 52024 15 0 0 25 0 1 0 776385224 38658048 6859 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9438 6859 1111 63 0 9375 0
vsize: 37752
[startup+530.328 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 7050 0 0 0 53024 15 0 0 25 0 1 0 776385224 39108608 6974 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9548 6974 1111 63 0 9485 0
vsize: 38192
[startup+540.328 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 7162 0 0 0 54023 15 0 0 25 0 1 0 776385224 39559168 7086 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9658 7086 1111 63 0 9595 0
vsize: 38632
[startup+550.328 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 7272 0 0 0 55024 15 0 0 25 0 1 0 776385224 40005632 7196 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9767 7196 1111 63 0 9704 0
vsize: 39068
[startup+560.327 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 7390 0 0 0 56023 16 0 0 25 0 1 0 776385224 40456192 7314 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9877 7314 1111 63 0 9814 0
vsize: 39508
[startup+570.329 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 7499 0 0 0 57023 16 0 0 25 0 1 0 776385224 40906752 7423 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9987 7423 1111 63 0 9924 0
vsize: 39948
[startup+580.329 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 7611 0 0 0 58023 16 0 0 25 0 1 0 776385224 41357312 7535 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10097 7535 1111 63 0 10034 0
vsize: 40388
[startup+590.329 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 7727 0 0 0 59023 16 0 0 25 0 1 0 776385224 41951232 7651 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10242 7651 1111 63 0 10179 0
vsize: 40968
[startup+600.329 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 7838 0 0 0 60023 16 0 0 25 0 1 0 776385224 42405888 7762 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10353 7762 1111 63 0 10290 0
vsize: 41412
[startup+610.329 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 7948 0 0 0 61023 16 0 0 25 0 1 0 776385224 42852352 7872 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 7872 1111 63 0 10399 0
vsize: 41848
[startup+620.329 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 8065 0 0 0 62023 17 0 0 25 0 1 0 776385224 43307008 7989 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10573 7989 1111 63 0 10510 0
vsize: 42292
[startup+630.329 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 8175 0 0 0 63023 17 0 0 25 0 1 0 776385224 43753472 8099 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10682 8099 1111 63 0 10619 0
vsize: 42728
[startup+640.329 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 8292 0 0 0 64023 17 0 0 25 0 1 0 776385224 44183552 8216 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10787 8216 1111 63 0 10724 0
vsize: 43148
[startup+650.329 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 8403 0 0 0 65023 17 0 0 25 0 1 0 776385224 44621824 8327 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10894 8327 1111 63 0 10831 0
vsize: 43576
[startup+660.329 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 8520 0 0 0 66023 17 0 0 25 0 1 0 776385224 45072384 8444 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11004 8444 1111 63 0 10941 0
vsize: 44016
[startup+670.329 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 8629 0 0 0 67023 17 0 0 25 0 1 0 776385224 45522944 8553 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11114 8553 1111 63 0 11051 0
vsize: 44456
[startup+680.33 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 8741 0 0 0 68023 18 0 0 25 0 1 0 776385224 45973504 8665 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11224 8665 1111 63 0 11161 0
vsize: 44896
[startup+690.33 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 8856 0 0 0 69023 18 0 0 25 0 1 0 776385224 46567424 8780 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 8780 1111 63 0 11306 0
vsize: 45476
[startup+700.331 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 8974 0 0 0 70023 18 0 0 25 0 1 0 776385224 47022080 8898 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11480 8898 1111 63 0 11417 0
vsize: 45920
[startup+710.331 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 9103 0 0 0 71024 18 0 0 25 0 1 0 776385224 47579136 9027 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 9027 1111 63 0 11553 0
vsize: 46464
[startup+720.331 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 9220 0 0 0 72023 18 0 0 25 0 1 0 776385224 48144384 9144 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 9144 1111 63 0 11691 0
vsize: 47016
[startup+730.331 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 9330 0 0 0 73023 19 0 0 25 0 1 0 776385224 48590848 9254 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11863 9254 1111 63 0 11800 0
vsize: 47452
[startup+740.331 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 9448 0 0 0 74023 19 0 0 25 0 1 0 776385224 49041408 9372 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11973 9372 1111 63 0 11910 0
vsize: 47892
[startup+750.332 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 9564 0 0 0 75023 19 0 0 25 0 1 0 776385224 49491968 9488 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12083 9488 1111 63 0 12020 0
vsize: 48332
[startup+760.332 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 9677 0 0 0 76023 19 0 0 25 0 1 0 776385224 49942528 9601 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12193 9601 1111 63 0 12130 0
vsize: 48772
[startup+770.331 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 9792 0 0 0 77023 20 0 0 25 0 1 0 776385224 50388992 9716 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 9716 1111 63 0 12239 0
vsize: 49208
[startup+780.332 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 9904 0 0 0 78023 20 0 0 25 0 1 0 776385224 50958336 9828 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12441 9828 1111 63 0 12378 0
vsize: 49764
[startup+790.332 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 10020 0 0 0 79023 20 0 0 25 0 1 0 776385224 51408896 9944 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12551 9944 1111 63 0 12488 0
vsize: 50204
[startup+800.332 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 10139 0 0 0 80023 20 0 0 25 0 1 0 776385224 51859456 10063 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 10063 1111 63 0 12598 0
vsize: 50644
[startup+810.332 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 10257 0 0 0 81023 20 0 0 25 0 1 0 776385224 52310016 10181 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 10181 1111 63 0 12708 0
vsize: 51084
[startup+820.34 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 10367 0 0 0 82024 21 0 0 25 0 1 0 776385224 52760576 10291 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10291 1111 63 0 12818 0
vsize: 51524
[startup+830.34 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 10484 0 0 0 83024 21 0 0 25 0 1 0 776385224 53207040 10408 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10408 1111 63 0 12927 0
vsize: 51960
[startup+840.34 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 10595 0 0 0 84024 21 0 0 25 0 1 0 776385224 53657600 10519 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13100 10519 1111 63 0 13037 0
vsize: 52400
[startup+850.341 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 10713 0 0 0 85024 21 0 0 25 0 1 0 776385224 54259712 10637 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13247 10637 1111 63 0 13184 0
vsize: 52988
[startup+860.341 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 10829 0 0 0 86024 21 0 0 25 0 1 0 776385224 54710272 10753 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13357 10753 1111 63 0 13294 0
vsize: 53428
[startup+870.341 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 10947 0 0 0 87024 21 0 0 25 0 1 0 776385224 55160832 10871 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10871 1111 63 0 13404 0
vsize: 53868
[startup+880.342 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 11064 0 0 0 88024 22 0 0 25 0 1 0 776385224 55607296 10988 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13576 10988 1111 63 0 13513 0
vsize: 54304
[startup+890.342 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 11183 0 0 0 89024 22 0 0 25 0 1 0 776385224 56057856 11107 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13686 11107 1111 63 0 13623 0
vsize: 54744
[startup+900.342 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 11293 0 0 0 90024 22 0 0 25 0 1 0 776385224 56508416 11217 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13796 11217 1111 63 0 13733 0
vsize: 55184
[startup+910.361 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 11410 0 0 0 91025 22 0 0 25 0 1 0 776385224 57110528 11334 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13943 11334 1111 63 0 13880 0
vsize: 55772
[startup+920.379 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 11527 0 0 0 92027 23 0 0 25 0 1 0 776385224 57552896 11451 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 11451 1111 63 0 13988 0
vsize: 56204
[startup+930.379 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 11646 0 0 0 93027 23 0 0 25 0 1 0 776385224 58007552 11570 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14162 11570 1111 63 0 14099 0
vsize: 56648
[startup+940.379 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 11762 0 0 0 94027 23 0 0 25 0 1 0 776385224 58454016 11686 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14271 11686 1111 63 0 14208 0
vsize: 57084
[startup+950.38 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 11874 0 0 0 95027 23 0 0 25 0 1 0 776385224 58908672 11798 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 11798 1111 63 0 14319 0
vsize: 57528
[startup+960.379 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 11990 0 0 0 96027 24 0 0 25 0 1 0 776385224 59351040 11914 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14490 11914 1111 63 0 14427 0
vsize: 57960
[startup+970.38 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 12110 0 0 0 97027 24 0 0 25 0 1 0 776385224 59953152 12034 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14637 12034 1111 63 0 14574 0
vsize: 58548
[startup+980.38 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 12226 0 0 0 98026 25 0 0 25 0 1 0 776385224 60403712 12150 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14747 12150 1111 63 0 14684 0
vsize: 58988
[startup+990.38 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 12344 0 0 0 99026 25 0 0 25 0 1 0 776385224 60854272 12268 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14857 12268 1111 63 0 14794 0
vsize: 59428
[startup+1000.38 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 12461 0 0 0 100026 25 0 0 25 0 1 0 776385224 61300736 12385 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14966 12385 1111 63 0 14903 0
vsize: 59864
[startup+1010.38 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 12578 0 0 0 101026 25 0 0 25 0 1 0 776385224 61755392 12502 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15077 12502 1111 63 0 15014 0
vsize: 60308
[startup+1020.38 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 12696 0 0 0 102026 25 0 0 25 0 1 0 776385224 62353408 12620 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15223 12620 1111 63 0 15160 0
vsize: 60892
[startup+1030.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 12813 0 0 0 103027 26 0 0 25 0 1 0 776385224 62803968 12737 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 12737 1111 63 0 15270 0
vsize: 61332
[startup+1040.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 12931 0 0 0 104027 26 0 0 25 0 1 0 776385224 63254528 12855 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15443 12855 1111 63 0 15380 0
vsize: 61772
[startup+1050.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 13048 0 0 0 105027 26 0 0 25 0 1 0 776385224 63700992 12972 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15552 12972 1111 63 0 15489 0
vsize: 62208
[startup+1060.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 13167 0 0 0 106027 27 0 0 25 0 1 0 776385224 64155648 13091 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15663 13091 1111 63 0 15600 0
vsize: 62652
[startup+1070.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 13283 0 0 0 107027 27 0 0 25 0 1 0 776385224 64749568 13207 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15808 13207 1111 63 0 15745 0
vsize: 63232
[startup+1080.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 13401 0 0 0 108027 27 0 0 25 0 1 0 776385224 65204224 13325 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15919 13325 1111 63 0 15856 0
vsize: 63676
[startup+1090.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 13519 0 0 0 109027 27 0 0 25 0 1 0 776385224 65650688 13443 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16028 13443 1111 63 0 15965 0
vsize: 64112
[startup+1100.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 13638 0 0 0 110027 28 0 0 25 0 1 0 776385224 66105344 13562 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16139 13562 1111 63 0 16076 0
vsize: 64556
[startup+1110.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 13760 0 0 0 111026 28 0 0 25 0 1 0 776385224 66699264 13684 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16284 13684 1111 63 0 16221 0
vsize: 65136
[startup+1120.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 13878 0 0 0 112026 28 0 0 25 0 1 0 776385224 67149824 13802 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16394 13802 1111 63 0 16331 0
vsize: 65576
[startup+1130.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 13996 0 0 0 113026 29 0 0 25 0 1 0 776385224 67600384 13920 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16504 13920 1111 63 0 16441 0
vsize: 66016
[startup+1140.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 14115 0 0 0 114026 29 0 0 25 0 1 0 776385224 68050944 14039 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16614 14039 1111 63 0 16551 0
vsize: 66456
[startup+1150.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 14239 0 0 0 115026 29 0 0 25 0 1 0 776385224 68653056 14163 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 14163 1111 63 0 16698 0
vsize: 67044
[startup+1160.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 14355 0 0 0 116026 29 0 0 25 0 1 0 776385224 69099520 14279 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16870 14279 1111 63 0 16807 0
vsize: 67480
[startup+1170.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 14474 0 0 0 117026 29 0 0 25 0 1 0 776385224 69550080 14398 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16980 14398 1111 63 0 16917 0
vsize: 67920
[startup+1180.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 14591 0 0 0 118026 30 0 0 25 0 1 0 776385224 70000640 14515 4294967295 134512640 134714508 3221224592 3221223072 1077314146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17090 14515 1111 63 0 17027 0
vsize: 68360
[startup+1190.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 14710 0 0 0 119026 30 0 0 25 0 1 0 776385224 70451200 14634 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17200 14634 1111 63 0 17137 0
vsize: 68800
[startup+1200.4 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6624
Raw data (stat): 6624 (bsolo_lpr) R 6623 32284 32283 0 -1 0 14827 0 0 0 120026 30 0 0 25 0 1 0 776385224 71045120 14751 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17345 14751 1111 63 0 17282 0
vsize: 69380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.43 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 6624
Raw data (stat): 6624 (bsolo_lpr) Z 6623 32284 32283 0 -1 1036 14827 0 0 0 120026 33 0 0 25 0 1 0 776385224 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.43
CPU time (s): 1200.6
CPU user time (s): 1200.26
CPU system time (s): 0.336948
CPU usage (%): 100.015
Max. virtual memory (Kb): 69380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####