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-n3702.opb
MD5SUM	8a9d9f3204d778657700e0268ec9ac0e
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	29701186548799
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	29701186548799
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.43078
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 26358

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-24 15:14:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14028 boxname=wulflinc9 idbench=1080 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  8a9d9f3204d778657700e0268ec9ac0e  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-n3702.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-n3702.opb
IDLAUNCH: 14028
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        676224 kB
Buffers:          2840 kB
Cached:         334420 kB
SwapCached:         88 kB
Active:         161944 kB
Inactive:       178292 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        675972 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6888 kB
Slab:            12500 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:34:08 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 14028 7 1200.3 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.97 1.02 2/54 5468
Raw data (stat): 5468 (runsolver) R 5467 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773010935 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+10.0012 s]
Raw data (loadavg): 0.94 0.97 1.02 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 1296 0 0 0 993 5 0 0 25 0 1 0 773010935 15511552 1220 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.0017 s]
Raw data (loadavg): 0.95 0.97 1.02 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 1406 0 0 0 1993 5 0 0 25 0 1 0 773010935 15941632 1330 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.0025 s]
Raw data (loadavg): 0.95 0.97 1.02 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 1508 0 0 0 2992 6 0 0 25 0 1 0 773010935 16379904 1432 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.0033 s]
Raw data (loadavg): 0.96 0.97 1.02 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 1619 0 0 0 3992 6 0 0 25 0 1 0 773010935 16834560 1543 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.0044 s]
Raw data (loadavg): 0.97 0.97 1.02 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 1730 0 0 0 4992 7 0 0 25 0 1 0 773010935 17264640 1654 4294967295 134512640 134714508 3221224592 3221222820 1077414401 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.0049 s]
Raw data (loadavg): 0.97 0.97 1.02 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 1834 0 0 0 5992 7 0 0 25 0 1 0 773010935 17715200 1758 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4325 1758 1111 63 0 4262 0
vsize: 17300
[startup+70.0047 s]
Raw data (loadavg): 0.97 0.97 1.01 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 1949 0 0 0 6992 8 0 0 25 0 1 0 773010935 18161664 1873 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.0055 s]
Raw data (loadavg): 0.98 0.97 1.01 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 2053 0 0 0 7991 8 0 0 25 0 1 0 773010935 18616320 1977 4294967295 134512640 134714508 3221224592 3221222820 1077414345 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.0053 s]
Raw data (loadavg): 0.98 0.97 1.01 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 2162 0 0 0 8991 8 0 0 25 0 1 0 773010935 19058688 2086 4294967295 134512640 134714508 3221224592 3221222820 1077414407 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.006 s]
Raw data (loadavg): 0.98 0.97 1.01 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 2277 0 0 0 9991 9 0 0 25 0 1 0 773010935 19501056 2201 4294967295 134512640 134714508 3221224592 3221222820 1077414426 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.007 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 2381 0 0 0 10991 9 0 0 25 0 1 0 773010935 19955712 2305 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.007 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 2497 0 0 0 11991 9 0 0 25 0 1 0 773010935 20402176 2421 4294967295 134512640 134714508 3221224592 3221222820 1077414351 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.007 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 2600 0 0 0 12991 9 0 0 25 0 1 0 773010935 20856832 2524 4294967295 134512640 134714508 3221224592 3221222820 1077414407 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.007 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 2710 0 0 0 13991 10 0 0 25 0 1 0 773010935 21299200 2634 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.008 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 2819 0 0 0 14991 10 0 0 25 0 1 0 773010935 21725184 2743 4294967295 134512640 134714508 3221224592 3221222820 1077414385 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.008 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 2930 0 0 0 15991 10 0 0 25 0 1 0 773010935 22171648 2854 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.008 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 3039 0 0 0 16991 10 0 0 25 0 1 0 773010935 22622208 2963 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.008 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 3143 0 0 0 17991 11 0 0 25 0 1 0 773010935 23072768 3067 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.009 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 3265 0 0 0 18991 11 0 0 25 0 1 0 773010935 23662592 3189 4294967295 134512640 134714508 3221224592 3221222820 1077414370 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.01 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 3369 0 0 0 19991 11 0 0 25 0 1 0 773010935 24113152 3293 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.01 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 3479 0 0 0 20991 11 0 0 25 0 1 0 773010935 24559616 3403 4294967295 134512640 134714508 3221224592 3221222820 1077414435 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.01 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 3589 0 0 0 21991 11 0 0 25 0 1 0 773010935 25010176 3513 4294967295 134512640 134714508 3221224592 3221222820 1077414351 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.011 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 3699 0 0 0 22991 12 0 0 25 0 1 0 773010935 25460736 3623 4294967295 134512640 134714508 3221224592 3221222820 1077414401 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.011 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 3810 0 0 0 23991 12 0 0 25 0 1 0 773010935 25911296 3734 4294967295 134512640 134714508 3221224592 3221222820 1077414376 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.012 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 3919 0 0 0 24991 12 0 0 25 0 1 0 773010935 26357760 3843 4294967295 134512640 134714508 3221224592 3221222820 1077414358 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.014 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 4030 0 0 0 25991 12 0 0 25 0 1 0 773010935 26804224 3954 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.015 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 4140 0 0 0 26991 12 0 0 25 0 1 0 773010935 27258880 4064 4294967295 134512640 134714508 3221224592 3221222820 1077414424 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.016 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 4251 0 0 0 27991 13 0 0 25 0 1 0 773010935 27705344 4175 4294967295 134512640 134714508 3221224592 3221222820 1077414410 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.017 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 4360 0 0 0 28990 14 0 0 25 0 1 0 773010935 28160000 4284 4294967295 134512640 134714508 3221224592 3221222820 1077414435 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.017 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 4471 0 0 0 29990 14 0 0 25 0 1 0 773010935 28602368 4395 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4395 1111 63 0 6920 0
vsize: 27932
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 4581 0 0 0 30990 14 0 0 25 0 1 0 773010935 29028352 4505 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.019 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 4691 0 0 0 31990 14 0 0 25 0 1 0 773010935 29474816 4615 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.019 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 4800 0 0 0 32991 14 0 0 25 0 1 0 773010935 29925376 4724 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.026 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 4911 0 0 0 33991 14 0 0 25 0 1 0 773010935 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.037 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 5020 0 0 0 34992 15 0 0 25 0 1 0 773010935 30826496 4944 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.044 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 5142 0 0 0 35993 15 0 0 25 0 1 0 773010935 31309824 5066 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.043 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 5257 0 0 0 36993 15 0 0 25 0 1 0 773010935 31760384 5181 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.045 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 5363 0 0 0 37993 15 0 0 25 0 1 0 773010935 32210944 5287 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.046 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 5478 0 0 0 38993 16 0 0 25 0 1 0 773010935 32661504 5402 4294967295 134512640 134714508 3221224592 3221222820 1077414408 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.047 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 5589 0 0 0 39993 16 0 0 25 0 1 0 773010935 33107968 5513 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.047 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 5699 0 0 0 40993 16 0 0 25 0 1 0 773010935 33558528 5623 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.048 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 5810 0 0 0 41993 16 0 0 25 0 1 0 773010935 34009088 5734 4294967295 134512640 134714508 3221224592 3221222820 1077414401 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.048 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 5920 0 0 0 42993 16 0 0 25 0 1 0 773010935 34459648 5844 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.048 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 6037 0 0 0 43993 16 0 0 25 0 1 0 773010935 35061760 5961 4294967295 134512640 134714508 3221224592 3221222820 1077414432 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.049 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 6147 0 0 0 44993 17 0 0 25 0 1 0 773010935 35508224 6071 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8669 6071 1111 63 0 8606 0
vsize: 34676
[startup+460.049 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 6258 0 0 0 45993 17 0 0 25 0 1 0 773010935 35958784 6182 4294967295 134512640 134714508 3221224592 3221222820 1077414395 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.05 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 6369 0 0 0 46993 17 0 0 25 0 1 0 773010935 36409344 6293 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.05 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 6479 0 0 0 47993 17 0 0 25 0 1 0 773010935 36859904 6403 4294967295 134512640 134714508 3221224592 3221222820 1077414345 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.05 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 6595 0 0 0 48993 18 0 0 25 0 1 0 773010935 37306368 6519 4294967295 134512640 134714508 3221224592 3221222820 1077414345 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.051 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 6707 0 0 0 49993 18 0 0 25 0 1 0 773010935 37761024 6631 4294967295 134512640 134714508 3221224592 3221222820 1077414420 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.052 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 6816 0 0 0 50993 18 0 0 25 0 1 0 773010935 38207488 6740 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.051 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 6934 0 0 0 51993 19 0 0 25 0 1 0 773010935 38658048 6858 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.052 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 7043 0 0 0 52993 19 0 0 25 0 1 0 773010935 39108608 6967 4294967295 134512640 134714508 3221224592 3221222820 1077414382 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.052 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 7155 0 0 0 53993 19 0 0 25 0 1 0 773010935 39559168 7079 4294967295 134512640 134714508 3221224592 3221222820 1077414413 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.053 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 7271 0 0 0 54993 19 0 0 25 0 1 0 773010935 40005632 7195 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.053 s]
Raw data (loadavg): 1.07 0.99 1.01 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 7383 0 0 0 55992 20 0 0 25 0 1 0 773010935 40456192 7307 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.053 s]
Raw data (loadavg): 1.14 1.00 1.01 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 7492 0 0 0 56992 20 0 0 25 0 1 0 773010935 40906752 7416 4294967295 134512640 134714508 3221224592 3221222820 1077414345 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.053 s]
Raw data (loadavg): 1.11 1.00 1.01 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 7610 0 0 0 57992 20 0 0 25 0 1 0 773010935 41357312 7534 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.054 s]
Raw data (loadavg): 1.10 1.00 1.01 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 7720 0 0 0 58992 21 0 0 25 0 1 0 773010935 41803776 7644 4294967295 134512640 134714508 3221224592 3221222820 1077414363 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.055 s]
Raw data (loadavg): 1.08 1.00 1.01 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 7831 0 0 0 59992 21 0 0 25 0 1 0 773010935 42250240 7755 4294967295 134512640 134714508 3221224592 3221222820 1077414435 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.054 s]
Raw data (loadavg): 1.07 1.00 1.01 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 7948 0 0 0 60992 21 0 0 25 0 1 0 773010935 42852352 7872 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10462 7872 1111 63 0 10399 0
vsize: 41848
[startup+620.054 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 8059 0 0 0 61992 21 0 0 25 0 1 0 773010935 43307008 7983 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 7983 1111 63 0 10510 0
vsize: 42292
[startup+630.055 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 8174 0 0 0 62991 22 0 0 25 0 1 0 773010935 43753472 8098 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10682 8098 1111 63 0 10619 0
vsize: 42728
[startup+640.055 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 8285 0 0 0 63991 23 0 0 25 0 1 0 773010935 44183552 8209 4294967295 134512640 134714508 3221224592 3221222820 1077414388 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.056 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 8402 0 0 0 64991 23 0 0 25 0 1 0 773010935 44621824 8326 4294967295 134512640 134714508 3221224592 3221222820 1077414435 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.057 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 8513 0 0 0 65991 23 0 0 25 0 1 0 773010935 45072384 8437 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.056 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 8623 0 0 0 66991 24 0 0 25 0 1 0 773010935 45522944 8547 4294967295 134512640 134714508 3221224592 3221222820 1077414408 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.056 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 8740 0 0 0 67991 24 0 0 25 0 1 0 773010935 45973504 8664 4294967295 134512640 134714508 3221224592 3221222820 1077414338 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.057 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 8856 0 0 0 68991 24 0 0 25 0 1 0 773010935 46567424 8780 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11369 8780 1111 63 0 11306 0
vsize: 45476
[startup+700.058 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 8967 0 0 0 69991 24 0 0 25 0 1 0 773010935 47022080 8891 4294967295 134512640 134714508 3221224592 3221222820 1077414420 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.058 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 9103 0 0 0 70990 25 0 0 25 0 1 0 773010935 47579136 9027 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 9027 1111 63 0 11553 0
vsize: 46464
[startup+720.058 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 9214 0 0 0 71990 25 0 0 25 0 1 0 773010935 48144384 9138 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11754 9138 1111 63 0 11691 0
vsize: 47016
[startup+730.059 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 9330 0 0 0 72990 25 0 0 25 0 1 0 773010935 48590848 9254 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11863 9254 1111 63 0 11800 0
vsize: 47452
[startup+740.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 9447 0 0 0 73990 26 0 0 25 0 1 0 773010935 49041408 9371 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11973 9371 1111 63 0 11910 0
vsize: 47892
[startup+750.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 9558 0 0 0 74990 26 0 0 25 0 1 0 773010935 49491968 9482 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12083 9482 1111 63 0 12020 0
vsize: 48332
[startup+760.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 9670 0 0 0 75991 26 0 0 25 0 1 0 773010935 49942528 9594 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12193 9594 1111 63 0 12130 0
vsize: 48772
[startup+770.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 9786 0 0 0 76990 26 0 0 25 0 1 0 773010935 50388992 9710 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12302 9710 1111 63 0 12239 0
vsize: 49208
[startup+780.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 9903 0 0 0 77990 26 0 0 25 0 1 0 773010935 50958336 9827 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12441 9827 1111 63 0 12378 0
vsize: 49764
[startup+790.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 10019 0 0 0 78990 27 0 0 25 0 1 0 773010935 51408896 9943 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12551 9943 1111 63 0 12488 0
vsize: 50204
[startup+800.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 10132 0 0 0 79991 27 0 0 25 0 1 0 773010935 51859456 10056 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 10056 1111 63 0 12598 0
vsize: 50644
[startup+810.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 10250 0 0 0 80990 27 0 0 25 0 1 0 773010935 52310016 10174 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12771 10174 1111 63 0 12708 0
vsize: 51084
[startup+820.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 10360 0 0 0 81990 28 0 0 25 0 1 0 773010935 52760576 10284 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 10284 1111 63 0 12818 0
vsize: 51524
[startup+830.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 10477 0 0 0 82990 28 0 0 25 0 1 0 773010935 53207040 10401 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12990 10401 1111 63 0 12927 0
vsize: 51960
[startup+840.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 10594 0 0 0 83990 28 0 0 25 0 1 0 773010935 53657600 10518 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 10518 1111 63 0 13037 0
vsize: 52400
[startup+850.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 10713 0 0 0 84990 28 0 0 25 0 1 0 773010935 54259712 10637 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13247 10637 1111 63 0 13184 0
vsize: 52988
[startup+860.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 10829 0 0 0 85990 28 0 0 25 0 1 0 773010935 54710272 10753 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13357 10753 1111 63 0 13294 0
vsize: 53428
[startup+870.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 10946 0 0 0 86990 29 0 0 25 0 1 0 773010935 55160832 10870 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10870 1111 63 0 13404 0
vsize: 53868
[startup+880.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 11057 0 0 0 87990 29 0 0 25 0 1 0 773010935 55607296 10981 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 10981 1111 63 0 13513 0
vsize: 54304
[startup+890.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 11176 0 0 0 88990 29 0 0 25 0 1 0 773010935 56057856 11100 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13686 11100 1111 63 0 13623 0
vsize: 54744
[startup+900.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 11292 0 0 0 89990 29 0 0 25 0 1 0 773010935 56508416 11216 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13796 11216 1111 63 0 13733 0
vsize: 55184
[startup+910.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 11404 0 0 0 90990 29 0 0 25 0 1 0 773010935 56958976 11328 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13906 11328 1111 63 0 13843 0
vsize: 55624
[startup+920.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 11521 0 0 0 91990 29 0 0 25 0 1 0 773010935 57552896 11445 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14051 11445 1111 63 0 13988 0
vsize: 56204
[startup+930.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 11639 0 0 0 92990 30 0 0 25 0 1 0 773010935 58007552 11563 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 11563 1111 63 0 14099 0
vsize: 56648
[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 11756 0 0 0 93990 30 0 0 25 0 1 0 773010935 58454016 11680 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11680 1111 63 0 14208 0
vsize: 57084
[startup+950.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 11873 0 0 0 94990 30 0 0 25 0 1 0 773010935 58908672 11797 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14382 11797 1111 63 0 14319 0
vsize: 57528
[startup+960.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 11989 0 0 0 95990 30 0 0 25 0 1 0 773010935 59351040 11913 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14490 11913 1111 63 0 14427 0
vsize: 57960
[startup+970.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 12108 0 0 0 96990 31 0 0 25 0 1 0 773010935 59953152 12032 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14637 12032 1111 63 0 14574 0
vsize: 58548
[startup+980.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 12225 0 0 0 97990 31 0 0 25 0 1 0 773010935 60403712 12149 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14747 12149 1111 63 0 14684 0
vsize: 58988
[startup+990.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 12343 0 0 0 98990 31 0 0 25 0 1 0 773010935 60854272 12267 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12267 1111 63 0 14794 0
vsize: 59428
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 12459 0 0 0 99990 31 0 0 25 0 1 0 773010935 61300736 12383 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14966 12383 1111 63 0 14903 0
vsize: 59864
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 12577 0 0 0 100990 32 0 0 25 0 1 0 773010935 61755392 12501 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15077 12501 1111 63 0 15014 0
vsize: 60308
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 12696 0 0 0 101990 32 0 0 25 0 1 0 773010935 62353408 12620 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15223 12620 1111 63 0 15160 0
vsize: 60892
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 12812 0 0 0 102990 32 0 0 25 0 1 0 773010935 62803968 12736 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15333 12736 1111 63 0 15270 0
vsize: 61332
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 12930 0 0 0 103990 32 0 0 25 0 1 0 773010935 63254528 12854 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 12854 1111 63 0 15380 0
vsize: 61772
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 13047 0 0 0 104990 32 0 0 25 0 1 0 773010935 63700992 12971 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15552 12971 1111 63 0 15489 0
vsize: 62208
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 13166 0 0 0 105990 33 0 0 25 0 1 0 773010935 64155648 13090 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15663 13090 1111 63 0 15600 0
vsize: 62652
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 13283 0 0 0 106990 33 0 0 25 0 1 0 773010935 64749568 13207 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15808 13207 1111 63 0 15745 0
vsize: 63232
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 13401 0 0 0 107990 33 0 0 25 0 1 0 773010935 65204224 13325 4294967295 134512640 134714508 3221224592 3221222824 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15919 13325 1111 63 0 15856 0
vsize: 63676
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 13518 0 0 0 108990 34 0 0 25 0 1 0 773010935 65650688 13442 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16028 13442 1111 63 0 15965 0
vsize: 64112
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 13637 0 0 0 109990 34 0 0 25 0 1 0 773010935 66105344 13561 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16139 13561 1111 63 0 16076 0
vsize: 64556
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 13753 0 0 0 110990 34 0 0 25 0 1 0 773010935 66547712 13677 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16247 13677 1111 63 0 16184 0
vsize: 64988
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 13871 0 0 0 111990 34 0 0 25 0 1 0 773010935 67149824 13795 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16394 13795 1111 63 0 16331 0
vsize: 65576
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 13989 0 0 0 112990 35 0 0 25 0 1 0 773010935 67600384 13913 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16504 13913 1111 63 0 16441 0
vsize: 66016
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 14107 0 0 0 113990 35 0 0 25 0 1 0 773010935 68050944 14031 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16614 14031 1111 63 0 16551 0
vsize: 66456
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 14230 0 0 0 114990 35 0 0 25 0 1 0 773010935 68497408 14154 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16723 14154 1111 63 0 16660 0
vsize: 66892
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 14348 0 0 0 115990 35 0 0 25 0 1 0 773010935 69099520 14272 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16870 14272 1111 63 0 16807 0
vsize: 67480
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 14467 0 0 0 116990 36 0 0 25 0 1 0 773010935 69550080 14391 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16980 14391 1111 63 0 16917 0
vsize: 67920
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 14590 0 0 0 117990 36 0 0 25 0 1 0 773010935 70000640 14514 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17090 14514 1111 63 0 17027 0
vsize: 68360
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 14709 0 0 0 118989 36 0 0 25 0 1 0 773010935 70451200 14633 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17200 14633 1111 63 0 17137 0
vsize: 68800
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 5468
Raw data (stat): 5468 (bsolo_lpr) R 5467 3944 3943 0 -1 0 14826 0 0 0 119990 36 0 0 25 0 1 0 773010935 71045120 14750 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 14750 1111 63 0 17282 0
vsize: 69380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 5468
Raw data (stat): 5468 (bsolo_lpr) Z 5467 3944 3943 0 -1 1036 14826 0 0 0 119990 39 0 0 25 0 1 0 773010935 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.11
CPU time (s): 1200.3
CPU user time (s): 1199.9
CPU system time (s): 0.395939
CPU usage (%): 100.015
Max. virtual memory (Kb): 69380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####