PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370e.opb
MD5SUM	5298b427bf0fc38e6e22a1bd59273927
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39220173760
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39220173760
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.967852
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 25562

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 16:02:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19176 boxname=wulflinc31 idbench=1476 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  5298b427bf0fc38e6e22a1bd59273927  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370e.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370e.opb
IDLAUNCH: 19176
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        685072 kB
Buffers:         30304 kB
Cached:         298192 kB
SwapCached:       1168 kB
Active:         216564 kB
Inactive:       114304 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        684820 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            13128 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 16:22:26 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 19176 7 1200.21 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): 1.01 0.99 0.99 2/55 757
Raw data (stat): 757 (runsolver) R 756 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 796939683 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 1160 0 0 0 990 5 0 0 25 0 1 0 796939683 16056320 1083 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3920 1083 1111 63 0 3857 0
vsize: 15680
[startup+20.0004 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 1400 0 0 0 1989 6 0 0 25 0 1 0 796939683 17043456 1323 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4161 1323 1111 63 0 4098 0
vsize: 16644
[startup+30.0014 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 1644 0 0 0 2989 6 0 0 25 0 1 0 796939683 18042880 1567 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4405 1567 1111 63 0 4342 0
vsize: 17620
[startup+40.0013 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 1891 0 0 0 3988 7 0 0 25 0 1 0 796939683 19169280 1814 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4680 1814 1111 63 0 4617 0
vsize: 18720
[startup+50.0022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 2139 0 0 0 4988 7 0 0 25 0 1 0 796939683 20156416 2062 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4921 2062 1111 63 0 4858 0
vsize: 19684
[startup+60.0022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 2389 0 0 0 5988 8 0 0 25 0 1 0 796939683 21139456 2312 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5161 2314 1111 63 0 5098 0
vsize: 20644
[startup+70.0021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 2633 0 0 0 6987 9 0 0 25 0 1 0 796939683 22118400 2556 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5400 2556 1111 63 0 5337 0
vsize: 21600
[startup+80.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 2880 0 0 0 7987 9 0 0 25 0 1 0 796939683 23105536 2803 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5641 2803 1111 63 0 5578 0
vsize: 22564
[startup+90.003 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 3127 0 0 0 8986 10 0 0 25 0 1 0 796939683 24231936 3050 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5916 3050 1111 63 0 5853 0
vsize: 23664
[startup+100.004 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 3369 0 0 0 9986 11 0 0 25 0 1 0 796939683 25219072 3292 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6157 3292 1111 63 0 6094 0
vsize: 24628
[startup+110.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 3617 0 0 0 10985 11 0 0 25 0 1 0 796939683 26206208 3540 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6398 3540 1111 63 0 6335 0
vsize: 25592
[startup+120.007 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 3872 0 0 0 11985 11 0 0 25 0 1 0 796939683 27213824 3795 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6644 3795 1111 63 0 6581 0
vsize: 26576
[startup+130.008 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 4126 0 0 0 12985 12 0 0 25 0 1 0 796939683 28340224 4049 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6919 4049 1111 63 0 6856 0
vsize: 27676
[startup+140.008 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 4373 0 0 0 13984 13 0 0 25 0 1 0 796939683 29319168 4296 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7158 4296 1111 63 0 7095 0
vsize: 28632
[startup+150.009 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 4622 0 0 0 14984 13 0 0 25 0 1 0 796939683 30306304 4545 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7399 4545 1111 63 0 7336 0
vsize: 29596
[startup+160.008 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 4876 0 0 0 15984 14 0 0 25 0 1 0 796939683 31293440 4799 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7640 4799 1111 63 0 7577 0
vsize: 30560
[startup+170.009 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 5125 0 0 0 16984 14 0 0 25 0 1 0 796939683 32419840 5048 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7915 5048 1111 63 0 7852 0
vsize: 31660
[startup+180.009 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 5374 0 0 0 17984 14 0 0 25 0 1 0 796939683 33406976 5297 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8156 5297 1111 63 0 8093 0
vsize: 32624
[startup+190.01 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 5622 0 0 0 18984 15 0 0 25 0 1 0 796939683 34394112 5545 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8397 5545 1111 63 0 8334 0
vsize: 33588
[startup+200.011 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 5877 0 0 0 19984 15 0 0 25 0 1 0 796939683 35373056 5800 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8636 5800 1111 63 0 8573 0
vsize: 34544
[startup+210.011 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 6129 0 0 0 20983 15 0 0 25 0 1 0 796939683 36499456 6052 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8911 6052 1111 63 0 8848 0
vsize: 35644
[startup+220.011 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 757
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 6378 0 0 0 21983 16 0 0 25 0 1 0 796939683 37486592 6301 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9152 6301 1111 63 0 9089 0
vsize: 36608
[startup+230.012 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 6643 0 0 0 22983 16 0 0 25 0 1 0 796939683 38625280 6566 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9430 6566 1111 63 0 9367 0
vsize: 37720
[startup+240.012 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 6898 0 0 0 23983 17 0 0 25 0 1 0 796939683 39612416 6821 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9671 6821 1111 63 0 9608 0
vsize: 38684
[startup+250.013 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 7153 0 0 0 24982 17 0 0 25 0 1 0 796939683 40738816 7076 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9946 7076 1111 63 0 9883 0
vsize: 39784
[startup+260.014 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 7409 0 0 0 25982 17 0 0 25 0 1 0 796939683 41725952 7332 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10187 7332 1111 63 0 10124 0
vsize: 40748
[startup+270.014 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 7657 0 0 0 26982 18 0 0 25 0 1 0 796939683 42704896 7580 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10426 7580 1111 63 0 10363 0
vsize: 41704
[startup+280.015 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 7917 0 0 0 27982 18 0 0 25 0 1 0 796939683 43835392 7840 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10702 7840 1111 63 0 10639 0
vsize: 42808
[startup+290.016 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 8173 0 0 0 28981 19 0 0 25 0 1 0 796939683 44822528 8096 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10943 8096 1111 63 0 10880 0
vsize: 43772
[startup+300.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 8428 0 0 0 29981 20 0 0 25 0 1 0 796939683 45948928 8351 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11218 8351 1111 63 0 11155 0
vsize: 44872
[startup+310.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 8685 0 0 0 30980 20 0 0 25 0 1 0 796939683 46931968 8608 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11458 8608 1111 63 0 11395 0
vsize: 45832
[startup+320.016 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 8939 0 0 0 31980 21 0 0 25 0 1 0 796939683 48058368 8862 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11733 8862 1111 63 0 11670 0
vsize: 46932
[startup+330.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 9200 0 0 0 32979 22 0 0 25 0 1 0 796939683 49049600 9123 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11975 9123 1111 63 0 11912 0
vsize: 47900
[startup+340.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 9457 0 0 0 33979 22 0 0 25 0 1 0 796939683 50176000 9380 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12250 9380 1111 63 0 12187 0
vsize: 49000
[startup+350.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 9718 0 0 0 34979 23 0 0 25 0 1 0 796939683 51159040 9641 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12490 9641 1111 63 0 12427 0
vsize: 49960
[startup+360.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 9973 0 0 0 35979 23 0 0 25 0 1 0 796939683 52281344 9896 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12764 9896 1111 63 0 12701 0
vsize: 51056
[startup+370.019 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 10235 0 0 0 36978 23 0 0 25 0 1 0 796939683 53268480 10158 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13005 10158 1111 63 0 12942 0
vsize: 52020
[startup+380.02 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 10496 0 0 0 37978 24 0 0 25 0 1 0 796939683 54394880 10419 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13280 10419 1111 63 0 13217 0
vsize: 53120
[startup+390.021 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 10758 0 0 0 38977 25 0 0 25 0 1 0 796939683 55382016 10681 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13521 10681 1111 63 0 13458 0
vsize: 54084
[startup+400.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 11021 0 0 0 39977 26 0 0 25 0 1 0 796939683 56508416 10944 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13796 10944 1111 63 0 13733 0
vsize: 55184
[startup+410.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 11276 0 0 0 40977 26 0 0 25 0 1 0 796939683 57495552 11199 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14037 11199 1111 63 0 13974 0
vsize: 56148
[startup+420.022 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 11537 0 0 0 41977 26 0 0 25 0 1 0 796939683 58621952 11460 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14312 11460 1111 63 0 14249 0
vsize: 57248
[startup+430.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 11805 0 0 0 42976 27 0 0 25 0 1 0 796939683 59748352 11728 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14587 11728 1111 63 0 14524 0
vsize: 58348
[startup+440.023 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 12084 0 0 0 43976 27 0 0 25 0 1 0 796939683 60956672 12007 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14882 12007 1111 63 0 14819 0
vsize: 59528
[startup+450.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 12346 0 0 0 44976 27 0 0 25 0 1 0 796939683 62078976 12269 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15156 12269 1111 63 0 15093 0
vsize: 60624
[startup+460.024 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 12607 0 0 0 45976 28 0 0 25 0 1 0 796939683 63062016 12530 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15396 12530 1111 63 0 15333 0
vsize: 61584
[startup+470.025 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 12870 0 0 0 46976 28 0 0 25 0 1 0 796939683 64188416 12793 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15671 12793 1111 63 0 15608 0
vsize: 62684
[startup+480.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 13139 0 0 0 47975 30 0 0 25 0 1 0 796939683 65314816 13062 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15946 13062 1111 63 0 15883 0
vsize: 63784
[startup+490.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 13408 0 0 0 48974 31 0 0 25 0 1 0 796939683 66441216 13331 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16221 13331 1111 63 0 16158 0
vsize: 64884
[startup+500.026 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 13676 0 0 0 49973 31 0 0 25 0 1 0 796939683 67432448 13599 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16463 13599 1111 63 0 16400 0
vsize: 65852
[startup+510.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 13946 0 0 0 50973 32 0 0 25 0 1 0 796939683 68558848 13869 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16738 13869 1111 63 0 16675 0
vsize: 66952
[startup+520.027 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 14221 0 0 0 51972 33 0 0 25 0 1 0 796939683 69685248 14144 4294967295 134512640 134714508 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17013 14144 1111 63 0 16950 0
vsize: 68052
[startup+530.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 14484 0 0 0 52971 34 0 0 25 0 1 0 796939683 70811648 14407 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17288 14407 1111 63 0 17225 0
vsize: 69152
[startup+540.029 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 14760 0 0 0 53970 35 0 0 25 0 1 0 796939683 71938048 14683 4294967295 134512640 134714508 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17563 14683 1111 63 0 17500 0
vsize: 70252
[startup+550.03 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 15029 0 0 0 54969 36 0 0 25 0 1 0 796939683 73064448 14952 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17838 14952 1111 63 0 17775 0
vsize: 71352
[startup+560.031 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 15304 0 0 0 55968 37 0 0 25 0 1 0 796939683 74190848 15227 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18113 15227 1111 63 0 18050 0
vsize: 72452
[startup+570.032 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 15573 0 0 0 56968 37 0 0 25 0 1 0 796939683 75169792 15496 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18352 15496 1111 63 0 18289 0
vsize: 73408
[startup+580.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 15848 0 0 0 57968 38 0 0 25 0 1 0 796939683 76296192 15771 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18627 15771 1111 63 0 18564 0
vsize: 74508
[startup+590.04 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 16124 0 0 0 58967 39 0 0 25 0 1 0 796939683 77422592 16047 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18902 16047 1111 63 0 18839 0
vsize: 75608
[startup+600.042 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 16399 0 0 0 59966 41 0 0 25 0 1 0 796939683 78553088 16322 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19178 16322 1111 63 0 19115 0
vsize: 76712
[startup+610.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 16675 0 0 0 60965 42 0 0 25 0 1 0 796939683 79679488 16598 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19453 16598 1111 63 0 19390 0
vsize: 77812
[startup+620.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 16945 0 0 0 61963 43 0 0 25 0 1 0 796939683 80805888 16868 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19728 16868 1111 63 0 19665 0
vsize: 78912
[startup+630.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 17226 0 0 0 62962 44 0 0 25 0 1 0 796939683 81932288 17149 4294967295 134512640 134714508 3221221776 3221218460 1077359299 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20003 17149 1111 63 0 19940 0
vsize: 80012
[startup+640.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 17504 0 0 0 63961 46 0 0 25 0 1 0 796939683 83058688 17427 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20278 17427 1111 63 0 20215 0
vsize: 81112
[startup+650.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 17779 0 0 0 64960 46 0 0 25 0 1 0 796939683 84185088 17702 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20553 17702 1111 63 0 20490 0
vsize: 82212
[startup+660.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 18055 0 0 0 65960 47 0 0 25 0 1 0 796939683 85311488 17978 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20828 17978 1111 63 0 20765 0
vsize: 83312
[startup+670.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 18332 0 0 0 66959 48 0 0 25 0 1 0 796939683 86437888 18255 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21103 18255 1111 63 0 21040 0
vsize: 84412
[startup+680.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 18613 0 0 0 67958 49 0 0 25 0 1 0 796939683 87707648 18536 4294967295 134512640 134714508 3221221776 3221220284 1077049213 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21413 18536 1111 63 0 21350 0
vsize: 85652
[startup+690.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 18897 0 0 0 68957 50 0 0 25 0 1 0 796939683 88834048 18820 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21688 18820 1111 63 0 21625 0
vsize: 86752
[startup+700.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 19172 0 0 0 69956 51 0 0 25 0 1 0 796939683 89960448 19095 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21963 19095 1111 63 0 21900 0
vsize: 87852
[startup+710.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 19455 0 0 0 70956 52 0 0 25 0 1 0 796939683 91086848 19378 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22238 19378 1111 63 0 22175 0
vsize: 88952
[startup+720.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 19738 0 0 0 71954 53 0 0 25 0 1 0 796939683 92213248 19661 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22513 19661 1111 63 0 22450 0
vsize: 90052
[startup+730.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 20014 0 0 0 72954 54 0 0 25 0 1 0 796939683 93335552 19937 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22787 19937 1111 63 0 22724 0
vsize: 91148
[startup+740.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 20303 0 0 0 73952 55 0 0 25 0 1 0 796939683 94605312 20226 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23097 20226 1111 63 0 23034 0
vsize: 92388
[startup+750.051 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 20578 0 0 0 74952 56 0 0 25 0 1 0 796939683 95727616 20501 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23371 20501 1111 63 0 23308 0
vsize: 93484
[startup+760.052 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 20867 0 0 0 75951 56 0 0 25 0 1 0 796939683 96854016 20790 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23646 20790 1111 63 0 23583 0
vsize: 94584
[startup+770.053 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 21150 0 0 0 76950 58 0 0 25 0 1 0 796939683 97980416 21073 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23921 21073 1111 63 0 23858 0
vsize: 95684
[startup+780.054 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 21433 0 0 0 77949 59 0 0 25 0 1 0 796939683 99106816 21356 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24196 21356 1111 63 0 24133 0
vsize: 96784
[startup+790.053 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 21723 0 0 0 78948 59 0 0 25 0 1 0 796939683 100376576 21646 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24506 21646 1111 63 0 24443 0
vsize: 98024
[startup+800.054 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 22011 0 0 0 79948 60 0 0 25 0 1 0 796939683 101502976 21934 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24781 21934 1111 63 0 24718 0
vsize: 99124
[startup+810.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 22295 0 0 0 80947 61 0 0 25 0 1 0 796939683 102629376 22218 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25056 22218 1111 63 0 24993 0
vsize: 100224
[startup+820.055 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 22583 0 0 0 81946 62 0 0 25 0 1 0 796939683 103895040 22506 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25365 22506 1111 63 0 25302 0
vsize: 101460
[startup+830.057 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 22872 0 0 0 82946 63 0 0 25 0 1 0 796939683 105021440 22795 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25640 22795 1111 63 0 25577 0
vsize: 102560
[startup+840.057 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 23188 0 0 0 83945 64 0 0 25 0 1 0 796939683 106647552 23111 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26037 23111 1111 63 0 25974 0
vsize: 104148
[startup+850.058 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 23477 0 0 0 84944 65 0 0 25 0 1 0 796939683 107773952 23400 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26312 23400 1111 63 0 26249 0
vsize: 105248
[startup+860.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 23774 0 0 0 85943 65 0 0 25 0 1 0 796939683 109043712 23697 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26622 23697 1111 63 0 26559 0
vsize: 106488
[startup+870.059 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 24063 0 0 0 86942 66 0 0 25 0 1 0 796939683 110170112 23986 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26897 23986 1111 63 0 26834 0
vsize: 107588
[startup+880.06 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 24353 0 0 0 87941 67 0 0 25 0 1 0 796939683 111296512 24276 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27172 24276 1111 63 0 27109 0
vsize: 108688
[startup+890.061 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 24649 0 0 0 88940 68 0 0 25 0 1 0 796939683 112562176 24572 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27481 24572 1111 63 0 27418 0
vsize: 109924
[startup+900.062 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 24938 0 0 0 89940 69 0 0 25 0 1 0 796939683 113688576 24861 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27756 24861 1111 63 0 27693 0
vsize: 111024
[startup+910.062 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 25229 0 0 0 90939 70 0 0 25 0 1 0 796939683 114958336 25152 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28066 25152 1111 63 0 28003 0
vsize: 112264
[startup+920.063 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 25525 0 0 0 91938 71 0 0 25 0 1 0 796939683 116084736 25448 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28341 25448 1111 63 0 28278 0
vsize: 113364
[startup+930.064 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 25822 0 0 0 92937 72 0 0 25 0 1 0 796939683 117350400 25745 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28650 25745 1111 63 0 28587 0
vsize: 114600
[startup+940.063 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 26118 0 0 0 93936 73 0 0 25 0 1 0 796939683 118616064 26041 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28959 26041 1111 63 0 28896 0
vsize: 115836
[startup+950.065 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 26414 0 0 0 94936 74 0 0 25 0 1 0 796939683 119746560 26337 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29235 26337 1111 63 0 29172 0
vsize: 116940
[startup+960.065 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 26711 0 0 0 95934 75 0 0 25 0 1 0 796939683 121012224 26634 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29544 26634 1111 63 0 29481 0
vsize: 118176
[startup+970.065 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 27007 0 0 0 96934 76 0 0 25 0 1 0 796939683 122138624 26930 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29819 26930 1111 63 0 29756 0
vsize: 119276
[startup+980.065 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 27305 0 0 0 97933 77 0 0 25 0 1 0 796939683 123404288 27228 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30128 27228 1111 63 0 30065 0
vsize: 120512
[startup+990.066 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 27600 0 0 0 98932 78 0 0 25 0 1 0 796939683 124669952 27523 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30437 27523 1111 63 0 30374 0
vsize: 121748
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 27905 0 0 0 99931 79 0 0 25 0 1 0 796939683 125796352 27828 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30712 27828 1111 63 0 30649 0
vsize: 122848
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 28207 0 0 0 100931 79 0 0 25 0 1 0 796939683 127066112 28130 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31022 28130 1111 63 0 30959 0
vsize: 124088
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 28510 0 0 0 101930 81 0 0 25 0 1 0 796939683 128331776 28433 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31331 28433 1111 63 0 31268 0
vsize: 125324
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 28814 0 0 0 102929 82 0 0 25 0 1 0 796939683 129601536 28737 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31641 28737 1111 63 0 31578 0
vsize: 126564
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 29117 0 0 0 103928 83 0 0 25 0 1 0 796939683 130867200 29040 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31950 29040 1111 63 0 31887 0
vsize: 127800
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 29427 0 0 0 104927 84 0 0 25 0 1 0 796939683 132132864 29350 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32259 29350 1111 63 0 32196 0
vsize: 129036
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 29730 0 0 0 105926 85 0 0 25 0 1 0 796939683 133259264 29653 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32534 29653 1111 63 0 32471 0
vsize: 130136
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 30041 0 0 0 106925 86 0 0 25 0 1 0 796939683 134524928 29964 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32843 29964 1111 63 0 32780 0
vsize: 131372
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 30344 0 0 0 107924 87 0 0 25 0 1 0 796939683 135794688 30267 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33153 30267 1111 63 0 33090 0
vsize: 132612
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 30655 0 0 0 108923 88 0 0 25 0 1 0 796939683 137064448 30578 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33463 30578 1111 63 0 33400 0
vsize: 133852
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 30964 0 0 0 109923 89 0 0 25 0 1 0 796939683 138334208 30887 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33773 30887 1111 63 0 33710 0
vsize: 135092
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 31267 0 0 0 110922 90 0 0 25 0 1 0 796939683 139599872 31190 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34082 31190 1111 63 0 34019 0
vsize: 136328
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 31579 0 0 0 111921 91 0 0 25 0 1 0 796939683 140869632 31502 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34392 31502 1111 63 0 34329 0
vsize: 137568
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 31888 0 0 0 112920 92 0 0 25 0 1 0 796939683 142135296 31811 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34701 31811 1111 63 0 34638 0
vsize: 138804
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 32206 0 0 0 113919 93 0 0 25 0 1 0 796939683 143400960 32129 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35010 32129 1111 63 0 34947 0
vsize: 140040
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 32515 0 0 0 114918 94 0 0 25 0 1 0 796939683 144666624 32438 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35319 32438 1111 63 0 35256 0
vsize: 141276
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 32827 0 0 0 115917 95 0 0 25 0 1 0 796939683 145936384 32750 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35629 32750 1111 63 0 35566 0
vsize: 142516
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 33142 0 0 0 116916 96 0 0 25 0 1 0 796939683 147202048 33065 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35938 33065 1111 63 0 35875 0
vsize: 143752
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 33447 0 0 0 117916 97 0 0 25 0 1 0 796939683 148467712 33370 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36247 33370 1111 63 0 36184 0
vsize: 144988
[startup+1190.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 33763 0 0 0 118915 98 0 0 25 0 1 0 796939683 149733376 33686 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36556 33686 1111 63 0 36493 0
vsize: 146224
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 759
Raw data (stat): 757 (bsolo_lpr) R 756 7876 7672 0 -1 0 34080 0 0 0 119914 99 0 0 25 0 1 0 796939683 151142400 34003 4294967295 134512640 134714508 3221221776 3221220432 134527928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36900 34003 1111 63 0 36837 0
vsize: 147600
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 1.00 0.99 0.99 1/55 759
Raw data (stat): 757 (bsolo_lpr) Z 756 7876 7672 0 -1 1036 34080 0 0 0 119914 106 0 0 25 0 1 0 796939683 0 0 4294967295 0 0 0 0 0 0 0 1 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.14
CPU time (s): 1200.21
CPU user time (s): 1199.14
CPU system time (s): 1.06384
CPU usage (%): 100.005
Max. virtual memory (Kb): 147600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####