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-n370b.opb
MD5SUM	8298f3392c738b735ea9c7e42f541654
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	29694485111877
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	29694485111877
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.44378
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 28140

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-25 00:44:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14145 boxname=wulflinc1 idbench=1089 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  8298f3392c738b735ea9c7e42f541654  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-n370b.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-n370b.opb
IDLAUNCH: 14145
/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:        834412 kB
Buffers:         32640 kB
Cached:         140280 kB
SwapCached:          4 kB
Active:          45736 kB
Inactive:       130292 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        834132 kB
SwapTotal:     2097136 kB
SwapFree:      2096964 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           7148 kB
Slab:            18484 kB
Committed_AS:    92712 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:04:37 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 14145 7 1200.27 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.93 0.95 0.90 2/55 14219
Raw data (stat): 14219 (runsolver) R 14218 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 719579011 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99961 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 1296 0 0 0 993 5 0 0 25 0 1 0 719579011 15511552 1220 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1220 1111 63 0 3724 0
vsize: 15148
[startup+20.0084 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 1406 0 0 0 1993 6 0 0 25 0 1 0 719579011 15941632 1330 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1330 1111 63 0 3829 0
vsize: 15568
[startup+30.0082 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 1508 0 0 0 2993 6 0 0 25 0 1 0 719579011 16379904 1432 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1432 1111 63 0 3936 0
vsize: 15996
[startup+40.009 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 1619 0 0 0 3993 6 0 0 25 0 1 0 719579011 16834560 1543 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 1543 1111 63 0 4047 0
vsize: 16440
[startup+50.0167 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 1730 0 0 0 4994 6 0 0 25 0 1 0 719579011 17264640 1654 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 1654 1111 63 0 4152 0
vsize: 16860
[startup+60.0165 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 1840 0 0 0 5993 7 0 0 25 0 1 0 719579011 17715200 1764 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4325 1764 1111 63 0 4262 0
vsize: 17300
[startup+70.0163 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 1949 0 0 0 6994 7 0 0 25 0 1 0 719579011 18161664 1873 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1873 1111 63 0 4371 0
vsize: 17736
[startup+80.0171 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 2053 0 0 0 7994 7 0 0 25 0 1 0 719579011 18616320 1977 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4545 1977 1111 63 0 4482 0
vsize: 18180
[startup+90.0179 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 2162 0 0 0 8994 7 0 0 25 0 1 0 719579011 19058688 2086 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 2086 1111 63 0 4590 0
vsize: 18612
[startup+100.018 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 2277 0 0 0 9993 8 0 0 25 0 1 0 719579011 19501056 2201 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4761 2201 1111 63 0 4698 0
vsize: 19044
[startup+110.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 2381 0 0 0 10994 8 0 0 25 0 1 0 719579011 19955712 2305 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4872 2305 1111 63 0 4809 0
vsize: 19488
[startup+120.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 2497 0 0 0 11994 8 0 0 25 0 1 0 719579011 20402176 2421 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4981 2421 1111 63 0 4918 0
vsize: 19924
[startup+130.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 2600 0 0 0 12994 8 0 0 25 0 1 0 719579011 20856832 2524 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5092 2524 1111 63 0 5029 0
vsize: 20368
[startup+140.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 2710 0 0 0 13994 9 0 0 25 0 1 0 719579011 21299200 2634 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5200 2634 1111 63 0 5137 0
vsize: 20800
[startup+150.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 2819 0 0 0 14994 9 0 0 25 0 1 0 719579011 21725184 2743 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5304 2743 1111 63 0 5241 0
vsize: 21216
[startup+160.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 2930 0 0 0 15993 10 0 0 25 0 1 0 719579011 22171648 2854 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5413 2854 1111 63 0 5350 0
vsize: 21652
[startup+170.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 3039 0 0 0 16993 10 0 0 25 0 1 0 719579011 22622208 2963 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5523 2963 1111 63 0 5460 0
vsize: 22092
[startup+180.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 3143 0 0 0 17992 11 0 0 25 0 1 0 719579011 23072768 3067 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 3067 1111 63 0 5570 0
vsize: 22532
[startup+190.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 3265 0 0 0 18992 11 0 0 25 0 1 0 719579011 23662592 3189 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3189 1111 63 0 5714 0
vsize: 23108
[startup+200.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 3369 0 0 0 19992 12 0 0 25 0 1 0 719579011 24113152 3293 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3293 1111 63 0 5824 0
vsize: 23548
[startup+210.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 3479 0 0 0 20992 12 0 0 25 0 1 0 719579011 24559616 3403 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5996 3403 1111 63 0 5933 0
vsize: 23984
[startup+220.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 3589 0 0 0 21991 13 0 0 25 0 1 0 719579011 25010176 3513 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 3513 1111 63 0 6043 0
vsize: 24424
[startup+230.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 3699 0 0 0 22991 13 0 0 25 0 1 0 719579011 25460736 3623 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 3623 1111 63 0 6153 0
vsize: 24864
[startup+240.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 3810 0 0 0 23991 13 0 0 25 0 1 0 719579011 25911296 3734 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3734 1111 63 0 6263 0
vsize: 25304
[startup+250.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 3919 0 0 0 24991 13 0 0 25 0 1 0 719579011 26357760 3843 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 3843 1111 63 0 6372 0
vsize: 25740
[startup+260.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 4030 0 0 0 25990 14 0 0 25 0 1 0 719579011 26804224 3954 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3954 1111 63 0 6481 0
vsize: 26176
[startup+270.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 4140 0 0 0 26990 15 0 0 25 0 1 0 719579011 27258880 4064 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6655 4064 1111 63 0 6592 0
vsize: 26620
[startup+280.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 4251 0 0 0 27990 15 0 0 25 0 1 0 719579011 27705344 4175 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 4175 1111 63 0 6701 0
vsize: 27056
[startup+290.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 4360 0 0 0 28990 15 0 0 25 0 1 0 719579011 28160000 4284 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6875 4284 1111 63 0 6812 0
vsize: 27500
[startup+300.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 4470 0 0 0 29990 16 0 0 25 0 1 0 719579011 28602368 4394 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4394 1111 63 0 6920 0
vsize: 27932
[startup+310.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 4581 0 0 0 30990 16 0 0 25 0 1 0 719579011 29028352 4505 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7087 4505 1111 63 0 7024 0
vsize: 28348
[startup+320.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 4691 0 0 0 31989 16 0 0 25 0 1 0 719579011 29474816 4615 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 4615 1111 63 0 7133 0
vsize: 28784
[startup+330.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 4800 0 0 0 32989 16 0 0 25 0 1 0 719579011 29925376 4724 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 4724 1111 63 0 7243 0
vsize: 29224
[startup+340.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 4911 0 0 0 33989 17 0 0 25 0 1 0 719579011 30375936 4835 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7416 4835 1111 63 0 7353 0
vsize: 29664
[startup+350.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 5020 0 0 0 34989 17 0 0 25 0 1 0 719579011 30826496 4944 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7526 4944 1111 63 0 7463 0
vsize: 30104
[startup+360.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 5142 0 0 0 35989 18 0 0 25 0 1 0 719579011 31309824 5066 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7644 5066 1111 63 0 7581 0
vsize: 30576
[startup+370.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 5257 0 0 0 36988 18 0 0 25 0 1 0 719579011 31760384 5181 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7754 5181 1111 63 0 7691 0
vsize: 31016
[startup+380.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 5363 0 0 0 37988 18 0 0 25 0 1 0 719579011 32210944 5287 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7864 5287 1111 63 0 7801 0
vsize: 31456
[startup+390.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 5478 0 0 0 38988 19 0 0 25 0 1 0 719579011 32661504 5402 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7974 5402 1111 63 0 7911 0
vsize: 31896
[startup+400.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 5589 0 0 0 39988 19 0 0 25 0 1 0 719579011 33107968 5513 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8083 5513 1111 63 0 8020 0
vsize: 32332
[startup+410.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 5699 0 0 0 40987 20 0 0 25 0 1 0 719579011 33558528 5623 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8193 5623 1111 63 0 8130 0
vsize: 32772
[startup+420.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 5810 0 0 0 41987 20 0 0 25 0 1 0 719579011 34009088 5734 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8303 5734 1111 63 0 8240 0
vsize: 33212
[startup+430.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 5920 0 0 0 42987 20 0 0 25 0 1 0 719579011 34459648 5844 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8413 5844 1111 63 0 8350 0
vsize: 33652
[startup+440.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 6037 0 0 0 43987 20 0 0 25 0 1 0 719579011 35061760 5961 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8560 5961 1111 63 0 8497 0
vsize: 34240
[startup+450.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 6141 0 0 0 44987 21 0 0 25 0 1 0 719579011 35360768 6065 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8633 6065 1111 63 0 8570 0
vsize: 34532
[startup+460.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 6258 0 0 0 45988 21 0 0 25 0 1 0 719579011 35958784 6182 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8779 6182 1111 63 0 8716 0
vsize: 35116
[startup+470.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 6369 0 0 0 46989 21 0 0 25 0 1 0 719579011 36409344 6293 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6293 1111 63 0 8826 0
vsize: 35556
[startup+480.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 6479 0 0 0 47989 22 0 0 25 0 1 0 719579011 36859904 6403 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8999 6403 1111 63 0 8936 0
vsize: 35996
[startup+490.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 6595 0 0 0 48988 23 0 0 25 0 1 0 719579011 37306368 6519 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 6519 1111 63 0 9045 0
vsize: 36432
[startup+500.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 6707 0 0 0 49988 23 0 0 25 0 1 0 719579011 37761024 6631 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9219 6631 1111 63 0 9156 0
vsize: 36876
[startup+510.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 6816 0 0 0 50989 23 0 0 25 0 1 0 719579011 38207488 6740 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9328 6740 1111 63 0 9265 0
vsize: 37312
[startup+520.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 6934 0 0 0 51988 23 0 0 25 0 1 0 719579011 38658048 6858 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9438 6858 1111 63 0 9375 0
vsize: 37752
[startup+530.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 7043 0 0 0 52988 24 0 0 25 0 1 0 719579011 39108608 6967 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9548 6967 1111 63 0 9485 0
vsize: 38192
[startup+540.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 7155 0 0 0 53988 24 0 0 25 0 1 0 719579011 39559168 7079 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9658 7079 1111 63 0 9595 0
vsize: 38632
[startup+550.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 7271 0 0 0 54988 24 0 0 25 0 1 0 719579011 40005632 7195 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9767 7195 1111 63 0 9704 0
vsize: 39068
[startup+560.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 7383 0 0 0 55987 25 0 0 25 0 1 0 719579011 40456192 7307 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9877 7307 1111 63 0 9814 0
vsize: 39508
[startup+570.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 7492 0 0 0 56987 25 0 0 25 0 1 0 719579011 40906752 7416 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9987 7416 1111 63 0 9924 0
vsize: 39948
[startup+580.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 7610 0 0 0 57988 25 0 0 25 0 1 0 719579011 41357312 7534 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10097 7534 1111 63 0 10034 0
vsize: 40388
[startup+590.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 7720 0 0 0 58987 26 0 0 25 0 1 0 719579011 41803776 7644 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10206 7644 1111 63 0 10143 0
vsize: 40824
[startup+600.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 7831 0 0 0 59987 26 0 0 25 0 1 0 719579011 42250240 7755 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10315 7755 1111 63 0 10252 0
vsize: 41260
[startup+610.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 7947 0 0 0 60987 27 0 0 25 0 1 0 719579011 42852352 7871 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10462 7871 1111 63 0 10399 0
vsize: 41848
[startup+620.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 8058 0 0 0 61987 27 0 0 25 0 1 0 719579011 43307008 7982 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 7982 1111 63 0 10510 0
vsize: 42292
[startup+630.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 8168 0 0 0 62987 27 0 0 25 0 1 0 719579011 43753472 8092 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10682 8092 1111 63 0 10619 0
vsize: 42728
[startup+640.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 8285 0 0 0 63986 28 0 0 25 0 1 0 719579011 44183552 8209 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10787 8209 1111 63 0 10724 0
vsize: 43148
[startup+650.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 8402 0 0 0 64986 28 0 0 25 0 1 0 719579011 44621824 8326 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10894 8326 1111 63 0 10831 0
vsize: 43576
[startup+660.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 8513 0 0 0 65986 28 0 0 25 0 1 0 719579011 45072384 8437 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11004 8437 1111 63 0 10941 0
vsize: 44016
[startup+670.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 8623 0 0 0 66986 29 0 0 25 0 1 0 719579011 45522944 8547 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11114 8547 1111 63 0 11051 0
vsize: 44456
[startup+680.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 8740 0 0 0 67986 29 0 0 25 0 1 0 719579011 45973504 8664 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11224 8664 1111 63 0 11161 0
vsize: 44896
[startup+690.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 8855 0 0 0 68985 29 0 0 25 0 1 0 719579011 46567424 8779 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11369 8779 1111 63 0 11306 0
vsize: 45476
[startup+700.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 8967 0 0 0 69985 30 0 0 25 0 1 0 719579011 47022080 8891 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11480 8891 1111 63 0 11417 0
vsize: 45920
[startup+710.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 9096 0 0 0 70985 30 0 0 25 0 1 0 719579011 47579136 9020 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 9020 1111 63 0 11553 0
vsize: 46464
[startup+720.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 9214 0 0 0 71985 31 0 0 25 0 1 0 719579011 48144384 9138 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 9138 1111 63 0 11691 0
vsize: 47016
[startup+730.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 9330 0 0 0 72984 31 0 0 25 0 1 0 719579011 48590848 9254 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 9447 0 0 0 73984 31 0 0 25 0 1 0 719579011 49041408 9371 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11973 9371 1111 63 0 11910 0
vsize: 47892
[startup+750.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 9564 0 0 0 74984 31 0 0 25 0 1 0 719579011 49491968 9488 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 9677 0 0 0 75984 32 0 0 25 0 1 0 719579011 49942528 9601 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 9793 0 0 0 76984 32 0 0 25 0 1 0 719579011 50388992 9717 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 9717 1111 63 0 12239 0
vsize: 49208
[startup+780.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 9910 0 0 0 77984 32 0 0 25 0 1 0 719579011 50958336 9834 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12441 9834 1111 63 0 12378 0
vsize: 49764
[startup+790.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 10028 0 0 0 78984 33 0 0 25 0 1 0 719579011 51408896 9952 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12551 9952 1111 63 0 12488 0
vsize: 50204
[startup+800.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 10140 0 0 0 79984 33 0 0 25 0 1 0 719579011 51859456 10064 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 10064 1111 63 0 12598 0
vsize: 50644
[startup+810.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 10258 0 0 0 80984 33 0 0 25 0 1 0 719579011 52310016 10182 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 10182 1111 63 0 12708 0
vsize: 51084
[startup+820.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 10374 0 0 0 81984 33 0 0 25 0 1 0 719579011 52760576 10298 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10298 1111 63 0 12818 0
vsize: 51524
[startup+830.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 10492 0 0 0 82984 34 0 0 25 0 1 0 719579011 53362688 10416 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13028 10416 1111 63 0 12965 0
vsize: 52112
[startup+840.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 10610 0 0 0 83984 34 0 0 25 0 1 0 719579011 53809152 10534 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13137 10534 1111 63 0 13074 0
vsize: 52548
[startup+850.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 10728 0 0 0 84984 34 0 0 25 0 1 0 719579011 54259712 10652 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13247 10652 1111 63 0 13184 0
vsize: 52988
[startup+860.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 10844 0 0 0 85984 34 0 0 25 0 1 0 719579011 54710272 10768 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13357 10768 1111 63 0 13294 0
vsize: 53428
[startup+870.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 10962 0 0 0 86984 34 0 0 25 0 1 0 719579011 55160832 10886 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10886 1111 63 0 13404 0
vsize: 53868
[startup+880.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 11079 0 0 0 87984 35 0 0 25 0 1 0 719579011 55754752 11003 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13612 11003 1111 63 0 13549 0
vsize: 54448
[startup+890.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 11198 0 0 0 88984 35 0 0 25 0 1 0 719579011 56209408 11122 4294967295 134512640 134714508 3221224592 3221223248 134527953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13723 11122 1111 63 0 13660 0
vsize: 54892
[startup+900.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 11314 0 0 0 89984 35 0 0 25 0 1 0 719579011 56655872 11238 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13832 11238 1111 63 0 13769 0
vsize: 55328
[startup+910.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 11432 0 0 0 90984 35 0 0 25 0 1 0 719579011 57110528 11356 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13943 11356 1111 63 0 13880 0
vsize: 55772
[startup+920.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14219
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 11549 0 0 0 91984 36 0 0 25 0 1 0 719579011 57552896 11473 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 11473 1111 63 0 13988 0
vsize: 56204
[startup+930.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14272
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 11668 0 0 0 92983 36 0 0 25 0 1 0 719579011 58155008 11592 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14198 11592 1111 63 0 14135 0
vsize: 56792
[startup+940.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14272
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 11784 0 0 0 93983 36 0 0 25 0 1 0 719579011 58605568 11708 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14308 11708 1111 63 0 14245 0
vsize: 57232
[startup+950.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14272
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 11902 0 0 0 94983 36 0 0 25 0 1 0 719579011 59056128 11826 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14418 11826 1111 63 0 14355 0
vsize: 57672
[startup+960.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14272
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 12021 0 0 0 95983 37 0 0 25 0 1 0 719579011 59502592 11945 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14527 11945 1111 63 0 14464 0
vsize: 58108
[startup+970.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14272
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 12138 0 0 0 96982 37 0 0 25 0 1 0 719579011 59953152 12062 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14637 12062 1111 63 0 14574 0
vsize: 58548
[startup+980.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14272
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 12256 0 0 0 97982 37 0 0 25 0 1 0 719579011 60555264 12180 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14784 12180 1111 63 0 14721 0
vsize: 59136
[startup+990.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14274
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 12373 0 0 0 98981 38 0 0 25 0 1 0 719579011 61005824 12297 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14894 12297 1111 63 0 14831 0
vsize: 59576
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 12491 0 0 0 99981 39 0 0 25 0 1 0 719579011 61456384 12415 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15004 12415 1111 63 0 14941 0
vsize: 60016
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 12608 0 0 0 100981 39 0 0 25 0 1 0 719579011 61902848 12532 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15113 12532 1111 63 0 15050 0
vsize: 60452
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 12732 0 0 0 101981 39 0 0 25 0 1 0 719579011 62504960 12656 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15260 12656 1111 63 0 15197 0
vsize: 61040
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 12849 0 0 0 102981 39 0 0 25 0 1 0 719579011 62951424 12773 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15369 12773 1111 63 0 15306 0
vsize: 61476
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 12967 0 0 0 103980 40 0 0 25 0 1 0 719579011 63406080 12891 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15480 12891 1111 63 0 15417 0
vsize: 61920
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 13084 0 0 0 104980 40 0 0 25 0 1 0 719579011 63848448 13008 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15588 13008 1111 63 0 15525 0
vsize: 62352
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 13210 0 0 0 105980 41 0 0 25 0 1 0 719579011 64450560 13134 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15735 13134 1111 63 0 15672 0
vsize: 62940
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 13326 0 0 0 106980 41 0 0 25 0 1 0 719579011 64901120 13250 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15845 13250 1111 63 0 15782 0
vsize: 63380
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 13444 0 0 0 107979 41 0 0 25 0 1 0 719579011 65351680 13368 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15955 13368 1111 63 0 15892 0
vsize: 63820
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 13562 0 0 0 108979 42 0 0 25 0 1 0 719579011 65798144 13486 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16064 13486 1111 63 0 16001 0
vsize: 64256
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 13681 0 0 0 109979 42 0 0 25 0 1 0 719579011 66248704 13605 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16174 13605 1111 63 0 16111 0
vsize: 64696
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 13805 0 0 0 110979 43 0 0 25 0 1 0 719579011 66850816 13729 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16321 13729 1111 63 0 16258 0
vsize: 65284
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 13922 0 0 0 111979 43 0 0 25 0 1 0 719579011 67301376 13846 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16431 13846 1111 63 0 16368 0
vsize: 65724
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 14047 0 0 0 112979 43 0 0 25 0 1 0 719579011 67751936 13971 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16541 13971 1111 63 0 16478 0
vsize: 66164
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 14165 0 0 0 113978 43 0 0 25 0 1 0 719579011 68345856 14089 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16686 14089 1111 63 0 16623 0
vsize: 66744
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 14283 0 0 0 114978 44 0 0 25 0 1 0 719579011 68800512 14207 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16797 14207 1111 63 0 16734 0
vsize: 67188
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 14400 0 0 0 115978 44 0 0 25 0 1 0 719579011 69246976 14324 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16906 14324 1111 63 0 16843 0
vsize: 67624
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 14525 0 0 0 116978 44 0 0 25 0 1 0 719579011 69701632 14449 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17017 14449 1111 63 0 16954 0
vsize: 68068
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 14643 0 0 0 117978 44 0 0 25 0 1 0 719579011 70295552 14567 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17162 14573 1111 63 0 17099 0
vsize: 68648
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 14767 0 0 0 118978 45 0 0 25 0 1 0 719579011 70746112 14691 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17272 14691 1111 63 0 17209 0
vsize: 69088
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 14276
Raw data (stat): 14219 (bsolo_lpr) R 14218 8378 8377 0 -1 0 14884 0 0 0 119978 45 0 0 25 0 1 0 719579011 71196672 14808 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17382 14808 1111 63 0 17319 0
vsize: 69528
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 14276
Raw data (stat): 14219 (bsolo_lpr) Z 14218 8378 8377 0 -1 1036 14884 0 0 0 119978 48 0 0 25 0 1 0 719579011 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.11
CPU time (s): 1200.27
CPU user time (s): 1199.79
CPU system time (s): 0.480926
CPU usage (%): 100.013
Max. virtual memory (Kb): 69528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####