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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-dfl001.opb
MD5SUM	d116f9238cf2e97b47b1161aa0f7f9ea
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	124714
Biggest coefficient in the objective function	2100440996511744
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	862062472006152900
Number of bits of the sum of numbers in the objective function	60
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	4176904799999651840
Number of bits of the biggest sum of numbers	62
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.31665
Number of variables	244494
Total number of constraints	6084
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	6084
Minimum length of a constraint	10
Maximum length of a constraint	4560
Trace number 27802

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-24 23:15:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15705 boxname=wulflinc10 idbench=1209 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  d116f9238cf2e97b47b1161aa0f7f9ea  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-dfl001.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-dfl001.opb
IDLAUNCH: 15705
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        831824 kB
Buffers:         27736 kB
Cached:         153532 kB
SwapCached:        224 kB
Active:          59256 kB
Inactive:       124836 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        831572 kB
SwapTotal:     2097136 kB
SwapFree:      2096792 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6568 kB
Slab:            13140 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:35:35 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 15705 7 1200.31 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.81 0.94 0.90 1/54 22683
Raw data (stat): 22683 (runsolver) D 22682 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 775914398 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99978 s]
Raw data (loadavg): 0.84 0.94 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 1313 0 0 0 985 5 0 0 25 0 1 0 775914398 15634432 1237 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3817 1237 1111 63 0 3754 0
vsize: 15268
[startup+20.0007 s]
Raw data (loadavg): 0.86 0.94 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 1438 0 0 0 1985 5 0 0 25 0 1 0 775914398 16052224 1362 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3919 1362 1111 63 0 3856 0
vsize: 15676
[startup+30.0011 s]
Raw data (loadavg): 0.88 0.94 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 1574 0 0 0 2985 6 0 0 25 0 1 0 775914398 16621568 1498 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4058 1498 1111 63 0 3995 0
vsize: 16232
[startup+40.0003 s]
Raw data (loadavg): 0.90 0.94 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 1698 0 0 0 3985 6 0 0 25 0 1 0 775914398 17182720 1622 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4195 1622 1111 63 0 4132 0
vsize: 16780
[startup+50.0012 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 1823 0 0 0 4985 6 0 0 25 0 1 0 775914398 17747968 1747 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4333 1747 1111 63 0 4270 0
vsize: 17332
[startup+60.0008 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 1962 0 0 0 5984 6 0 0 25 0 1 0 775914398 18321408 1886 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4473 1886 1111 63 0 4410 0
vsize: 17892
[startup+70.001 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 2088 0 0 0 6984 7 0 0 25 0 1 0 775914398 18751488 2012 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4578 2012 1111 63 0 4515 0
vsize: 18312
[startup+80.002 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 2211 0 0 0 7985 7 0 0 25 0 1 0 775914398 19312640 2135 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4715 2135 1111 63 0 4652 0
vsize: 18860
[startup+90.0015 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 2350 0 0 0 8984 7 0 0 25 0 1 0 775914398 19877888 2274 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4853 2274 1111 63 0 4790 0
vsize: 19412
[startup+100.002 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 2479 0 0 0 9984 8 0 0 25 0 1 0 775914398 20439040 2403 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4990 2403 1111 63 0 4927 0
vsize: 19960
[startup+110.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 2609 0 0 0 10984 8 0 0 25 0 1 0 775914398 20865024 2533 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5094 2533 1111 63 0 5031 0
vsize: 20376
[startup+120.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 2746 0 0 0 11984 8 0 0 25 0 1 0 775914398 21422080 2670 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5230 2670 1111 63 0 5167 0
vsize: 20920
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 2876 0 0 0 12984 8 0 0 25 0 1 0 775914398 21983232 2800 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5367 2800 1111 63 0 5304 0
vsize: 21468
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 3009 0 0 0 13984 8 0 0 25 0 1 0 775914398 22552576 2933 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5506 2933 1111 63 0 5443 0
vsize: 22024
[startup+150.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 3139 0 0 0 14984 8 0 0 25 0 1 0 775914398 23113728 3063 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5643 3063 1111 63 0 5580 0
vsize: 22572
[startup+160.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 3271 0 0 0 15985 8 0 0 25 0 1 0 775914398 23678976 3195 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5781 3195 1111 63 0 5718 0
vsize: 23124
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 3400 0 0 0 16985 9 0 0 25 0 1 0 775914398 24100864 3324 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5884 3324 1111 63 0 5821 0
vsize: 23536
[startup+180.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 3532 0 0 0 17985 9 0 0 25 0 1 0 775914398 24666112 3456 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6022 3456 1111 63 0 5959 0
vsize: 24088
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 3649 0 0 0 18985 9 0 0 25 0 1 0 775914398 25227264 3573 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 3573 1111 63 0 6096 0
vsize: 24636
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 3781 0 0 0 19985 9 0 0 25 0 1 0 775914398 25649152 3705 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6262 3705 1111 63 0 6199 0
vsize: 25048
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 3911 0 0 0 20985 9 0 0 25 0 1 0 775914398 26218496 3835 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6401 3835 1111 63 0 6338 0
vsize: 25604
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 4054 0 0 0 21985 10 0 0 25 0 1 0 775914398 26796032 3978 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6542 3978 1111 63 0 6479 0
vsize: 26168
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 4187 0 0 0 22985 10 0 0 25 0 1 0 775914398 27365376 4111 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6681 4111 1111 63 0 6618 0
vsize: 26724
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 4318 0 0 0 23985 10 0 0 25 0 1 0 775914398 27926528 4242 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 4242 1111 63 0 6755 0
vsize: 27272
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 4455 0 0 0 24985 10 0 0 25 0 1 0 775914398 28491776 4379 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6956 4379 1111 63 0 6893 0
vsize: 27824
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 4579 0 0 0 25985 10 0 0 25 0 1 0 775914398 29052928 4503 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7093 4503 1111 63 0 7030 0
vsize: 28372
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 4712 0 0 0 26985 11 0 0 25 0 1 0 775914398 29483008 4636 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7198 4636 1111 63 0 7135 0
vsize: 28792
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 4848 0 0 0 27985 11 0 0 25 0 1 0 775914398 30044160 4772 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7335 4772 1111 63 0 7272 0
vsize: 29340
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 4982 0 0 0 28985 11 0 0 25 0 1 0 775914398 30605312 4906 4294967295 134512640 134714508 3221224592 3221222820 1077414372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7472 4906 1111 63 0 7409 0
vsize: 29888
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 5118 0 0 0 29985 11 0 0 25 0 1 0 775914398 31170560 5042 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7610 5042 1111 63 0 7547 0
vsize: 30440
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 5248 0 0 0 30985 11 0 0 25 0 1 0 775914398 31731712 5172 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7747 5172 1111 63 0 7684 0
vsize: 30988
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 5381 0 0 0 31985 12 0 0 25 0 1 0 775914398 32301056 5305 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7886 5305 1111 63 0 7823 0
vsize: 31544
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 5518 0 0 0 32985 12 0 0 25 0 1 0 775914398 32862208 5442 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8023 5442 1111 63 0 7960 0
vsize: 32092
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 5658 0 0 0 33984 12 0 0 25 0 1 0 775914398 33427456 5582 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8161 5582 1111 63 0 8098 0
vsize: 32644
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 5795 0 0 0 34984 12 0 0 25 0 1 0 775914398 33988608 5719 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8298 5719 1111 63 0 8235 0
vsize: 33192
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 5933 0 0 0 35985 13 0 0 25 0 1 0 775914398 34557952 5857 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8437 5857 1111 63 0 8374 0
vsize: 33748
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 6070 0 0 0 36985 13 0 0 25 0 1 0 775914398 35119104 5994 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8574 5994 1111 63 0 8511 0
vsize: 34296
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 6208 0 0 0 37985 13 0 0 25 0 1 0 775914398 35684352 6132 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8712 6132 1111 63 0 8649 0
vsize: 34848
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 6345 0 0 0 38984 14 0 0 25 0 1 0 775914398 36245504 6269 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8849 6269 1111 63 0 8786 0
vsize: 35396
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 6484 0 0 0 39984 14 0 0 25 0 1 0 775914398 36814848 6408 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8988 6408 1111 63 0 8925 0
vsize: 35952
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 6614 0 0 0 40984 14 0 0 25 0 1 0 775914398 37376000 6538 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9125 6538 1111 63 0 9062 0
vsize: 36500
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 6770 0 0 0 41985 15 0 0 25 0 1 0 775914398 38064128 6694 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9293 6694 1111 63 0 9230 0
vsize: 37172
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 6907 0 0 0 42984 15 0 0 25 0 1 0 775914398 38625280 6831 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9430 6831 1111 63 0 9367 0
vsize: 37720
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 7040 0 0 0 43985 15 0 0 25 0 1 0 775914398 39047168 6964 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9533 6964 1111 63 0 9470 0
vsize: 38132
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 7170 0 0 0 44985 15 0 0 25 0 1 0 775914398 39616512 7094 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9672 7094 1111 63 0 9609 0
vsize: 38688
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 7307 0 0 0 45984 15 0 0 25 0 1 0 775914398 40177664 7231 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9809 7231 1111 63 0 9746 0
vsize: 39236
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 7446 0 0 0 46984 16 0 0 25 0 1 0 775914398 40742912 7370 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9947 7370 1111 63 0 9884 0
vsize: 39788
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 7583 0 0 0 47984 16 0 0 25 0 1 0 775914398 41304064 7507 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10084 7507 1111 63 0 10021 0
vsize: 40336
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 7723 0 0 0 48984 16 0 0 25 0 1 0 775914398 41873408 7647 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10223 7647 1111 63 0 10160 0
vsize: 40892
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 7860 0 0 0 49984 16 0 0 25 0 1 0 775914398 42434560 7784 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10360 7784 1111 63 0 10297 0
vsize: 41440
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 7998 0 0 0 50984 17 0 0 25 0 1 0 775914398 42999808 7922 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10498 7922 1111 63 0 10435 0
vsize: 41992
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 8129 0 0 0 51984 17 0 0 25 0 1 0 775914398 43560960 8053 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10635 8053 1111 63 0 10572 0
vsize: 42540
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 8261 0 0 0 52984 17 0 0 25 0 1 0 775914398 44130304 8185 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10774 8185 1111 63 0 10711 0
vsize: 43096
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 8392 0 0 0 53984 17 0 0 25 0 1 0 775914398 44691456 8316 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10911 8316 1111 63 0 10848 0
vsize: 43644
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 8537 0 0 0 54984 18 0 0 25 0 1 0 775914398 45256704 8461 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11049 8461 1111 63 0 10986 0
vsize: 44196
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 8674 0 0 0 55984 18 0 0 25 0 1 0 775914398 45817856 8598 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11186 8598 1111 63 0 11123 0
vsize: 44744
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 8814 0 0 0 56984 18 0 0 25 0 1 0 775914398 46387200 8738 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11325 8738 1111 63 0 11262 0
vsize: 45300
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 8951 0 0 0 57984 18 0 0 25 0 1 0 775914398 46948352 8875 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11462 8875 1111 63 0 11399 0
vsize: 45848
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 9089 0 0 0 58984 19 0 0 25 0 1 0 775914398 47509504 9013 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11599 9013 1111 63 0 11536 0
vsize: 46396
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 9228 0 0 0 59983 19 0 0 25 0 1 0 775914398 48074752 9152 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11737 9152 1111 63 0 11674 0
vsize: 46948
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 9365 0 0 0 60983 20 0 0 25 0 1 0 775914398 48635904 9289 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11874 9289 1111 63 0 11811 0
vsize: 47496
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 9511 0 0 0 61983 20 0 0 25 0 1 0 775914398 49205248 9435 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12013 9435 1111 63 0 11950 0
vsize: 48052
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 9654 0 0 0 62983 20 0 0 25 0 1 0 775914398 49766400 9578 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12150 9578 1111 63 0 12087 0
vsize: 48600
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 9794 0 0 0 63983 21 0 0 25 0 1 0 775914398 50331648 9718 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12288 9718 1111 63 0 12225 0
vsize: 49152
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 9931 0 0 0 64983 21 0 0 25 0 1 0 775914398 50892800 9855 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12425 9855 1111 63 0 12362 0
vsize: 49700
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 10076 0 0 0 65983 21 0 0 25 0 1 0 775914398 51462144 10000 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12564 10000 1111 63 0 12501 0
vsize: 50256
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 10201 0 0 0 66982 22 0 0 25 0 1 0 775914398 52023296 10125 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12701 10125 1111 63 0 12638 0
vsize: 50804
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 10346 0 0 0 67982 22 0 0 25 0 1 0 775914398 52588544 10270 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12839 10270 1111 63 0 12776 0
vsize: 51356
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 10483 0 0 0 68982 22 0 0 25 0 1 0 775914398 53149696 10407 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12976 10407 1111 63 0 12913 0
vsize: 51904
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 10630 0 0 0 69982 23 0 0 25 0 1 0 775914398 53719040 10554 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13115 10554 1111 63 0 13052 0
vsize: 52460
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 10767 0 0 0 70982 23 0 0 25 0 1 0 775914398 54280192 10691 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13252 10691 1111 63 0 13189 0
vsize: 53008
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 10912 0 0 0 71982 23 0 0 25 0 1 0 775914398 54984704 10836 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13424 10836 1111 63 0 13361 0
vsize: 53696
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 11049 0 0 0 72982 23 0 0 25 0 1 0 775914398 55545856 10973 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13561 10973 1111 63 0 13498 0
vsize: 54244
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 11188 0 0 0 73982 24 0 0 25 0 1 0 775914398 56115200 11112 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13700 11112 1111 63 0 13637 0
vsize: 54800
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 11333 0 0 0 74981 24 0 0 25 0 1 0 775914398 56676352 11257 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13837 11257 1111 63 0 13774 0
vsize: 55348
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 11478 0 0 0 75981 25 0 0 25 0 1 0 775914398 57241600 11402 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13975 11402 1111 63 0 13912 0
vsize: 55900
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 11622 0 0 0 76981 25 0 0 25 0 1 0 775914398 57802752 11546 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14112 11546 1111 63 0 14049 0
vsize: 56448
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 11760 0 0 0 77981 26 0 0 25 0 1 0 775914398 58363904 11684 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14249 11684 1111 63 0 14186 0
vsize: 56996
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 11898 0 0 0 78980 26 0 0 25 0 1 0 775914398 58933248 11822 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14388 11822 1111 63 0 14325 0
vsize: 57552
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 12043 0 0 0 79980 26 0 0 25 0 1 0 775914398 59494400 11967 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14525 11967 1111 63 0 14462 0
vsize: 58100
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 12187 0 0 0 80980 27 0 0 25 0 1 0 775914398 60203008 12111 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14698 12111 1111 63 0 14635 0
vsize: 58792
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 12350 0 0 0 81980 27 0 0 25 0 1 0 775914398 60870656 12274 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14861 12274 1111 63 0 14798 0
vsize: 59444
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 12489 0 0 0 82980 27 0 0 25 0 1 0 775914398 61435904 12413 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14999 12413 1111 63 0 14936 0
vsize: 59996
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 12639 0 0 0 83980 27 0 0 25 0 1 0 775914398 62140416 12563 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15171 12563 1111 63 0 15108 0
vsize: 60684
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 12771 0 0 0 84980 27 0 0 25 0 1 0 775914398 62705664 12695 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15309 12695 1111 63 0 15246 0
vsize: 61236
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 12922 0 0 0 85980 28 0 0 25 0 1 0 775914398 63266816 12846 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15446 12846 1111 63 0 15383 0
vsize: 61784
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 13068 0 0 0 86980 28 0 0 25 0 1 0 775914398 63836160 12992 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15585 12992 1111 63 0 15522 0
vsize: 62340
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 13206 0 0 0 87980 28 0 0 25 0 1 0 775914398 64397312 13130 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15722 13130 1111 63 0 15659 0
vsize: 62888
[startup+890.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 13351 0 0 0 88979 29 0 0 25 0 1 0 775914398 64962560 13275 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15860 13275 1111 63 0 15797 0
vsize: 63440
[startup+900.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 13495 0 0 0 89979 29 0 0 25 0 1 0 775914398 65662976 13419 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16031 13419 1111 63 0 15968 0
vsize: 64124
[startup+910.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 13648 0 0 0 90979 29 0 0 25 0 1 0 775914398 66232320 13572 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16170 13572 1111 63 0 16107 0
vsize: 64680
[startup+920.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 13786 0 0 0 91978 30 0 0 25 0 1 0 775914398 66793472 13710 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16307 13710 1111 63 0 16244 0
vsize: 65228
[startup+930.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 13925 0 0 0 92978 31 0 0 25 0 1 0 775914398 67358720 13849 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16445 13849 1111 63 0 16382 0
vsize: 65780
[startup+940.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 14075 0 0 0 93978 31 0 0 25 0 1 0 775914398 67919872 13999 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16582 13999 1111 63 0 16519 0
vsize: 66328
[startup+950.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 14220 0 0 0 94978 31 0 0 25 0 1 0 775914398 68628480 14144 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16755 14144 1111 63 0 16692 0
vsize: 67020
[startup+960.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 14366 0 0 0 95978 31 0 0 25 0 1 0 775914398 69189632 14290 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16892 14290 1111 63 0 16829 0
vsize: 67568
[startup+970.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 14512 0 0 0 96978 32 0 0 25 0 1 0 775914398 69758976 14436 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17031 14436 1111 63 0 16968 0
vsize: 68124
[startup+980.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 14655 0 0 0 97977 32 0 0 25 0 1 0 775914398 70320128 14579 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17168 14579 1111 63 0 17105 0
vsize: 68672
[startup+990.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 14794 0 0 0 98977 33 0 0 25 0 1 0 775914398 70885376 14718 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17306 14718 1111 63 0 17243 0
vsize: 69224
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 14945 0 0 0 99977 33 0 0 25 0 1 0 775914398 71585792 14869 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17477 14869 1111 63 0 17414 0
vsize: 69908
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 15099 0 0 0 100977 33 0 0 25 0 1 0 775914398 72155136 15023 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17616 15023 1111 63 0 17553 0
vsize: 70464
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 15250 0 0 0 101977 34 0 0 25 0 1 0 775914398 72716288 15174 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17753 15174 1111 63 0 17690 0
vsize: 71012
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 15402 0 0 0 102976 34 0 0 25 0 1 0 775914398 73424896 15326 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17926 15326 1111 63 0 17863 0
vsize: 71704
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 15552 0 0 0 103976 35 0 0 25 0 1 0 775914398 73986048 15476 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18063 15476 1111 63 0 18000 0
vsize: 72252
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 15705 0 0 0 104976 35 0 0 25 0 1 0 775914398 74690560 15629 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18235 15629 1111 63 0 18172 0
vsize: 72940
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 15857 0 0 0 105976 35 0 0 25 0 1 0 775914398 75251712 15781 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18372 15781 1111 63 0 18309 0
vsize: 73488
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 15996 0 0 0 106976 36 0 0 25 0 1 0 775914398 75816960 15920 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18510 15920 1111 63 0 18447 0
vsize: 74040
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 16140 0 0 0 107976 36 0 0 25 0 1 0 775914398 76378112 16064 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18647 16064 1111 63 0 18584 0
vsize: 74588
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 16298 0 0 0 108977 36 0 0 25 0 1 0 775914398 77086720 16222 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18820 16222 1111 63 0 18757 0
vsize: 75280
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 16451 0 0 0 109976 37 0 0 25 0 1 0 775914398 77647872 16375 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18957 16375 1111 63 0 18894 0
vsize: 75828
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 16603 0 0 0 110977 37 0 0 25 0 1 0 775914398 78356480 16527 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19130 16527 1111 63 0 19067 0
vsize: 76520
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 16754 0 0 0 111976 38 0 0 25 0 1 0 775914398 78917632 16678 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19267 16678 1111 63 0 19204 0
vsize: 77068
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 16906 0 0 0 112976 38 0 0 25 0 1 0 775914398 79482880 16830 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19405 16830 1111 63 0 19342 0
vsize: 77620
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 17043 0 0 0 113976 39 0 0 25 0 1 0 775914398 80044032 16967 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19542 16967 1111 63 0 19479 0
vsize: 78168
[startup+1150.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 17197 0 0 0 114986 39 0 0 25 0 1 0 775914398 80752640 17121 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19715 17121 1111 63 0 19652 0
vsize: 78860
[startup+1160.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 17348 0 0 0 115986 39 0 0 25 0 1 0 775914398 81313792 17272 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19852 17272 1111 63 0 19789 0
vsize: 79408
[startup+1170.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 17487 0 0 0 116986 40 0 0 25 0 1 0 775914398 81883136 17411 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19991 17411 1111 63 0 19928 0
vsize: 79964
[startup+1180.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 17644 0 0 0 117986 40 0 0 25 0 1 0 775914398 82583552 17568 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20162 17568 1111 63 0 20099 0
vsize: 80648
[startup+1190.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 17791 0 0 0 118986 40 0 0 25 0 1 0 775914398 83148800 17715 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20300 17715 1111 63 0 20237 0
vsize: 81200
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22683
Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 17949 0 0 0 119986 41 0 0 25 0 1 0 775914398 83853312 17873 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20472 17873 1111 63 0 20409 0
vsize: 81888
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 22683
Raw data (stat): 22683 (bsolo_lpr) Z 22682 15547 15546 0 -1 1036 17949 0 0 0 119986 44 0 0 25 0 1 0 775914398 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.17
CPU time (s): 1200.31
CPU user time (s): 1199.87
CPU system time (s): 0.445932
CPU usage (%): 100.011
Max. virtual memory (Kb): 81888
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####