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/unibo/normalized-mps-v2-20-10-NSR8K.opb
MD5SUM	4969ff20db6e3c380ff3de77937a8672
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	221520
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	34400198927214220148736
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	34400301327214220148736
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.17367
Number of variables	221520
Total number of constraints	38324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32041
Number of constraints which are nor clauses,nor cardinality constraints	6283
Minimum length of a constraint	1
Maximum length of a constraint	221520
Trace number 26136

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 11:40:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15146 boxname=wulflinc31 idbench=1166 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  4969ff20db6e3c380ff3de77937a8672  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-NSR8K.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-NSR8K.opb
IDLAUNCH: 15146
/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:        651208 kB
Buffers:         31756 kB
Cached:         330624 kB
SwapCached:        944 kB
Active:         151692 kB
Inactive:       212768 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        650956 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13188 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 12:00:38 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 15146 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.84 0.94 0.96 2/55 27939
Raw data (stat): 27939 (runsolver) R 27938 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 829932733 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.94 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 2199 0 0 0 985 10 0 0 25 0 1 0 829932733 16433152 2122 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4012 2122 1111 63 0 3949 0
vsize: 16048
[startup+20.0006 s]
Raw data (loadavg): 0.89 0.94 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 2545 0 0 0 1985 10 0 0 25 0 1 0 829932733 17920000 2468 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4375 2468 1111 63 0 4312 0
vsize: 17500
[startup+30.0012 s]
Raw data (loadavg): 0.90 0.94 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 2886 0 0 0 2985 11 0 0 25 0 1 0 829932733 19271680 2809 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 2809 1111 63 0 4642 0
vsize: 18820
[startup+40.0011 s]
Raw data (loadavg): 0.92 0.94 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 3232 0 0 0 3983 12 0 0 25 0 1 0 829932733 20762624 3155 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5069 3155 1111 63 0 5006 0
vsize: 20276
[startup+50.0027 s]
Raw data (loadavg): 0.93 0.94 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 3577 0 0 0 4983 14 0 0 25 0 1 0 829932733 22102016 3500 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 3500 1111 63 0 5333 0
vsize: 21584
[startup+60.003 s]
Raw data (loadavg): 0.94 0.95 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 3925 0 0 0 5982 15 0 0 25 0 1 0 829932733 23601152 3848 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5762 3848 1111 63 0 5699 0
vsize: 23048
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.95 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 4270 0 0 0 6981 16 0 0 25 0 1 0 829932733 24940544 4193 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6089 4193 1111 63 0 6026 0
vsize: 24356
[startup+80.0042 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 4610 0 0 0 7980 16 0 0 25 0 1 0 829932733 26284032 4533 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6417 4533 1111 63 0 6354 0
vsize: 25668
[startup+90.0038 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 4957 0 0 0 8979 18 0 0 25 0 1 0 829932733 27779072 4880 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6782 4880 1111 63 0 6719 0
vsize: 27128
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 5303 0 0 0 9979 18 0 0 25 0 1 0 829932733 29122560 5226 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7110 5226 1111 63 0 7047 0
vsize: 28440
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 5655 0 0 0 10979 18 0 0 25 0 1 0 829932733 30613504 5578 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7474 5578 1111 63 0 7411 0
vsize: 29896
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 6002 0 0 0 11978 19 0 0 25 0 1 0 829932733 32108544 5925 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7839 5925 1111 63 0 7776 0
vsize: 31356
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 6354 0 0 0 12978 19 0 0 25 0 1 0 829932733 33452032 6277 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8167 6277 1111 63 0 8104 0
vsize: 32668
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 6700 0 0 0 13978 20 0 0 25 0 1 0 829932733 34942976 6623 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8531 6623 1111 63 0 8468 0
vsize: 34124
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 7053 0 0 0 14977 21 0 0 25 0 1 0 829932733 36290560 6976 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8860 6976 1111 63 0 8797 0
vsize: 35440
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 7399 0 0 0 15977 22 0 0 25 0 1 0 829932733 37781504 7322 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9224 7322 1111 63 0 9161 0
vsize: 36896
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 7751 0 0 0 16976 22 0 0 25 0 1 0 829932733 39272448 7674 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9588 7674 1111 63 0 9525 0
vsize: 38352
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 8107 0 0 0 17975 23 0 0 25 0 1 0 829932733 40607744 8030 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9914 8030 1111 63 0 9851 0
vsize: 39656
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 8453 0 0 0 18975 24 0 0 25 0 1 0 829932733 42098688 8376 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10278 8376 1111 63 0 10215 0
vsize: 41112
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 8805 0 0 0 19974 25 0 0 25 0 1 0 829932733 43589632 8728 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10642 8728 1111 63 0 10579 0
vsize: 42568
[startup+210.008 s]
Raw data (loadavg): 1.07 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 9152 0 0 0 20974 25 0 0 25 0 1 0 829932733 44937216 9075 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10971 9075 1111 63 0 10908 0
vsize: 43884
[startup+220.008 s]
Raw data (loadavg): 1.06 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 9504 0 0 0 21974 26 0 0 25 0 1 0 829932733 46428160 9427 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11335 9427 1111 63 0 11272 0
vsize: 45340
[startup+230.008 s]
Raw data (loadavg): 1.05 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 9856 0 0 0 22973 26 0 0 25 0 1 0 829932733 47771648 9779 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11663 9779 1111 63 0 11600 0
vsize: 46652
[startup+240.009 s]
Raw data (loadavg): 1.04 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 10203 0 0 0 23973 27 0 0 25 0 1 0 829932733 49266688 10126 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12028 10126 1111 63 0 11965 0
vsize: 48112
[startup+250.009 s]
Raw data (loadavg): 1.03 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 10555 0 0 0 24972 28 0 0 25 0 1 0 829932733 50757632 10478 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12392 10478 1111 63 0 12329 0
vsize: 49568
[startup+260.009 s]
Raw data (loadavg): 1.03 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 10907 0 0 0 25971 29 0 0 25 0 1 0 829932733 52101120 10830 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12720 10830 1111 63 0 12657 0
vsize: 50880
[startup+270.009 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 11254 0 0 0 26971 29 0 0 25 0 1 0 829932733 53596160 11177 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13085 11177 1111 63 0 13022 0
vsize: 52340
[startup+280.009 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 11606 0 0 0 27971 29 0 0 25 0 1 0 829932733 54939648 11529 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13413 11529 1111 63 0 13350 0
vsize: 53652
[startup+290.009 s]
Raw data (loadavg): 1.02 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 11958 0 0 0 28971 30 0 0 25 0 1 0 829932733 56430592 11881 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13777 11881 1111 63 0 13714 0
vsize: 55108
[startup+300.008 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 12305 0 0 0 29971 30 0 0 25 0 1 0 829932733 57925632 12228 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14142 12228 1111 63 0 14079 0
vsize: 56568
[startup+310.008 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 12657 0 0 0 30970 31 0 0 25 0 1 0 829932733 59269120 12580 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14470 12580 1111 63 0 14407 0
vsize: 57880
[startup+320.009 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 13009 0 0 0 31970 31 0 0 25 0 1 0 829932733 60760064 12932 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14834 12932 1111 63 0 14771 0
vsize: 59336
[startup+330.009 s]
Raw data (loadavg): 1.01 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 13362 0 0 0 32969 32 0 0 25 0 1 0 829932733 62255104 13285 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15199 13285 1111 63 0 15136 0
vsize: 60796
[startup+340.009 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 13714 0 0 0 33968 33 0 0 25 0 1 0 829932733 63598592 13637 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15527 13637 1111 63 0 15464 0
vsize: 62108
[startup+350.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 14066 0 0 0 34968 34 0 0 25 0 1 0 829932733 65069056 13989 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15886 13989 1111 63 0 15823 0
vsize: 63544
[startup+360.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 14418 0 0 0 35967 34 0 0 25 0 1 0 829932733 66560000 14341 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16250 14341 1111 63 0 16187 0
vsize: 65000
[startup+370.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 14770 0 0 0 36967 35 0 0 25 0 1 0 829932733 67903488 14693 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16578 14693 1111 63 0 16515 0
vsize: 66312
[startup+380.01 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 15124 0 0 0 37966 36 0 0 25 0 1 0 829932733 69394432 15047 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16942 15047 1111 63 0 16879 0
vsize: 67768
[startup+390.011 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 15476 0 0 0 38966 36 0 0 25 0 1 0 829932733 70889472 15399 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17307 15399 1111 63 0 17244 0
vsize: 69228
[startup+400.011 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 15828 0 0 0 39965 37 0 0 25 0 1 0 829932733 72232960 15751 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17635 15751 1111 63 0 17572 0
vsize: 70540
[startup+410.011 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 16181 0 0 0 40965 38 0 0 25 0 1 0 829932733 73723904 16104 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17999 16104 1111 63 0 17936 0
vsize: 71996
[startup+420.011 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 16527 0 0 0 41964 39 0 0 25 0 1 0 829932733 75218944 16450 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18364 16450 1111 63 0 18301 0
vsize: 73456
[startup+430.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 16879 0 0 0 42964 39 0 0 25 0 1 0 829932733 76562432 16802 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18692 16802 1111 63 0 18629 0
vsize: 74768
[startup+440.012 s]
Raw data (loadavg): 1.08 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 17232 0 0 0 43963 40 0 0 25 0 1 0 829932733 78057472 17155 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19057 17155 1111 63 0 18994 0
vsize: 76228
[startup+450.011 s]
Raw data (loadavg): 1.07 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 17584 0 0 0 44962 41 0 0 25 0 1 0 829932733 79548416 17507 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19421 17507 1111 63 0 19358 0
vsize: 77684
[startup+460.012 s]
Raw data (loadavg): 1.06 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 17936 0 0 0 45962 41 0 0 25 0 1 0 829932733 80891904 17859 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19749 17859 1111 63 0 19686 0
vsize: 78996
[startup+470.013 s]
Raw data (loadavg): 1.05 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 18289 0 0 0 46962 42 0 0 25 0 1 0 829932733 82386944 18212 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20114 18212 1111 63 0 20051 0
vsize: 80456
[startup+480.013 s]
Raw data (loadavg): 1.04 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 18641 0 0 0 47962 42 0 0 25 0 1 0 829932733 83877888 18564 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20478 18564 1111 63 0 20415 0
vsize: 81912
[startup+490.013 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 18993 0 0 0 48961 43 0 0 25 0 1 0 829932733 85221376 18916 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20806 18916 1111 63 0 20743 0
vsize: 83224
[startup+500.013 s]
Raw data (loadavg): 1.03 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 19346 0 0 0 49960 44 0 0 25 0 1 0 829932733 86716416 19269 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21171 19269 1111 63 0 21108 0
vsize: 84684
[startup+510.014 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 19698 0 0 0 50960 45 0 0 25 0 1 0 829932733 88207360 19621 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21535 19621 1111 63 0 21472 0
vsize: 86140
[startup+520.014 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 20050 0 0 0 51959 46 0 0 25 0 1 0 829932733 89550848 19973 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21863 19973 1111 63 0 21800 0
vsize: 87452
[startup+530.015 s]
Raw data (loadavg): 1.02 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 20410 0 0 0 52959 46 0 0 25 0 1 0 829932733 91045888 20333 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22228 20333 1111 63 0 22165 0
vsize: 88912
[startup+540.016 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 20761 0 0 0 53958 47 0 0 25 0 1 0 829932733 92536832 20684 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22592 20684 1111 63 0 22529 0
vsize: 90368
[startup+550.016 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 21113 0 0 0 54958 47 0 0 25 0 1 0 829932733 93880320 21036 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22920 21036 1111 63 0 22857 0
vsize: 91680
[startup+560.016 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 21467 0 0 0 55958 48 0 0 25 0 1 0 829932733 95375360 21390 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23285 21390 1111 63 0 23222 0
vsize: 93140
[startup+570.017 s]
Raw data (loadavg): 1.01 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 21818 0 0 0 56957 48 0 0 25 0 1 0 829932733 96866304 21741 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23649 21741 1111 63 0 23586 0
vsize: 94596
[startup+580.016 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 22170 0 0 0 57957 49 0 0 25 0 1 0 829932733 98209792 22093 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23977 22093 1111 63 0 23914 0
vsize: 95908
[startup+590.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 22524 0 0 0 58957 49 0 0 25 0 1 0 829932733 99704832 22447 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24342 22447 1111 63 0 24279 0
vsize: 97368
[startup+600.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 22882 0 0 0 59956 50 0 0 25 0 1 0 829932733 101195776 22805 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24706 22805 1111 63 0 24643 0
vsize: 98824
[startup+610.017 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 23233 0 0 0 60955 51 0 0 25 0 1 0 829932733 102686720 23156 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25070 23156 1111 63 0 25007 0
vsize: 100280
[startup+620.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 23587 0 0 0 61955 52 0 0 25 0 1 0 829932733 104038400 23510 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25400 23510 1111 63 0 25337 0
vsize: 101600
[startup+630.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 23939 0 0 0 62954 52 0 0 25 0 1 0 829932733 105529344 23862 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25764 23862 1111 63 0 25701 0
vsize: 103056
[startup+640.018 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 24297 0 0 0 63954 53 0 0 25 0 1 0 829932733 107016192 24220 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26127 24220 1111 63 0 26064 0
vsize: 104508
[startup+650.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 24650 0 0 0 64953 54 0 0 25 0 1 0 829932733 108367872 24573 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26457 24573 1111 63 0 26394 0
vsize: 105828
[startup+660.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 25002 0 0 0 65953 54 0 0 25 0 1 0 829932733 109858816 24925 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26821 24925 1111 63 0 26758 0
vsize: 107284
[startup+670.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 25354 0 0 0 66952 55 0 0 25 0 1 0 829932733 111349760 25277 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27185 25277 1111 63 0 27122 0
vsize: 108740
[startup+680.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 25713 0 0 0 67952 56 0 0 25 0 1 0 829932733 112844800 25636 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27550 25636 1111 63 0 27487 0
vsize: 110200
[startup+690.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 26065 0 0 0 68951 57 0 0 25 0 1 0 829932733 114188288 25988 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27878 25988 1111 63 0 27815 0
vsize: 111512
[startup+700.019 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 26423 0 0 0 69950 57 0 0 25 0 1 0 829932733 115650560 26346 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28235 26346 1111 63 0 28172 0
vsize: 112940
[startup+710.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 26783 0 0 0 70950 58 0 0 25 0 1 0 829932733 117149696 26706 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28601 26706 1111 63 0 28538 0
vsize: 114404
[startup+720.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 27135 0 0 0 71950 58 0 0 25 0 1 0 829932733 118640640 27058 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28965 27058 1111 63 0 28902 0
vsize: 115860
[startup+730.02 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 27487 0 0 0 72949 59 0 0 25 0 1 0 829932733 120131584 27410 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29329 27410 1111 63 0 29266 0
vsize: 117316
[startup+740.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 27846 0 0 0 73949 60 0 0 25 0 1 0 829932733 121479168 27769 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29658 27769 1111 63 0 29595 0
vsize: 118632
[startup+750.021 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 28198 0 0 0 74949 60 0 0 25 0 1 0 829932733 122970112 28121 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30022 28121 1111 63 0 29959 0
vsize: 120088
[startup+760.021 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 28556 0 0 0 75948 61 0 0 25 0 1 0 829932733 124461056 28479 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30386 28479 1111 63 0 30323 0
vsize: 121544
[startup+770.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 28909 0 0 0 76948 61 0 0 25 0 1 0 829932733 125956096 28832 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30751 28832 1111 63 0 30688 0
vsize: 123004
[startup+780.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 29268 0 0 0 77947 62 0 0 25 0 1 0 829932733 127299584 29191 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31079 29191 1111 63 0 31016 0
vsize: 124316
[startup+790.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 29620 0 0 0 78947 63 0 0 25 0 1 0 829932733 128790528 29543 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31443 29543 1111 63 0 31380 0
vsize: 125772
[startup+800.022 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 29979 0 0 0 79947 63 0 0 25 0 1 0 829932733 130285568 29902 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31808 29902 1111 63 0 31745 0
vsize: 127232
[startup+810.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 30331 0 0 0 80946 63 0 0 25 0 1 0 829932733 131776512 30254 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32172 30254 1111 63 0 32109 0
vsize: 128688
[startup+820.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 30691 0 0 0 81945 65 0 0 25 0 1 0 829932733 133120000 30614 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32500 30614 1111 63 0 32437 0
vsize: 130000
[startup+830.023 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 31042 0 0 0 82945 65 0 0 25 0 1 0 829932733 134615040 30965 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32865 30965 1111 63 0 32802 0
vsize: 131460
[startup+840.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 31400 0 0 0 83945 66 0 0 25 0 1 0 829932733 136105984 31323 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33229 31323 1111 63 0 33166 0
vsize: 132916
[startup+850.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 31754 0 0 0 84944 67 0 0 25 0 1 0 829932733 137605120 31677 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33595 31677 1111 63 0 33532 0
vsize: 134380
[startup+860.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 32112 0 0 0 85944 67 0 0 25 0 1 0 829932733 138944512 32035 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33922 32035 1111 63 0 33859 0
vsize: 135688
[startup+870.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 32465 0 0 0 86943 67 0 0 25 0 1 0 829932733 140435456 32388 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34286 32388 1111 63 0 34223 0
vsize: 137144
[startup+880.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 32824 0 0 0 87943 68 0 0 25 0 1 0 829932733 141934592 32747 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34652 32747 1111 63 0 34589 0
vsize: 138608
[startup+890.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 33182 0 0 0 88943 68 0 0 25 0 1 0 829932733 143425536 33105 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35016 33105 1111 63 0 34953 0
vsize: 140064
[startup+900.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 33534 0 0 0 89942 69 0 0 25 0 1 0 829932733 144764928 33457 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35343 33457 1111 63 0 35280 0
vsize: 141372
[startup+910.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 33893 0 0 0 90941 70 0 0 25 0 1 0 829932733 146264064 33816 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35709 33816 1111 63 0 35646 0
vsize: 142836
[startup+920.024 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 34251 0 0 0 91941 71 0 0 25 0 1 0 829932733 147755008 34174 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36073 34174 1111 63 0 36010 0
vsize: 144292
[startup+930.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 34603 0 0 0 92940 72 0 0 25 0 1 0 829932733 149245952 34526 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36437 34526 1111 63 0 36374 0
vsize: 145748
[startup+940.025 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 34962 0 0 0 93940 72 0 0 25 0 1 0 829932733 150740992 34885 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36802 34885 1111 63 0 36739 0
vsize: 147208
[startup+950.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 35314 0 0 0 94939 73 0 0 25 0 1 0 829932733 152084480 35237 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37130 35237 1111 63 0 37067 0
vsize: 148520
[startup+960.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 35673 0 0 0 95939 73 0 0 25 0 1 0 829932733 153575424 35596 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37494 35596 1111 63 0 37431 0
vsize: 149976
[startup+970.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 36033 0 0 0 96938 74 0 0 25 0 1 0 829932733 155070464 35956 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37859 35956 1111 63 0 37796 0
vsize: 151436
[startup+980.026 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 36390 0 0 0 97937 75 0 0 25 0 1 0 829932733 156561408 36313 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38223 36313 1111 63 0 38160 0
vsize: 152892
[startup+990.027 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 36742 0 0 0 98937 76 0 0 25 0 1 0 829932733 157904896 36665 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38551 36665 1111 63 0 38488 0
vsize: 154204
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 37102 0 0 0 99937 76 0 0 25 0 1 0 829932733 159399936 37025 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38916 37025 1111 63 0 38853 0
vsize: 155664
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 37460 0 0 0 100936 77 0 0 25 0 1 0 829932733 160890880 37383 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39280 37383 1111 63 0 39217 0
vsize: 157120
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 37818 0 0 0 101935 78 0 0 25 0 1 0 829932733 162381824 37741 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39644 37741 1111 63 0 39581 0
vsize: 158576
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 38177 0 0 0 102935 78 0 0 25 0 1 0 829932733 163880960 38100 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40010 38100 1111 63 0 39947 0
vsize: 160040
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 38536 0 0 0 103934 79 0 0 25 0 1 0 829932733 165371904 38459 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40374 38459 1111 63 0 40311 0
vsize: 161496
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 38888 0 0 0 104934 80 0 0 25 0 1 0 829932733 166711296 38811 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40701 38811 1111 63 0 40638 0
vsize: 162804
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 39247 0 0 0 105933 81 0 0 25 0 1 0 829932733 168210432 39170 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41067 39170 1111 63 0 41004 0
vsize: 164268
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 39605 0 0 0 106932 81 0 0 25 0 1 0 829932733 169701376 39528 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41431 39528 1111 63 0 41368 0
vsize: 165724
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 39963 0 0 0 107931 83 0 0 25 0 1 0 829932733 171192320 39886 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41795 39886 1111 63 0 41732 0
vsize: 167180
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 40322 0 0 0 108931 83 0 0 25 0 1 0 829932733 172687360 40245 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42160 40245 1111 63 0 42097 0
vsize: 168640
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 40680 0 0 0 109931 84 0 0 25 0 1 0 829932733 174030848 40603 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42488 40603 1111 63 0 42425 0
vsize: 169952
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 41038 0 0 0 110930 84 0 0 25 0 1 0 829932733 175521792 40961 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42852 40961 1111 63 0 42789 0
vsize: 171408
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 41398 0 0 0 111930 85 0 0 25 0 1 0 829932733 177016832 41321 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43217 41321 1111 63 0 43154 0
vsize: 172868
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 41757 0 0 0 112930 85 0 0 25 0 1 0 829932733 178507776 41680 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43581 41680 1111 63 0 43518 0
vsize: 174324
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 42116 0 0 0 113929 86 0 0 25 0 1 0 829932733 180006912 42039 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43947 42039 1111 63 0 43884 0
vsize: 175788
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 42474 0 0 0 114929 87 0 0 25 0 1 0 829932733 181497856 42397 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44311 42397 1111 63 0 44248 0
vsize: 177244
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/55 27939
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 42832 0 0 0 115929 87 0 0 25 0 1 0 829932733 182837248 42755 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44638 42755 1111 63 0 44575 0
vsize: 178552
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.97 2/56 27940
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 43191 0 0 0 116928 88 0 0 25 0 1 0 829932733 184336384 43114 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45004 43114 1111 63 0 44941 0
vsize: 180016
[startup+1180.03 s]
Raw data (loadavg): 1.08 1.01 0.97 2/55 27992
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 43549 0 0 0 117928 88 0 0 25 0 1 0 829932733 185827328 43472 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45368 43472 1111 63 0 45305 0
vsize: 181472
[startup+1190.04 s]
Raw data (loadavg): 1.07 1.01 0.97 2/55 27992
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 43907 0 0 0 118927 89 0 0 25 0 1 0 829932733 187318272 43830 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45732 43830 1111 63 0 45669 0
vsize: 182928
[startup+1200.04 s]
Raw data (loadavg): 1.06 1.01 0.97 2/55 27992
Raw data (stat): 27939 (bsolo_lpr) R 27938 7876 7672 0 -1 0 44273 0 0 0 119927 89 0 0 25 0 1 0 829932733 188813312 44196 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46097 44196 1111 63 0 46034 0
vsize: 184388
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.06 1.01 0.97 1/55 27992
Raw data (stat): 27939 (bsolo_lpr) Z 27938 7876 7672 0 -1 1036 44273 0 0 0 119927 98 0 0 25 0 1 0 829932733 0 0 4294967295 0 0 0 0 0 0 0 1 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.12
CPU time (s): 1200.26
CPU user time (s): 1199.28
CPU system time (s): 0.98085
CPU usage (%): 100.012
Max. virtual memory (Kb): 184388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####