PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3706.opb
MD5SUM	9e0552681bd542cf776486fc35ee9977
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29645337650291
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29645337650291
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.43078
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 40062

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 01:47:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28128 boxname=wulflinc4 idbench=1084 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  9e0552681bd542cf776486fc35ee9977  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-n3706.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-n3706.opb
IDLAUNCH: 28128
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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		: 451.169
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:        840800 kB
Buffers:          9380 kB
Cached:         162256 kB
SwapCached:        948 kB
Active:          34016 kB
Inactive:       139720 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        840548 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            14520 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 02:07:15 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 28128 7 1200.25 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.95 0.90 2/54 24771
Raw data (stat): 24771 (runsolver) R 24770 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897778090 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 1298 0 0 0 992 5 0 0 25 0 1 0 897778090 15511552 1218 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1218 1111 63 0 3724 0
vsize: 15148
[startup+20.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 1408 0 0 0 1991 6 0 0 25 0 1 0 897778090 15941632 1328 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1328 1111 63 0 3829 0
vsize: 15568
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 1517 0 0 0 2991 6 0 0 25 0 1 0 897778090 16379904 1437 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1437 1111 63 0 3936 0
vsize: 15996
[startup+40.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 1627 0 0 0 3991 6 0 0 25 0 1 0 897778090 16834560 1547 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 1547 1111 63 0 4047 0
vsize: 16440
[startup+50.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 1733 0 0 0 4991 7 0 0 25 0 1 0 897778090 17264640 1653 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 1653 1111 63 0 4152 0
vsize: 16860
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 1843 0 0 0 5991 7 0 0 25 0 1 0 897778090 17715200 1763 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4325 1763 1111 63 0 4262 0
vsize: 17300
[startup+70.0033 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 1952 0 0 0 6991 7 0 0 25 0 1 0 897778090 18161664 1872 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1872 1111 63 0 4371 0
vsize: 17736
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 2056 0 0 0 7991 8 0 0 25 0 1 0 897778090 18616320 1976 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4545 1976 1111 63 0 4482 0
vsize: 18180
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 2171 0 0 0 8991 8 0 0 25 0 1 0 897778090 19058688 2091 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 2091 1111 63 0 4590 0
vsize: 18612
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 2280 0 0 0 9991 8 0 0 25 0 1 0 897778090 19501056 2200 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4761 2200 1111 63 0 4698 0
vsize: 19044
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 2390 0 0 0 10991 8 0 0 25 0 1 0 897778090 19955712 2310 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4872 2310 1111 63 0 4809 0
vsize: 19488
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 2500 0 0 0 11990 9 0 0 25 0 1 0 897778090 20402176 2420 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4981 2420 1111 63 0 4918 0
vsize: 19924
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 2603 0 0 0 12990 9 0 0 25 0 1 0 897778090 20856832 2523 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5092 2523 1111 63 0 5029 0
vsize: 20368
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 2719 0 0 0 13990 9 0 0 25 0 1 0 897778090 21299200 2639 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5200 2639 1111 63 0 5137 0
vsize: 20800
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 2822 0 0 0 14990 9 0 0 25 0 1 0 897778090 21725184 2742 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5304 2742 1111 63 0 5241 0
vsize: 21216
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 2932 0 0 0 15990 10 0 0 25 0 1 0 897778090 22171648 2852 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2852 1111 63 0 5350 0
vsize: 21652
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 3041 0 0 0 16990 10 0 0 25 0 1 0 897778090 22622208 2961 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5523 2961 1111 63 0 5460 0
vsize: 22092
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 3151 0 0 0 17990 10 0 0 25 0 1 0 897778090 23072768 3071 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5633 3071 1111 63 0 5570 0
vsize: 22532
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 3267 0 0 0 18990 11 0 0 25 0 1 0 897778090 23662592 3187 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3187 1111 63 0 5714 0
vsize: 23108
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 3378 0 0 0 19990 11 0 0 25 0 1 0 897778090 24113152 3298 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3298 1111 63 0 5824 0
vsize: 23548
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 3487 0 0 0 20990 11 0 0 25 0 1 0 897778090 24559616 3407 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3407 1111 63 0 5933 0
vsize: 23984
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 3592 0 0 0 21990 12 0 0 25 0 1 0 897778090 25010176 3512 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 3512 1111 63 0 6043 0
vsize: 24424
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 3708 0 0 0 22990 12 0 0 25 0 1 0 897778090 25460736 3628 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3628 1111 63 0 6153 0
vsize: 24864
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 3812 0 0 0 23990 12 0 0 25 0 1 0 897778090 25911296 3732 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3732 1111 63 0 6263 0
vsize: 25304
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 3927 0 0 0 24990 12 0 0 25 0 1 0 897778090 26357760 3847 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3847 1111 63 0 6372 0
vsize: 25740
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 4033 0 0 0 25990 12 0 0 25 0 1 0 897778090 26804224 3953 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3953 1111 63 0 6481 0
vsize: 26176
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 4149 0 0 0 26990 12 0 0 25 0 1 0 897778090 27258880 4069 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6655 4069 1111 63 0 6592 0
vsize: 26620
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 4253 0 0 0 27990 12 0 0 25 0 1 0 897778090 27705344 4173 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6764 4173 1111 63 0 6701 0
vsize: 27056
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 4368 0 0 0 28990 13 0 0 25 0 1 0 897778090 28160000 4288 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6875 4288 1111 63 0 6812 0
vsize: 27500
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 4473 0 0 0 29990 13 0 0 25 0 1 0 897778090 28602368 4393 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 4393 1111 63 0 6920 0
vsize: 27932
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 4589 0 0 0 30990 13 0 0 25 0 1 0 897778090 29028352 4509 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7087 4509 1111 63 0 7024 0
vsize: 28348
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 4694 0 0 0 31990 13 0 0 25 0 1 0 897778090 29474816 4614 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4614 1111 63 0 7133 0
vsize: 28784
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 4809 0 0 0 32990 13 0 0 25 0 1 0 897778090 29925376 4729 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 4729 1111 63 0 7243 0
vsize: 29224
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 4913 0 0 0 33990 14 0 0 25 0 1 0 897778090 30375936 4833 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4833 1111 63 0 7353 0
vsize: 29664
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 5029 0 0 0 34990 14 0 0 25 0 1 0 897778090 30826496 4949 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 4949 1111 63 0 7463 0
vsize: 30104
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 5151 0 0 0 35990 14 0 0 25 0 1 0 897778090 31309824 5071 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7644 5071 1111 63 0 7581 0
vsize: 30576
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 5260 0 0 0 36989 15 0 0 25 0 1 0 897778090 31760384 5180 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7754 5180 1111 63 0 7691 0
vsize: 31016
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 5372 0 0 0 37989 15 0 0 25 0 1 0 897778090 32210944 5292 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7864 5292 1111 63 0 7801 0
vsize: 31456
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 5481 0 0 0 38990 15 0 0 25 0 1 0 897778090 32661504 5401 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7974 5401 1111 63 0 7911 0
vsize: 31896
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 5592 0 0 0 39990 15 0 0 25 0 1 0 897778090 33107968 5512 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8083 5512 1111 63 0 8020 0
vsize: 32332
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 5702 0 0 0 40990 15 0 0 25 0 1 0 897778090 33558528 5622 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8193 5622 1111 63 0 8130 0
vsize: 32772
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 5819 0 0 0 41990 15 0 0 25 0 1 0 897778090 34160640 5739 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8340 5739 1111 63 0 8277 0
vsize: 33360
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 5929 0 0 0 42989 16 0 0 25 0 1 0 897778090 34611200 5849 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8450 5849 1111 63 0 8387 0
vsize: 33800
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 6040 0 0 0 43989 16 0 0 25 0 1 0 897778090 35061760 5960 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8560 5960 1111 63 0 8497 0
vsize: 34240
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 6150 0 0 0 44989 16 0 0 25 0 1 0 897778090 35508224 6070 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8669 6070 1111 63 0 8606 0
vsize: 34676
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 6261 0 0 0 45989 17 0 0 25 0 1 0 897778090 35958784 6181 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8779 6181 1111 63 0 8716 0
vsize: 35116
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 6377 0 0 0 46989 17 0 0 25 0 1 0 897778090 36409344 6297 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 6297 1111 63 0 8826 0
vsize: 35556
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 6488 0 0 0 47989 18 0 0 25 0 1 0 897778090 36859904 6408 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8999 6408 1111 63 0 8936 0
vsize: 35996
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 6598 0 0 0 48989 18 0 0 25 0 1 0 897778090 37306368 6518 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9108 6518 1111 63 0 9045 0
vsize: 36432
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 6709 0 0 0 49989 18 0 0 25 0 1 0 897778090 37761024 6629 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6629 1111 63 0 9156 0
vsize: 36876
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 6818 0 0 0 50989 18 0 0 25 0 1 0 897778090 38207488 6738 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9328 6738 1111 63 0 9265 0
vsize: 37312
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 6936 0 0 0 51989 18 0 0 25 0 1 0 897778090 38658048 6856 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9438 6856 1111 63 0 9375 0
vsize: 37752
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 7046 0 0 0 52989 18 0 0 25 0 1 0 897778090 39108608 6966 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9548 6966 1111 63 0 9485 0
vsize: 38192
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 7158 0 0 0 53989 18 0 0 25 0 1 0 897778090 39559168 7078 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9658 7078 1111 63 0 9595 0
vsize: 38632
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 7273 0 0 0 54989 18 0 0 25 0 1 0 897778090 40005632 7193 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9767 7193 1111 63 0 9704 0
vsize: 39068
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 7385 0 0 0 55989 19 0 0 25 0 1 0 897778090 40456192 7305 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9877 7305 1111 63 0 9814 0
vsize: 39508
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 7495 0 0 0 56989 19 0 0 25 0 1 0 897778090 40906752 7415 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9987 7415 1111 63 0 9924 0
vsize: 39948
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 7613 0 0 0 57989 19 0 0 25 0 1 0 897778090 41357312 7533 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10097 7533 1111 63 0 10034 0
vsize: 40388
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 7722 0 0 0 58989 20 0 0 25 0 1 0 897778090 41803776 7642 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10206 7642 1111 63 0 10143 0
vsize: 40824
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 7833 0 0 0 59989 20 0 0 25 0 1 0 897778090 42250240 7753 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10315 7753 1111 63 0 10252 0
vsize: 41260
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 7950 0 0 0 60989 20 0 0 25 0 1 0 897778090 42852352 7870 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 7870 1111 63 0 10399 0
vsize: 41848
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 8067 0 0 0 61989 20 0 0 25 0 1 0 897778090 43307008 7987 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10573 7987 1111 63 0 10510 0
vsize: 42292
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 8176 0 0 0 62989 21 0 0 25 0 1 0 897778090 43753472 8096 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10682 8096 1111 63 0 10619 0
vsize: 42728
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 8287 0 0 0 63989 21 0 0 25 0 1 0 897778090 44183552 8207 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10787 8207 1111 63 0 10724 0
vsize: 43148
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 8404 0 0 0 64989 21 0 0 25 0 1 0 897778090 44621824 8324 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10894 8324 1111 63 0 10831 0
vsize: 43576
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 8515 0 0 0 65989 22 0 0 25 0 1 0 897778090 45072384 8435 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11004 8435 1111 63 0 10941 0
vsize: 44016
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 8625 0 0 0 66989 22 0 0 25 0 1 0 897778090 45522944 8545 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11114 8545 1111 63 0 11051 0
vsize: 44456
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 8742 0 0 0 67989 22 0 0 25 0 1 0 897778090 45973504 8662 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11224 8662 1111 63 0 11161 0
vsize: 44896
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 8858 0 0 0 68989 22 0 0 25 0 1 0 897778090 46567424 8778 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 8778 1111 63 0 11306 0
vsize: 45476
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 8969 0 0 0 69989 22 0 0 25 0 1 0 897778090 47022080 8889 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11480 8889 1111 63 0 11417 0
vsize: 45920
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 9098 0 0 0 70989 22 0 0 25 0 1 0 897778090 47579136 9018 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 9018 1111 63 0 11553 0
vsize: 46464
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 9216 0 0 0 71989 22 0 0 25 0 1 0 897778090 48144384 9136 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 9136 1111 63 0 11691 0
vsize: 47016
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 9331 0 0 0 72989 22 0 0 25 0 1 0 897778090 48590848 9251 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11863 9251 1111 63 0 11800 0
vsize: 47452
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 9443 0 0 0 73990 23 0 0 25 0 1 0 897778090 49041408 9363 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11973 9363 1111 63 0 11910 0
vsize: 47892
[startup+750.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 9559 0 0 0 74989 23 0 0 25 0 1 0 897778090 49491968 9479 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12083 9479 1111 63 0 12020 0
vsize: 48332
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24771
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 9672 0 0 0 75990 23 0 0 25 0 1 0 897778090 49942528 9592 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12193 9592 1111 63 0 12130 0
vsize: 48772
[startup+770.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24772
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 9788 0 0 0 76990 23 0 0 25 0 1 0 897778090 50388992 9708 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 9708 1111 63 0 12239 0
vsize: 49208
[startup+780.039 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 24824
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 9905 0 0 0 77990 23 0 0 25 0 1 0 897778090 50958336 9825 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12441 9825 1111 63 0 12378 0
vsize: 49764
[startup+790.04 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 24824
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 10021 0 0 0 78990 24 0 0 25 0 1 0 897778090 51408896 9941 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12551 9941 1111 63 0 12488 0
vsize: 50204
[startup+800.04 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 24824
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 10134 0 0 0 79990 24 0 0 25 0 1 0 897778090 51859456 10054 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 10054 1111 63 0 12598 0
vsize: 50644
[startup+810.041 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 24824
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 10252 0 0 0 80990 24 0 0 25 0 1 0 897778090 52310016 10172 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 10172 1111 63 0 12708 0
vsize: 51084
[startup+820.041 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 24824
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 10362 0 0 0 81990 24 0 0 25 0 1 0 897778090 52760576 10282 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10282 1111 63 0 12818 0
vsize: 51524
[startup+830.042 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 24824
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 10479 0 0 0 82989 24 0 0 25 0 1 0 897778090 53207040 10399 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10399 1111 63 0 12927 0
vsize: 51960
[startup+840.043 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 10596 0 0 0 83990 24 0 0 25 0 1 0 897778090 53657600 10516 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13100 10516 1111 63 0 13037 0
vsize: 52400
[startup+850.043 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 10715 0 0 0 84990 25 0 0 25 0 1 0 897778090 54259712 10635 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13247 10635 1111 63 0 13184 0
vsize: 52988
[startup+860.044 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 10824 0 0 0 85990 25 0 0 25 0 1 0 897778090 54710272 10744 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13357 10744 1111 63 0 13294 0
vsize: 53428
[startup+870.044 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 10942 0 0 0 86990 25 0 0 25 0 1 0 897778090 55160832 10862 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10862 1111 63 0 13404 0
vsize: 53868
[startup+880.045 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 11059 0 0 0 87990 25 0 0 25 0 1 0 897778090 55607296 10979 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13576 10979 1111 63 0 13513 0
vsize: 54304
[startup+890.045 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 11171 0 0 0 88990 25 0 0 25 0 1 0 897778090 56057856 11091 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13686 11091 1111 63 0 13623 0
vsize: 54744
[startup+900.045 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 11287 0 0 0 89990 25 0 0 25 0 1 0 897778090 56508416 11207 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13796 11207 1111 63 0 13733 0
vsize: 55184
[startup+910.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 11405 0 0 0 90990 26 0 0 25 0 1 0 897778090 56958976 11325 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13906 11325 1111 63 0 13843 0
vsize: 55624
[startup+920.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 11522 0 0 0 91990 26 0 0 25 0 1 0 897778090 57552896 11442 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 11442 1111 63 0 13988 0
vsize: 56204
[startup+930.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 11641 0 0 0 92990 26 0 0 25 0 1 0 897778090 58007552 11561 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14162 11561 1111 63 0 14099 0
vsize: 56648
[startup+940.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 11757 0 0 0 93990 26 0 0 25 0 1 0 897778090 58454016 11677 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14271 11677 1111 63 0 14208 0
vsize: 57084
[startup+950.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 11874 0 0 0 94990 26 0 0 25 0 1 0 897778090 58908672 11794 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 11794 1111 63 0 14319 0
vsize: 57528
[startup+960.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 11991 0 0 0 95990 26 0 0 25 0 1 0 897778090 59351040 11911 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14490 11911 1111 63 0 14427 0
vsize: 57960
[startup+970.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 12103 0 0 0 96990 26 0 0 25 0 1 0 897778090 59805696 12023 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14601 12023 1111 63 0 14538 0
vsize: 58404
[startup+980.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 12220 0 0 0 97990 27 0 0 25 0 1 0 897778090 60403712 12140 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14747 12140 1111 63 0 14684 0
vsize: 58988
[startup+990.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 12338 0 0 0 98990 27 0 0 25 0 1 0 897778090 60854272 12258 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14857 12258 1111 63 0 14794 0
vsize: 59428
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 12454 0 0 0 99990 27 0 0 25 0 1 0 897778090 61300736 12374 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14966 12374 1111 63 0 14903 0
vsize: 59864
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 12572 0 0 0 100990 28 0 0 25 0 1 0 897778090 61755392 12492 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15077 12492 1111 63 0 15014 0
vsize: 60308
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 12691 0 0 0 101990 28 0 0 25 0 1 0 897778090 62201856 12611 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15186 12611 1111 63 0 15123 0
vsize: 60744
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 12807 0 0 0 102990 28 0 0 25 0 1 0 897778090 62803968 12727 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 12727 1111 63 0 15270 0
vsize: 61332
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 12925 0 0 0 103990 28 0 0 25 0 1 0 897778090 63254528 12845 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15443 12845 1111 63 0 15380 0
vsize: 61772
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 13042 0 0 0 104990 28 0 0 25 0 1 0 897778090 63700992 12962 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15552 12962 1111 63 0 15489 0
vsize: 62208
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 13161 0 0 0 105990 28 0 0 25 0 1 0 897778090 64155648 13081 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15663 13081 1111 63 0 15600 0
vsize: 62652
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 13277 0 0 0 106990 29 0 0 25 0 1 0 897778090 64602112 13197 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15772 13197 1111 63 0 15709 0
vsize: 63088
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 13395 0 0 0 107990 29 0 0 25 0 1 0 897778090 65204224 13315 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15919 13315 1111 63 0 15856 0
vsize: 63676
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 13513 0 0 0 108990 29 0 0 25 0 1 0 897778090 65650688 13433 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16028 13433 1111 63 0 15965 0
vsize: 64112
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 13631 0 0 0 109990 29 0 0 25 0 1 0 897778090 66105344 13551 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16139 13551 1111 63 0 16076 0
vsize: 64556
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24826
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 13748 0 0 0 110990 29 0 0 25 0 1 0 897778090 66547712 13668 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16247 13668 1111 63 0 16184 0
vsize: 64988
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24828
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 13866 0 0 0 111990 30 0 0 25 0 1 0 897778090 67002368 13786 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16358 13786 1111 63 0 16295 0
vsize: 65432
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24828
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 13983 0 0 0 112990 30 0 0 25 0 1 0 897778090 67600384 13903 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16504 13903 1111 63 0 16441 0
vsize: 66016
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24828
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 14107 0 0 0 113990 31 0 0 25 0 1 0 897778090 68050944 14027 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16614 14027 1111 63 0 16551 0
vsize: 66456
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24828
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 14225 0 0 0 114989 31 0 0 25 0 1 0 897778090 68497408 14145 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16723 14145 1111 63 0 16660 0
vsize: 66892
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24828
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 14343 0 0 0 115989 31 0 0 25 0 1 0 897778090 68947968 14263 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16833 14263 1111 63 0 16770 0
vsize: 67332
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24828
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 14462 0 0 0 116990 31 0 0 25 0 1 0 897778090 69550080 14382 4294967295 134512640 134716908 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16980 14382 1111 63 0 16917 0
vsize: 67920
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24828
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 14578 0 0 0 117989 32 0 0 25 0 1 0 897778090 70000640 14498 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17090 14498 1111 63 0 17027 0
vsize: 68360
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24828
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 14697 0 0 0 118989 32 0 0 25 0 1 0 897778090 70451200 14617 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17200 14617 1111 63 0 17137 0
vsize: 68800
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24828
Raw data (stat): 24771 (bsolo_lpr-v2) R 24770 21152 21151 0 -1 0 14814 0 0 0 119989 32 0 0 25 0 1 0 897778090 70897664 14734 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17309 14734 1111 63 0 17246 0
vsize: 69236
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 24828
Raw data (stat): 24771 (bsolo_lpr-v2) Z 24770 21152 21151 0 -1 1036 14814 0 0 0 119990 35 0 0 25 0 1 0 897778090 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.09
CPU time (s): 1200.25
CPU user time (s): 1199.9
CPU system time (s): 0.353946
CPU usage (%): 100.014
Max. virtual memory (Kb): 69236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####